991                      IRExpr_ITE( mkexpr(guardB),  in setFlags_DEP1_DEP2_shift()
995                      IRExpr_ITE( mkexpr(guardB),  in setFlags_DEP1_DEP2_shift()
999                      IRExpr_ITE( mkexpr(guardB),  in setFlags_DEP1_DEP2_shift()
1005                      IRExpr_ITE( mkexpr(guardB),  in setFlags_DEP1_DEP2_shift()
2580                         IRExpr_ITE( mkexpr(rot_amt32b),  in dis_Grp2()
2584                         IRExpr_ITE( mkexpr(rot_amt32b),  in dis_Grp2()
2588                         IRExpr_ITE( mkexpr(rot_amt32b),  in dis_Grp2()
2592                         IRExpr_ITE( mkexpr(rot_amt32b),  in dis_Grp2()
3428           IRExpr_ITE(  in gen_LZCNT()
3568       IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),  in put_ST()
3594       IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),  in get_ST()
3618           IRExpr_ITE(mkexpr(cond), mkU8(1)/*FULL*/, mkexpr(old_tag)));  in maybe_put_ST()
3624           IRExpr_ITE(mkexpr(cond),  in maybe_put_ST()
3625                      IRExpr_ITE(binop(Iop_CmpNE8, mkexpr(old_tag), mkU8(0)),  in maybe_put_ST()
4332                   IRExpr_ITE(  in dis_FPU()
4469                   IRExpr_ITE(  in dis_FPU()
4514                   IRExpr_ITE(  in dis_FPU()
4641                                 IRExpr_ITE(   in dis_FPU()
4650                                 IRExpr_ITE(   in dis_FPU()
4659                                 IRExpr_ITE(   in dis_FPU()
4668                                 IRExpr_ITE(   in dis_FPU()
4802                                 IRExpr_ITE(   in dis_FPU()
4811                                 IRExpr_ITE(   in dis_FPU()
4820                                 IRExpr_ITE(   in dis_FPU()
4829                                 IRExpr_ITE(   in dis_FPU()
5750         IRExpr_ITE(  in dis_MMX_shiftG_byE()
5760         IRExpr_ITE(  in dis_MMX_shiftG_byE()
6507             IRExpr_ITE( mkexpr(srcB),  in dis_bs_E_G()
6543            IRExpr_ITE(   in dis_bs_E_G()
6674       assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );  in dis_cmpxchg_G_E()
6675       assign( acc2,  IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );  in dis_cmpxchg_G_E()
6691       assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );  in dis_cmpxchg_G_E()
6692       assign( acc2,  IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );  in dis_cmpxchg_G_E()
6714       assign( acc2,  IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );  in dis_cmpxchg_G_E()
6761                   IRExpr_ITE( mk_x86g_calculate_condition(cond),  in dis_cmov_E_G()
6779                   IRExpr_ITE( mk_x86g_calculate_condition(cond),  in dis_cmov_E_G()
7451         IRExpr_ITE(  in dis_SSE_shiftG_byE()
7461         IRExpr_ITE(  in dis_SSE_shiftG_byE()
7666             IRExpr_ITE(   in set_EFLAGS_from_value()
7678             IRExpr_ITE(   in set_EFLAGS_from_value()
7691             IRExpr_ITE(   in set_EFLAGS_from_value()
14801                     IRExpr_ITE( mkexpr(success),  in disInstr_X86_WRK()
14805                     IRExpr_ITE( mkexpr(success),  in disInstr_X86_WRK()