Lines Matching refs:iftrue
2114 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse )
2118 /* Given ITE(cond,iftrue,iffalse), generate
2119 ITE(cond,iftrue#,iffalse#) `UifU` PCast(cond#)
2124 tl_assert(isOriginalAtom(mce, iftrue));
2129 vbits1 = expr2vbits(mce, iftrue);
2177 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue,
2567 || isBogusAtom(e->Iex.ITE.iftrue)