Test commit

Author: EgorBo

src/coreclr/jit/assertionprop.cpp

@@ -4032,7 +4032,7 @@ RangeStatus IsRange2ImpliedByRange1(genTreeOps oper1, int bound1, genTreeOps ope
             // "x > 100 && x != 10", the 2nd range check is always true
             return AlwaysIncluded;
         }
-        if (range1.startIncl == bound2 && range1.endIncl == bound2)
+        if ((range1.startIncl == bound2) && (range1.endIncl == bound2))
         {
             // "x == 100 && x != 100", the 2nd range check is never true
             return NeverIntersects;

src/coreclr/jit/gentree.h

@@ -2104,7 +2104,7 @@ struct GenTree
 
     void ClearUnsigned()
     {
-        assert(OperIs(GT_ADD, GT_SUB, GT_CAST) || OperIsMul());
+        assert(OperIs(GT_ADD, GT_SUB, GT_CAST, GT_LE, GT_LT, GT_GT, GT_GE) || OperIsMul());
         gtFlags &= ~GTF_UNSIGNED;
     }
 

src/coreclr/jit/morph.cpp

@@ -9135,6 +9135,12 @@ GenTree* Compiler::fgMorphSmpOp(GenTree* tree, MorphAddrContext* mac, bool* optA
         case GT_LE:
         case GT_GE:
         case GT_GT:
+            if (varTypeIsIntegral(op1) && varTypeIsIntegral(op2) && op1->IsNeverNegative(this) &&
+                op2->IsNeverNegative(this))
+            {
+                // Some branch optimizations don't work well with unsigned relops
+                tree->ClearUnsigned();
+            }
 
             if (!optValnumCSE_phase && (op1->OperIs(GT_CAST) || op2->OperIs(GT_CAST)))
             {