cpyte 4.2.1__tar.gz → 4.2.2__tar.gz

{cpyte-4.2.1/source/cpyte.egg-info → cpyte-4.2.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpyte
-Version: 4.2.1
+Version: 4.2.2
 Summary: The Cpyte programming language compiler
 Author: Hoang Duy Tung
 License: MIT

cpyte-4.2.2/source/cpyte/__init__.py

@@ -0,0 +1 @@
+__version__ = "4.2.2"

{cpyte-4.2.1 → cpyte-4.2.2}/source/cpyte/bytecoding.py

@@ -677,6 +677,7 @@ class LLVM:
         self._dbg_tracer_fns = {}
         self._dbg_boxes = {}
         self._dbg_box_slots = {}
+        self._dbg_box_types = {}
         self._dbg_cur_fn = ""
         self._dbg_emitted = set()
         self._dbg_collect = {}
@@ -746,6 +747,7 @@ class LLVM:
         self._in_emit_iterative = False
         self._in_decorator = False
         self._is_decorator_factory = False
+        self._func_rettype = None  # semantic return type of the current FuncDef
         self._const_prop: dict = {}
         self._const_prop_f: dict = {}
 
@@ -2541,10 +2543,12 @@ class LLVM:
         old_deferred = self._deferred
         old_in_decorator = self._in_decorator
         old_decorator_factory = self._is_decorator_factory
+        old_func_rettype = self._func_rettype
         old_const_prop = self._const_prop
         old_const_prop_f = self._const_prop_f
         self._in_decorator = node.rettype == "decorated"
         self._is_decorator_factory = node.rettype == "decorated"
+        self._func_rettype = node.rettype
         self.locals = {}
         self.local_types = {}
         self.ssa_values = {}
@@ -2627,6 +2631,7 @@ class LLVM:
         self._deferred = old_deferred
         self._in_decorator = old_in_decorator
         self._is_decorator_factory = old_decorator_factory
+        self._func_rettype = old_func_rettype
         self._const_prop = old_const_prop
         self._const_prop_f = old_const_prop_f
 
@@ -3226,7 +3231,14 @@ class LLVM:
                 elif isinstance(value.type, ir.IntType) and isinstance(
                     ret_ty, ir.PointerType
                 ):
-                    value = self.builder.inttoptr(value, ret_ty)
+                    if self._func_rettype == "big":
+                        value = self._promote_to_big(
+                            value, getattr(node.value, "inferred_type", None)
+                        )
+                    elif self._func_rettype == "ubig":
+                        value = self._promote_to_ubig(value)
+                    else:
+                        value = self.builder.inttoptr(value, ret_ty)
             self.builder.ret(value)
         else:
             ret_ty = self.builder.function.ftype.return_type
@@ -3770,6 +3782,9 @@ class LLVM:
                 ptr = self.locals.get(var)
                 if ptr is None:
                     continue
+                ty = self.local_types.get(var)
+                if ty:
+                    self._dbg_box_types.setdefault(name, {})[var] = ty
                 gep = self.builder.gep(
                     box, [ir.Constant(_i32, 0), ir.Constant(_i32, slot)]
                 )

{cpyte-4.2.1 → cpyte-4.2.2}/source/cpyte/compiling.py

@@ -1613,17 +1613,30 @@ def run_aot(
     mod = binding.parse_assembly(llvm_ir)
     # Compile the bignum runtime from source for the host platform (instead
     # of pre-built bitcode) so its libc symbol names match the target OS. The
-    # clang round-trip is cached per source-content/triple, and the funcs are
-    # marked internal (minus the symbols runtime.o needs) so the IR linker and
-    # an early GlobalDCE only carry the bignum helpers this program uses.
+    # clang round-trip is cached per source-content/triple. The IR linker
+    # treats an internal source definition plus a same-named external
+    # declaration already in the destination (the program declares every
+    # bigint_*/ubigint_* helper) as a conflict and DROPS the definition, so we
+    # link FIRST (external definitions) and only then mark the survivors
+    # internal; the later _prune_module GlobalDCE removes the unreferenced
+    # runtime code, keeping only the helpers this program uses and everything
+    # _BIGNUM_KEEP lists for the native AOT link of runtime.o.
     llvm_cc = _find_llvm_cc()
     bignum_ir, err = _cached_c_ir(llvm_cc, _BIGNUM_C, host_target().triple)
     if bignum_ir is None:
         print_err(f"error compiling {_BIGNUM_C}: {format_cc_diag(err.stderr)}")
         raise SystemExit(1)
     bignum_mod = binding.parse_assembly(_remove_probe_stack_ir(bignum_ir))
-    _mark_internal(bignum_mod, keep=_BIGNUM_KEEP)
+    src_names = {f.name for f in bignum_mod.functions if not f.is_declaration}
     binding.link_modules(mod, bignum_mod)
+    for fn in mod.functions:
+        if (
+            fn.name in src_names
+            and fn.name not in _BIGNUM_KEEP
+            and not fn.is_declaration
+            and str(fn.linkage) not in ("internal", "private", "linkonce_odr")
+        ):
+            fn.linkage = "internal"
     mod.verify()
     _prune_module(mod)
     optimize(mod, opt_level)

{cpyte-4.2.1 → cpyte-4.2.2/source/cpyte.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpyte
-Version: 4.2.1
+Version: 4.2.2
 Summary: The Cpyte programming language compiler
 Author: Hoang Duy Tung
 License: MIT

cpyte-4.2.1/source/cpyte/__init__.py

@@ -1 +0,0 @@
-__version__ = "4.2.1"