simplify: port CIntToCBool to C via SimplifyEnv (chunk 5)

Second Category 2 handler. simplify_cint_to_cbool_c folds known int
constants to CBool. Adds make_cbool_type helper for constructing
HirType with CBool bits + int specialization.

Author: SonicField

Python/jit/hir/simplify.cpp

@@ -2826,8 +2826,12 @@ Register* simplifyInstr(Env& env, const Instr* instr) {
     case Opcode::kStoreSubscr:
       return simplifyStoreSubscr(env, instr);
 
-    case Opcode::kCIntToCBool:
-      return simplifyCIntToCBool(env, instr);
+    case Opcode::kCIntToCBool: {
+      SimplifyEnv cenv = make_c_env();
+      auto *r = static_cast<Register*>(simplify_cint_to_cbool_c(&cenv, instr));
+      sync_c_env(cenv);
+      return r;
+    }
 
     case Opcode::kGetIter: {
       // C->C inlining: narrow iterator type for known input types

Python/jit/hir/simplify_c.c

@@ -70,6 +70,25 @@ void *simplify_guard_type_identity_c(const void *instr) {
     return NULL;
 }
 
+/* Helper: create HirType for CBool(val) with int specialization */
+static HirType make_cbool_type(intptr_t val) {
+    HirType t = HIR_TYPE_CBOOL;
+    t.bits_and_flags |= ((uint64_t)HIR_SPEC_INT << HIR_TYPE_SPEC_SHIFT);
+    t.int_val = val != 0 ? 1 : 0;
+    return t;
+}
+
+/* ---- simplifyCIntToCBool ----
+ * If input is a known int constant, fold to CBool(val != 0). */
+void *simplify_cint_to_cbool_c(SimplifyEnv *env, const void *instr) {
+    void *input = hir_c_get_operand(instr, 0);
+    HirType input_type = hir_register_type(input);
+    if (hir_type_has_int_spec(&input_type)) {
+        return simplify_env_emit_load_const(env, make_cbool_type(hir_type_int_spec(&input_type)));
+    }
+    return NULL;
+}
+
 /* ---- simplifyPrimitiveBoxBool ----
  * If input is a known int constant, replace with Py_True/Py_False. */
 void *simplify_primitive_box_bool_c(SimplifyEnv *env, const void *instr) {

Python/jit/hir/simplify_c.h

@@ -32,6 +32,7 @@ void *simplify_guard_type_identity_c(const void *instr);
 
 /* Env-using handlers (Category 2) */
 void *simplify_primitive_box_bool_c(SimplifyEnv *env, const void *instr);
+void *simplify_cint_to_cbool_c(SimplifyEnv *env, const void *instr);
 
 #ifdef __cplusplus
 }