infra: add hir_type_from_cint/cuint to hir_type_c.h

SonicField · SonicField · commit 2ea6b0a659df · 2026-04-21T15:18:34.000-07:00
Move hir_type_from_cuint from simplify_c.c to hir_type_c.h (shared).
Add hir_type_from_cint. Both construct HirType with HIR_SPEC_INT
specialization and embedded integer constant value. Needed for
LoadAttr specialization conversion (dict_version, slot_offset).
diff --git a/Python/jit/hir/hir_type_c.h b/Python/jit/hir/hir_type_c.h
@@ -305,6 +305,22 @@ static inline HirType hir_type_from_cdouble(double d) {
     return t;
 }
 
+static inline HirType hir_type_from_cint(int64_t val, HirType base) {
+    HirType t = base;
+    t.bits_and_flags = (t.bits_and_flags & ~HIR_TYPE_SPEC_MASK) |
+                       ((uint64_t)HIR_SPEC_INT << HIR_TYPE_SPEC_SHIFT);
+    t.int_val = (intptr_t)val;
+    return t;
+}
+
+static inline HirType hir_type_from_cuint(uint64_t val, HirType base) {
+    HirType t = base;
+    t.bits_and_flags = (t.bits_and_flags & ~HIR_TYPE_SPEC_MASK) |
+                       ((uint64_t)HIR_SPEC_INT << HIR_TYPE_SPEC_SHIFT);
+    t.int_val = (intptr_t)val;
+    return t;
+}
+
 /* Return the type with specialization stripped (spec_kind=Top, spec_val=0).
  * C equivalent of Type::unspecialized(). */
 static inline HirType hir_type_unspecialized(const HirType *t) {
diff --git a/Python/jit/hir/simplify_c.c b/Python/jit/hir/simplify_c.c
@@ -1646,13 +1646,7 @@ static void *type_attr_slow_path(SimplifyEnv *env, void *ctx) {
  * returns NULL to fall through to C++ simplifyLoadAttrInstanceReceiver.
  * Returns: register or NULL. Sets env->optimized if handled. */
 /* ==== Type construction helpers ==== */
-static inline HirType hir_type_from_cuint(uint64_t val, HirType base) {
-    HirType t = base;
-    t.bits_and_flags = (t.bits_and_flags & ~HIR_TYPE_SPEC_MASK) |
-                       ((uint64_t)HIR_SPEC_INT << HIR_TYPE_SPEC_SHIFT);
-    t.int_val = (intptr_t)val;
-    return t;
-}
+/* hir_type_from_cuint moved to hir_type_c.h */
 
 static inline HirType hir_type_from_cptr(void *ptr) {
     HirType t = HIR_TYPE_CPTR;
