12345678910111213141516171819202122 |
- diff --git a/gcc/config/microblaze/microblaze.c b/gcc/config/microblaze/microblaze.c
- index 55c1becf975..45395ab86f1 100644
- --- a/gcc/config/microblaze/microblaze.c
- +++ b/gcc/config/microblaze/microblaze.c
- @@ -2476,7 +2476,7 @@ print_operand (FILE * file, rtx op, int letter)
- unsigned long value_long;
- REAL_VALUE_TO_TARGET_SINGLE (*CONST_DOUBLE_REAL_VALUE (op),
- value_long);
- - fprintf (file, HOST_WIDE_INT_PRINT_HEX, value_long);
- + fprintf (file, "0x%lx", value_long);
- }
- else
- {
- @@ -2535,7 +2535,7 @@ print_operand (FILE * file, rtx op, int letter)
- print_operand_address (file, XEXP (op, 0));
- }
- else if (letter == 'm')
- - fprintf (file, HOST_WIDE_INT_PRINT_DEC, (1L << INTVAL (op)));
- + fprintf (file, "%ld", (1L << INTVAL (op)));
- else
- output_addr_const (file, op);
- }
|