Home | History | Annotate | Download | only in priv

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");