Lines Matching refs:iftrue
1269 ppIRExpr(e->Iex.ITE.iftrue);
1785 IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ) {
1789 e->Iex.ITE.iftrue = iftrue;
2226 deepCopyIRExpr(e->Iex.ITE.iftrue),
3532 && isIRAtom(e->Iex.ITE.iftrue)
3721 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iftrue,def_counts);
4006 tcExpr(bb,stmt, expr->Iex.ITE.iftrue, gWordTy);
4010 if (typeOfIRExpr(tyenv, expr->Iex.ITE.iftrue)
4012 sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");