Home | History | Annotate | Download | only in priv

Lines Matching refs:mask0x80lo

13850       IRTemp mask0x80lo = newTemp(Ity_I64);
13918          mask0x80lo,
13940       assign(rLo, binop(Iop_And64,mkexpr(permdLo),mkexpr(mask0x80lo)) );