Lines Matching refs:iftrue
4862 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse )
4866 /* Given ITE(cond, iftrue, iffalse), generate
4867 ITE(cond, iftrue#, iffalse#) `UifU` PCast(cond#)
4872 tl_assert(isOriginalAtom(mce, iftrue));
4876 vbits1 = expr2vbits(mce, iftrue);
4944 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue,
5352 IRAtom *cond, *iffalse, *iftrue;
5355 iftrue = assignNew('V', mce, tySrc, shadow_GET(mce, gOff, tySrc));
5358 IRExpr_ITE(cond, iftrue, iffalse));
6178 || isBogusAtom(e->Iex.ITE.iftrue)
6609 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue )
6844 IRAtom* iftrue
6857 return assignNew('B', mce, Ity_I32, IRExpr_ITE(cond, iftrue, iffalse));
7004 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
7129 IRAtom *cond, *iffalse, *iftrue;
7133 iftrue = assignNew( 'B', mce, Ity_I32,
7138 IRExpr_ITE(cond, iftrue, iffalse));