- be_emit_irprintf("0x%02x%02x%02x%02x%02x%02x%02x%02x"
- "%02x%02x%02x%02x", get_tarval_sub_bits(tv, 11),
- get_tarval_sub_bits(tv, 10), get_tarval_sub_bits(tv, 9),
- get_tarval_sub_bits(tv, 8), get_tarval_sub_bits(tv, 7),
- get_tarval_sub_bits(tv, 6), get_tarval_sub_bits(tv, 5),
- get_tarval_sub_bits(tv, 4), get_tarval_sub_bits(tv, 3),
- get_tarval_sub_bits(tv, 2), get_tarval_sub_bits(tv, 1),
- get_tarval_sub_bits(tv, 0));
+ /* Beware: Mixed endian output! One little endian number emitted as
+ * three longs. Each long initializer is written in big endian. */
+ be_emit_irprintf(
+ "\t.long\t0x%02x%02x%02x%02x\n"
+ "\t.long\t0x%02x%02x%02x%02x\n"
+ "\t.long\t0x%02x%02x%02x%02x",
+ get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2),
+ get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0),
+ get_tarval_sub_bits(tv, 7), get_tarval_sub_bits(tv, 6),
+ get_tarval_sub_bits(tv, 5), get_tarval_sub_bits(tv, 4),
+ get_tarval_sub_bits(tv, 11), get_tarval_sub_bits(tv, 10),
+ get_tarval_sub_bits(tv, 9), get_tarval_sub_bits(tv, 8)
+ );