Lines Matching refs:ITE
4944 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue, in expr2vbits()
4945 e->Iex.ITE.iffalse); in expr2vbits()
6177 return isBogusAtom(e->Iex.ITE.cond) in checkForBogusLiterals()
6178 || isBogusAtom(e->Iex.ITE.iftrue) in checkForBogusLiterals()
6179 || isBogusAtom(e->Iex.ITE.iffalse); in checkForBogusLiterals()
6608 return sameIRValue( e1->Iex.ITE.cond, e2->Iex.ITE.cond ) in sameIRValue()
6609 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue ) in sameIRValue()
6610 && sameIRValue( e1->Iex.ITE.iffalse, e2->Iex.ITE.iffalse ); in sameIRValue()
7003 IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond ); in schemeE()
7004 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue ); in schemeE()
7005 IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse ); in schemeE()