Lines Matching refs:irt_prod
9032 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
9034 assign( irt_prod, in decode_V6MEDIA_instruction()
9045 unop(Iop_64HIto32, mkexpr(irt_prod)), in decode_V6MEDIA_instruction()
9048 unop(Iop_64to32, mkexpr(irt_prod)), in decode_V6MEDIA_instruction()
10584 IRTemp irt_prod = newTemp(Ity_I32); in decode_V6MEDIA_instruction() local
10586 assign( irt_prod, in decode_V6MEDIA_instruction()
10601 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_prod), mkexpr(irt_regA)); in decode_V6MEDIA_instruction()
10609 signed_overflow_after_Add32( ire_result, irt_prod, irt_regA ), in decode_V6MEDIA_instruction()
10655 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
10660 assign( irt_prod, in decode_V6MEDIA_instruction()
10676 assign( irt_res, binop(Iop_Add64, mkexpr(irt_regD), mkexpr(irt_prod)) ); in decode_V6MEDIA_instruction()
10727 IRTemp irt_prod = newTemp(Ity_I64); in decode_V6MEDIA_instruction() local
10729 assign( irt_prod, in decode_V6MEDIA_instruction()
10743 binop(Iop_Shl32, unop(Iop_64HIto32, mkexpr(irt_prod)), mkU8(16)), in decode_V6MEDIA_instruction()
10744 binop(Iop_Shr32, unop(Iop_64to32, mkexpr(irt_prod)), mkU8(16)) in decode_V6MEDIA_instruction()