Home | History | Annotate | Download | only in useful

Lines Matching refs:ITE

2138    /* Given ITE(cond,iftrue,iffalse), generate
2139          ITE(cond,iftrue#,iffalse#) `UifU` PCast(cond#)
2197          return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue, 
2198                                 e->Iex.ITE.iffalse);
2586                return isBogusAtom(e->Iex.ITE.cond)
2587                       || isBogusAtom(e->Iex.ITE.iftrue)
2588                       || isBogusAtom(e->Iex.ITE.iffalse);