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