Home | History | Annotate | Download | only in priv

Lines Matching refs:sevens

12497       IRTemp sevens     = newTemp(Ity_I64);
12529       assign( sevens, mkU64(0x0707070707070707ULL) );
12534       sAnd7hi    = And(sHi,sevens)
12549       assign(sAnd7hi, binop(Iop_And64,mkexpr(sHi),mkexpr(sevens)));
12576       assign(sAnd7lo, binop(Iop_And64,mkexpr(sLo),mkexpr(sevens)));