sonolus.py 0.1.4__py3-none-any.whl → 0.1.5__py3-none-any.whl

sonolus/backend/optimize.py

@@ -1,37 +0,0 @@
-from sonolus.backend.allocate import Allocate, AllocateBasic
-from sonolus.backend.coalesce import CopyCoalesce
-from sonolus.backend.constant_evaluation import SparseConditionalConstantPropagation
-from sonolus.backend.dead_code import DeadCodeElimination, UnreachableCodeElimination
-from sonolus.backend.flow import BasicBlock
-from sonolus.backend.inlining import InlineVars
-from sonolus.backend.passes import run_passes
-from sonolus.backend.simplify import CoalesceFlow
-from sonolus.backend.ssa import FromSSA, ToSSA
-
-MINIMAL_PASSES = [
-    CoalesceFlow(),
-    UnreachableCodeElimination(),
-    AllocateBasic(),
-]
-
-STANDARD_PASSES = [
-    CoalesceFlow(),
-    UnreachableCodeElimination(),
-    DeadCodeElimination(),
-    ToSSA(),
-    SparseConditionalConstantPropagation(),
-    UnreachableCodeElimination(),
-    DeadCodeElimination(),
-    CoalesceFlow(),
-    InlineVars(),
-    FromSSA(),
-    CoalesceFlow(),
-    CopyCoalesce(),
-    DeadCodeElimination(),
-    CoalesceFlow(),
-    Allocate(),
-]
-
-
-def optimize_and_allocate(cfg: BasicBlock):
-    return run_passes(cfg, STANDARD_PASSES)

sonolus/backend/simplify.py

@@ -1,47 +0,0 @@
-from sonolus.backend.flow import BasicBlock
-from sonolus.backend.ir import IRGet, IRSet
-from sonolus.backend.passes import CompilerPass
-
-
-class CoalesceFlow(CompilerPass):
-    def run(self, entry: BasicBlock) -> BasicBlock:
-        queue = [entry]
-        processed = set()
-        while queue:
-            block = queue.pop()
-            if block in processed:
-                continue
-            processed.add(block)
-            if len(block.outgoing) != 1:
-                queue.extend(edge.dst for edge in block.outgoing)
-                continue
-            next_block = next(iter(block.outgoing)).dst
-            if len(next_block.incoming) != 1:
-                queue.append(next_block)
-                if not block.statements and not block.phis and not next_block.phis:
-                    for edge in block.incoming:
-                        edge.dst = next_block
-                        next_block.incoming.add(edge)
-                    for edge in block.outgoing:  # There should be exactly one
-                        next_block.incoming.remove(edge)
-                    if block is entry:
-                        entry = next_block
-                continue
-            for p, args in next_block.phis.items():
-                if block not in args:
-                    continue
-                block.statements.append(IRSet(p, IRGet(args[block])))
-            block.statements.extend(next_block.statements)
-            block.test = next_block.test
-            block.outgoing = next_block.outgoing
-            for edge in block.outgoing:
-                edge.src = block
-                dst = edge.dst
-                for args in dst.phis.values():
-                    if next_block in args:
-                        args[block] = args.pop(next_block)
-            processed.add(next_block)
-            queue.extend(edge.dst for edge in block.outgoing)
-            processed.remove(block)
-            queue.append(block)
-        return entry

sonolus/script/comptime.py

