Home | History | Annotate | Download | only in priv

Lines Matching refs:max10

5277          IRTemp max10 = newTemp(Ity_V128);
5285          assign(max10, binop(op, mkexpr(xAll1), mkexpr(xAll0)));
5293          assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));
5339          IRTemp max10 = newTemp(Ity_V128);
5343          assign(max10, binop(op, mkexpr(x11111111), mkexpr(x00000000)));
5347          assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));
5370          IRTemp max10 = newTemp(Ity_V128);
5372          assign(max10, binop(op, mkexpr(x1111), mkexpr(x0000)));
5374          assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));