Moved logic to separate functions (#70145)

Author: SkiFoD

src/coreclr/jit/assertionprop.cpp

@@ -68,6 +68,50 @@ bool IntegralRange::Contains(int64_t value) const
     return SymbolicToRealMap[static_cast<int32_t>(value)];
 }
 
+//------------------------------------------------------------------------
+// GetUpperBound: Get the largest possible value "type" can represent
+//
+// Arguments:
+//    node     - the node, of an integral type, in question
+//    type     - the integral type in question
+//    compiler - the Compiler, used to retrieve additional info
+//    
+// Return Value:
+//    the largest possible value "type" can represent.
+//
+/* static */ size_t IntegralRange::GetUpperBound(GenTree* node, var_types type, Compiler* compiler)
+{
+    IntegralRange valRange = IntegralRange::ForNode(node, compiler);
+#if defined(HOST_X86) || defined(HOST_ARM)
+    return (int32_t)IntegralRange::SymbolicToRealValue(valRange.UpperBoundForType(type));
+#else
+    return IntegralRange::SymbolicToRealValue(valRange.UpperBoundForType(type));
+#endif
+
+}
+
+//------------------------------------------------------------------------
+// GetUpperBound: Get the smallest possible value "type" can represent
+//
+// Arguments:
+//    node     - the node, of an integral type, in question
+//    type     - the integral type in question
+//    compiler - the Compiler, used to retrieve additional info
+//
+// Return Value:
+//    the smallest possible value "type" can represent.
+//
+/* static */ size_t IntegralRange::GetLowerBound(GenTree* node, var_types type, Compiler* compiler)
+{
+    IntegralRange valRange = IntegralRange::ForNode(node, compiler);
+#if defined(HOST_X86) || defined(HOST_ARM)
+    return (int32_t)IntegralRange::SymbolicToRealValue(valRange.LowerBoundForType(type));
+#else
+    return IntegralRange::SymbolicToRealValue(valRange.LowerBoundForType(type));
+
+#endif
+}
+
 //------------------------------------------------------------------------
 // LowerBoundForType: Get the symbolic lower bound for a type.
 //

src/coreclr/jit/compiler.h

@@ -1260,6 +1260,8 @@ class IntegralRange
     }
 
     static int64_t SymbolicToRealValue(SymbolicIntegerValue value);
+    static size_t GetUpperBound(GenTree* node, var_types type, Compiler* compiler);
+    static size_t GetLowerBound(GenTree* node, var_types type, Compiler* compiler);
     static SymbolicIntegerValue LowerBoundForType(var_types type);
     static SymbolicIntegerValue UpperBoundForType(var_types type);
 
@@ -5690,6 +5692,7 @@ class Compiler
     GenTree* fgOptimizeCast(GenTreeCast* cast);
     GenTree* fgOptimizeEqualityComparisonWithConst(GenTreeOp* cmp);
     GenTree* fgOptimizeRelationalComparisonWithConst(GenTreeOp* cmp);
+    GenTree* fgOptimizeRelationalComparisonWithFullRangeConst(GenTreeOp* cmp);
 #ifdef FEATURE_HW_INTRINSICS
     GenTree* fgOptimizeHWIntrinsic(GenTreeHWIntrinsic* node);
 #endif