tpy-lang 0.3.0.dev0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- tpy_lang-0.3.0.dev0.dist-info/METADATA +151 -0
- tpy_lang-0.3.0.dev0.dist-info/RECORD +333 -0
- tpy_lang-0.3.0.dev0.dist-info/WHEEL +4 -0
- tpy_lang-0.3.0.dev0.dist-info/entry_points.txt +3 -0
- tpyc/__init__.py +104 -0
- tpyc/__main__.py +6 -0
- tpyc/_buildinfo.py +1 -0
- tpyc/_data/docs/LANGUAGE_FEATURES.md +6278 -0
- tpyc/_data/docs/STDLIB_ROADMAP.md +1258 -0
- tpyc/_data/docs/TPY_FOR_AGENTS.md +556 -0
- tpyc/_data/lib/tpy/_bindings/__init__.py +6 -0
- tpyc/_data/lib/tpy/_bindings/pcre2.py +173 -0
- tpyc/_data/lib/tpy/_bindings/posix_socket.py +161 -0
- tpyc/_data/lib/tpy/_functools_macros.py +80 -0
- tpyc/_data/lib/tpy/_macro_helpers.py +161 -0
- tpyc/_data/lib/tpy/argparse.py +2062 -0
- tpyc/_data/lib/tpy/asyncio/__init__.py +744 -0
- tpyc/_data/lib/tpy/asyncio/_executor.py +515 -0
- tpyc/_data/lib/tpy/base64.py +410 -0
- tpyc/_data/lib/tpy/bisect.py +39 -0
- tpyc/_data/lib/tpy/builtins.py +38 -0
- tpyc/_data/lib/tpy/dataclasses.py +354 -0
- tpyc/_data/lib/tpy/enum.py +23 -0
- tpyc/_data/lib/tpy/functools.py +33 -0
- tpyc/_data/lib/tpy/hashlib.py +206 -0
- tpyc/_data/lib/tpy/heapq.py +118 -0
- tpyc/_data/lib/tpy/io.py +395 -0
- tpyc/_data/lib/tpy/json.py +221 -0
- tpyc/_data/lib/tpy/math.py +406 -0
- tpyc/_data/lib/tpy/random.py +597 -0
- tpyc/_data/lib/tpy/re.py +467 -0
- tpyc/_data/lib/tpy/socket.py +379 -0
- tpyc/_data/lib/tpy/struct.py +178 -0
- tpyc/_data/lib/tpy/sys.py +40 -0
- tpyc/_data/lib/tpy/time.py +39 -0
- tpyc/_data/lib/tpy/tpy/__init__.py +78 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/__init__.py +10 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/_decorators.py +37 -0
- tpyc/_data/lib/tpy/tpy/_bootstrap/_extern.py +64 -0
- tpyc/_data/lib/tpy/tpy/_builtins/__init__.py +11 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_bytes.py +378 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_dict.py +151 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_exceptions.py +125 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_funcs.py +681 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_io.py +97 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_list.py +127 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_range.py +52 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_set.py +139 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_super.py +11 -0
- tpyc/_data/lib/tpy/tpy/_builtins/_types.py +661 -0
- tpyc/_data/lib/tpy/tpy/_core/__init__.py +23 -0
- tpyc/_data/lib/tpy/tpy/_core/_bytes_view.py +129 -0
- tpyc/_data/lib/tpy/tpy/_core/_containers.py +137 -0
- tpyc/_data/lib/tpy/tpy/_core/_functions.py +40 -0
- tpyc/_data/lib/tpy/tpy/_core/_types.py +2061 -0
- tpyc/_data/lib/tpy/tpy/_typing/__init__.py +77 -0
- tpyc/_data/lib/tpy/tpy/_version.py +29 -0
- tpyc/_data/lib/tpy/tpy/bits.py +28 -0
- tpyc/_data/lib/tpy/tpy/coro/__init__.py +127 -0
- tpyc/_data/lib/tpy/tpy/extern.py +8 -0
- tpyc/_data/lib/tpy/tpy/mem.py +49 -0
- tpyc/_data/lib/tpy/tpy/unsafe.py +195 -0
- tpyc/_data/lib/tpy/tpy/version.py +21 -0
- tpyc/_data/lib/tpy/typing.py +13 -0
- tpyc/_data/runtime/cpp/include/tpy/any.hpp +461 -0
- tpyc/_data/runtime/cpp/include/tpy/as_ostream.hpp +117 -0
- tpyc/_data/runtime/cpp/include/tpy/async.hpp +76 -0
- tpyc/_data/runtime/cpp/include/tpy/bigint.hpp +1343 -0
- tpyc/_data/runtime/cpp/include/tpy/builtins.hpp +400 -0
- tpyc/_data/runtime/cpp/include/tpy/bytes_ops.hpp +469 -0
- tpyc/_data/runtime/cpp/include/tpy/container_ops.hpp +487 -0
- tpyc/_data/runtime/cpp/include/tpy/copy_iter.hpp +82 -0
- tpyc/_data/runtime/cpp/include/tpy/core.hpp +558 -0
- tpyc/_data/runtime/cpp/include/tpy/dict_ops.hpp +289 -0
- tpyc/_data/runtime/cpp/include/tpy/dunder.hpp +750 -0
- tpyc/_data/runtime/cpp/include/tpy/dynamic.hpp +44 -0
- tpyc/_data/runtime/cpp/include/tpy/enum.hpp +40 -0
- tpyc/_data/runtime/cpp/include/tpy/file.hpp +245 -0
- tpyc/_data/runtime/cpp/include/tpy/fixed_int.hpp +317 -0
- tpyc/_data/runtime/cpp/include/tpy/format.hpp +954 -0
- tpyc/_data/runtime/cpp/include/tpy/frame_slot.hpp +120 -0
- tpyc/_data/runtime/cpp/include/tpy/generator.hpp +47 -0
- tpyc/_data/runtime/cpp/include/tpy/iterable_ops.hpp +122 -0
- tpyc/_data/runtime/cpp/include/tpy/itertools.hpp +749 -0
- tpyc/_data/runtime/cpp/include/tpy/next_iter.hpp +82 -0
- tpyc/_data/runtime/cpp/include/tpy/ordered_map.hpp +518 -0
- tpyc/_data/runtime/cpp/include/tpy/ordered_set.hpp +337 -0
- tpyc/_data/runtime/cpp/include/tpy/own_iter.hpp +54 -0
- tpyc/_data/runtime/cpp/include/tpy/pascal_graph_sdl.hpp +192 -0
- tpyc/_data/runtime/cpp/include/tpy/printing.hpp +302 -0
- tpyc/_data/runtime/cpp/include/tpy/protocols.hpp +61 -0
- tpyc/_data/runtime/cpp/include/tpy/range.hpp +115 -0
- tpyc/_data/runtime/cpp/include/tpy/ranges.hpp +212 -0
- tpyc/_data/runtime/cpp/include/tpy/set_ops.hpp +265 -0
- tpyc/_data/runtime/cpp/include/tpy/slice.hpp +47 -0
- tpyc/_data/runtime/cpp/include/tpy/span_iter.hpp +42 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/math.hpp +41 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/pcre2_h.hpp +96 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/random.hpp +25 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/socket_h.hpp +145 -0
- tpyc/_data/runtime/cpp/include/tpy/stdlib/time.hpp +62 -0
- tpyc/_data/runtime/cpp/include/tpy/system.hpp +121 -0
- tpyc/_data/runtime/cpp/include/tpy/throwable.hpp +55 -0
- tpyc/_data/runtime/cpp/include/tpy/tpy.hpp +156 -0
- tpyc/_data/runtime/cpp/include/tpy/type_name.hpp +77 -0
- tpyc/_data/runtime/cpp/include/tpy/type_traits.hpp +240 -0
- tpyc/_data/runtime/cpp/include/tpy/uninit_array_storage.hpp +250 -0
- tpyc/_data/runtime/cpp/include/tpy/uninit_heap_storage.hpp +277 -0
- tpyc/_data/runtime/cpp/include/tpy/varargs.hpp +174 -0
- tpyc/_data/runtime/cpp/include/tpy/variant_ref.hpp +118 -0
- tpyc/_data/runtime/cpp/src/stdlib/socket_impl.cpp +104 -0
- tpyc/_data/runtime/cpp/third_party/README.md +58 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/AUTHORS +36 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/CMakeLists.txt +1233 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/COPYING +5 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/ChangeLog +3097 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/HACKING +853 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/INSTALL +368 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/LICENCE +94 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/NEWS +492 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/NON-AUTOTOOLS-BUILD +430 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/README +956 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/COPYING-CMAKE-SCRIPTS +22 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindEditline.cmake +16 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindPackageHandleStandardArgs.cmake +58 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindReadline.cmake +29 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config-version.cmake.in +15 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config.cmake.in +148 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/config-cmake.h.in +56 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-16.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-32.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-8.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-posix.pc.in +13 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/pcre2-config.in +121 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h +483 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.generic +483 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.in +460 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.generic +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.in +1010 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_auto_possess.c +1371 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c +196 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c.dist +196 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chkdint.c +96 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_compile.c +11001 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_config.c +252 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_context.c +510 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_convert.c +1189 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dfa_match.c +4119 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dftables.c +297 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_error.c +345 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_extuni.c +162 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_find_bracket.c +219 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_fuzzsupport.c +792 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_internal.h +2084 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_intmodedep.h +940 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_compile.c +14972 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_match.c +200 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_misc.c +234 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_neon_inc.h +354 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_simd_inc.h +2355 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_test.c +2528 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_maketables.c +165 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match.c +7777 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match_data.c +185 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_newline.c +243 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ord2utf.c +120 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_pattern_info.c +432 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_printint.c +886 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_script_run.c +344 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_serialize.c +286 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_string_utils.c +237 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_study.c +1915 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substitute.c +1009 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substring.c +550 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_tables.c +234 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucd.c +5460 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucp.h +396 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucptables.c +1533 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_valid_utf.c +398 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_xclass.c +308 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2demo.c +497 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2grep.c +4606 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.c +425 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.h +187 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix_test.c +209 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2test.c +9708 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorApple.c +137 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorCore.c +327 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorFreeBSD.c +89 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorPosix.c +62 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorWindows.c +40 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorNetBSD.c +72 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorPosix.c +172 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorPosix.c +141 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorWindows.c +102 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfig.h +142 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigCPU.h +188 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigInternal.h +907 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.c +3561 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.h +2466 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_32.c +4636 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_64.c +3491 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_T2_32.c +4302 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeLOONGARCH_64.c +3765 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_32.c +472 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_64.c +387 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_common.c +4259 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_32.c +485 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_64.c +719 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_common.c +3161 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_32.c +142 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_64.c +222 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_common.c +3121 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeS390X.c +4526 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_32.c +1685 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_64.c +1398 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_common.c +5001 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitSerialize.c +516 -0
- tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitUtils.c +344 -0
- tpyc/_data/runtime/cpp/third_party/pcre2.sources.txt +54 -0
- tpyc/_data/runtime/cpp/third_party/pcre2.vendor.json +7 -0
- tpyc/build/__init__.py +7 -0
- tpyc/build/pcre2.py +122 -0
- tpyc/build/third_party.py +413 -0
- tpyc/cli.py +822 -0
- tpyc/codegen_cpp/__init__.py +18 -0
- tpyc/codegen_cpp/builtins.py +484 -0
- tpyc/codegen_cpp/context.py +2064 -0
- tpyc/codegen_cpp/expressions.py +5940 -0
- tpyc/codegen_cpp/functions.py +1913 -0
- tpyc/codegen_cpp/gen_async.py +3258 -0
- tpyc/codegen_cpp/gen_generators.py +657 -0
- tpyc/codegen_cpp/generator.py +2258 -0
- tpyc/codegen_cpp/match.py +1997 -0
- tpyc/codegen_cpp/param_const.py +172 -0
- tpyc/codegen_cpp/protocols.py +907 -0
- tpyc/codegen_cpp/records.py +1654 -0
- tpyc/codegen_cpp/resumable_cfg.py +1651 -0
- tpyc/codegen_cpp/statements.py +4963 -0
- tpyc/codegen_cpp/string_dispatch.py +76 -0
- tpyc/codegen_cpp/test_context.py +46 -0
- tpyc/codegen_cpp/test_param_const.py +113 -0
- tpyc/codegen_cpp/test_resumable_cfg.py +182 -0
- tpyc/codegen_cpp/type_resolution.py +53 -0
- tpyc/codegen_cpp/types.py +436 -0
- tpyc/codegen_cpp/variant_access.py +135 -0
- tpyc/coercions.py +749 -0
- tpyc/compilation_context.py +57 -0
- tpyc/compiler.py +3945 -0
- tpyc/cycle_detection.py +358 -0
- tpyc/diagnostics.py +135 -0
- tpyc/dump_types.py +353 -0
- tpyc/frontend_diagnostics.py +47 -0
- tpyc/frontend_ir/__init__.py +140 -0
- tpyc/frontend_ir/lower.py +1098 -0
- tpyc/frontend_ir/nodes.py +718 -0
- tpyc/frontend_ir/resolver_adapter.py +151 -0
- tpyc/frontend_plugin.py +209 -0
- tpyc/install_docs.py +81 -0
- tpyc/liveness.py +756 -0
- tpyc/macro_api.py +1724 -0
- tpyc/macro_loader.py +497 -0
- tpyc/module_names.py +64 -0
- tpyc/modules/__init__.py +31 -0
- tpyc/modules/defs.py +89 -0
- tpyc/modules/registry.py +36 -0
- tpyc/modules/resolver.py +192 -0
- tpyc/modules/type_resolution.py +629 -0
- tpyc/namespace.py +172 -0
- tpyc/parse/__init__.py +84 -0
- tpyc/parse/imports.py +490 -0
- tpyc/parse/nodes.py +1732 -0
- tpyc/parse/parser.py +4043 -0
- tpyc/parse/resolve_refs.py +466 -0
- tpyc/parse/type_resolver.py +1060 -0
- tpyc/prescan.py +254 -0
- tpyc/qnames.py +149 -0
- tpyc/repl.py +529 -0
- tpyc/repl_backends.py +848 -0
- tpyc/sema/__init__.py +21 -0
- tpyc/sema/analyzer.py +3625 -0
- tpyc/sema/bound_check.py +72 -0
- tpyc/sema/builder_trace.py +684 -0
- tpyc/sema/calls.py +5406 -0
- tpyc/sema/compatibility.py +2107 -0
- tpyc/sema/context.py +1243 -0
- tpyc/sema/expressions.py +3737 -0
- tpyc/sema/flow_facts.py +199 -0
- tpyc/sema/init_tracker.py +150 -0
- tpyc/sema/list_literals.py +69 -0
- tpyc/sema/literal_utils.py +27 -0
- tpyc/sema/local_deduction.py +1088 -0
- tpyc/sema/macros.py +179 -0
- tpyc/sema/match.py +1177 -0
- tpyc/sema/method_expansion.py +347 -0
- tpyc/sema/methods.py +2197 -0
- tpyc/sema/mutation_propagation.py +268 -0
- tpyc/sema/narrowing.py +857 -0
- tpyc/sema/numeric_lattice.py +160 -0
- tpyc/sema/operators.py +402 -0
- tpyc/sema/overloads.py +841 -0
- tpyc/sema/protocols.py +1209 -0
- tpyc/sema/reach_analysis.py +202 -0
- tpyc/sema/registration.py +3156 -0
- tpyc/sema/scope_tracker.py +193 -0
- tpyc/sema/statements.py +4426 -0
- tpyc/sema/type_ops.py +1879 -0
- tpyc/sema/value_range.py +181 -0
- tpyc/symbol_binding.py +259 -0
- tpyc/test_c3_mro.py +208 -0
- tpyc/test_cli_argv.py +52 -0
- tpyc/test_compiler.py +559 -0
- tpyc/test_contains_type_param.py +101 -0
- tpyc/test_cycle_detection.py +221 -0
- tpyc/test_dump_types.py +225 -0
- tpyc/test_install_docs.py +65 -0
- tpyc/test_local_cpp_form.py +135 -0
- tpyc/test_macro_loader.py +76 -0
- tpyc/test_method_expansion.py +254 -0
- tpyc/test_nominal_identity.py +182 -0
- tpyc/test_overloads.py +410 -0
- tpyc/test_parse.py +303 -0
- tpyc/test_parse_type_ref.py +506 -0
- tpyc/test_parse_version_info.py +58 -0
- tpyc/test_reach_analysis.py +72 -0
- tpyc/test_ref_type.py +216 -0
- tpyc/test_send_sync_substitution.py +276 -0
- tpyc/test_tuple_mutation_propagation.py +206 -0
- tpyc/test_type_def_registry.py +1729 -0
- tpyc/test_union_types.py +195 -0
- tpyc/type_def_registry.py +975 -0
- tpyc/typesys.py +5104 -0
|
@@ -0,0 +1,137 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* Stack-less Just-In-Time compiler
|
|
3
|
+
*
|
|
4
|
+
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
|
5
|
+
*
|
|
6
|
+
* Redistribution and use in source and binary forms, with or without modification, are
|
|
7
|
+
* permitted provided that the following conditions are met:
|
|
8
|
+
*
|
|
9
|
+
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
10
|
+
* conditions and the following disclaimer.
|
|
11
|
+
*
|
|
12
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
13
|
+
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
14
|
+
* provided with the distribution.
|
|
15
|
+
*
|
|
16
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
17
|
+
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
18
|
+
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
19
|
+
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
20
|
+
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
21
|
+
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
22
|
+
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
23
|
+
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
24
|
+
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
#include <sys/types.h>
|
|
28
|
+
#include <sys/mman.h>
|
|
29
|
+
/*
|
|
30
|
+
On macOS systems, returns MAP_JIT if it is defined _and_ we're running on a
|
|
31
|
+
version where it's OK to have more than one JIT block or where MAP_JIT is
|
|
32
|
+
required.
|
|
33
|
+
On non-macOS systems, returns MAP_JIT if it is defined.
|
|
34
|
+
*/
|
|
35
|
+
#include <TargetConditionals.h>
|
|
36
|
+
|
|
37
|
+
#if (defined(TARGET_OS_OSX) && TARGET_OS_OSX) || (TARGET_OS_MAC && !TARGET_OS_IPHONE)
|
|
38
|
+
|
|
39
|
+
#if defined(SLJIT_CONFIG_X86) && SLJIT_CONFIG_X86
|
|
40
|
+
|
|
41
|
+
#include <sys/utsname.h>
|
|
42
|
+
#include <stdlib.h>
|
|
43
|
+
|
|
44
|
+
#define SLJIT_UPDATE_WX_FLAGS(from, to, enable_exec)
|
|
45
|
+
|
|
46
|
+
#ifdef MAP_JIT
|
|
47
|
+
#define SLJIT_MAP_JIT (get_map_jit_flag())
|
|
48
|
+
static SLJIT_INLINE int get_map_jit_flag(void)
|
|
49
|
+
{
|
|
50
|
+
size_t page_size;
|
|
51
|
+
void *ptr;
|
|
52
|
+
struct utsname name;
|
|
53
|
+
static int map_jit_flag = -1;
|
|
54
|
+
|
|
55
|
+
if (map_jit_flag < 0) {
|
|
56
|
+
map_jit_flag = 0;
|
|
57
|
+
uname(&name);
|
|
58
|
+
|
|
59
|
+
/* Kernel version for 10.14.0 (Mojave) or later */
|
|
60
|
+
if (atoi(name.release) >= 18) {
|
|
61
|
+
page_size = get_page_alignment() + 1;
|
|
62
|
+
/* Only use MAP_JIT if a hardened runtime is used */
|
|
63
|
+
ptr = mmap(NULL, page_size, PROT_WRITE | PROT_EXEC,
|
|
64
|
+
MAP_PRIVATE | MAP_ANON, -1, 0);
|
|
65
|
+
|
|
66
|
+
if (ptr != MAP_FAILED)
|
|
67
|
+
munmap(ptr, page_size);
|
|
68
|
+
else
|
|
69
|
+
map_jit_flag = MAP_JIT;
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
return map_jit_flag;
|
|
73
|
+
}
|
|
74
|
+
#else /* !defined(MAP_JIT) */
|
|
75
|
+
#define SLJIT_MAP_JIT (0)
|
|
76
|
+
#endif
|
|
77
|
+
|
|
78
|
+
#elif defined(SLJIT_CONFIG_ARM) && SLJIT_CONFIG_ARM
|
|
79
|
+
|
|
80
|
+
#include <AvailabilityMacros.h>
|
|
81
|
+
#include <pthread.h>
|
|
82
|
+
|
|
83
|
+
#define SLJIT_MAP_JIT (MAP_JIT)
|
|
84
|
+
#define SLJIT_UPDATE_WX_FLAGS(from, to, enable_exec) \
|
|
85
|
+
apple_update_wx_flags(enable_exec)
|
|
86
|
+
|
|
87
|
+
static SLJIT_INLINE void apple_update_wx_flags(sljit_s32 enable_exec)
|
|
88
|
+
{
|
|
89
|
+
#if MAC_OS_X_VERSION_MIN_REQUIRED < 110000
|
|
90
|
+
if (__builtin_available(macos 11, *))
|
|
91
|
+
#endif /* BigSur */
|
|
92
|
+
pthread_jit_write_protect_np(enable_exec);
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
#elif defined(SLJIT_CONFIG_PPC) && SLJIT_CONFIG_PPC
|
|
96
|
+
|
|
97
|
+
#define SLJIT_MAP_JIT (0)
|
|
98
|
+
#define SLJIT_UPDATE_WX_FLAGS(from, to, enable_exec)
|
|
99
|
+
|
|
100
|
+
#else
|
|
101
|
+
#error "Unsupported architecture"
|
|
102
|
+
#endif /* SLJIT_CONFIG */
|
|
103
|
+
|
|
104
|
+
#else /* !TARGET_OS_OSX */
|
|
105
|
+
|
|
106
|
+
#ifdef MAP_JIT
|
|
107
|
+
#define SLJIT_MAP_JIT (MAP_JIT)
|
|
108
|
+
#else
|
|
109
|
+
#define SLJIT_MAP_JIT (0)
|
|
110
|
+
#endif
|
|
111
|
+
|
|
112
|
+
#endif /* TARGET_OS_OSX */
|
|
113
|
+
|
|
114
|
+
static SLJIT_INLINE void* alloc_chunk(sljit_uw size)
|
|
115
|
+
{
|
|
116
|
+
void *retval;
|
|
117
|
+
int prot = PROT_READ | PROT_WRITE | PROT_EXEC;
|
|
118
|
+
int flags = MAP_PRIVATE;
|
|
119
|
+
int fd = -1;
|
|
120
|
+
|
|
121
|
+
flags |= MAP_ANON | SLJIT_MAP_JIT;
|
|
122
|
+
|
|
123
|
+
retval = mmap(NULL, size, prot, flags, fd, 0);
|
|
124
|
+
if (retval == MAP_FAILED)
|
|
125
|
+
return NULL;
|
|
126
|
+
|
|
127
|
+
SLJIT_UPDATE_WX_FLAGS(retval, (uint8_t *)retval + size, 0);
|
|
128
|
+
|
|
129
|
+
return retval;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
static SLJIT_INLINE void free_chunk(void *chunk, sljit_uw size)
|
|
133
|
+
{
|
|
134
|
+
munmap(chunk, size);
|
|
135
|
+
}
|
|
136
|
+
|
|
137
|
+
#include "sljitExecAllocatorCore.c"
|
|
@@ -0,0 +1,327 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* Stack-less Just-In-Time compiler
|
|
3
|
+
*
|
|
4
|
+
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
|
5
|
+
*
|
|
6
|
+
* Redistribution and use in source and binary forms, with or without modification, are
|
|
7
|
+
* permitted provided that the following conditions are met:
|
|
8
|
+
*
|
|
9
|
+
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
10
|
+
* conditions and the following disclaimer.
|
|
11
|
+
*
|
|
12
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
13
|
+
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
14
|
+
* provided with the distribution.
|
|
15
|
+
*
|
|
16
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
17
|
+
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
18
|
+
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
19
|
+
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
20
|
+
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
21
|
+
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
22
|
+
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
23
|
+
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
24
|
+
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
/*
|
|
28
|
+
This file contains a simple executable memory allocator
|
|
29
|
+
|
|
30
|
+
It is assumed, that executable code blocks are usually medium (or sometimes
|
|
31
|
+
large) memory blocks, and the allocator is not too frequently called (less
|
|
32
|
+
optimized than other allocators). Thus, using it as a generic allocator is
|
|
33
|
+
not suggested.
|
|
34
|
+
|
|
35
|
+
How does it work:
|
|
36
|
+
Memory is allocated in continuous memory areas called chunks by alloc_chunk()
|
|
37
|
+
Chunk format:
|
|
38
|
+
[ block ][ block ] ... [ block ][ block terminator ]
|
|
39
|
+
|
|
40
|
+
All blocks and the block terminator is started with block_header. The block
|
|
41
|
+
header contains the size of the previous and the next block. These sizes
|
|
42
|
+
can also contain special values.
|
|
43
|
+
Block size:
|
|
44
|
+
0 - The block is a free_block, with a different size member.
|
|
45
|
+
1 - The block is a block terminator.
|
|
46
|
+
n - The block is used at the moment, and the value contains its size.
|
|
47
|
+
Previous block size:
|
|
48
|
+
0 - This is the first block of the memory chunk.
|
|
49
|
+
n - The size of the previous block.
|
|
50
|
+
|
|
51
|
+
Using these size values we can go forward or backward on the block chain.
|
|
52
|
+
The unused blocks are stored in a chain list pointed by free_blocks. This
|
|
53
|
+
list is useful if we need to find a suitable memory area when the allocator
|
|
54
|
+
is called.
|
|
55
|
+
|
|
56
|
+
When a block is freed, the new free block is connected to its adjacent free
|
|
57
|
+
blocks if possible.
|
|
58
|
+
|
|
59
|
+
[ free block ][ used block ][ free block ]
|
|
60
|
+
and "used block" is freed, the three blocks are connected together:
|
|
61
|
+
[ one big free block ]
|
|
62
|
+
*/
|
|
63
|
+
|
|
64
|
+
/* Expected functions:
|
|
65
|
+
alloc_chunk / free_chunk :
|
|
66
|
+
* allocate executable system memory chunks
|
|
67
|
+
* the size is always divisible by CHUNK_SIZE
|
|
68
|
+
SLJIT_ALLOCATOR_LOCK / SLJIT_ALLOCATOR_UNLOCK :
|
|
69
|
+
* provided as part of sljitUtils
|
|
70
|
+
* only the allocator requires this lock, sljit is fully thread safe
|
|
71
|
+
as it only uses local variables
|
|
72
|
+
|
|
73
|
+
Supported defines:
|
|
74
|
+
SLJIT_HAS_CHUNK_HEADER - (optional) sljit_chunk_header is defined
|
|
75
|
+
SLJIT_HAS_EXECUTABLE_OFFSET - (optional) has executable offset data
|
|
76
|
+
SLJIT_UPDATE_WX_FLAGS - (optional) update WX flags
|
|
77
|
+
*/
|
|
78
|
+
|
|
79
|
+
#ifdef SLJIT_HAS_CHUNK_HEADER
|
|
80
|
+
#define CHUNK_HEADER_SIZE (sizeof(struct sljit_chunk_header))
|
|
81
|
+
#else /* !SLJIT_HAS_CHUNK_HEADER */
|
|
82
|
+
#define CHUNK_HEADER_SIZE 0
|
|
83
|
+
#endif /* SLJIT_HAS_CHUNK_HEADER */
|
|
84
|
+
|
|
85
|
+
#ifndef SLJIT_UPDATE_WX_FLAGS
|
|
86
|
+
#define SLJIT_UPDATE_WX_FLAGS(from, to, enable_exec)
|
|
87
|
+
#endif /* SLJIT_UPDATE_WX_FLAGS */
|
|
88
|
+
|
|
89
|
+
#ifndef CHUNK_SIZE
|
|
90
|
+
/* 64 KByte if not specified. */
|
|
91
|
+
#define CHUNK_SIZE (sljit_uw)0x10000
|
|
92
|
+
#endif /* CHUNK_SIZE */
|
|
93
|
+
|
|
94
|
+
struct block_header {
|
|
95
|
+
sljit_uw size;
|
|
96
|
+
sljit_uw prev_size;
|
|
97
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
98
|
+
sljit_sw executable_offset;
|
|
99
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
100
|
+
};
|
|
101
|
+
|
|
102
|
+
struct free_block {
|
|
103
|
+
struct block_header header;
|
|
104
|
+
struct free_block *next;
|
|
105
|
+
struct free_block *prev;
|
|
106
|
+
sljit_uw size;
|
|
107
|
+
};
|
|
108
|
+
|
|
109
|
+
#define AS_BLOCK_HEADER(base, offset) \
|
|
110
|
+
((struct block_header*)(((sljit_u8*)base) + offset))
|
|
111
|
+
#define AS_FREE_BLOCK(base, offset) \
|
|
112
|
+
((struct free_block*)(((sljit_u8*)base) + offset))
|
|
113
|
+
#define MEM_START(base) ((void*)((base) + 1))
|
|
114
|
+
#define CHUNK_MASK (~(CHUNK_SIZE - 1))
|
|
115
|
+
#define ALIGN_SIZE(size) (((size) + sizeof(struct block_header) + 7u) & ~(sljit_uw)7)
|
|
116
|
+
#define CHUNK_EXTRA_SIZE (sizeof(struct block_header) + CHUNK_HEADER_SIZE)
|
|
117
|
+
|
|
118
|
+
static struct free_block* free_blocks;
|
|
119
|
+
static sljit_uw allocated_size;
|
|
120
|
+
static sljit_uw total_size;
|
|
121
|
+
|
|
122
|
+
static SLJIT_INLINE void sljit_insert_free_block(struct free_block *free_block, sljit_uw size)
|
|
123
|
+
{
|
|
124
|
+
free_block->header.size = 0;
|
|
125
|
+
free_block->size = size;
|
|
126
|
+
|
|
127
|
+
free_block->next = free_blocks;
|
|
128
|
+
free_block->prev = NULL;
|
|
129
|
+
if (free_blocks)
|
|
130
|
+
free_blocks->prev = free_block;
|
|
131
|
+
free_blocks = free_block;
|
|
132
|
+
}
|
|
133
|
+
|
|
134
|
+
static SLJIT_INLINE void sljit_remove_free_block(struct free_block *free_block)
|
|
135
|
+
{
|
|
136
|
+
if (free_block->next)
|
|
137
|
+
free_block->next->prev = free_block->prev;
|
|
138
|
+
|
|
139
|
+
if (free_block->prev)
|
|
140
|
+
free_block->prev->next = free_block->next;
|
|
141
|
+
else {
|
|
142
|
+
SLJIT_ASSERT(free_blocks == free_block);
|
|
143
|
+
free_blocks = free_block->next;
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
|
|
147
|
+
SLJIT_API_FUNC_ATTRIBUTE void* sljit_malloc_exec(sljit_uw size)
|
|
148
|
+
{
|
|
149
|
+
struct block_header *header;
|
|
150
|
+
struct block_header *next_header;
|
|
151
|
+
struct free_block *free_block;
|
|
152
|
+
sljit_uw chunk_size;
|
|
153
|
+
|
|
154
|
+
#ifdef SLJIT_HAS_CHUNK_HEADER
|
|
155
|
+
struct sljit_chunk_header *chunk_header;
|
|
156
|
+
#else /* !SLJIT_HAS_CHUNK_HEADER */
|
|
157
|
+
void *chunk_header;
|
|
158
|
+
#endif /* SLJIT_HAS_CHUNK_HEADER */
|
|
159
|
+
|
|
160
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
161
|
+
sljit_sw executable_offset;
|
|
162
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
163
|
+
|
|
164
|
+
if (size < (64 - sizeof(struct block_header)))
|
|
165
|
+
size = (64 - sizeof(struct block_header));
|
|
166
|
+
size = ALIGN_SIZE(size);
|
|
167
|
+
|
|
168
|
+
SLJIT_ALLOCATOR_LOCK();
|
|
169
|
+
free_block = free_blocks;
|
|
170
|
+
while (free_block) {
|
|
171
|
+
if (free_block->size >= size) {
|
|
172
|
+
chunk_size = free_block->size;
|
|
173
|
+
SLJIT_UPDATE_WX_FLAGS(NULL, NULL, 0);
|
|
174
|
+
if (chunk_size > size + 64) {
|
|
175
|
+
/* We just cut a block from the end of the free block. */
|
|
176
|
+
chunk_size -= size;
|
|
177
|
+
free_block->size = chunk_size;
|
|
178
|
+
header = AS_BLOCK_HEADER(free_block, chunk_size);
|
|
179
|
+
header->prev_size = chunk_size;
|
|
180
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
181
|
+
header->executable_offset = free_block->header.executable_offset;
|
|
182
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
183
|
+
AS_BLOCK_HEADER(header, size)->prev_size = size;
|
|
184
|
+
} else {
|
|
185
|
+
sljit_remove_free_block(free_block);
|
|
186
|
+
header = (struct block_header*)free_block;
|
|
187
|
+
size = chunk_size;
|
|
188
|
+
}
|
|
189
|
+
allocated_size += size;
|
|
190
|
+
header->size = size;
|
|
191
|
+
SLJIT_ALLOCATOR_UNLOCK();
|
|
192
|
+
return MEM_START(header);
|
|
193
|
+
}
|
|
194
|
+
free_block = free_block->next;
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
chunk_size = (size + CHUNK_EXTRA_SIZE + CHUNK_SIZE - 1) & CHUNK_MASK;
|
|
198
|
+
|
|
199
|
+
chunk_header = alloc_chunk(chunk_size);
|
|
200
|
+
if (!chunk_header) {
|
|
201
|
+
SLJIT_ALLOCATOR_UNLOCK();
|
|
202
|
+
return NULL;
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
206
|
+
executable_offset = (sljit_sw)((sljit_u8*)chunk_header->executable - (sljit_u8*)chunk_header);
|
|
207
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
208
|
+
|
|
209
|
+
chunk_size -= CHUNK_EXTRA_SIZE;
|
|
210
|
+
total_size += chunk_size;
|
|
211
|
+
|
|
212
|
+
header = (struct block_header*)(((sljit_u8*)chunk_header) + CHUNK_HEADER_SIZE);
|
|
213
|
+
|
|
214
|
+
header->prev_size = 0;
|
|
215
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
216
|
+
header->executable_offset = executable_offset;
|
|
217
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
218
|
+
|
|
219
|
+
if (chunk_size > size + 64) {
|
|
220
|
+
/* Cut the allocated space into a free and a used block. */
|
|
221
|
+
allocated_size += size;
|
|
222
|
+
header->size = size;
|
|
223
|
+
chunk_size -= size;
|
|
224
|
+
|
|
225
|
+
free_block = AS_FREE_BLOCK(header, size);
|
|
226
|
+
free_block->header.prev_size = size;
|
|
227
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
228
|
+
free_block->header.executable_offset = executable_offset;
|
|
229
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
230
|
+
sljit_insert_free_block(free_block, chunk_size);
|
|
231
|
+
next_header = AS_BLOCK_HEADER(free_block, chunk_size);
|
|
232
|
+
} else {
|
|
233
|
+
/* All space belongs to this allocation. */
|
|
234
|
+
allocated_size += chunk_size;
|
|
235
|
+
header->size = chunk_size;
|
|
236
|
+
next_header = AS_BLOCK_HEADER(header, chunk_size);
|
|
237
|
+
}
|
|
238
|
+
next_header->size = 1;
|
|
239
|
+
next_header->prev_size = chunk_size;
|
|
240
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
241
|
+
next_header->executable_offset = executable_offset;
|
|
242
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
243
|
+
SLJIT_ALLOCATOR_UNLOCK();
|
|
244
|
+
return MEM_START(header);
|
|
245
|
+
}
|
|
246
|
+
|
|
247
|
+
SLJIT_API_FUNC_ATTRIBUTE void sljit_free_exec(void *ptr)
|
|
248
|
+
{
|
|
249
|
+
struct block_header *header;
|
|
250
|
+
struct free_block *free_block;
|
|
251
|
+
|
|
252
|
+
SLJIT_ALLOCATOR_LOCK();
|
|
253
|
+
header = AS_BLOCK_HEADER(ptr, -(sljit_sw)sizeof(struct block_header));
|
|
254
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
255
|
+
header = AS_BLOCK_HEADER(header, -header->executable_offset);
|
|
256
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
257
|
+
allocated_size -= header->size;
|
|
258
|
+
|
|
259
|
+
SLJIT_UPDATE_WX_FLAGS(NULL, NULL, 0);
|
|
260
|
+
|
|
261
|
+
/* Connecting free blocks together if possible. */
|
|
262
|
+
|
|
263
|
+
/* If header->prev_size == 0, free_block will equal to header.
|
|
264
|
+
In this case, free_block->header.size will be > 0. */
|
|
265
|
+
free_block = AS_FREE_BLOCK(header, -(sljit_sw)header->prev_size);
|
|
266
|
+
if (SLJIT_UNLIKELY(!free_block->header.size)) {
|
|
267
|
+
free_block->size += header->size;
|
|
268
|
+
header = AS_BLOCK_HEADER(free_block, free_block->size);
|
|
269
|
+
header->prev_size = free_block->size;
|
|
270
|
+
} else {
|
|
271
|
+
free_block = (struct free_block*)header;
|
|
272
|
+
sljit_insert_free_block(free_block, header->size);
|
|
273
|
+
}
|
|
274
|
+
|
|
275
|
+
header = AS_BLOCK_HEADER(free_block, free_block->size);
|
|
276
|
+
if (SLJIT_UNLIKELY(!header->size)) {
|
|
277
|
+
free_block->size += ((struct free_block*)header)->size;
|
|
278
|
+
sljit_remove_free_block((struct free_block*)header);
|
|
279
|
+
header = AS_BLOCK_HEADER(free_block, free_block->size);
|
|
280
|
+
header->prev_size = free_block->size;
|
|
281
|
+
}
|
|
282
|
+
|
|
283
|
+
/* The whole chunk is free. */
|
|
284
|
+
if (SLJIT_UNLIKELY(!free_block->header.prev_size && header->size == 1)) {
|
|
285
|
+
/* If this block is freed, we still have (allocated_size / 2) free space. */
|
|
286
|
+
if (total_size - free_block->size > (allocated_size * 3 / 2)) {
|
|
287
|
+
total_size -= free_block->size;
|
|
288
|
+
sljit_remove_free_block(free_block);
|
|
289
|
+
free_chunk(free_block, free_block->size + CHUNK_EXTRA_SIZE);
|
|
290
|
+
}
|
|
291
|
+
}
|
|
292
|
+
|
|
293
|
+
SLJIT_UPDATE_WX_FLAGS(NULL, NULL, 1);
|
|
294
|
+
SLJIT_ALLOCATOR_UNLOCK();
|
|
295
|
+
}
|
|
296
|
+
|
|
297
|
+
SLJIT_API_FUNC_ATTRIBUTE void sljit_free_unused_memory_exec(void)
|
|
298
|
+
{
|
|
299
|
+
struct free_block* free_block;
|
|
300
|
+
struct free_block* next_free_block;
|
|
301
|
+
|
|
302
|
+
SLJIT_ALLOCATOR_LOCK();
|
|
303
|
+
SLJIT_UPDATE_WX_FLAGS(NULL, NULL, 0);
|
|
304
|
+
|
|
305
|
+
free_block = free_blocks;
|
|
306
|
+
while (free_block) {
|
|
307
|
+
next_free_block = free_block->next;
|
|
308
|
+
if (!free_block->header.prev_size &&
|
|
309
|
+
AS_BLOCK_HEADER(free_block, free_block->size)->size == 1) {
|
|
310
|
+
total_size -= free_block->size;
|
|
311
|
+
sljit_remove_free_block(free_block);
|
|
312
|
+
free_chunk(free_block, free_block->size + CHUNK_EXTRA_SIZE);
|
|
313
|
+
}
|
|
314
|
+
free_block = next_free_block;
|
|
315
|
+
}
|
|
316
|
+
|
|
317
|
+
SLJIT_ASSERT(total_size || (!total_size && !free_blocks));
|
|
318
|
+
SLJIT_UPDATE_WX_FLAGS(NULL, NULL, 1);
|
|
319
|
+
SLJIT_ALLOCATOR_UNLOCK();
|
|
320
|
+
}
|
|
321
|
+
|
|
322
|
+
#ifdef SLJIT_HAS_EXECUTABLE_OFFSET
|
|
323
|
+
SLJIT_API_FUNC_ATTRIBUTE sljit_sw sljit_exec_offset(void *code)
|
|
324
|
+
{
|
|
325
|
+
return ((struct block_header*)SLJIT_CODE_TO_PTR(code))[-1].executable_offset;
|
|
326
|
+
}
|
|
327
|
+
#endif /* SLJIT_HAS_EXECUTABLE_OFFSET */
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* Stack-less Just-In-Time compiler
|
|
3
|
+
*
|
|
4
|
+
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
|
5
|
+
*
|
|
6
|
+
* Redistribution and use in source and binary forms, with or without modification, are
|
|
7
|
+
* permitted provided that the following conditions are met:
|
|
8
|
+
*
|
|
9
|
+
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
10
|
+
* conditions and the following disclaimer.
|
|
11
|
+
*
|
|
12
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
13
|
+
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
14
|
+
* provided with the distribution.
|
|
15
|
+
*
|
|
16
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
17
|
+
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
18
|
+
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
19
|
+
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
20
|
+
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
21
|
+
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
22
|
+
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
23
|
+
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
24
|
+
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
#include <sys/mman.h>
|
|
28
|
+
#include <sys/procctl.h>
|
|
29
|
+
|
|
30
|
+
#ifdef PROC_WXMAP_CTL
|
|
31
|
+
static SLJIT_INLINE int sljit_is_wx_block(void)
|
|
32
|
+
{
|
|
33
|
+
static int wx_block = -1;
|
|
34
|
+
if (wx_block < 0) {
|
|
35
|
+
int sljit_wx_enable = PROC_WX_MAPPINGS_PERMIT;
|
|
36
|
+
wx_block = !!procctl(P_PID, 0, PROC_WXMAP_CTL, &sljit_wx_enable);
|
|
37
|
+
}
|
|
38
|
+
return wx_block;
|
|
39
|
+
}
|
|
40
|
+
|
|
41
|
+
#define SLJIT_IS_WX_BLOCK sljit_is_wx_block()
|
|
42
|
+
#else /* !PROC_WXMAP_CTL */
|
|
43
|
+
#define SLJIT_IS_WX_BLOCK (1)
|
|
44
|
+
#endif /* PROC_WXMAP_CTL */
|
|
45
|
+
|
|
46
|
+
static SLJIT_INLINE void* alloc_chunk(sljit_uw size)
|
|
47
|
+
{
|
|
48
|
+
void *retval;
|
|
49
|
+
int prot = PROT_READ | PROT_WRITE | PROT_EXEC;
|
|
50
|
+
int flags = MAP_PRIVATE;
|
|
51
|
+
int fd = -1;
|
|
52
|
+
|
|
53
|
+
#ifdef PROT_MAX
|
|
54
|
+
prot |= PROT_MAX(prot);
|
|
55
|
+
#endif
|
|
56
|
+
|
|
57
|
+
#ifdef MAP_ANON
|
|
58
|
+
flags |= MAP_ANON;
|
|
59
|
+
#else /* !MAP_ANON */
|
|
60
|
+
if (SLJIT_UNLIKELY((dev_zero < 0) && open_dev_zero()))
|
|
61
|
+
return NULL;
|
|
62
|
+
|
|
63
|
+
fd = dev_zero;
|
|
64
|
+
#endif /* MAP_ANON */
|
|
65
|
+
|
|
66
|
+
retry:
|
|
67
|
+
retval = mmap(NULL, size, prot, flags, fd, 0);
|
|
68
|
+
if (retval == MAP_FAILED) {
|
|
69
|
+
if (!SLJIT_IS_WX_BLOCK)
|
|
70
|
+
goto retry;
|
|
71
|
+
|
|
72
|
+
return NULL;
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
/* HardenedBSD's mmap lies, so check permissions again. */
|
|
76
|
+
if (mprotect(retval, size, PROT_READ | PROT_WRITE | PROT_EXEC) < 0) {
|
|
77
|
+
munmap(retval, size);
|
|
78
|
+
return NULL;
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
return retval;
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
static SLJIT_INLINE void free_chunk(void *chunk, sljit_uw size)
|
|
85
|
+
{
|
|
86
|
+
munmap(chunk, size);
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
#include "sljitExecAllocatorCore.c"
|
|
@@ -0,0 +1,62 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* Stack-less Just-In-Time compiler
|
|
3
|
+
*
|
|
4
|
+
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
|
5
|
+
*
|
|
6
|
+
* Redistribution and use in source and binary forms, with or without modification, are
|
|
7
|
+
* permitted provided that the following conditions are met:
|
|
8
|
+
*
|
|
9
|
+
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
10
|
+
* conditions and the following disclaimer.
|
|
11
|
+
*
|
|
12
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
13
|
+
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
14
|
+
* provided with the distribution.
|
|
15
|
+
*
|
|
16
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
17
|
+
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
18
|
+
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
19
|
+
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
20
|
+
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
21
|
+
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
22
|
+
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
23
|
+
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
24
|
+
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
#include <sys/types.h>
|
|
28
|
+
#include <sys/mman.h>
|
|
29
|
+
|
|
30
|
+
static SLJIT_INLINE void* alloc_chunk(sljit_uw size)
|
|
31
|
+
{
|
|
32
|
+
void *retval;
|
|
33
|
+
int prot = PROT_READ | PROT_WRITE | PROT_EXEC;
|
|
34
|
+
int flags = MAP_PRIVATE;
|
|
35
|
+
int fd = -1;
|
|
36
|
+
|
|
37
|
+
#ifdef PROT_MAX
|
|
38
|
+
prot |= PROT_MAX(prot);
|
|
39
|
+
#endif
|
|
40
|
+
|
|
41
|
+
#ifdef MAP_ANON
|
|
42
|
+
flags |= MAP_ANON;
|
|
43
|
+
#else /* !MAP_ANON */
|
|
44
|
+
if (SLJIT_UNLIKELY((dev_zero < 0) && open_dev_zero()))
|
|
45
|
+
return NULL;
|
|
46
|
+
|
|
47
|
+
fd = dev_zero;
|
|
48
|
+
#endif /* MAP_ANON */
|
|
49
|
+
|
|
50
|
+
retval = mmap(NULL, size, prot, flags, fd, 0);
|
|
51
|
+
if (retval == MAP_FAILED)
|
|
52
|
+
return NULL;
|
|
53
|
+
|
|
54
|
+
return retval;
|
|
55
|
+
}
|
|
56
|
+
|
|
57
|
+
static SLJIT_INLINE void free_chunk(void *chunk, sljit_uw size)
|
|
58
|
+
{
|
|
59
|
+
munmap(chunk, size);
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
#include "sljitExecAllocatorCore.c"
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* Stack-less Just-In-Time compiler
|
|
3
|
+
*
|
|
4
|
+
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
|
5
|
+
*
|
|
6
|
+
* Redistribution and use in source and binary forms, with or without modification, are
|
|
7
|
+
* permitted provided that the following conditions are met:
|
|
8
|
+
*
|
|
9
|
+
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
10
|
+
* conditions and the following disclaimer.
|
|
11
|
+
*
|
|
12
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
13
|
+
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
14
|
+
* provided with the distribution.
|
|
15
|
+
*
|
|
16
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
17
|
+
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
18
|
+
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
19
|
+
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
20
|
+
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
21
|
+
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
22
|
+
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
23
|
+
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
24
|
+
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
#define SLJIT_UPDATE_WX_FLAGS(from, to, enable_exec)
|
|
28
|
+
|
|
29
|
+
static SLJIT_INLINE void* alloc_chunk(sljit_uw size)
|
|
30
|
+
{
|
|
31
|
+
return VirtualAlloc(NULL, size, MEM_COMMIT | MEM_RESERVE, PAGE_EXECUTE_READWRITE);
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
static SLJIT_INLINE void free_chunk(void *chunk, sljit_uw size)
|
|
35
|
+
{
|
|
36
|
+
SLJIT_UNUSED_ARG(size);
|
|
37
|
+
VirtualFree(chunk, 0, MEM_RELEASE);
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
#include "sljitExecAllocatorCore.c"
|