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.
Files changed (333) hide show
  1. tpy_lang-0.3.0.dev0.dist-info/METADATA +151 -0
  2. tpy_lang-0.3.0.dev0.dist-info/RECORD +333 -0
  3. tpy_lang-0.3.0.dev0.dist-info/WHEEL +4 -0
  4. tpy_lang-0.3.0.dev0.dist-info/entry_points.txt +3 -0
  5. tpyc/__init__.py +104 -0
  6. tpyc/__main__.py +6 -0
  7. tpyc/_buildinfo.py +1 -0
  8. tpyc/_data/docs/LANGUAGE_FEATURES.md +6278 -0
  9. tpyc/_data/docs/STDLIB_ROADMAP.md +1258 -0
  10. tpyc/_data/docs/TPY_FOR_AGENTS.md +556 -0
  11. tpyc/_data/lib/tpy/_bindings/__init__.py +6 -0
  12. tpyc/_data/lib/tpy/_bindings/pcre2.py +173 -0
  13. tpyc/_data/lib/tpy/_bindings/posix_socket.py +161 -0
  14. tpyc/_data/lib/tpy/_functools_macros.py +80 -0
  15. tpyc/_data/lib/tpy/_macro_helpers.py +161 -0
  16. tpyc/_data/lib/tpy/argparse.py +2062 -0
  17. tpyc/_data/lib/tpy/asyncio/__init__.py +744 -0
  18. tpyc/_data/lib/tpy/asyncio/_executor.py +515 -0
  19. tpyc/_data/lib/tpy/base64.py +410 -0
  20. tpyc/_data/lib/tpy/bisect.py +39 -0
  21. tpyc/_data/lib/tpy/builtins.py +38 -0
  22. tpyc/_data/lib/tpy/dataclasses.py +354 -0
  23. tpyc/_data/lib/tpy/enum.py +23 -0
  24. tpyc/_data/lib/tpy/functools.py +33 -0
  25. tpyc/_data/lib/tpy/hashlib.py +206 -0
  26. tpyc/_data/lib/tpy/heapq.py +118 -0
  27. tpyc/_data/lib/tpy/io.py +395 -0
  28. tpyc/_data/lib/tpy/json.py +221 -0
  29. tpyc/_data/lib/tpy/math.py +406 -0
  30. tpyc/_data/lib/tpy/random.py +597 -0
  31. tpyc/_data/lib/tpy/re.py +467 -0
  32. tpyc/_data/lib/tpy/socket.py +379 -0
  33. tpyc/_data/lib/tpy/struct.py +178 -0
  34. tpyc/_data/lib/tpy/sys.py +40 -0
  35. tpyc/_data/lib/tpy/time.py +39 -0
  36. tpyc/_data/lib/tpy/tpy/__init__.py +78 -0
  37. tpyc/_data/lib/tpy/tpy/_bootstrap/__init__.py +10 -0
  38. tpyc/_data/lib/tpy/tpy/_bootstrap/_decorators.py +37 -0
  39. tpyc/_data/lib/tpy/tpy/_bootstrap/_extern.py +64 -0
  40. tpyc/_data/lib/tpy/tpy/_builtins/__init__.py +11 -0
  41. tpyc/_data/lib/tpy/tpy/_builtins/_bytes.py +378 -0
  42. tpyc/_data/lib/tpy/tpy/_builtins/_dict.py +151 -0
  43. tpyc/_data/lib/tpy/tpy/_builtins/_exceptions.py +125 -0
  44. tpyc/_data/lib/tpy/tpy/_builtins/_funcs.py +681 -0
  45. tpyc/_data/lib/tpy/tpy/_builtins/_io.py +97 -0
  46. tpyc/_data/lib/tpy/tpy/_builtins/_list.py +127 -0
  47. tpyc/_data/lib/tpy/tpy/_builtins/_range.py +52 -0
  48. tpyc/_data/lib/tpy/tpy/_builtins/_set.py +139 -0
  49. tpyc/_data/lib/tpy/tpy/_builtins/_super.py +11 -0
  50. tpyc/_data/lib/tpy/tpy/_builtins/_types.py +661 -0
  51. tpyc/_data/lib/tpy/tpy/_core/__init__.py +23 -0
  52. tpyc/_data/lib/tpy/tpy/_core/_bytes_view.py +129 -0
  53. tpyc/_data/lib/tpy/tpy/_core/_containers.py +137 -0
  54. tpyc/_data/lib/tpy/tpy/_core/_functions.py +40 -0
  55. tpyc/_data/lib/tpy/tpy/_core/_types.py +2061 -0
  56. tpyc/_data/lib/tpy/tpy/_typing/__init__.py +77 -0
  57. tpyc/_data/lib/tpy/tpy/_version.py +29 -0
  58. tpyc/_data/lib/tpy/tpy/bits.py +28 -0
  59. tpyc/_data/lib/tpy/tpy/coro/__init__.py +127 -0
  60. tpyc/_data/lib/tpy/tpy/extern.py +8 -0
  61. tpyc/_data/lib/tpy/tpy/mem.py +49 -0
  62. tpyc/_data/lib/tpy/tpy/unsafe.py +195 -0
  63. tpyc/_data/lib/tpy/tpy/version.py +21 -0
  64. tpyc/_data/lib/tpy/typing.py +13 -0
  65. tpyc/_data/runtime/cpp/include/tpy/any.hpp +461 -0
  66. tpyc/_data/runtime/cpp/include/tpy/as_ostream.hpp +117 -0
  67. tpyc/_data/runtime/cpp/include/tpy/async.hpp +76 -0
  68. tpyc/_data/runtime/cpp/include/tpy/bigint.hpp +1343 -0
  69. tpyc/_data/runtime/cpp/include/tpy/builtins.hpp +400 -0
  70. tpyc/_data/runtime/cpp/include/tpy/bytes_ops.hpp +469 -0
  71. tpyc/_data/runtime/cpp/include/tpy/container_ops.hpp +487 -0
  72. tpyc/_data/runtime/cpp/include/tpy/copy_iter.hpp +82 -0
  73. tpyc/_data/runtime/cpp/include/tpy/core.hpp +558 -0
  74. tpyc/_data/runtime/cpp/include/tpy/dict_ops.hpp +289 -0
  75. tpyc/_data/runtime/cpp/include/tpy/dunder.hpp +750 -0
  76. tpyc/_data/runtime/cpp/include/tpy/dynamic.hpp +44 -0
  77. tpyc/_data/runtime/cpp/include/tpy/enum.hpp +40 -0
  78. tpyc/_data/runtime/cpp/include/tpy/file.hpp +245 -0
  79. tpyc/_data/runtime/cpp/include/tpy/fixed_int.hpp +317 -0
  80. tpyc/_data/runtime/cpp/include/tpy/format.hpp +954 -0
  81. tpyc/_data/runtime/cpp/include/tpy/frame_slot.hpp +120 -0
  82. tpyc/_data/runtime/cpp/include/tpy/generator.hpp +47 -0
  83. tpyc/_data/runtime/cpp/include/tpy/iterable_ops.hpp +122 -0
  84. tpyc/_data/runtime/cpp/include/tpy/itertools.hpp +749 -0
  85. tpyc/_data/runtime/cpp/include/tpy/next_iter.hpp +82 -0
  86. tpyc/_data/runtime/cpp/include/tpy/ordered_map.hpp +518 -0
  87. tpyc/_data/runtime/cpp/include/tpy/ordered_set.hpp +337 -0
  88. tpyc/_data/runtime/cpp/include/tpy/own_iter.hpp +54 -0
  89. tpyc/_data/runtime/cpp/include/tpy/pascal_graph_sdl.hpp +192 -0
  90. tpyc/_data/runtime/cpp/include/tpy/printing.hpp +302 -0
  91. tpyc/_data/runtime/cpp/include/tpy/protocols.hpp +61 -0
  92. tpyc/_data/runtime/cpp/include/tpy/range.hpp +115 -0
  93. tpyc/_data/runtime/cpp/include/tpy/ranges.hpp +212 -0
  94. tpyc/_data/runtime/cpp/include/tpy/set_ops.hpp +265 -0
  95. tpyc/_data/runtime/cpp/include/tpy/slice.hpp +47 -0
  96. tpyc/_data/runtime/cpp/include/tpy/span_iter.hpp +42 -0
  97. tpyc/_data/runtime/cpp/include/tpy/stdlib/math.hpp +41 -0
  98. tpyc/_data/runtime/cpp/include/tpy/stdlib/pcre2_h.hpp +96 -0
  99. tpyc/_data/runtime/cpp/include/tpy/stdlib/random.hpp +25 -0
  100. tpyc/_data/runtime/cpp/include/tpy/stdlib/socket_h.hpp +145 -0
  101. tpyc/_data/runtime/cpp/include/tpy/stdlib/time.hpp +62 -0
  102. tpyc/_data/runtime/cpp/include/tpy/system.hpp +121 -0
  103. tpyc/_data/runtime/cpp/include/tpy/throwable.hpp +55 -0
  104. tpyc/_data/runtime/cpp/include/tpy/tpy.hpp +156 -0
  105. tpyc/_data/runtime/cpp/include/tpy/type_name.hpp +77 -0
  106. tpyc/_data/runtime/cpp/include/tpy/type_traits.hpp +240 -0
  107. tpyc/_data/runtime/cpp/include/tpy/uninit_array_storage.hpp +250 -0
  108. tpyc/_data/runtime/cpp/include/tpy/uninit_heap_storage.hpp +277 -0
  109. tpyc/_data/runtime/cpp/include/tpy/varargs.hpp +174 -0
  110. tpyc/_data/runtime/cpp/include/tpy/variant_ref.hpp +118 -0
  111. tpyc/_data/runtime/cpp/src/stdlib/socket_impl.cpp +104 -0
  112. tpyc/_data/runtime/cpp/third_party/README.md +58 -0
  113. tpyc/_data/runtime/cpp/third_party/pcre2/AUTHORS +36 -0
  114. tpyc/_data/runtime/cpp/third_party/pcre2/CMakeLists.txt +1233 -0
  115. tpyc/_data/runtime/cpp/third_party/pcre2/COPYING +5 -0
  116. tpyc/_data/runtime/cpp/third_party/pcre2/ChangeLog +3097 -0
  117. tpyc/_data/runtime/cpp/third_party/pcre2/HACKING +853 -0
  118. tpyc/_data/runtime/cpp/third_party/pcre2/INSTALL +368 -0
  119. tpyc/_data/runtime/cpp/third_party/pcre2/LICENCE +94 -0
  120. tpyc/_data/runtime/cpp/third_party/pcre2/NEWS +492 -0
  121. tpyc/_data/runtime/cpp/third_party/pcre2/NON-AUTOTOOLS-BUILD +430 -0
  122. tpyc/_data/runtime/cpp/third_party/pcre2/README +956 -0
  123. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/COPYING-CMAKE-SCRIPTS +22 -0
  124. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindEditline.cmake +16 -0
  125. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindPackageHandleStandardArgs.cmake +58 -0
  126. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindReadline.cmake +29 -0
  127. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config-version.cmake.in +15 -0
  128. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config.cmake.in +148 -0
  129. tpyc/_data/runtime/cpp/third_party/pcre2/config-cmake.h.in +56 -0
  130. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-16.pc.in +13 -0
  131. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-32.pc.in +13 -0
  132. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-8.pc.in +13 -0
  133. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-posix.pc.in +13 -0
  134. tpyc/_data/runtime/cpp/third_party/pcre2/pcre2-config.in +121 -0
  135. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h +483 -0
  136. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.generic +483 -0
  137. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.in +460 -0
  138. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h +1010 -0
  139. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.generic +1010 -0
  140. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.in +1010 -0
  141. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_auto_possess.c +1371 -0
  142. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c +196 -0
  143. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c.dist +196 -0
  144. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chkdint.c +96 -0
  145. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_compile.c +11001 -0
  146. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_config.c +252 -0
  147. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_context.c +510 -0
  148. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_convert.c +1189 -0
  149. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dfa_match.c +4119 -0
  150. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dftables.c +297 -0
  151. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_error.c +345 -0
  152. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_extuni.c +162 -0
  153. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_find_bracket.c +219 -0
  154. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_fuzzsupport.c +792 -0
  155. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_internal.h +2084 -0
  156. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_intmodedep.h +940 -0
  157. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_compile.c +14972 -0
  158. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_match.c +200 -0
  159. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_misc.c +234 -0
  160. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_neon_inc.h +354 -0
  161. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_simd_inc.h +2355 -0
  162. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_test.c +2528 -0
  163. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_maketables.c +165 -0
  164. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match.c +7777 -0
  165. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match_data.c +185 -0
  166. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_newline.c +243 -0
  167. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ord2utf.c +120 -0
  168. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_pattern_info.c +432 -0
  169. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_printint.c +886 -0
  170. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_script_run.c +344 -0
  171. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_serialize.c +286 -0
  172. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_string_utils.c +237 -0
  173. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_study.c +1915 -0
  174. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substitute.c +1009 -0
  175. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substring.c +550 -0
  176. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_tables.c +234 -0
  177. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucd.c +5460 -0
  178. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucp.h +396 -0
  179. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucptables.c +1533 -0
  180. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_valid_utf.c +398 -0
  181. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_xclass.c +308 -0
  182. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2demo.c +497 -0
  183. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2grep.c +4606 -0
  184. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.c +425 -0
  185. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.h +187 -0
  186. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix_test.c +209 -0
  187. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2test.c +9708 -0
  188. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorApple.c +137 -0
  189. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorCore.c +327 -0
  190. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorFreeBSD.c +89 -0
  191. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorPosix.c +62 -0
  192. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorWindows.c +40 -0
  193. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorNetBSD.c +72 -0
  194. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorPosix.c +172 -0
  195. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorPosix.c +141 -0
  196. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorWindows.c +102 -0
  197. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfig.h +142 -0
  198. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigCPU.h +188 -0
  199. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigInternal.h +907 -0
  200. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.c +3561 -0
  201. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.h +2466 -0
  202. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_32.c +4636 -0
  203. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_64.c +3491 -0
  204. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_T2_32.c +4302 -0
  205. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeLOONGARCH_64.c +3765 -0
  206. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_32.c +472 -0
  207. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_64.c +387 -0
  208. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_common.c +4259 -0
  209. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_32.c +485 -0
  210. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_64.c +719 -0
  211. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_common.c +3161 -0
  212. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_32.c +142 -0
  213. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_64.c +222 -0
  214. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_common.c +3121 -0
  215. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeS390X.c +4526 -0
  216. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_32.c +1685 -0
  217. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_64.c +1398 -0
  218. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_common.c +5001 -0
  219. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitSerialize.c +516 -0
  220. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitUtils.c +344 -0
  221. tpyc/_data/runtime/cpp/third_party/pcre2.sources.txt +54 -0
  222. tpyc/_data/runtime/cpp/third_party/pcre2.vendor.json +7 -0
  223. tpyc/build/__init__.py +7 -0
  224. tpyc/build/pcre2.py +122 -0
  225. tpyc/build/third_party.py +413 -0
  226. tpyc/cli.py +822 -0
  227. tpyc/codegen_cpp/__init__.py +18 -0
  228. tpyc/codegen_cpp/builtins.py +484 -0
  229. tpyc/codegen_cpp/context.py +2064 -0
  230. tpyc/codegen_cpp/expressions.py +5940 -0
  231. tpyc/codegen_cpp/functions.py +1913 -0
  232. tpyc/codegen_cpp/gen_async.py +3258 -0
  233. tpyc/codegen_cpp/gen_generators.py +657 -0
  234. tpyc/codegen_cpp/generator.py +2258 -0
  235. tpyc/codegen_cpp/match.py +1997 -0
  236. tpyc/codegen_cpp/param_const.py +172 -0
  237. tpyc/codegen_cpp/protocols.py +907 -0
  238. tpyc/codegen_cpp/records.py +1654 -0
  239. tpyc/codegen_cpp/resumable_cfg.py +1651 -0
  240. tpyc/codegen_cpp/statements.py +4963 -0
  241. tpyc/codegen_cpp/string_dispatch.py +76 -0
  242. tpyc/codegen_cpp/test_context.py +46 -0
  243. tpyc/codegen_cpp/test_param_const.py +113 -0
  244. tpyc/codegen_cpp/test_resumable_cfg.py +182 -0
  245. tpyc/codegen_cpp/type_resolution.py +53 -0
  246. tpyc/codegen_cpp/types.py +436 -0
  247. tpyc/codegen_cpp/variant_access.py +135 -0
  248. tpyc/coercions.py +749 -0
  249. tpyc/compilation_context.py +57 -0
  250. tpyc/compiler.py +3945 -0
  251. tpyc/cycle_detection.py +358 -0
  252. tpyc/diagnostics.py +135 -0
  253. tpyc/dump_types.py +353 -0
  254. tpyc/frontend_diagnostics.py +47 -0
  255. tpyc/frontend_ir/__init__.py +140 -0
  256. tpyc/frontend_ir/lower.py +1098 -0
  257. tpyc/frontend_ir/nodes.py +718 -0
  258. tpyc/frontend_ir/resolver_adapter.py +151 -0
  259. tpyc/frontend_plugin.py +209 -0
  260. tpyc/install_docs.py +81 -0
  261. tpyc/liveness.py +756 -0
  262. tpyc/macro_api.py +1724 -0
  263. tpyc/macro_loader.py +497 -0
  264. tpyc/module_names.py +64 -0
  265. tpyc/modules/__init__.py +31 -0
  266. tpyc/modules/defs.py +89 -0
  267. tpyc/modules/registry.py +36 -0
  268. tpyc/modules/resolver.py +192 -0
  269. tpyc/modules/type_resolution.py +629 -0
  270. tpyc/namespace.py +172 -0
  271. tpyc/parse/__init__.py +84 -0
  272. tpyc/parse/imports.py +490 -0
  273. tpyc/parse/nodes.py +1732 -0
  274. tpyc/parse/parser.py +4043 -0
  275. tpyc/parse/resolve_refs.py +466 -0
  276. tpyc/parse/type_resolver.py +1060 -0
  277. tpyc/prescan.py +254 -0
  278. tpyc/qnames.py +149 -0
  279. tpyc/repl.py +529 -0
  280. tpyc/repl_backends.py +848 -0
  281. tpyc/sema/__init__.py +21 -0
  282. tpyc/sema/analyzer.py +3625 -0
  283. tpyc/sema/bound_check.py +72 -0
  284. tpyc/sema/builder_trace.py +684 -0
  285. tpyc/sema/calls.py +5406 -0
  286. tpyc/sema/compatibility.py +2107 -0
  287. tpyc/sema/context.py +1243 -0
  288. tpyc/sema/expressions.py +3737 -0
  289. tpyc/sema/flow_facts.py +199 -0
  290. tpyc/sema/init_tracker.py +150 -0
  291. tpyc/sema/list_literals.py +69 -0
  292. tpyc/sema/literal_utils.py +27 -0
  293. tpyc/sema/local_deduction.py +1088 -0
  294. tpyc/sema/macros.py +179 -0
  295. tpyc/sema/match.py +1177 -0
  296. tpyc/sema/method_expansion.py +347 -0
  297. tpyc/sema/methods.py +2197 -0
  298. tpyc/sema/mutation_propagation.py +268 -0
  299. tpyc/sema/narrowing.py +857 -0
  300. tpyc/sema/numeric_lattice.py +160 -0
  301. tpyc/sema/operators.py +402 -0
  302. tpyc/sema/overloads.py +841 -0
  303. tpyc/sema/protocols.py +1209 -0
  304. tpyc/sema/reach_analysis.py +202 -0
  305. tpyc/sema/registration.py +3156 -0
  306. tpyc/sema/scope_tracker.py +193 -0
  307. tpyc/sema/statements.py +4426 -0
  308. tpyc/sema/type_ops.py +1879 -0
  309. tpyc/sema/value_range.py +181 -0
  310. tpyc/symbol_binding.py +259 -0
  311. tpyc/test_c3_mro.py +208 -0
  312. tpyc/test_cli_argv.py +52 -0
  313. tpyc/test_compiler.py +559 -0
  314. tpyc/test_contains_type_param.py +101 -0
  315. tpyc/test_cycle_detection.py +221 -0
  316. tpyc/test_dump_types.py +225 -0
  317. tpyc/test_install_docs.py +65 -0
  318. tpyc/test_local_cpp_form.py +135 -0
  319. tpyc/test_macro_loader.py +76 -0
  320. tpyc/test_method_expansion.py +254 -0
  321. tpyc/test_nominal_identity.py +182 -0
  322. tpyc/test_overloads.py +410 -0
  323. tpyc/test_parse.py +303 -0
  324. tpyc/test_parse_type_ref.py +506 -0
  325. tpyc/test_parse_version_info.py +58 -0
  326. tpyc/test_reach_analysis.py +72 -0
  327. tpyc/test_ref_type.py +216 -0
  328. tpyc/test_send_sync_substitution.py +276 -0
  329. tpyc/test_tuple_mutation_propagation.py +206 -0
  330. tpyc/test_type_def_registry.py +1729 -0
  331. tpyc/test_union_types.py +195 -0
  332. tpyc/type_def_registry.py +975 -0
  333. 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"