Allow ComputeRange to also pass through TYP_LONG for cases that fit into int32

Author: tannergooding

src/coreclr/jit/rangecheck.cpp

@@ -1058,12 +1058,17 @@ Range RangeCheck::GetRangeFromAssertionsWorker(Compiler*
         }
     }
 
-    // If it was evaluated to a single constant value by now, return it.
-    // We can't do better anyway.
     if (result.IsSingleValueConstant())
     {
+        // If it was evaluated to a single constant value by now, return it, we can't do better anyway.
         return result;
     }
+    else if (!result.IsConstantRange())
+    {
+        // Otherwise if it isn't a constant range, skip the remaining merging
+        assert(varTypeIsLong(vnType));
+        return Limit(Limit::keUnknown);
+    }
 
     Range phiRange = Range(Limit(Limit::keUndef));
     auto  visitor  = [comp, &phiRange, &budget, visited](ValueNum reachingVN, ASSERT_TP reachingAssertions) {
@@ -2320,12 +2325,6 @@ Range RangeCheck::ComputeRange(BasicBlock* block, GenTree* expr, bool monIncreas
         range = Range(Limit(Limit::keUnknown));
         JITDUMP("GetRangeWorker not tractable within max stack depth.\n");
     }
-    // TYP_LONG is not supported anyway.
-    else if (expr->TypeIs(TYP_LONG))
-    {
-        range = Range(Limit(Limit::keUnknown));
-        JITDUMP("GetRangeWorker long, setting to unknown value.\n");
-    }
     // If VN is constant return range as constant.
     else if (m_compiler->vnStore->IsVNConstant(vn))
     {
@@ -2402,16 +2401,11 @@ Range RangeCheck::ComputeRange(BasicBlock* block, GenTree* expr, bool monIncreas
             range = Range(Limit(Limit::keConstant, 0), Limit(Limit::keConstant, CORINFO_Array_MaxLength));
         }
     }
-    else if (genActualType(expr) == TYP_INT)
+    else
     {
         // Use GetRangeFromAssertions for everything else since they won't produce dependent or symbolic ranges
         range = GetRangeFromAssertions(m_compiler, expr->TypeGet(), vn, block->bbAssertionIn);
     }
-    else
-    {
-        // The expression is not recognized, so the result is unknown.
-        range = Range(Limit(Limit::keUnknown));
-    }
 
     GetRangeMap()->Set(expr, new (m_alloc) Range(range), RangeMap::Overwrite);
     GetSearchPath()->Remove(expr);