Lines Matching refs:Triop
1216 IRTriop *triop = e->Iex.Triop.details;
1217 ppIROp(triop->op);
1219 ppIRExpr(triop->arg1);
1221 ppIRExpr(triop->arg2);
1223 ppIRExpr(triop->arg3);
1738 IRTriop* triop = LibVEX_Alloc(sizeof(IRTriop));
1739 triop->op = op;
1740 triop->arg1 = arg1;
1741 triop->arg2 = arg2;
1742 triop->arg3 = arg3;
1744 e->Iex.Triop.details = triop;
2199 IRTriop *triop = e->Iex.Triop.details;
2201 return IRExpr_Triop(triop->op,
2202 deepCopyIRExpr(triop->arg1),
2203 deepCopyIRExpr(triop->arg2),
2204 deepCopyIRExpr(triop->arg3));
3411 typeOfPrimop(e->Iex.Triop.details->op,
3487 IRTriop* triop;
3515 case Iex_Triop: triop = e->Iex.Triop.details;
3517 isIRAtom(triop->arg1)
3518 && isIRAtom(triop->arg2)
3519 && isIRAtom(triop->arg3));
3688 IRTriop* triop = expr->Iex.Triop.details;
3689 useBeforeDef_Expr(bb,stmt,triop->arg1,def_counts);
3690 useBeforeDef_Expr(bb,stmt,triop->arg2,def_counts);
3691 useBeforeDef_Expr(bb,stmt,triop->arg3,def_counts);
3883 IRTriop *triop = expr->Iex.Triop.details;
3884 tcExpr(bb,stmt, triop->arg1, gWordTy );
3885 tcExpr(bb,stmt, triop->arg2, gWordTy );
3886 tcExpr(bb,stmt, triop->arg3, gWordTy );
3887 typeOfPrimop(triop->op,
3892 ppIROp(triop->op);
3895 "Iex.Triop: wrong arity op\n"
3898 ttarg1 = typeOfIRExpr(tyenv, triop->arg1);
3899 ttarg2 = typeOfIRExpr(tyenv, triop->arg2);
3900 ttarg3 = typeOfIRExpr(tyenv, triop->arg3);
3903 ppIROp(triop->op);
3921 "Iex.Triop: arg tys don't match op tys\n"