Lines Matching refs:iffalse
1271 ppIRExpr(e->Iex.ITE.iffalse);
1785 IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ) {
1790 e->Iex.ITE.iffalse = iffalse;
2227 deepCopyIRExpr(e->Iex.ITE.iffalse));
3425 e = e->Iex.ITE.iffalse;
3427 /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3533 && isIRAtom(e->Iex.ITE.iffalse));
3722 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts);
4007 tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4011 != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4012 sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");