@@ -1,160 +0,0 @@
-from collections.abc import Iterable
-from typing import TYPE_CHECKING, Any, Self, TypeVar, final
-
-from sonolus.backend.place import BlockPlace
-from sonolus.script.internal.generic import GenericValue
-from sonolus.script.internal.impl import meta_fn, validate_value
-
-
-@final
-class _Comptime[T, V](GenericValue):
-    _instance: Self | None = None
-
-    def __init__(self):
-        super().__init__()
-        raise TypeError("Comptime cannot be instantiated")
-
-    @classmethod
-    def value(cls):
-        _, value = cls._type_args_
-        if isinstance(value, Identity):
-            return value.value
-        return value
-
-    @classmethod
-    def _get_parameterized(cls, args: tuple[Any, ...]) -> type[Self]:
-        result = super()._get_parameterized(args)
-        result._instance = object.__new__(result)
-        return result
-
-    @classmethod
-    def _size_(cls) -> int:
-        return 0
-
-    @classmethod
-    def _is_value_type_(cls) -> bool:
-        return False
-
-    @classmethod
-    def _from_place_(cls, place: BlockPlace) -> Self:
-        return cls._instance
-
-    @classmethod
-    def _accepts_(cls, value: Any) -> bool:
-        from sonolus.script.internal.impl import validate_value
-
-        value = validate_value(value)
-        if not value._is_py_():
-            return False
-        if cls._type_args_ is None:
-            return True
-        return value._as_py_() == cls.value()
-
-    @classmethod
-    def _accept_(cls, value: Any) -> Self:
-        from sonolus.script.internal.impl import validate_value
-
-        if not cls._accepts_(value):
-            raise TypeError("Value does not match this Comptime instance")
-        # This might not actually return a Comptime instance, but it will be a compile-time constant
-        return validate_value(value)
-
-    def _is_py_(self) -> bool:
-        return True
-
-    def _as_py_(self) -> Any:
-        return self.value()
-
-    @classmethod
-    def _from_list_(cls, values: Iterable[float | BlockPlace]) -> Self:
-        return cls._instance
-
-    def _to_list_(self, level_refs: dict[Any, int] | None = None) -> list[float | BlockPlace]:
-        return []
-
-    @classmethod
-    def _flat_keys_(cls, prefix: str) -> list[str]:
-        return []
-
-    def _get_(self) -> Self:
-        from sonolus.script.internal.impl import validate_value
-
-        # Converts numbers out of comptime, although _accept_ may end up returning a non-comptime instance anyway
-        return validate_value(self.value())
-
-    def _set_(self, value: Self):
-        if value is not self:
-            raise TypeError("Comptime value cannot be changed")
-
-    def _copy_from_(self, value: Self):
-        if value is not self:
-            raise TypeError("Comptime value cannot be changed")
-
-    def _copy_(self) -> Self:
-        return self
-
-    @meta_fn
-    def __eq__(self, other):
-        other = validate_value(other)
-        match self.value():
-            case str():
-                return other._is_py_() and other._as_py_() == self.value()
-            case _:
-                raise TypeError("Unsupported comparison with comptime value")
-
-    @meta_fn
-    def __hash__(self):
-        return hash(self.value())
-
-    @classmethod
-    def _alloc_(cls) -> Self:
-        return cls._instance
-
-    @classmethod
-    def _validate__type_args_(cls, args: tuple[Any, ...]) -> tuple[Any, ...]:
-        if len(args) == 2:
-            _, value = args
-            # We want the type to be there for documentation,
-            # but not enforced since they might not match up, e.g. a Callable is really FunctionType
-            if isinstance(value, TypeVar):
-                args = Any, value
-            else:
-                args = type(value), value
-        return super()._validate__type_args_(args)
-
-    @classmethod
-    def accept_unchecked(cls, value: Any) -> Self:
-        if isinstance(value, dict | tuple):
-            args = type(value), Identity(value)
-        else:
-            args = type(value), value
-        if args not in cls._parameterized_:
-            cls._parameterized_[args] = cls._get_parameterized(args)
-        return cls._parameterized_[args]._instance
-
-
-class Identity[T]:  # This is to allow accepting potentially unhashable values by using identity comparison
-    value: T
-
-    def __init__(self, value: T):
-        self.value = value
-
-    def __eq__(self, other):
-        return self is other
-
-    def __hash__(self):
-        return id(self)
-
-    def __str__(self):
-        return f"{type(self).__name__}({self.value})"
-
-    def __repr__(self):
-        return f"{type(self).__name__}({self.value!r})"
-
-
-if TYPE_CHECKING:
-    type Comptime[T, V] = T | V
-else:
-    _Comptime.__name__ = "Comptime"
-    _Comptime.__qualname__ = "Comptime"
-    globals()["Comptime"] = _Comptime

sonolus/script/random.py

@@ -1,14 +0,0 @@
-import random as _random
-
-from sonolus.backend.ops import Op
-from sonolus.script.internal.native import native_function
-
-
-@native_function(Op.Random)
-def random_float(lo: float = 0.0, hi: float = 1.0, /) -> float:
-    return lo + (hi - lo) * _random.random()
-
-
-@native_function(Op.RandomInteger)
-def random_integer(lo: int, hi: int, /) -> int:
-    return _random.randint(lo, hi)

sonolus/script/range.py

