@@ -289,7 +289,13 @@ static Range GetRange(Compiler* comp, GenTree* tree, BasicBlock* block, ASSERT_V
             }
 
             int64_t constValue = node->AsIntConCommon()->IntegralValue();
+            if (constValue < 0)
+            {
+                // We don't try and reason about lower bounds here to simplify the logic.
+                break;
+            }
 
+            // For a non-negative constant, try and find a tighter upper bound
             if (constValue <= UINT16_MAX)
             {
                 if (constValue <= UINT8_MAX)
@@ -334,11 +340,7 @@ static Range GetRange(Compiler* comp, GenTree* tree, BasicBlock* block, ASSERT_V
                 }
             }
 
-            if (constValue >= 0)
-            {
-                return {SymbolicIntegerValue::Zero, UpperBoundForType(rangeType)};
-            }
-            break;
+            return {SymbolicIntegerValue::Zero, UpperBoundForType(rangeType)};
         }
 
         case GT_QMARK:
Original file line number	Diff line number	Diff line change
`@@ -289,7 +289,13 @@ static Range GetRange(Compiler* comp, GenTree* tree, BasicBlock* block, ASSERT_V`
`289`	`289`	`}`
`290`	`290`
`291`	`291`	`int64_t constValue = node->AsIntConCommon()->IntegralValue();`
	`292`	`+ if (constValue < 0)`
	`293`	`+ {`
	`294`	`+ // We don't try and reason about lower bounds here to simplify the logic.`
	`295`	`+ break;`
	`296`	`+ }`
`292`	`297`
	`298`	`+ // For a non-negative constant, try and find a tighter upper bound`
`293`	`299`	`if (constValue <= UINT16_MAX)`
`294`	`300`	`{`
`295`	`301`	`if (constValue <= UINT8_MAX)`
`@@ -334,11 +340,7 @@ static Range GetRange(Compiler* comp, GenTree* tree, BasicBlock* block, ASSERT_V`
`334`	`340`	`}`
`335`	`341`	`}`
`336`	`342`
`337`		`- if (constValue >= 0)`
`338`		`- {`
`339`		`- return {SymbolicIntegerValue::Zero, UpperBoundForType(rangeType)};`
`340`		`- }`
`341`		`- break;`
	`343`	`+ return {SymbolicIntegerValue::Zero, UpperBoundForType(rangeType)};`
`342`	`344`	`}`
`343`	`345`
`344`	`346`	`case GT_QMARK:`