simplify: port CondBranchCheckType + add CompareOp static_asserts

CondBranchCheckType fully ported to C — all paths covered (type
matches → Branch true, type impossible → Branch false, else NULL).
No C++ fallback needed.

Added 15 static_asserts in hir_instr_c_verify.cpp verifying
HIR_CMP_* and HIR_PCMP_* C constants match C++ CompareOp and
PrimitiveCompareOp enums at compile time.

Author: SonicField

Python/jit/hir/hir_instr_c_verify.cpp

@@ -241,6 +241,22 @@ struct HirInstrLayoutVerifier {
         "Send frame_state_ layout mismatch — reversed mixin order?");
 };
 
+/* ---- CompareOp / PrimitiveCompareOp enum value verification ---- */
+static_assert(static_cast<int>(CompareOp::kLessThan) == HIR_CMP_LessThan, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kEqual) == HIR_CMP_Equal, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kNotEqual) == HIR_CMP_NotEqual, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kIn) == HIR_CMP_In, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kNotIn) == HIR_CMP_NotIn, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kExcMatch) == HIR_CMP_ExcMatch, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kGreaterThanUnsigned) == HIR_CMP_GreaterThanUnsigned, "CompareOp mismatch");
+static_assert(static_cast<int>(CompareOp::kLessThanEqualUnsigned) == HIR_CMP_LessThanEqualUnsigned, "CompareOp mismatch");
+
+static_assert(static_cast<int>(PrimitiveCompareOp::kEqual) == HIR_PCMP_Equal, "PrimitiveCompareOp mismatch");
+static_assert(static_cast<int>(PrimitiveCompareOp::kNotEqual) == HIR_PCMP_NotEqual, "PrimitiveCompareOp mismatch");
+static_assert(static_cast<int>(PrimitiveCompareOp::kLessThan) == HIR_PCMP_LessThan, "PrimitiveCompareOp mismatch");
+static_assert(static_cast<int>(PrimitiveCompareOp::kGreaterThanUnsigned) == HIR_PCMP_GreaterThanUnsigned, "PrimitiveCompareOp mismatch");
+static_assert(static_cast<int>(PrimitiveCompareOp::kLessThanEqualUnsigned) == HIR_PCMP_LessThanEqualUnsigned, "PrimitiveCompareOp mismatch");
+
 /* ---- Runtime read-through-cast verification ----
  * Creates C++ HIR objects, casts to C structs, reads via C accessors.
  * Validates that layout compatibility translates to correct field reads. */

Python/jit/hir/simplify.cpp

@@ -2761,9 +2761,12 @@ Register* simplifyInstr(Env& env, const Instr* instr) {
       if (r) return r;
       return simplifyCondBranch(env, instr);
     }
-    case Opcode::kCondBranchCheckType:
-      return simplifyCondBranchCheckType(
-          env, static_cast<const CondBranchCheckType*>(instr));
+    case Opcode::kCondBranchCheckType: {
+      SimplifyEnv cenv = make_c_env();
+      auto *r = static_cast<Register*>(simplify_cond_branch_check_type_c(&cenv, instr));
+      sync_c_env(cenv);
+      return r;
+    }
 
     case Opcode::kGetLength:
       return simplifyGetLength(env, instr);

Python/jit/hir/simplify_c.c

@@ -212,6 +212,30 @@ void *simplify_primitive_compare_box_true_c(const void *instr) {
     return hir_c_get_operand(left_def, 0);
 }
 
+/* ---- simplifyCondBranchCheckType ----
+ * If value type is subtype of expected → Branch to true_bb.
+ * If value type can't be expected → Branch to false_bb. */
+void *simplify_cond_branch_check_type_c(SimplifyEnv *env, const void *instr) {
+    void *value = hir_c_get_operand(instr, 0);
+    HirType actual_type = hir_register_type(value);
+    const HirCondBranchCheckType *cbct = (const HirCondBranchCheckType *)instr;
+    HirType expected_type = cbct->type;
+
+    if (hir_type_is_subtype(actual_type, expected_type)) {
+        simplify_env_emit_use_type(env, value, actual_type);
+        extern void *hir_c_create_branch_cpp(void *target_block);
+        void *branch = hir_c_create_branch_cpp(cbct->true_edge.to);
+        return simplify_env_emit(env, branch);
+    }
+    if (!hir_type_could_be(&actual_type, &expected_type)) {
+        simplify_env_emit_use_type(env, value, actual_type);
+        extern void *hir_c_create_branch_cpp(void *target_block);
+        void *branch = hir_c_create_branch_cpp(cbct->false_edge.to);
+        return simplify_env_emit(env, branch);
+    }
+    return NULL;
+}
+
 /* ---- simplifyUnbox (partial — unbox(box(x)) → x) ---- */
 void *simplify_unbox_box_c(const void *instr) {
     void *input = hir_c_get_operand(instr, 0);

Python/jit/hir/simplify_c.h

@@ -31,6 +31,7 @@ void *simplify_refine_type_c(const void *instr);
 void *simplify_guard_type_identity_c(const void *instr);
 void *simplify_primitive_compare_box_true_c(const void *instr);
 void *simplify_unbox_box_c(const void *instr);
+void *simplify_cond_branch_check_type_c(SimplifyEnv *env, const void *instr);
 void *simplify_int_convert_c(SimplifyEnv *env, const void *instr);
 
 /* Env-using handlers (Category 2) */