Home | History | Annotate | Download | only in priv

Lines Matching full:res256

9634       IRTemp res256 = newTemp(Ity_V256);
9639          res256,
9643       assign(resSH, unop(Iop_V256toV128_0, mkexpr(res256)));
9644       assign(resQ,  unop(Iop_V256toV128_1, mkexpr(res256)));
11314       IRTemp res256 = newTemp(Ity_V256);
11318       assign(res256, binop(op, 
11321       assign(resSH, unop(Iop_V256toV128_0, mkexpr(res256)));
11322       assign(resQ,  unop(Iop_V256toV128_1, mkexpr(res256)));