Lines Matching defs:argL
1866 /* RES is the result of doing OP on ARGL and ARGR. Set %XER.OV and
1870 IRExpr* argL, IRExpr* argR )
1876 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
1896 /* (argL^argR^-1) & (argL^res) & (1<<31) ?1:0 */
1899 = AND3( XOR3(argL,argR,mkU32(-1)),
1900 XOR2(argL,res),
1908 /* (argL == INT32_MIN && argR == -1) || argR == 0 */
1912 binop(Iop_CmpEQ32, argL, mkU32(INT32_MIN)),
1931 assign( t64, binop(Iop_MullS32, argL, argR) );
1944 /* argL == INT32_MIN */
1947 binop(Iop_CmpEQ32, argL, mkU32(INT32_MIN)) );
1953 /* ((~argL)^argR^-1) & ((~argL)^res) & (1<<31) ?1:0; */
1955 = AND3( XOR3(NOT(argL),argR,mkU32(-1)),
1956 XOR2(NOT(argL),res),
1967 unop( Iop_1Uto32, binop( Iop_CmpLT32U, argR, argL ) ) );
1979 mkAND1( binop( Iop_CmpNE32, argL, mkU32( 0 ) ),
2004 IRExpr* argL, IRExpr* argR )
2009 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2029 /* (argL^argR^-1) & (argL^res) & (1<<63) ? 1:0 */
2032 = AND3( XOR3(argL,argR,mkU64(-1)),
2033 XOR2(argL,res),
2041 /* (argL == INT64_MIN && argR == -1) || argR == 0 */
2045 binop(Iop_CmpEQ64, argL, mkU64(INT64_MIN)),
2072 /* argL == INT64_MIN */
2074 = binop(Iop_CmpEQ64, argL, mkU64(INT64_MIN));
2080 /* ((~argL)^argR^-1) & ((~argL)^res) & (1<<63) ?1:0; */
2082 = AND3( XOR3(NOT(argL),argR,mkU64(-1)),
2083 XOR2(NOT(argL),res),
2100 mkAND1( binop( Iop_CmpNE64, argL, mkU64( 0 ) ),
2105 /* If argR == 0 or if argL >= argR, set OV. */
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 )
2148 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2160 /* res <u argL */
2162 = unop(Iop_1Uto32, binop(Iop_CmpLT32U, res, argL));
2166 /* res <u argL || (old_ca==1 && res==argL) */
2169 binop(Iop_CmpLT32U, res, argL),
2172 binop(Iop_CmpEQ32, res, argL)
2203 bit of argL. */
2208 binop(Iop_Sar32, argL, mkU8(31)),
2210 argL,
2223 /* yes -- get sign bit of argL */
2224 binop(Iop_Shr32, argL, mkU8(31))
2233 (argL >>s 31) -- either all 0s or all 1s
2234 & (argL & (1<<argR)-1) -- the stuff shifted out */
2238 binop(Iop_Sar32, argL, mkU8(31)),
2240 argL,
2261 IRExpr* argL, IRExpr* argR, IRExpr* oldca )
2266 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2278 /* res <u argL */
2280 = unop(Iop_1Uto32, binop(Iop_CmpLT64U, res, argL));
2284 /* res <u argL || (old_ca==1 && res==argL) */
2287 binop(Iop_CmpLT64U, res, argL),
2290 binop(Iop_CmpEQ64, res, argL)
2322 bit of argL. */
2328 binop(Iop_Sar64, argL, mkU8(31)),
2330 argL,
2343 /* yes -- get sign bit of argL */
2344 unop(Iop_64to32, binop(Iop_Shr64, argL, mkU8(63)))
2353 (argL >>s 31) -- either all 0s or all 1s
2354 & (argL & (1<<argR)-1) -- the stuff shifted out */
2359 binop(Iop_Sar64, argL, mkU8(31)),
2361 argL,
2376 bit of argL. */
2382 binop(Iop_Sar64, argL, mkU8(63)),
2384 argL,
2397 /* yes -- get sign bit of argL */
2398 unop(Iop_64to32, binop(Iop_Shr64, argL, mkU8(63)))
2408 (argL >>s 63) -- either all 0s or all 1s
2409 & (argL & (1<<argR)-1) -- the stuff shifted out */
2414 binop(Iop_Sar64, argL, mkU8(63)),
2416 argL,
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;
5613 argL = newTemp(Ity_I32);
5616 argL = newTemp(Ity_I64);
5620 assign( argL, argL0 );
5623 argLe = mkexpr(argL);
