Lines Matching refs:iftrue
4578 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse )
4582 /* Given ITE(cond, iftrue, iffalse), generate
4583 ITE(cond, iftrue#, iffalse#) `UifU` PCast(cond#)
4588 tl_assert(isOriginalAtom(mce, iftrue));
4592 vbits1 = expr2vbits(mce, iftrue);
4660 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue,
5068 IRAtom *cond, *iffalse, *iftrue;
5071 iftrue = assignNew('V', mce, tySrc, shadow_GET(mce, gOff, tySrc));
5074 IRExpr_ITE(cond, iftrue, iffalse));
5891 || isBogusAtom(e->Iex.ITE.iftrue)
6320 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue )
6555 IRAtom* iftrue
6568 return assignNew('B', mce, Ity_I32, IRExpr_ITE(cond, iftrue, iffalse));
6715 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
6840 IRAtom *cond, *iffalse, *iftrue;
6844 iftrue = assignNew( 'B', mce, Ity_I32,
6849 IRExpr_ITE(cond, iftrue, iffalse));