Lines Matching refs:Qop
1289 const IRQop *qop = e->Iex.Qop.details;
1290 ppIROp(qop->op);
1292 ppIRExpr(qop->arg1);
1294 ppIRExpr(qop->arg2);
1296 ppIRExpr(qop->arg3);
1298 ppIRExpr(qop->arg4);
1818 IRQop* qop = LibVEX_Alloc_inline(sizeof(IRQop));
1819 qop->op = op;
1820 qop->arg1 = arg1;
1821 qop->arg2 = arg2;
1822 qop->arg3 = arg3;
1823 qop->arg4 = arg4;
1825 e->Iex.Qop.details = qop;
2288 const IRQop* qop = e->Iex.Qop.details;
2290 return IRExpr_Qop(qop->op,
2291 deepCopyIRExpr(qop->arg1),
2292 deepCopyIRExpr(qop->arg2),
2293 deepCopyIRExpr(qop->arg3),
2294 deepCopyIRExpr(qop->arg4));
3561 typeOfPrimop(e->Iex.Qop.details->op,
3638 const IRQop* qop;
3662 case Iex_Qop: qop = e->Iex.Qop.details;
3664 isIRAtom(qop->arg1)
3665 && isIRAtom(qop->arg2)
3666 && isIRAtom(qop->arg3)
3667 && isIRAtom(qop->arg4));
3837 const IRQop* qop = expr->Iex.Qop.details;
3838 useBeforeDef_Expr(bb,stmt,qop->arg1,def_counts);
3839 useBeforeDef_Expr(bb,stmt,qop->arg2,def_counts);
3840 useBeforeDef_Expr(bb,stmt,qop->arg3,def_counts);
3841 useBeforeDef_Expr(bb,stmt,qop->arg4,def_counts);
3989 const IRQop* qop = expr->Iex.Qop.details;
3990 tcExpr(bb,stmt, qop->arg1, gWordTy );
3991 tcExpr(bb,stmt, qop->arg2, gWordTy );
3992 tcExpr(bb,stmt, qop->arg3, gWordTy );
3993 tcExpr(bb,stmt, qop->arg4, gWordTy );
3994 typeOfPrimop(qop->op,
3999 ppIROp(qop->op);
4002 "Iex.Qop: wrong arity op\n"
4005 ttarg1 = typeOfIRExpr(tyenv, qop->arg1);
4006 ttarg2 = typeOfIRExpr(tyenv, qop->arg2);
4007 ttarg3 = typeOfIRExpr(tyenv, qop->arg3);
4008 ttarg4 = typeOfIRExpr(tyenv, qop->arg4);
4012 ppIROp(qop->op);
4034 "Iex.Qop: arg tys don't match op tys\n"
