Lines Matching refs:argR
1866 /* RES is the result of doing OP on ARGL and ARGR. Set %XER.OV and
1870 IRExpr* argL, IRExpr* argR )
1877 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
1896 /* (argL^argR^-1) & (argL^res) & (1<<31) ?1:0 */
1899 = AND3( XOR3(argL,argR,mkU32(-1)),
1908 /* (argL == INT32_MIN && argR == -1) || argR == 0 */
1913 binop(Iop_CmpEQ32, argR, mkU32(-1))
1915 binop(Iop_CmpEQ32, argR, mkU32(0) )
1922 /* argR == 0 */
1924 = unop(Iop_1Uto32, binop(Iop_CmpEQ32, argR, mkU32(0)));
1931 assign( t64, binop(Iop_MullS32, argL, argR) );
1953 /* ((~argL)^argR^-1) & ((~argL)^res) & (1<<31) ?1:0; */
1955 = AND3( XOR3(NOT(argL),argR,mkU32(-1)),
1966 unop( Iop_1Uto32, binop( Iop_CmpEQ32, argR, mkU32( 0 ) ) ),
1967 unop( Iop_1Uto32, binop( Iop_CmpLT32U, argR, argL ) ) );
1972 /* If argR == 0 of if the result cannot fit in the 32-bit destination register,
1977 unop( Iop_1Uto32, binop( Iop_CmpEQ32, argR, mkU32( 0 ) ) ),
1980 binop( Iop_CmpNE32, argR, mkU32( 0 ) ) ) ) ) );
2004 IRExpr* argL, IRExpr* argR )
2010 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2029 /* (argL^argR^-1) & (argL^res) & (1<<63) ? 1:0 */
2032 = AND3( XOR3(argL,argR,mkU64(-1)),
2041 /* (argL == INT64_MIN && argR == -1) || argR == 0 */
2046 binop(Iop_CmpEQ64, argR, mkU64(-1))
2048 binop(Iop_CmpEQ64, argR, mkU64(0) )
2053 /* argR == 0 */
2055 = binop(Iop_CmpEQ64, argR, mkU64(0));
2080 /* ((~argL)^argR^-1) & ((~argL)^res) & (1<<63) ?1:0; */
2082 = AND3( XOR3(NOT(argL),argR,mkU64(-1)),
2092 /* If argR == 0, we must set the OV bit. But there's another condition
2098 = mkOR1( binop( Iop_CmpEQ64, argR, mkU64( 0 ) ),
2101 binop( Iop_CmpNE64, argR, mkU64( 0 ) ) ) ) );
2105 /* If argR == 0 or if argL >= argR, set OV. */
2106 xer_ov = mkOR1( binop( Iop_CmpEQ64, argR, mkU64( 0 ) ),
2107 binop( Iop_CmpLE64U, argR, argL ) );
2129 IRExpr* argL, IRExpr* argR )
2132 set_XER_OV_32( op, res, argL, argR );
2134 set_XER_OV_64( op, res, argL, argR );
2139 /* RES is the result of doing OP on ARGL and ARGR with the old %XER.CA
2143 IRExpr* argL, IRExpr* argR, IRExpr* oldca )
2149 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2180 /* res <u argR || (old_ca==1 && res==argR) */
2183 binop(Iop_CmpLT32U, res, argR),
2186 binop(Iop_CmpEQ32, res, argR)
2195 /* res <=u argR */
2197 = unop(Iop_1Uto32, binop(Iop_CmpLE32U, res, argR));
2213 unop(Iop_32to8,argR)),
2220 unop(Iop_1Uto8, binop(Iop_CmpLT32U, mkU32(31), argR)),
2234 & (argL & (1<<argR)-1) -- the stuff shifted out */
2243 unop(Iop_32to8,argR)),
2261 IRExpr* argL, IRExpr* argR, IRExpr* oldca )
2267 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2298 /* res <u argR || (old_ca==1 && res==argR) */
2301 binop(Iop_CmpLT64U, res, argR),
2304 binop(Iop_CmpEQ64, res, argR)
2313 /* res <=u argR */
2315 = unop(Iop_1Uto32, binop(Iop_CmpLE64U, res, argR));
2333 unop(Iop_64to8,argR)),
2340 unop(Iop_1Uto8, binop(Iop_CmpLT64U, mkU64(31), argR)),
2354 & (argL & (1<<argR)-1) -- the stuff shifted out */
2364 unop(Iop_64to8,argR)),
2387 unop(Iop_64to8,argR)),
2394 unop(Iop_1Uto8, binop(Iop_CmpLT64U, mkU64(63), argR)),
2409 & (argL & (1<<argR)-1) -- the stuff shifted out */
2419 unop(Iop_64to8,argR)),
2437 IRExpr* argL, IRExpr* argR, IRExpr* oldca )
2440 set_XER_CA_32( op, res, argL, argR, oldca );
2442 set_XER_CA_64( op, res, argL, argR, oldca );
5572 IRTemp argL, argR;
5614 argR = newTemp(Ity_I32);
5617 argR = newTemp(Ity_I64);
5621 assign( argR, argR0 );
5624 argRe = mkexpr(argR);
