Lines Matching refs:irt_prod
9094 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
9096 assign( irt_prod, in decode_V6MEDIA_instruction()
9107 unop(Iop_64HIto32, mkexpr(irt_prod)), in decode_V6MEDIA_instruction()
9110 unop(Iop_64to32, mkexpr(irt_prod)), in decode_V6MEDIA_instruction()
10646 IRTemp irt_prod = newTemp(Ity_I32); in decode_V6MEDIA_instruction() local
10648 assign( irt_prod, in decode_V6MEDIA_instruction()
10663 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_prod), mkexpr(irt_regA)); in decode_V6MEDIA_instruction()
10671 signed_overflow_after_Add32( ire_result, irt_prod, irt_regA ), in decode_V6MEDIA_instruction()
10717 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
10722 assign( irt_prod, in decode_V6MEDIA_instruction()
10738 assign( irt_res, binop(Iop_Add64, mkexpr(irt_regD), mkexpr(irt_prod)) ); in decode_V6MEDIA_instruction()
10789 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
10791 assign( irt_prod, in decode_V6MEDIA_instruction()
10805 binop(Iop_Shl32, unop(Iop_64HIto32, mkexpr(irt_prod)), mkU8(16)), in decode_V6MEDIA_instruction()
10806 binop(Iop_Shr32, unop(Iop_64to32, mkexpr(irt_prod)), mkU8(16)) in decode_V6MEDIA_instruction()