Lines Matching refs:iftrue
4858 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse ) in expr2vbits_ITE() argument
4868 tl_assert(isOriginalAtom(mce, iftrue)); in expr2vbits_ITE()
4872 vbits1 = expr2vbits(mce, iftrue); in expr2vbits_ITE()
4940 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue, in expr2vbits()
5348 IRAtom *cond, *iffalse, *iftrue; in do_shadow_Dirty() local
5351 iftrue = assignNew('V', mce, tySrc, shadow_GET(mce, gOff, tySrc)); in do_shadow_Dirty()
5354 IRExpr_ITE(cond, iftrue, iffalse)); in do_shadow_Dirty()
6173 || isBogusAtom(e->Iex.ITE.iftrue) in checkForBogusLiterals()
6602 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue ) in sameIRValue()
6837 IRAtom* iftrue in expr2ori_Load_guarded_General() local
6850 return assignNew('B', mce, Ity_I32, IRExpr_ITE(cond, iftrue, iffalse)); in expr2ori_Load_guarded_General()
6997 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue ); in schemeE()
7122 IRAtom *cond, *iffalse, *iftrue; in do_origins_Dirty() local
7126 iftrue = assignNew( 'B', mce, Ity_I32, in do_origins_Dirty()
7131 IRExpr_ITE(cond, iftrue, iffalse)); in do_origins_Dirty()