Lines Matching full:res2
1501 IRTemp res2 = newTemp(Ity_I32);
1503 res2,
1525 mkexpr(res2),
7169 IRTemp res1, res2;
7174 res2 = newTemp(Ity_V128);
7179 res2 = newTemp(Ity_I64);
7225 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7228 putQReg(mreg, mkexpr(res2), condT);
7231 putDRegI64(mreg, mkexpr(res2), condT);
7239 IRTemp res1, res2;
7246 res2 = newTemp(Ity_V128);
7251 res2 = newTemp(Ity_I64);
7276 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7279 putQReg(mreg, mkexpr(res2), condT);
7282 putDRegI64(mreg, mkexpr(res2), condT);
7290 IRTemp res1, res2;
7297 res2 = newTemp(Ity_V128);
7302 res2 = newTemp(Ity_I64);
7327 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7330 putQReg(mreg, mkexpr(res2), condT);
7333 putDRegI64(mreg, mkexpr(res2), condT);
