JIT: Add missing case to relational with constant optimization (#79541)

Almost all cases of #11349 were fixed, except for this missing one. Fix #11349
dotnet · Dec 12, 2022 · fdd1f63 · fdd1f63
1 parent bf9fc46
commit fdd1f63
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
@@ -10975,7 +10975,8 @@ GenTree* Compiler::fgOptimizeRelationalComparisonWithFullRangeConst(GenTreeOp* c
             ret = gtNewZeroConNode(TYP_INT);
         }
         // [x0, x1] < [y0, y1] is true if x1 < y0
-        else if ((op == GT_LT) && (lhsMax < rhsMin))
+        // [x0, x1] <= [y0, y1] is true if x1 <= y0
+        else if (((op == GT_LT) && (lhsMax < rhsMin)) || ((op == GT_LE) && (lhsMax <= rhsMin)))
         {
             ret = gtNewOneConNode(TYP_INT);
         }