Home | History | Annotate | Download | only in priv

Lines Matching defs:x3

2712    IRTemp x3 = newTemp(Ity_I32);
2738    assign(x3,
2750                       binop(Iop_And32, mkexpr(x3), mkU32(c4)),
2753                       binop(Iop_And32, mkexpr(x3), mkU32(~c4)),
3029    UInt C = (theInstr >> 20) & 0x3;