Home | History | Annotate | Download | only in priv

Lines Matching refs:x77777777

5221          IRTemp x77777777 = newTemp(Ity_V128);
5229          assign(x77777777, mk_CatOddLanes16x8 (x76767676, x76767676));
5254          assign(xAllF, mk_CatOddLanes8x16 (x77777777, x77777777));
5255          assign(xAllE, mk_CatEvenLanes8x16(x77777777, x77777777));
5320          IRTemp x77777777 = newTemp(Ity_V128);
5328          assign(x77777777, mk_CatOddLanes16x8 (x76767676, x76767676));
5340          assign(max76, binop(op, mkexpr(x77777777), mkexpr(x66666666)));