@@ -1,58 +0,0 @@
-from sonolus.script.iterator import ArrayLike, SonolusIterator
-from sonolus.script.num import Num
-from sonolus.script.record import Record
-
-
-class Range(Record, ArrayLike[Num]):
-    start: int
-    end: int
-    step: int
-
-    def __new__(cls, start: Num, end: Num | None = None, step: Num = 1):
-        if end is None:
-            start, end = 0, start
-        return super().__new__(cls, start, end, step)
-
-    def __iter__(self) -> SonolusIterator:
-        return RangeIterator(self.start, self.end, self.step)
-
-    def __contains__(self, item):
-        if self.step > 0:
-            return self.start <= item < self.end and (item - self.start) % self.step == 0
-        else:
-            return self.end < item <= self.start and (self.start - item) % -self.step == 0
-
-    def size(self) -> int:
-        if self.step > 0:
-            diff = self.end - self.start
-            if diff <= 0:
-                return 0
-            return (diff + self.step - 1) // self.step
-        else:
-            diff = self.start - self.end
-            if diff <= 0:
-                return 0
-            return (diff - self.step - 1) // -self.step
-
-    def __getitem__(self, index: Num) -> Num:
-        return self.start + index * self.step
-
-    def __setitem__(self, index: Num, value: Num):
-        raise TypeError("Range does not support item assignment")
-
-
-class RangeIterator(Record, SonolusIterator):
-    value: int
-    end: int
-    step: int
-
-    def has_next(self) -> bool:
-        if self.step > 0:
-            return self.value < self.end
-        else:
-            return self.value > self.end
-
-    def next(self) -> Num:
-        value = self.value
-        self.value += self.step
-        return value

sonolus_py-0.1.4.dist-info/RECORD

