konpeito 0.2.1 → 0.2.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 9b3a19c0259a27b1d396334b57f827f784b5aeebe022d714fb68a5b8e40537f8
-  data.tar.gz: a248d9e0166ef1643bb5e0a15922432cdcbd7c6758dcc6c97aa1ecebd36c48a2
+  metadata.gz: 3daf2b84b1f0d775d0cc7ca3a3ed5937f82a44d44a068131b62a326049893f5d
+  data.tar.gz: 0ebda1e25a79a24d8bbed4376d048945a595202060802315d69eebf23293be2c
 SHA512:
-  metadata.gz: 5c8ea1d3161e5173f30714897b5921faa0c9aa330e65e0ad7188ac166d730a6f35ff0ee3239ce010b4c33904b0dcd60370545bf37fe33279617688c1051e609e
-  data.tar.gz: 83a0fee1954e7cb1870f378ddb0031ce9885183688b23f1782f20770252e12176ed2255da83deda37bd1411fe64fc137835eb8f78ecc5ad20d603558d8de0c08
+  metadata.gz: 355daf3587c553762d23be9cf1620a08f87c13afc825114cb4b6413e64a33ca7173a5c569109c21745390732a603ade72d3cca8c67c5953b5418fbfe8b94fd18
+  data.tar.gz: 50b4130ab80368df57e5466e4b0faadebdd40f385b018cdcc1a3f8b1da6557c0ae559b55b277b3f0619a47ff1edbf9a18b0ad153fc044a4707649f2c9c54f3f3

data/CHANGELOG.md

@@ -5,6 +5,19 @@ All notable changes to Konpeito will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.2.2] - 2026-02-21
+
+### Added
+- Conformance test suite expansion: 41 spec files with 1,009 assertions covering core Ruby language features
+- JVM runtime: comprehensive method dispatch for String, Array, Hash, Integer, Float, Symbol, Range, Regexp, MatchData in RubyDispatch
+- JVM runtime: KArray methods — flatten, compact, zip, take, drop, rotate, sample
+
+### Fixed
+- JVM backend: VerifyError for double parameter slot reuse — `_nil_assigned_vars` now infers types from HIR annotations for non-literal values instead of falsely tagging as mixed-type
+- Native backend: monomorphizer now skips specialization for functions that compare parameters with nil (fixes `assert_nil` crash on out-of-bounds array access)
+- Native backend: for-loop rewritten to index-based while loop, enabling break/next inside for bodies
+- Native backend: enumerable, string_methods, symbol conformance fixes
+
 ## [0.2.1] - 2026-02-20
 
 ### Added
@@ -131,6 +144,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - `%a{extern}` - external C struct wrappers
 - `%a{simd}` - SIMD vectorization
 
+[0.2.2]: https://github.com/i2y/konpeito/compare/v0.2.1...v0.2.2
 [0.2.1]: https://github.com/i2y/konpeito/compare/v0.2.0...v0.2.1
 [0.2.0]: https://github.com/i2y/konpeito/compare/v0.1.3...v0.2.0
 [0.1.3]: https://github.com/i2y/konpeito/compare/v0.1.2...v0.1.3

data/lib/konpeito/codegen/builtin_methods.rb

@@ -142,7 +142,7 @@ module Konpeito
 
       Object: {
         # Object identity and comparison
-        :== => { c_func: "rb_obj_equal", arity: 1, return_type: :Bool, conv: :simple },
+        # rb_obj_equal is not exported - == falls back to rb_funcallv
         :=== => { c_func: "rb_equal", arity: 1, return_type: :Bool, conv: :simple },
 
         # Object type checking
@@ -177,38 +177,18 @@ module Konpeito
         none?: { arity: 0, return_type: :Bool, conv: :block_iterator },
       },
 
-      Float: {
-        # Float comparison
-        :<=> => { c_func: "rb_float_cmp", arity: 1, return_type: :Integer, conv: :simple },
-
-        # Float conversion
-        to_i: { c_func: "rb_num2long", arity: 0, return_type: :Integer, conv: :simple },
-        to_int: { c_func: "rb_num2long", arity: 0, return_type: :Integer, conv: :simple },
-        floor: { c_func: "rb_float_floor", arity: 0, return_type: :Integer, conv: :simple },
-        ceil: { c_func: "rb_float_ceil", arity: 0, return_type: :Integer, conv: :simple },
-        round: { c_func: "rb_float_round", arity: 0, return_type: :Integer, conv: :simple },
-        truncate: { c_func: "rb_float_truncate", arity: 0, return_type: :Integer, conv: :simple },
-
-        # Float query
-        nan?: { c_func: "rb_float_nan_p", arity: 0, return_type: :Bool, conv: :simple },
-        infinite?: { c_func: "rb_float_infinite_p", arity: 0, return_type: :Any, conv: :simple },
-        finite?: { c_func: "rb_float_finite_p", arity: 0, return_type: :Bool, conv: :simple },
-      },
+      # Float methods: rb_float_cmp, rb_float_floor, rb_float_ceil, rb_float_round,
+      # rb_float_truncate, rb_float_nan_p, rb_float_infinite_p, rb_float_finite_p
+      # are all NOT exported from libruby — they fall back to rb_funcallv
 
       NilClass: {
-        nil?: { c_func: "rb_true", arity: 0, return_type: :Bool, conv: :simple },
-        to_s: { c_func: "rb_nil_to_s", arity: 0, return_type: :String, conv: :simple },
+        # rb_true is not exported from libruby - nil? falls back to rb_funcallv
         to_a: { c_func: "rb_ary_new", arity: 0, return_type: :Array, conv: :simple },
         to_h: { c_func: "rb_hash_new", arity: 0, return_type: :Hash, conv: :simple },
       },
 
