Home | History | Annotate | Download | only in priv

Lines Matching refs:Mux0X

1030       vex_printf("Mux0X(");
1031 ppIRExpr(e->Iex.Mux0X.cond);
1033 ppIRExpr(e->Iex.Mux0X.expr0);
1035 ppIRExpr(e->Iex.Mux0X.exprX);
1478 e->Iex.Mux0X.cond = cond;
1479 e->Iex.Mux0X.expr0 = expr0;
1480 e->Iex.Mux0X.exprX = exprX;
1845 return IRExpr_Mux0X(deepCopyIRExpr(e->Iex.Mux0X.cond),
1846 deepCopyIRExpr(e->Iex.Mux0X.expr0),
1847 deepCopyIRExpr(e->Iex.Mux0X.exprX));
2720 e = e->Iex.Mux0X.expr0;
2722 /* return typeOfIRExpr(tyenv, e->Iex.Mux0X.expr0); */
2807 isIRAtom(e->Iex.Mux0X.cond)
2808 && isIRAtom(e->Iex.Mux0X.expr0)
2809 && isIRAtom(e->Iex.Mux0X.exprX));
2973 useBeforeDef_Expr(bb,stmt,expr->Iex.Mux0X.cond,def_counts);
2974 useBeforeDef_Expr(bb,stmt,expr->Iex.Mux0X.expr0,def_counts);
2975 useBeforeDef_Expr(bb,stmt,expr->Iex.Mux0X.exprX,def_counts);
3230 tcExpr(bb,stmt, expr->Iex.Mux0X.cond, gWordTy);
3231 tcExpr(bb,stmt, expr->Iex.Mux0X.expr0, gWordTy);
3232 tcExpr(bb,stmt, expr->Iex.Mux0X.exprX, gWordTy);
3233 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.cond) != Ity_I8)
3234 sanityCheckFail(bb,stmt,"Iex.Mux0X.cond: cond :: Ity_I8");
3235 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.expr0)
3236 != typeOfIRExpr(tyenv, expr->Iex.Mux0X.exprX))
3237 sanityCheckFail(bb,stmt,"Iex.Mux0X: expr0/exprX mismatch");