Cross Reference: /external/valgrind/VEX/priv/ir

Lines Matching refs:ITE
1353       vex_printf("ITE(");
1354       ppIRExpr(e->Iex.ITE.cond);
1356       ppIRExpr(e->Iex.ITE.iftrue);
1358       ppIRExpr(e->Iex.ITE.iffalse);
1881    e->Iex.ITE.cond    = cond;
1882    e->Iex.ITE.iftrue  = iftrue;
1883    e->Iex.ITE.iffalse = iffalse;
2323          return IRExpr_ITE(deepCopyIRExpr(e->Iex.ITE.cond),
2324                            deepCopyIRExpr(e->Iex.ITE.iftrue),
2325                            deepCopyIRExpr(e->Iex.ITE.iffalse));
3579          e = e->Iex.ITE.iffalse;
3581          /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3684                                     isIRAtom(e->Iex.ITE.cond) 
3685                                     && isIRAtom(e->Iex.ITE.iftrue) 
3686                                     && isIRAtom(e->Iex.ITE.iffalse));
3877          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.cond,def_counts);
3878          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iftrue,def_counts);
3879          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts);
4163          tcExpr(bb,stmt, expr->Iex.ITE.cond, gWordTy);
4164          tcExpr(bb,stmt, expr->Iex.ITE.iftrue, gWordTy);
4165          tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4166          if (typeOfIRExpr(tyenv, expr->Iex.ITE.cond) != Ity_I1)
4167             sanityCheckFail(bb,stmt,"Iex.ITE.cond: cond :: Ity_I1");
4168          if (typeOfIRExpr(tyenv, expr->Iex.ITE.iftrue)
4169              != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4170             sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");
OpenGrok
