Home | History | Annotate | Download | only in priv

Lines Matching full:x66666666

5222          IRTemp x66666666 = newTemp(Ity_V128);
5230          assign(x66666666, mk_CatEvenLanes16x8(x76767676, x76767676));
5256          assign(xAllD, mk_CatOddLanes8x16 (x66666666, x66666666));
5257          assign(xAllC, mk_CatEvenLanes8x16(x66666666, x66666666));
5321          IRTemp x66666666 = newTemp(Ity_V128);
5329          assign(x66666666, mk_CatEvenLanes16x8(x76767676, x76767676));
5340          assign(max76, binop(op, mkexpr(x77777777), mkexpr(x66666666)));