Use be_emit_irprintf("%T", x) instead of be_emit_tarval().