Lines Matching full:irt_sum
10198 IRTemp irt_sum = newTemp(Ity_I32);
10214 assign( irt_sum,
10220 armSignedSatQ( irt_sum, 0x10, &irt_sum_res, NULL );
10267 IRTemp irt_sum = newTemp(Ity_I32);
10283 assign( irt_sum,
10289 armSignedSatQ( irt_sum, 0x10, &irt_res_sum, NULL );
10335 IRTemp irt_sum = newTemp(Ity_I32);
10348 assign( irt_sum,
10357 binop( Iop_Shl32, mkexpr(irt_sum), mkU8(16) ),
10366 assign(ge32, unop(Iop_Not32, mkexpr(irt_sum)));
10499 IRTemp irt_sum = newTemp(Ity_I32);
10520 assign( irt_sum, binop( isAD ? Iop_Add32 : Iop_Sub32,
10523 IRExpr* ire_result = binop(Iop_Add32, mkexpr(irt_sum), mkexpr(irt_regA));
10532 signed_overflow_after_Add32( mkexpr(irt_sum),
10539 signed_overflow_after_Add32( ire_result, irt_sum, irt_regA ),
11444 IRTemp irt_sum = newTemp(Ity_I32);
11460 assign( irt_sum,
11466 armUnsignedSatQ( &irt_sum_res, NULL, irt_sum, 0x10 );
11513 IRTemp irt_sum = newTemp(Ity_I32);
11529 assign( irt_sum,
11535 armUnsignedSatQ( &irt_res_sum, NULL, irt_sum, 0x10 );
11581 IRTemp irt_sum = newTemp(Ity_I32);
11587 assign( irt_sum,
11606 binop( Iop_And32, mkexpr(irt_sum), mkU32(0xFFFF) ) );
11610 mkU32(0x10000), mkexpr(irt_sum) ),
11659 IRTemp irt_sum = newTemp(Ity_I32);
11672 assign( irt_sum,
11681 binop( Iop_Shl32, mkexpr(irt_sum), mkU8(16) ),
11691 mkU32(0x10000), mkexpr(irt_sum) ),
11735 IRTemp irt_sum = newTemp(Ity_I32);
11741 assign( irt_sum,
11758 binop( Iop_And32, mkexpr(irt_sum), mkU32(0xFFFF) ) );
11761 assign(ge10, unop(Iop_Not32, mkexpr(irt_sum)));
11930 IRTemp irt_sum = newTemp(Ity_I32);
11953 assign( irt_sum,
11980 mkexpr(irt_sum), mkU8(1)
12027 IRTemp irt_sum = newTemp(Ity_I32);
12050 assign( irt_sum,
12077 mkexpr(irt_sum), mkU8(1)
12124 IRTemp irt_sum = newTemp(Ity_I32);
12130 assign( irt_sum,
12168 mkexpr(irt_sum), mkU8(1)
12221 IRTemp irt_sum = newTemp(Ity_I32);
12227 assign( irt_sum,
12265 mkexpr(irt_sum), mkU8(1)
