Lines Matching refs:IRExpr_ITE
368 IRExpr_ITE(flatten_Expr(bb, ex->Iex.ITE.cond),
2463 return IRExpr_ITE(
3504 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittt.co),
3510 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittc.co),
3516 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itct.co),
3525 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itcc.co),
5316 return IRExpr_ITE(