599                  IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putIRegA()
632                  IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putIRegT()
727                  IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putDReg()
770                     IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putDRegI64()
836                  IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putQReg()
895                  IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putFReg()
924          IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),  in putMiscReg32()
1332                IRExpr_ITE( mkexpr(c1),  in setFlags_D1_D2_ND()
1337                IRExpr_ITE( mkexpr(c1),  in setFlags_D1_D2_ND()
1342                IRExpr_ITE( mkexpr(c1),  in setFlags_D1_D2_ND()
1347                IRExpr_ITE( mkexpr(c1),  in setFlags_D1_D2_ND()
1615    assign( nd3, IRExpr_ITE(mkexpr(nd2), mkexpr(nd1), mkexpr(nd0)) );  in armUnsignedSatQ()
1618    assign( nd6, IRExpr_ITE(mkexpr(nd5), mkexpr(nd4), mkexpr(nd3)) );  in armUnsignedSatQ()
1659    assign( nd3, IRExpr_ITE( mkexpr(nd2), mkexpr(nd1), mkexpr(nd0) ) );  in armSignedSatQ()
1662    assign( nd6, IRExpr_ITE( mkexpr(nd5), mkexpr(nd4), mkexpr(nd3) ) );  in armSignedSatQ()
1787          IRExpr_ITE(  in compute_result_and_C_after_LSL_by_reg()
1790             IRExpr_ITE(  in compute_result_and_C_after_LSL_by_reg()
1897          IRExpr_ITE(  in compute_result_and_C_after_LSR_by_reg()
1900             IRExpr_ITE(  in compute_result_and_C_after_LSR_by_reg()
2007          IRExpr_ITE(  in compute_result_and_C_after_ASR_by_reg()
2010             IRExpr_ITE(  in compute_result_and_C_after_ASR_by_reg()
2045             IRExpr_ITE(  in compute_result_and_C_after_ASR_by_reg()
2074          IRExpr_ITE(  in compute_result_and_C_after_ROR_by_reg()
2097       IRExpr_ITE(  in compute_result_and_C_after_ROR_by_reg()
11609         assign( ge10, IRExpr_ITE( binop( Iop_CmpLE32U,   in decode_V6MEDIA_instruction()
11690         assign( ge32, IRExpr_ITE( binop( Iop_CmpLE32U,  in decode_V6MEDIA_instruction()
15696       assign(res, IRExpr_ITE(  in disInstr_ARM_WRK()
17860       assign(condT, IRExpr_ITE(  in disInstr_THUMB_WRK()
21283          assign(res, IRExpr_ITE(  in disInstr_THUMB_WRK()