Lines Matching defs:qop
1052 IRQop *qop = e->Iex.Qop.details;
1053 ppIROp(qop->op);
1055 ppIRExpr(qop->arg1);
1057 ppIRExpr(qop->arg2);
1059 ppIRExpr(qop->arg3);
1061 ppIRExpr(qop->arg4);
1520 IRQop* qop = LibVEX_Alloc(sizeof(IRQop));
1521 qop->op = op;
1522 qop->arg1 = arg1;
1523 qop->arg2 = arg2;
1524 qop->arg3 = arg3;
1525 qop->arg4 = arg4;
1527 e->Iex.Qop.details = qop;
1934 IRQop* qop = e->Iex.Qop.details;
1936 return IRExpr_Qop(qop->op,
1937 deepCopyIRExpr(qop->arg1),
1938 deepCopyIRExpr(qop->arg2),
1939 deepCopyIRExpr(qop->arg3),
1940 deepCopyIRExpr(qop->arg4));
2955 typeOfPrimop(e->Iex.Qop.details->op,
3022 IRQop* qop;
3045 case Iex_Qop: qop = e->Iex.Qop.details;
3047 isIRAtom(qop->arg1)
3048 && isIRAtom(qop->arg2)
3049 && isIRAtom(qop->arg3)
3050 && isIRAtom(qop->arg4));
3206 IRQop* qop = expr->Iex.Qop.details;
3207 useBeforeDef_Expr(bb,stmt,qop->arg1,def_counts);
3208 useBeforeDef_Expr(bb,stmt,qop->arg2,def_counts);
3209 useBeforeDef_Expr(bb,stmt,qop->arg3,def_counts);
3210 useBeforeDef_Expr(bb,stmt,qop->arg4,def_counts);
3327 IRQop* qop = expr->Iex.Qop.details;
3328 tcExpr(bb,stmt, qop->arg1, gWordTy );
3329 tcExpr(bb,stmt, qop->arg2, gWordTy );
3330 tcExpr(bb,stmt, qop->arg3, gWordTy );
3331 tcExpr(bb,stmt, qop->arg4, gWordTy );
3332 typeOfPrimop(qop->op,
3337 ppIROp(qop->op);
3340 "Iex.Qop: wrong arity op\n"
3343 ttarg1 = typeOfIRExpr(tyenv, qop->arg1);
3344 ttarg2 = typeOfIRExpr(tyenv, qop->arg2);
3345 ttarg3 = typeOfIRExpr(tyenv, qop->arg3);
3346 ttarg4 = typeOfIRExpr(tyenv, qop->arg4);
3350 ppIROp(qop->op);
3372 "Iex.Qop: arg tys don't match op tys\n"
