simplify: port PrimitiveCompare box(b)==True path to C

Env-free handler: if PrimitiveCompare(kEqual, PrimitiveBoxBool(b), True)
then return b directly (skip box+compare). Uses HIR_PCMP_Equal constant
and hir_type_as_object to check for Py_True.

Author: SonicField

Python/jit/hir/simplify.cpp

@@ -2817,9 +2817,12 @@ Register* simplifyInstr(Env& env, const Instr* instr) {
     case Opcode::kUnaryOp:
       return simplifyUnaryOp(env, static_cast<const UnaryOp*>(instr));
 
-    case Opcode::kPrimitiveCompare:
+    case Opcode::kPrimitiveCompare: {
+      auto *r = static_cast<Register*>(simplify_primitive_compare_box_true_c(instr));
+      if (r) return r;
       return simplifyPrimitiveCompare(
           env, static_cast<const PrimitiveCompare*>(instr));
+    }
     case Opcode::kPrimitiveBoxBool: {
       SimplifyEnv cenv = make_c_env();
       auto *r = static_cast<Register*>(simplify_primitive_box_bool_c(&cenv, instr));

Python/jit/hir/simplify_c.c

@@ -165,6 +165,25 @@ void *simplify_compare_c(SimplifyEnv *env, const void *instr) {
     return NULL;
 }
 
+/* ---- simplifyPrimitiveCompare (partial — box(b)==True → b) ---- */
+void *simplify_primitive_compare_box_true_c(const void *instr) {
+    void *left = hir_c_get_operand(instr, 0);
+    void *right = hir_c_get_operand(instr, 1);
+    int32_t op = hir_c_compare_op(instr);
+    if (op != HIR_PCMP_Equal) return NULL;
+
+    extern void *hir_reg_instr(void *reg);
+    void *left_def = hir_reg_instr(left);
+    if (left_def == NULL || hir_c_opcode(left_def) != HIR_OP_PrimitiveBoxBool)
+        return NULL;
+
+    HirType right_type = hir_register_type(right);
+    PyObject *right_obj = hir_type_as_object(&right_type);
+    if (right_obj != Py_True) return NULL;
+
+    return hir_c_get_operand(left_def, 0);
+}
+
 /* ---- simplifyIntConvert ----
  * If input already has the target type, IntConvert is redundant. */
 void *simplify_int_convert_c(SimplifyEnv *env, const void *instr) {

Python/jit/hir/simplify_c.h

@@ -29,6 +29,7 @@ void *simplify_env_emit_use_type(SimplifyEnv *env, void *val, HirType type);
 void *simplify_check_c(const void *instr);
 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_int_convert_c(SimplifyEnv *env, const void *instr);
 
 /* Env-using handlers (Category 2) */