Home | History | Annotate | Download | only in priv

Lines Matching refs:x44444444

5224          IRTemp x44444444 = newTemp(Ity_V128);
5232 assign(x44444444, mk_CatEvenLanes16x8(x54545454, x54545454));
5260 assign(xAll9, mk_CatOddLanes8x16 (x44444444, x44444444));
5261 assign(xAll8, mk_CatEvenLanes8x16(x44444444, x44444444));
5323 IRTemp x44444444 = newTemp(Ity_V128);
5331 assign(x44444444, mk_CatEvenLanes16x8(x54545454, x54545454));
5341 assign(max54, binop(op, mkexpr(x55555555), mkexpr(x44444444)));