@@ -1,84 +0,0 @@
-sonolus/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sonolus/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sonolus/backend/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sonolus/backend/allocate.py,sha256=9Ua4dW_GDzqaSimSbqwjJ4zVXS1M2bJhgHQ2H564eio,5536
-sonolus/backend/blocks.py,sha256=3peyb9eYBy0s53xNVJ1KmK4IgoyVkkwG-lqDQ_VZTHc,18531
-sonolus/backend/coalesce.py,sha256=ZKSGZrG5V4ShcjGJEhkFoMmJ1f9cEhySgXQkC9sibGQ,3939
-sonolus/backend/constant_evaluation.py,sha256=5euKXPBlVZ5f17YaksUWC0vdDnJ_qQk2l8Wg8NFD1_4,15931
-sonolus/backend/dead_code.py,sha256=iy8Cvc1OK4Dh68oJ6QdYqJRsTqPby08GDwu2fB_1JKs,3562
-sonolus/backend/dominance.py,sha256=Ku0Zh8bW3ZvMVKcLdRWI-LSstgSB2s-iIdj34mD_HrA,3658
-sonolus/backend/excepthook.py,sha256=pqI9gtPBh0mlTgMNqul8bEVO1ARzKb8pNE9EN_CyDpk,994
-sonolus/backend/finalize.py,sha256=vDNUZ0KV3Z_q9sDSltxDoQqKoOf68l6LoM9jWUHpq8g,3330
-sonolus/backend/flow.py,sha256=YlIu-iTVg8saZqobvsDP2dH_z1zBvTXiUCWsCMoGBbg,4222
-sonolus/backend/inlining.py,sha256=xyV5LkkXn4BI4FyAI2UMdQdUXjIN4aKAS37W0pjawGE,6129
-sonolus/backend/interpret.py,sha256=EDpkv3ASzteDhYjTkzoriGYHYepcoHKZusrU_FX0DS4,14247
-sonolus/backend/ir.py,sha256=CzrSSFuA3zvw24BapGSTzBhUT83oETscODlrUWnyHWs,2087
-sonolus/backend/liveness.py,sha256=PxbmPXsps3XpIdUp-bMFZLVRlaDEZLZt5T6v3_GVftQ,7095
-sonolus/backend/mode.py,sha256=NkcPZJm8dn83LX35uP24MtQOCnfRDFZ280dHeEEfauE,613
-sonolus/backend/node.py,sha256=H8qgnNyIseR-DhfgtcbDX03SUmhAJSSrYAlUEJTkkUo,999
-sonolus/backend/ops.py,sha256=ekkHSdgRubIYLSYFk0wTUuBvyf3TKdApM4AyR_koTQ8,10122
-sonolus/backend/optimize.py,sha256=1_P1MJx3GVJYlK7vheFtQWOvZFPsC2x0xFuXLQmnfwE,1082
-sonolus/backend/passes.py,sha256=RWsDJnyVEBzzOppaC3JCg62SuuPoRbKF_Tik3Z75M0s,1634
-sonolus/backend/place.py,sha256=61mWyPQ6i59bmV9RtQfUy6mJE0pMAmFoL1W-MyY79ug,2536
-sonolus/backend/simplify.py,sha256=nFhHzEfzz7lZM5Thx5vaC4L7ahm8yQZmrN2hN5N5TKQ,1950
-sonolus/backend/ssa.py,sha256=LPTmX7tJuuZ98CVf6M5YEqKEM9VxzM7qy-H4cYvD4M0,8116
-sonolus/backend/utils.py,sha256=1C4xvxHrQ94RAWS3d4CprmUnFeqgEOzpZjJRooHVpS0,1382
-sonolus/backend/visitor.py,sha256=RgkbYa5NP4dQbgerlpfD8qwkJPkHYaH9rFDB6NREp5Y,35855
-sonolus/build/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sonolus/build/cli.py,sha256=YlWg3Jfe1gi2wnlIJDh8LCMLSPV3l9AiuDWk2Bbphmg,5812
-sonolus/build/collection.py,sha256=IsDgedsAJ-foHzQ4LnQ9zSVXSz5wVVt4sgqiUICBvCU,10573
-sonolus/build/compile.py,sha256=mEtaWu7kFGYhAYZv28OGfflJ6oIkt0oVLJ9Va8R3atE,3547
-sonolus/build/engine.py,sha256=C0xKUikTKETg2SaPGQpcq4MBhPK-JAkbD1dTPvT47Y0,6732
-sonolus/build/level.py,sha256=3sdGPvIZ4a15u3-JdITnB6rznp6a2E3k6A0gB8A15JA,610
-sonolus/build/node.py,sha256=jwsVWt6Brh4M9MypUt3Nqnxfm7fXrCMRWYQGwBTAszI,1162
-sonolus/build/project.py,sha256=x350tPcwKCYakdbrP796b545hVUaBwrzY0yEcQR7ut4,4023
-sonolus/script/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sonolus/script/archetype.py,sha256=SnhVgoYEnpm3CVujaIWmCVsUG5BnqNhn5iI5h9C44jk,25542
-sonolus/script/array.py,sha256=iqxLGq_52z9pn5NKChJZp_I4YCcTNWGcIWHQW7dScWo,8966
-sonolus/script/bucket.py,sha256=7aOHsun-xvkwA9PTl0h9Bj3vXAgQauo5cjg2WkE3zNM,5356
-sonolus/script/callbacks.py,sha256=vWzJG8uiJoEtsNnbeZPqOHogCwoLpz2D1MnHY2wVV8s,2801
-sonolus/script/comptime.py,sha256=cMf1VsTU59Nw4fhuW1NkTi11qMRirTg5bsfpI_Bn09Q,4734
-sonolus/script/containers.py,sha256=MPZNh7atddkrQ_Y3cky2q1psIvQJUoglf9kHpz_DYGU,7765
-sonolus/script/debug.py,sha256=Y7TWr2-uctZEVmVvYzfTi32mIitgTcYKFhCTfBj1-88,2421
-sonolus/script/easing.py,sha256=ziYd6zDsMBoVAhoN3vhaI60ywRt5pJU4dfuc-BbZt48,7519
-sonolus/script/effect.py,sha256=Px9vhTh_0cZ4h9-R12eOXdKhYyiEvYCVwqGQ2Jh8_CQ,4015
-sonolus/script/engine.py,sha256=7BHzBJFYPxJYOIvR9k6X8FV1oQAGcLNBzqaz3O6v_8Y,4758
-sonolus/script/globals.py,sha256=W6mWmDbzWhZWuxFr8bmOhlZDCiWoJmYD1QOHBmZCX9o,8397
-sonolus/script/graphics.py,sha256=1yk1d-d0YAQiq7GhVOtFFEo0DgGLvRXuJcNvz8SwG-4,5083
-sonolus/script/instruction.py,sha256=WgUWtJwyzYRnYE7ykxQWVH0XVN_a63L7po4LG4vGedA,5398
-sonolus/script/interval.py,sha256=exQb8guUbtTyDCuFytD3PQiEXGhDN9yoP9HiYL1H6iM,3266
-sonolus/script/iterator.py,sha256=0_CRITyqR5IzpEFXpuPQlvAAOrDRNA4hmv4iFFHR20E,5299
-sonolus/script/level.py,sha256=lcC6zHg3kp8Vm-pG96zASVPG16JeOp3ZR907snXdy18,1249
-sonolus/script/math.py,sha256=s46jpHe2vrl9f6Zm7qI6cYR8NrwsypYfQLEihDGNx8E,2278
-sonolus/script/num.py,sha256=ZJF1_H1y6bddmaVuU_-gSOFiFgpdcUjfoOU86GVBFgc,12491
-sonolus/script/options.py,sha256=uufzFHft59FgdF1HTcv9FM3l0ZIjb8wCyhW9mESk_ZQ,5511
-sonolus/script/particle.py,sha256=vjtI3EwSCjKM41nBmf6Qt3KtaXbHgIwBnn3RCNtDPHs,7387
-sonolus/script/pointer.py,sha256=c_NoOHU8_PgglVAd6m3RkAO_JCdoD8wP_bZiE2OYFRc,1115
-sonolus/script/print.py,sha256=vDgE42yw9f5kXFk-A4ppQgwgKNIjiUXS7GVIHZdhdmg,1564
-sonolus/script/project.py,sha256=7K3iwUdSXAQyEAwcZvtfxgv3M0IaUaXSroUBEj4dnuA,416
-sonolus/script/random.py,sha256=Mgo-fSnWRgOIowdQnPRtbUUdMmUB21tKnwe2d3sjggk,379
-sonolus/script/range.py,sha256=D1nr_CvrfCwopiP2XVVVHQW3eDnDfLsQ7VKe-rEf1Tg,1695
-sonolus/script/record.py,sha256=y06I56PcYJAxjNJiauuhV33mGiH3Z9Lz603_9N03PxE,10472
-sonolus/script/runtime.py,sha256=vciRWn_WG9jyCU236cDXzwuigOtqzswKIJjAZxt1ob4,17100
-sonolus/script/sprite.py,sha256=vNl67okRBOFi3IoXVGOHPt8k9TJQqb9EscxwHnWqlrE,12989
-sonolus/script/text.py,sha256=UPXw8xyGW0sSJR8uiZyDIVF5MtNV9MbyI-AfYZPqHro,12989
-sonolus/script/timing.py,sha256=utAry65nkeDKBT-r_AYz-mWkgylBhiUUMordA3pDhLk,1028
-sonolus/script/transform.py,sha256=ROPm1HjJnP--Jhw2ziHQHns0kyF6b6m2P949Ispp9Mc,5650
-sonolus/script/ui.py,sha256=F-yFndriiqWRHaAOQ7WtnjPIHHQuhAYHMwtFaZM6OJ4,4488
-sonolus/script/values.py,sha256=TyRxHjuvtXlQpKGyVRg0T8fJgXMboKY4TZxQ3lFR4bs,1261
-sonolus/script/vec.py,sha256=tucqiZGFlUEwZQSGKmuacwfP2FiH-94C-crvr7Dt51w,2122
-sonolus/script/internal/__init__.py,sha256=T6rzLoiOUaiSQtaHMZ88SNO-ijSjSSv33TKtUwu-Ms8,136
-sonolus/script/internal/builtin_impls.py,sha256=qo1ZIgZ_FQl6O6CftuDqxuANObv3vzD7KT3bM30SbvU,4012
-sonolus/script/internal/context.py,sha256=lN1Lmh5sB7GTjX10V2vUhGgCBfUsVoDHzweUY3VCd_s,13060
-sonolus/script/internal/descriptor.py,sha256=XRFey-EjiAm_--KsNl-8N0Mi_iyQwlPh68gDp0pKf3E,392
-sonolus/script/internal/error.py,sha256=ZNnsvQVQAnFKzcvsm6-sste2lo-tP5pPI8sD7XlAZWc,490
-sonolus/script/internal/generic.py,sha256=-rhFatYZLrDE3RFgDWu_Zto3funHXmMr3QuyxajaWKU,7356
-sonolus/script/internal/impl.py,sha256=tnIaQCmw0SlFpmnSJp2aEys9XVxoj0Vi8Yf6SP-oUAQ,2321
-sonolus/script/internal/introspection.py,sha256=KBhs_cQxfQpXyFusz3R6O1YkA6ahQni8A2_h5W2A-c0,544
-sonolus/script/internal/native.py,sha256=YKx4uX6Y1cJaoLWpS8oQbWzHMZA5SSCE2cfeyv-nQkY,1518
-sonolus/script/internal/value.py,sha256=ik9sMKl0TbsH_C6QNxD4WfpAnmBFISgmmlazWwh3kY0,4308
-sonolus_py-0.1.4.dist-info/METADATA,sha256=QciwdolhqTIFmhm7mxBs5MBZzFuoEdIBZgijIQawbUQ,216
-sonolus_py-0.1.4.dist-info/WHEEL,sha256=C2FUgwZgiLbznR-k0b_5k3Ai_1aASOXDss3lzCUsUug,87
-sonolus_py-0.1.4.dist-info/entry_points.txt,sha256=oTYspY_b7SA8TptEMTDxh4-Aj-ZVPnYC9f1lqH6s9G4,54
-sonolus_py-0.1.4.dist-info/licenses/LICENSE,sha256=JEKpqVhQYfEc7zg3Mj462sKbKYmO1K7WmvX1qvg9IJk,1067
-sonolus_py-0.1.4.dist-info/RECORD,,