Lines Matching refs:IRExpr_ITE
368 IRExpr_ITE(flatten_Expr(bb, ex->Iex.ITE.cond),
2528 return IRExpr_ITE(
3601 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittt.co),
3607 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittc.co),
3613 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itct.co),
3622 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itcc.co),
5451 return IRExpr_ITE(