-      TrueClass: {
-        to_s: { c_func: "rb_true_to_s", arity: 0, return_type: :String, conv: :simple },
-      },
-
-      FalseClass: {
-        to_s: { c_func: "rb_false_to_s", arity: 0, return_type: :String, conv: :simple },
-      },
+      # rb_true_to_s / rb_false_to_s are not exported from libruby
+      # TrueClass and FalseClass methods fall back to rb_funcallv
     }.freeze
 
     # Helper method to look up a builtin method

data/lib/konpeito/codegen/inliner.rb

@@ -298,7 +298,8 @@ module Konpeito
             args: new_args,
             block: inst.block,
             type: inst.type,
-            result_var: new_result
+            result_var: new_result,
+            safe_navigation: inst.safe_navigation
           )
 
         when HIR::IntegerLit, HIR::FloatLit, HIR::StringLit,
@@ -475,6 +476,10 @@ module Konpeito
           new_value = transform_value(inst.value, prefix, param_map)
           HIR::StoreConstant.new(name: inst.name, value: new_value, scope: inst.scope, type: inst.type)
 
+        when HIR::DefinedCheck
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          HIR::DefinedCheck.new(check_type: inst.check_type, name: inst.name, type: inst.type, result_var: new_result)
+
         when HIR::SuperCall
           new_result = inst.result_var ? prefix + inst.result_var : nil
           new_args = inst.args.map { |a| transform_value(a, prefix, param_map) }
@@ -491,6 +496,36 @@ module Konpeito
           new_args = inst.args.map { |a| transform_value(a, prefix, param_map) }
           HIR::ProcCall.new(proc_value: new_proc, args: new_args, type: inst.type, result_var: new_result)
 
+        when HIR::FiberNew
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          new_block_def = clone_block_def(inst.block_def, prefix, param_map)
+          HIR::FiberNew.new(block_def: new_block_def, result_var: new_result)
+
+        when HIR::FiberResume
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          new_fiber = transform_value(inst.fiber, prefix, param_map)
+          new_args = inst.args.map { |a| transform_value(a, prefix, param_map) }
+          HIR::FiberResume.new(fiber: new_fiber, args: new_args, type: inst.type, result_var: new_result)
+
+        when HIR::FiberYield
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          new_args = inst.args.map { |a| transform_value(a, prefix, param_map) }
+          HIR::FiberYield.new(args: new_args, type: inst.type, result_var: new_result)
+
+        when HIR::FiberAlive
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          new_fiber = transform_value(inst.fiber, prefix, param_map)
+          HIR::FiberAlive.new(fiber: new_fiber, result_var: new_result)
+
+        when HIR::FiberCurrent
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          HIR::FiberCurrent.new(result_var: new_result)
+
+        when HIR::MultiWriteExtract
+          new_result = inst.result_var ? prefix + inst.result_var : nil
+          new_array = transform_value(inst.array, prefix, param_map)
+          HIR::MultiWriteExtract.new(array: new_array, index: inst.index, type: inst.type, result_var: new_result)
+
         else
           # For other instructions, just return as-is with renamed result
           inst
@@ -509,6 +544,25 @@ module Konpeito
             )
             HIR::LoadLocal.new(var: new_var, type: value.type, result_var: nil)
           end
+        when HIR::StringLit
+          # Clone literal with new result_var (don't convert to LoadLocal reference)
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::StringLit.new(value: value.value, result_var: new_result)
+        when HIR::IntegerLit
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::IntegerLit.new(value: value.value, result_var: new_result)
+        when HIR::FloatLit
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::FloatLit.new(value: value.value, result_var: new_result)
+        when HIR::BoolLit
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::BoolLit.new(value: value.value, result_var: new_result)
+        when HIR::SymbolLit
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::SymbolLit.new(value: value.value, result_var: new_result)
+        when HIR::NilLit
+          new_result = value.result_var ? prefix + value.result_var : nil
+          HIR::NilLit.new(result_var: new_result)
         when HIR::Instruction
           if value.result_var
             # Create a LoadLocal to reference the renamed variable