Lines Matching refs:ITE
368 IRExpr_ITE(flatten_Expr(bb, ex->Iex.ITE.cond),
369 flatten_Expr(bb, ex->Iex.ITE.iftrue),
370 flatten_Expr(bb, ex->Iex.ITE.iffalse))));
1118 return toBool( sameIRExprs_aux( env, e1->Iex.ITE.cond,
1119 e2->Iex.ITE.cond )
1120 && sameIRExprs_aux( env, e1->Iex.ITE.iftrue,
1121 e2->Iex.ITE.iftrue )
1122 && sameIRExprs_aux( env, e1->Iex.ITE.iffalse,
1123 e2->Iex.ITE.iffalse ));
2356 /* ITE */
2358 if (e->Iex.ITE.cond->tag == Iex_Const) {
2360 vassert(e->Iex.ITE.cond->Iex.Const.con->tag == Ico_U1);
2361 e2 = e->Iex.ITE.cond->Iex.Const.con->Ico.U1
2362 ? e->Iex.ITE.iftrue : e->Iex.ITE.iffalse;
2366 if (sameIRExprs(env, e->Iex.ITE.iftrue,
2367 e->Iex.ITE.iffalse)) {
2368 e2 = e->Iex.ITE.iffalse;
2525 vassert(isIRAtom(ex->Iex.ITE.cond));
2526 vassert(isIRAtom(ex->Iex.ITE.iftrue));
2527 vassert(isIRAtom(ex->Iex.ITE.iffalse));
2529 subst_Expr(env, ex->Iex.ITE.cond),
2530 subst_Expr(env, ex->Iex.ITE.iftrue),
2531 subst_Expr(env, ex->Iex.ITE.iffalse)
2945 addUses_Expr(set, e->Iex.ITE.cond);
2946 addUses_Expr(set, e->Iex.ITE.iftrue);
2947 addUses_Expr(set, e->Iex.ITE.iffalse);
3455 /* ITE(tmp,tmp,tmp) */
3461 /* ITE(tmp,tmp,const) */
3467 /* ITE(tmp,const,tmp) */
3473 /* ITE(tmp,const,const) */
3777 if (e->Iex.ITE.cond->tag == Iex_RdTmp) {
3778 if (e->Iex.ITE.iffalse->tag == Iex_RdTmp) {
3779 if (e->Iex.ITE.iftrue->tag == Iex_RdTmp) {
3782 ae->u.Ittt.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;
3783 ae->u.Ittt.e1 = e->Iex.ITE.iftrue->Iex.RdTmp.tmp;
3784 ae->u.Ittt.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;
3787 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3790 ae->u.Itct.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;
3791 ae->u.Itct.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);
3792 ae->u.Itct.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;
3795 } else if (e->Iex.ITE.iffalse->tag == Iex_Const) {
3796 if (e->Iex.ITE.iftrue->tag == Iex_RdTmp) {
3799 ae->u.Ittc.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;
3800 ae->u.Ittc.e1 = e->Iex.ITE.iftrue->Iex.RdTmp.tmp;
3801 ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);
3804 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3807 ae->u.Itcc.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;
3808 ae->u.Itcc.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);
3809 ae->u.Itcc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);
4590 deltaIRExpr(e->Iex.ITE.cond, delta);
4591 deltaIRExpr(e->Iex.ITE.iftrue, delta);
4592 deltaIRExpr(e->Iex.ITE.iffalse, delta);
5012 setHints_Expr(doesLoad, getInterval, e->Iex.ITE.cond);
5013 setHints_Expr(doesLoad, getInterval, e->Iex.ITE.iftrue);
5014 setHints_Expr(doesLoad, getInterval, e->Iex.ITE.iffalse);
5094 aoccCount_Expr(uses, e->Iex.ITE.cond);
5095 aoccCount_Expr(uses, e->Iex.ITE.iftrue);
5096 aoccCount_Expr(uses, e->Iex.ITE.iffalse);
5452 atbSubst_Expr(env, e->Iex.ITE.cond),
5453 atbSubst_Expr(env, e->Iex.ITE.iftrue),
5454 atbSubst_Expr(env, e->Iex.ITE.iffalse)
