ZJIT: Add display nicknames for common integer ranges

Author: tekknolagi

zjit/src/hir/opt_tests.rs

@@ -14367,7 +14367,7 @@ mod hir_opt_tests {
           v28:BasicObject = InvokeBuiltin <inline_expr>, v23
           CheckInterrupts
           Return v28
-        bb8(v48:BasicObject, v49:Fixnum[0..=4611686018427387903]):
+        bb8(v48:BasicObject, v49:Fixnum[Nonnegative]):
           v84:Array = RefineType v48, Array
           v85:CInt64 = ArrayLength v84
           v86:Fixnum = BoxFixnum v85
@@ -14376,13 +14376,13 @@ mod hir_opt_tests {
           IfFalse v54, bb7(v48, v49)
           CheckInterrupts
           Return v48
-        bb7(v67:BasicObject, v68:Fixnum[0..=4611686018427387903]):
+        bb7(v67:BasicObject, v68:Fixnum[Nonnegative]):
           v88:Array = RefineType v67, Array
           v89:CInt64 = UnboxFixnum v68
           v90:BasicObject = ArrayAref v88, v89
           v74:BasicObject = InvokeBlock, v90 # SendFallbackReason: Uncategorized(invokeblock)
           v91:Fixnum[1] = Const Value(1)
-          v92:Fixnum[1..=4611686018427387903] = FixnumAdd v68, v91
+          v92:Fixnum[Positive] = FixnumAdd v68, v91
           PatchPoint NoEPEscape(each)
           Jump bb8(v67, v92)
         ");
@@ -14559,7 +14559,7 @@ mod hir_opt_tests {
           v13:Fixnum[0] = Const Value(0)
           CheckInterrupts
           Jump bb5(v8, v13)
-        bb5(v19:BasicObject, v20:Fixnum[0..=4611686018427387903]):
+        bb5(v19:BasicObject, v20:Fixnum[Nonnegative]):
           v24:Fixnum[5] = Const Value(5)
           PatchPoint MethodRedefined(Integer@0x1000, <@0x1008, cme:0x1010)
           v57:BoolExact = FixnumLt v20, v24
@@ -14568,10 +14568,10 @@ mod hir_opt_tests {
           IfTrue v30, bb4(v19, v20)
           CheckInterrupts
           Return v20
-        bb4(v43:BasicObject, v44:Fixnum[0..=4611686018427387903]):
+        bb4(v43:BasicObject, v44:Fixnum[Nonnegative]):
           PatchPoint MethodRedefined(Integer@0x1000, succ@0x1038, cme:0x1040)
           v61:Fixnum[1] = Const Value(1)
-          v62:Fixnum[1..=4611686018427387903] = FixnumAdd v44, v61
+          v62:Fixnum[Positive] = FixnumAdd v44, v61
           Jump bb5(v43, v62)
         ");
     }

zjit/src/hir_type/mod.rs

@@ -105,7 +105,18 @@ fn write_spec(f: &mut std::fmt::Formatter, printer: &TypePrinter) -> std::fmt::R
         Specialization::Int(val) if ty.is_subtype(types::CPtr) => write!(f, "[{}]", Const::CPtr(val as *const u8).print(printer.ptr_map)),
         Specialization::Int(val) => write!(f, "[{val}]"),
         Specialization::Double(val) => write!(f, "[{val}]"),
-        Specialization::Range(lo, hi) => write!(f, "[{lo}..={hi}]"),
+        Specialization::Range(lo, hi) => {
+            use crate::cruby::{RUBY_FIXNUM_MIN, RUBY_FIXNUM_MAX};
+            let fmin = RUBY_FIXNUM_MIN as i64;
+            let fmax = RUBY_FIXNUM_MAX as i64;
+            match (lo, hi) {
+                (0, h) if h == fmax => write!(f, "[Nonnegative]"),
+                (1, h) if h == fmax => write!(f, "[Positive]"),
+                (l, -1) if l == fmin => write!(f, "[Negative]"),
+                (l, 0) if l == fmin => write!(f, "[Nonpositive]"),
+                _ => write!(f, "[{lo}..={hi}]"),
+            }
+        }
     }
 }