Home | History | Annotate | Download | only in priv

Lines Matching refs:mask0x80lo

12492       IRTemp mask0x80lo = newTemp(Ity_I64);
12560          mask0x80lo,
12582       assign(rLo, binop(Iop_And64,mkexpr(permdLo),mkexpr(mask0x80lo)) );