Lines Matching refs:and64
16281 IRTemp and64 = newTemp(Ity_I64);
16284 assign(and64,
16307 binop(Iop_Sar64, mkexpr(and64), mkU8(63))));
16320 assign(t1, binop(Iop_And64, mkexpr(and64), mkexpr(t0)));
16322 and64 = t1;
16325 /* Now convert and64, andn64 to all-zeroes or all-1s, so we can
16334 binop(Iop_Sub64, mkU64(0), mkexpr(and64)),
16335 mkexpr(and64)), mkU8(63))));