Lines Matching defs:x1
2261 vassert(insn_25 <= 0x1);
2674 IRTemp x1 = newTemp(Ity_I32);
2684 assign(x1,
2696 binop(Iop_And32, mkexpr(x1), mkU32(c2)),
2699 binop(Iop_And32, mkexpr(x1), mkU32(~c2)),
7759 UInt U = (theInstr >> 24) & 0x1;
7764 if (((A & 0x17) == 0x10) && ((C & 0x9) == 0x1)) {
