Lines Matching defs:iffalse
1463 IRAtom *cond, *iffalse;
1466 iffalse = assignNew('V', mce, ty,
1468 vatom = assignNew('V', mce, ty, IRExpr_ITE(cond, vatom, iffalse));
4831 IRAtom* iffalse
4838 return assignNew('V', mce, tyWide, IRExpr_ITE(cond, iftrue2, iffalse));
4862 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse )
4866 /* Given ITE(cond, iftrue, iffalse
4867 ITE(cond, iftrue#, iffalse#) `UifU` PCast(cond#)
4873 tl_assert(isOriginalAtom(mce, iffalse));
4877 vbits0 = expr2vbits(mce, iffalse);
4945 e->Iex.ITE.iffalse);
5352 IRAtom *cond, *iffalse, *iftrue;
5356 iffalse = assignNew('V', mce, tySrc, definedOfType(tySrc));
5358 IRExpr_ITE(cond, iftrue, iffalse));
6179 || isBogusAtom(e->Iex.ITE.iffalse);
6610 && sameIRValue( e1->Iex.ITE.iffalse, e2->Iex.ITE.iffalse );
6850 IRAtom* iffalse
6857 return assignNew('B', mce, Ity_I32, IRExpr_ITE(cond, iftrue, iffalse));
7005 IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse );
7129 IRAtom *cond, *iffalse, *iftrue;
7132 iffalse = mkU32(0);
7138 IRExpr_ITE(cond, iftrue, iffalse));
7228 IRAtom *cond, *iffalse;
7232 iffalse = assignNew('B', mce, Ity_I32,
7237 IRExpr_ITE(cond, curr, iffalse));
