Lines Matching refs:and64
15507 IRTemp and64 = newTemp(Ity_I64);
15510 assign(and64,
15533 binop(Iop_Sar64, mkexpr(and64), mkU8(63))));
15546 assign(t1, binop(Iop_And64, mkexpr(and64), mkexpr(t0)));
15548 and64 = t1;
15551 /* Now convert and64, andn64 to all-zeroes or all-1s, so we can
15560 binop(Iop_Sub64, mkU64(0), mkexpr(and64)),
15561 mkexpr(and64)), mkU8(63))));