mt-lang 0.2.0

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 (258) hide show
  1. checksums.yaml +7 -0
  2. data/.ruby-version +1 -0
  3. data/AUTHORS +3 -0
  4. data/Gemfile +19 -0
  5. data/Gemfile.lock +82 -0
  6. data/LICENSE +21 -0
  7. data/README.md +1208 -0
  8. data/Rakefile +332 -0
  9. data/bin/mtc +8 -0
  10. data/bin/profile-mtc-checks +133 -0
  11. data/bin/tracy-profiler +0 -0
  12. data/docs/build-guide.md +536 -0
  13. data/docs/index.html +2778 -0
  14. data/docs/language-design.md +1519 -0
  15. data/docs/language-manual.md +1534 -0
  16. data/lib/milk_tea/base.rb +49 -0
  17. data/lib/milk_tea/bindings/bindgen/ast_parser.rb +398 -0
  18. data/lib/milk_tea/bindings/bindgen/declaration.rb +319 -0
  19. data/lib/milk_tea/bindings/bindgen/emitter.rb +387 -0
  20. data/lib/milk_tea/bindings/bindgen/overrides.rb +134 -0
  21. data/lib/milk_tea/bindings/bindgen/type_mapper.rb +622 -0
  22. data/lib/milk_tea/bindings/bindgen.rb +207 -0
  23. data/lib/milk_tea/bindings/cli.rb +121 -0
  24. data/lib/milk_tea/bindings/imported_bindings/defaults.rb +210 -0
  25. data/lib/milk_tea/bindings/imported_bindings/generator.rb +1114 -0
  26. data/lib/milk_tea/bindings/imported_bindings/method_source.rb +190 -0
  27. data/lib/milk_tea/bindings/imported_bindings/naming.rb +286 -0
  28. data/lib/milk_tea/bindings/imported_bindings.rb +215 -0
  29. data/lib/milk_tea/bindings/opengl_registry.rb +547 -0
  30. data/lib/milk_tea/bindings/raw_bindings/defaults.rb +1338 -0
  31. data/lib/milk_tea/bindings/raw_bindings.rb +269 -0
  32. data/lib/milk_tea/bindings/steamworks.rb +629 -0
  33. data/lib/milk_tea/bindings/upstream_sources.rb +352 -0
  34. data/lib/milk_tea/bindings/vendored_box2d.rb +79 -0
  35. data/lib/milk_tea/bindings/vendored_c_library.rb +322 -0
  36. data/lib/milk_tea/bindings/vendored_cjson.rb +52 -0
  37. data/lib/milk_tea/bindings/vendored_flecs.rb +78 -0
  38. data/lib/milk_tea/bindings/vendored_glfw.rb +77 -0
  39. data/lib/milk_tea/bindings/vendored_libuv.rb +75 -0
  40. data/lib/milk_tea/bindings/vendored_pcre2.rb +84 -0
  41. data/lib/milk_tea/bindings/vendored_raylib.rb +131 -0
  42. data/lib/milk_tea/bindings/vendored_sdl3.rb +78 -0
  43. data/lib/milk_tea/bindings/vendored_steamworks.rb +71 -0
  44. data/lib/milk_tea/bindings/vendored_tool.rb +71 -0
  45. data/lib/milk_tea/bindings/vendored_tools.rb +23 -0
  46. data/lib/milk_tea/bindings/vendored_tracy.rb +37 -0
  47. data/lib/milk_tea/bindings.rb +23 -0
  48. data/lib/milk_tea/core/ast.rb +311 -0
  49. data/lib/milk_tea/core/async_runtime_installer.rb +28 -0
  50. data/lib/milk_tea/core/binding_types.rb +18 -0
  51. data/lib/milk_tea/core/bindings/attribute_binding.rb +58 -0
  52. data/lib/milk_tea/core/bindings/function_binding.rb +5 -0
  53. data/lib/milk_tea/core/bindings/module_binding.rb +58 -0
  54. data/lib/milk_tea/core/bindings/value_binding.rb +21 -0
  55. data/lib/milk_tea/core/c_backend/aggregate_utils.rb +103 -0
  56. data/lib/milk_tea/core/c_backend/control_flow_emission.rb +412 -0
  57. data/lib/milk_tea/core/c_backend/expressions.rb +468 -0
  58. data/lib/milk_tea/core/c_backend/feature_detection.rb +483 -0
  59. data/lib/milk_tea/core/c_backend/reachability.rb +398 -0
  60. data/lib/milk_tea/core/c_backend/reinterpret.rb +226 -0
  61. data/lib/milk_tea/core/c_backend/runtime_helpers.rb +1080 -0
  62. data/lib/milk_tea/core/c_backend/statements.rb +563 -0
  63. data/lib/milk_tea/core/c_backend/type_collectors.rb +1545 -0
  64. data/lib/milk_tea/core/c_backend/type_declaration.rb +223 -0
  65. data/lib/milk_tea/core/c_backend/type_system.rb +345 -0
  66. data/lib/milk_tea/core/c_backend.rb +287 -0
  67. data/lib/milk_tea/core/compatibility_helpers.rb +79 -0
  68. data/lib/milk_tea/core/compile_time/const_eval.rb +187 -0
  69. data/lib/milk_tea/core/compile_time.rb +329 -0
  70. data/lib/milk_tea/core/control_flow/builder.rb +582 -0
  71. data/lib/milk_tea/core/control_flow/constant_propagation.rb +143 -0
  72. data/lib/milk_tea/core/control_flow/dataflow.rb +74 -0
  73. data/lib/milk_tea/core/control_flow/definite_assignment.rb +79 -0
  74. data/lib/milk_tea/core/control_flow/graph.rb +90 -0
  75. data/lib/milk_tea/core/control_flow/liveness.rb +24 -0
  76. data/lib/milk_tea/core/control_flow/nullability_flow.rb +43 -0
  77. data/lib/milk_tea/core/control_flow/reachability.rb +22 -0
  78. data/lib/milk_tea/core/control_flow/termination.rb +31 -0
  79. data/lib/milk_tea/core/control_flow.rb +34 -0
  80. data/lib/milk_tea/core/cst.rb +48 -0
  81. data/lib/milk_tea/core/cst_builder.rb +19 -0
  82. data/lib/milk_tea/core/ir.rb +85 -0
  83. data/lib/milk_tea/core/keywords.rb +97 -0
  84. data/lib/milk_tea/core/lexer/character_classes.rb +60 -0
  85. data/lib/milk_tea/core/lexer/format_strings.rb +225 -0
  86. data/lib/milk_tea/core/lexer/heredocs.rb +199 -0
  87. data/lib/milk_tea/core/lexer/indentation.rb +62 -0
  88. data/lib/milk_tea/core/lexer/numbers.rb +96 -0
  89. data/lib/milk_tea/core/lexer/recovery.rb +32 -0
  90. data/lib/milk_tea/core/lexer/strings.rb +167 -0
  91. data/lib/milk_tea/core/lexer/symbols.rb +71 -0
  92. data/lib/milk_tea/core/lexer/trivia.rb +53 -0
  93. data/lib/milk_tea/core/lexer.rb +430 -0
  94. data/lib/milk_tea/core/lowering/artifacts.rb +26 -0
  95. data/lib/milk_tea/core/lowering/async/analysis.rb +245 -0
  96. data/lib/milk_tea/core/lowering/async/lowering.rb +1399 -0
  97. data/lib/milk_tea/core/lowering/async/normalization.rb +459 -0
  98. data/lib/milk_tea/core/lowering/async.rb +714 -0
  99. data/lib/milk_tea/core/lowering/block.rb +1052 -0
  100. data/lib/milk_tea/core/lowering/calls.rb +1565 -0
  101. data/lib/milk_tea/core/lowering/declarations.rb +214 -0
  102. data/lib/milk_tea/core/lowering/dyn.rb +206 -0
  103. data/lib/milk_tea/core/lowering/events.rb +1054 -0
  104. data/lib/milk_tea/core/lowering/expressions.rb +1645 -0
  105. data/lib/milk_tea/core/lowering/foreign_cstr.rb +206 -0
  106. data/lib/milk_tea/core/lowering/functions.rb +242 -0
  107. data/lib/milk_tea/core/lowering/loops.rb +1087 -0
  108. data/lib/milk_tea/core/lowering/lowering_context.rb +80 -0
  109. data/lib/milk_tea/core/lowering/proc.rb +419 -0
  110. data/lib/milk_tea/core/lowering/resolve.rb +2516 -0
  111. data/lib/milk_tea/core/lowering/scans.rb +220 -0
  112. data/lib/milk_tea/core/lowering/str_buffer.rb +125 -0
  113. data/lib/milk_tea/core/lowering/utils.rb +1453 -0
  114. data/lib/milk_tea/core/lowering.rb +378 -0
  115. data/lib/milk_tea/core/module_binder.rb +181 -0
  116. data/lib/milk_tea/core/module_loader/errors.rb +21 -0
  117. data/lib/milk_tea/core/module_loader.rb +479 -0
  118. data/lib/milk_tea/core/module_path_resolver.rb +153 -0
  119. data/lib/milk_tea/core/module_roots.rb +88 -0
  120. data/lib/milk_tea/core/parser/attributes.rb +71 -0
  121. data/lib/milk_tea/core/parser/blocks.rb +119 -0
  122. data/lib/milk_tea/core/parser/declarations.rb +749 -0
  123. data/lib/milk_tea/core/parser/expressions.rb +624 -0
  124. data/lib/milk_tea/core/parser/recovery.rb +131 -0
  125. data/lib/milk_tea/core/parser/statements.rb +756 -0
  126. data/lib/milk_tea/core/parser/types.rb +271 -0
  127. data/lib/milk_tea/core/parser.rb +400 -0
  128. data/lib/milk_tea/core/prelude_installer.rb +29 -0
  129. data/lib/milk_tea/core/pretty_printer/ast_formatter.rb +917 -0
  130. data/lib/milk_tea/core/pretty_printer/base_formatter.rb +87 -0
  131. data/lib/milk_tea/core/pretty_printer/ir_formatter.rb +300 -0
  132. data/lib/milk_tea/core/pretty_printer.rb +17 -0
  133. data/lib/milk_tea/core/semantic_analyzer/analysis_context.rb +314 -0
  134. data/lib/milk_tea/core/semantic_analyzer/attributes.rb +184 -0
  135. data/lib/milk_tea/core/semantic_analyzer/calls.rb +992 -0
  136. data/lib/milk_tea/core/semantic_analyzer/expressions.rb +1735 -0
  137. data/lib/milk_tea/core/semantic_analyzer/flow_refinement.rb +355 -0
  138. data/lib/milk_tea/core/semantic_analyzer/foreign_functions.rb +155 -0
  139. data/lib/milk_tea/core/semantic_analyzer/function_binding.rb +354 -0
  140. data/lib/milk_tea/core/semantic_analyzer/generics.rb +383 -0
  141. data/lib/milk_tea/core/semantic_analyzer/interface_conformance.rb +78 -0
  142. data/lib/milk_tea/core/semantic_analyzer/module_context.rb +35 -0
  143. data/lib/milk_tea/core/semantic_analyzer/name_resolution.rb +1438 -0
  144. data/lib/milk_tea/core/semantic_analyzer/nullability.rb +421 -0
  145. data/lib/milk_tea/core/semantic_analyzer/statements.rb +1308 -0
  146. data/lib/milk_tea/core/semantic_analyzer/top_level.rb +588 -0
  147. data/lib/milk_tea/core/semantic_analyzer/type_compatibility.rb +307 -0
  148. data/lib/milk_tea/core/semantic_analyzer/type_declaration.rb +851 -0
  149. data/lib/milk_tea/core/semantic_analyzer.rb +327 -0
  150. data/lib/milk_tea/core/token.rb +26 -0
  151. data/lib/milk_tea/core/token_stream.rb +30 -0
  152. data/lib/milk_tea/core/types/layout.rb +243 -0
  153. data/lib/milk_tea/core/types/predicates.rb +609 -0
  154. data/lib/milk_tea/core/types/registry.rb +83 -0
  155. data/lib/milk_tea/core/types/types.rb +1696 -0
  156. data/lib/milk_tea/core/types/visitor.rb +442 -0
  157. data/lib/milk_tea/core.rb +25 -0
  158. data/lib/milk_tea/dap/backends/lldb_dap.rb +158 -0
  159. data/lib/milk_tea/dap/protocol.rb +58 -0
  160. data/lib/milk_tea/dap/server/breakpoints.rb +66 -0
  161. data/lib/milk_tea/dap/server/debug_map.rb +291 -0
  162. data/lib/milk_tea/dap/server/handlers.rb +374 -0
  163. data/lib/milk_tea/dap/server/launch.rb +261 -0
  164. data/lib/milk_tea/dap/server/lldb_backend.rb +380 -0
  165. data/lib/milk_tea/dap/server/pause_diagnostics.rb +109 -0
  166. data/lib/milk_tea/dap/server/utilities.rb +160 -0
  167. data/lib/milk_tea/dap/server/wire.rb +55 -0
  168. data/lib/milk_tea/dap/server.rb +131 -0
  169. data/lib/milk_tea/dap/session.rb +152 -0
  170. data/lib/milk_tea/dap.rb +6 -0
  171. data/lib/milk_tea/lsp/dependency_resolution.rb +52 -0
  172. data/lib/milk_tea/lsp/diagnostics.rb +611 -0
  173. data/lib/milk_tea/lsp/protocol.rb +104 -0
  174. data/lib/milk_tea/lsp/server/call_hierarchy.rb +274 -0
  175. data/lib/milk_tea/lsp/server/code_actions.rb +446 -0
  176. data/lib/milk_tea/lsp/server/code_lens.rb +97 -0
  177. data/lib/milk_tea/lsp/server/completion.rb +1099 -0
  178. data/lib/milk_tea/lsp/server/configuration.rb +167 -0
  179. data/lib/milk_tea/lsp/server/debug_info.rb +45 -0
  180. data/lib/milk_tea/lsp/server/definition.rb +779 -0
  181. data/lib/milk_tea/lsp/server/diagnostics_scheduling.rb +239 -0
  182. data/lib/milk_tea/lsp/server/execute_command.rb +25 -0
  183. data/lib/milk_tea/lsp/server/folding_range.rb +153 -0
  184. data/lib/milk_tea/lsp/server/formatting.rb +575 -0
  185. data/lib/milk_tea/lsp/server/hover.rb +1465 -0
  186. data/lib/milk_tea/lsp/server/inlay_hints.rb +204 -0
  187. data/lib/milk_tea/lsp/server/lifecycle.rb +234 -0
  188. data/lib/milk_tea/lsp/server/linked_editing_range.rb +43 -0
  189. data/lib/milk_tea/lsp/server/on_type_formatting.rb +73 -0
  190. data/lib/milk_tea/lsp/server/progress.rb +47 -0
  191. data/lib/milk_tea/lsp/server/references.rb +433 -0
  192. data/lib/milk_tea/lsp/server/rename.rb +598 -0
  193. data/lib/milk_tea/lsp/server/selection_range.rb +130 -0
  194. data/lib/milk_tea/lsp/server/semantic_tokens.rb +1745 -0
  195. data/lib/milk_tea/lsp/server/signature_help.rb +200 -0
  196. data/lib/milk_tea/lsp/server/text_documents.rb +125 -0
  197. data/lib/milk_tea/lsp/server/type_hierarchy.rb +167 -0
  198. data/lib/milk_tea/lsp/server/utilities.rb +520 -0
  199. data/lib/milk_tea/lsp/server.rb +415 -0
  200. data/lib/milk_tea/lsp/workspace/analysis.rb +209 -0
  201. data/lib/milk_tea/lsp/workspace/caches.rb +260 -0
  202. data/lib/milk_tea/lsp/workspace/collection.rb +98 -0
  203. data/lib/milk_tea/lsp/workspace/definition_index.rb +184 -0
  204. data/lib/milk_tea/lsp/workspace/dependency_graph.rb +282 -0
  205. data/lib/milk_tea/lsp/workspace/store.rb +154 -0
  206. data/lib/milk_tea/lsp/workspace/utilities.rb +490 -0
  207. data/lib/milk_tea/lsp/workspace.rb +127 -0
  208. data/lib/milk_tea/lsp.rb +13 -0
  209. data/lib/milk_tea/packages/atomic_write.rb +63 -0
  210. data/lib/milk_tea/packages/dependency_solver.rb +194 -0
  211. data/lib/milk_tea/packages/graph.rb +139 -0
  212. data/lib/milk_tea/packages/lock.rb +421 -0
  213. data/lib/milk_tea/packages/manager_cli.rb +485 -0
  214. data/lib/milk_tea/packages/manifest.rb +356 -0
  215. data/lib/milk_tea/packages/manifest_editor.rb +134 -0
  216. data/lib/milk_tea/packages/registry_metadata_provider.rb +34 -0
  217. data/lib/milk_tea/packages/registry_store.rb +420 -0
  218. data/lib/milk_tea/packages/services.rb +41 -0
  219. data/lib/milk_tea/packages/source_cache.rb +71 -0
  220. data/lib/milk_tea/packages/source_fetcher.rb +124 -0
  221. data/lib/milk_tea/packages/source_resolver.rb +389 -0
  222. data/lib/milk_tea/packages/version.rb +164 -0
  223. data/lib/milk_tea/packages.rb +16 -0
  224. data/lib/milk_tea/tooling/asset_pack.rb +141 -0
  225. data/lib/milk_tea/tooling/build.rb +1124 -0
  226. data/lib/milk_tea/tooling/build_cache.rb +240 -0
  227. data/lib/milk_tea/tooling/cli.rb +2688 -0
  228. data/lib/milk_tea/tooling/cst_formatter.rb +13 -0
  229. data/lib/milk_tea/tooling/debug_info_formatter.rb +456 -0
  230. data/lib/milk_tea/tooling/debug_map.rb +248 -0
  231. data/lib/milk_tea/tooling/docs_app.rb +369 -0
  232. data/lib/milk_tea/tooling/error_formatter.rb +86 -0
  233. data/lib/milk_tea/tooling/formatter.rb +787 -0
  234. data/lib/milk_tea/tooling/linter/doc_tags.rb +212 -0
  235. data/lib/milk_tea/tooling/linter/fix_engine.rb +237 -0
  236. data/lib/milk_tea/tooling/linter/flow_rules.rb +380 -0
  237. data/lib/milk_tea/tooling/linter/imports_platform.rb +841 -0
  238. data/lib/milk_tea/tooling/linter/release_rules.rb +744 -0
  239. data/lib/milk_tea/tooling/linter/reserved_names.rb +199 -0
  240. data/lib/milk_tea/tooling/linter/rules.rb +593 -0
  241. data/lib/milk_tea/tooling/linter/source_helpers.rb +407 -0
  242. data/lib/milk_tea/tooling/linter/trailing_comma.rb +139 -0
  243. data/lib/milk_tea/tooling/linter/visitors.rb +1286 -0
  244. data/lib/milk_tea/tooling/linter.rb +798 -0
  245. data/lib/milk_tea/tooling/project_scaffold.rb +82 -0
  246. data/lib/milk_tea/tooling/public/css/docs.css +166 -0
  247. data/lib/milk_tea/tooling/public/js/docs.js +94 -0
  248. data/lib/milk_tea/tooling/run.rb +408 -0
  249. data/lib/milk_tea/tooling/templates/wasm_shell.html +48 -0
  250. data/lib/milk_tea/tooling/toolchain_cli.rb +157 -0
  251. data/lib/milk_tea/tooling/views/404.erb +7 -0
  252. data/lib/milk_tea/tooling/views/index.erb +87 -0
  253. data/lib/milk_tea/tooling/views/layout.erb +69 -0
  254. data/lib/milk_tea/tooling/views/module.erb +97 -0
  255. data/lib/milk_tea/tooling/views/stdlib.erb +21 -0
  256. data/lib/milk_tea/tooling.rb +20 -0
  257. data/lib/milk_tea.rb +8 -0
  258. metadata +426 -0
@@ -0,0 +1,240 @@
1
+ # frozen_string_literal: true
2
+
3
+ require "digest"
4
+ require "fileutils"
5
+ require "json"
6
+ require "open3"
7
+
8
+ module MilkTea
9
+ class BuildCache
10
+ CachedProgram = Data.define(:c_source, :frontend_modules) do
11
+ def self.load(dir)
12
+ raw = JSON.parse(File.read(File.join(dir, "modules.json")), symbolize_names: true)
13
+ c_source = File.read(File.join(dir, "source.c"))
14
+ modules = raw.fetch(:modules).map do |mod|
15
+ Build::FrontendModule.new(
16
+ name: mod.fetch(:name),
17
+ kind: mod.fetch(:kind).to_sym,
18
+ link_libraries: mod.fetch(:link_libraries),
19
+ compiler_flags: mod.fetch(:compiler_flags),
20
+ uses_parallel_for: mod.fetch(:uses_parallel_for, false),
21
+ )
22
+ end
23
+ new(c_source:, frontend_modules: modules)
24
+ end
25
+
26
+ def store(dir)
27
+ FileUtils.mkdir_p(dir)
28
+ File.write(File.join(dir, "source.c"), c_source)
29
+ modules_json = {
30
+ modules: frontend_modules.map do |mod|
31
+ {
32
+ name: mod.name,
33
+ kind: mod.kind.to_s,
34
+ link_libraries: mod.link_libraries,
35
+ compiler_flags: mod.compiler_flags,
36
+ uses_parallel_for: mod.uses_parallel_for,
37
+ }
38
+ end,
39
+ }
40
+ File.write(File.join(dir, "modules.json"), JSON.generate(modules_json))
41
+ end
42
+ end
43
+
44
+ BACKEND_SOURCES = %w[
45
+ lib/milk_tea/core/lowering.rb
46
+ lib/milk_tea/core/lowering/utils.rb
47
+ lib/milk_tea/core/lowering/async/analysis.rb
48
+ lib/milk_tea/core/lowering/async/normalization.rb
49
+ lib/milk_tea/core/lowering/async/lowering.rb
50
+ lib/milk_tea/core/lowering/async.rb
51
+ lib/milk_tea/core/c_backend.rb
52
+ lib/milk_tea/core/c_backend/statements.rb
53
+ ].freeze
54
+
55
+ def initialize(root:)
56
+ @root = File.expand_path(root.to_s)
57
+ @cache_root = File.join(MilkTea.data_root.to_s, "tmp", "mtc-cache")
58
+ end
59
+
60
+ attr_reader :root
61
+
62
+ def fetch_program(key)
63
+ dir = program_dir(key)
64
+ return unless File.exist?(File.join(dir, "modules.json"))
65
+ return unless File.exist?(File.join(dir, "source.c"))
66
+
67
+ CachedProgram.load(dir)
68
+ end
69
+
70
+ def store_program(key, c_source:, frontend_modules:)
71
+ CachedProgram.new(c_source:, frontend_modules:).store(program_dir(key))
72
+ end
73
+
74
+ def fetch_binary(key)
75
+ path = binary_path(key)
76
+ return path if File.exist?(path)
77
+
78
+ nil
79
+ end
80
+
81
+ def store_binary(key, binary_path)
82
+ dest = binary_path(key)
83
+ FileUtils.mkdir_p(File.dirname(dest))
84
+ FileUtils.cp(binary_path, dest)
85
+ end
86
+
87
+ def program_key(source_files:)
88
+ hasher = Digest::SHA256.new
89
+ hasher << backend_version << "\0"
90
+ source_files.sort_by { |path, _content| path }.each do |path, content|
91
+ hasher << path << "\0" << content << "\0"
92
+ end
93
+ hasher.hexdigest
94
+ end
95
+
96
+ def module_key(source_path, source_content)
97
+ hasher = Digest::SHA256.new
98
+ hasher << backend_version << "\0"
99
+ hasher << source_path << "\0" << source_content << "\0"
100
+ hasher.hexdigest
101
+ end
102
+
103
+ def module_state_path(key)
104
+ File.join(@cache_root, "modules", key[0, 2], key, "state.json")
105
+ end
106
+
107
+ def store_module_state(key, module_name:, source_key:, dependencies:)
108
+ dir = File.join(@cache_root, "modules", key[0, 2], key)
109
+ FileUtils.mkdir_p(dir)
110
+ state = {
111
+ module_name: module_name.to_s,
112
+ source_key: source_key,
113
+ dependencies: dependencies,
114
+ }
115
+ File.write(File.join(dir, "state.json"), JSON.generate(state))
116
+ end
117
+
118
+ def fetch_module_state(key)
119
+ path = module_state_path(key)
120
+ return unless File.exist?(path)
121
+
122
+ raw = JSON.parse(File.read(path), symbolize_names: true)
123
+ {
124
+ module_name: raw.fetch(:module_name),
125
+ source_key: raw.fetch(:source_key),
126
+ dependencies: raw.fetch(:dependencies),
127
+ }
128
+ rescue JSON::ParserError, KeyError
129
+ nil
130
+ end
131
+
132
+ def invalidate_module(key)
133
+ dir = File.join(@cache_root, "modules", key[0, 2], key)
134
+ FileUtils.rm_rf(dir) if File.exist?(dir)
135
+ end
136
+
137
+ def store_module_ir(key, ir_program, synthetics: nil)
138
+ dir = File.join(@cache_root, "modules", key[0, 2], key)
139
+ FileUtils.mkdir_p(dir)
140
+ data = { ir: ir_program }
141
+ data[:synthetics] = synthetics if synthetics && synthetics.values.any? { |v| v.any? }
142
+ File.write(File.join(dir, "ir.bin"), Marshal.dump(data))
143
+ end
144
+
145
+ def fetch_module_ir(key)
146
+ path = File.join(@cache_root, "modules", key[0, 2], key, "ir.bin")
147
+ return unless File.exist?(path)
148
+
149
+ data = Marshal.load(File.read(path, mode: "rb"))
150
+ return data.fetch(:ir) unless data.is_a?(Hash)
151
+
152
+ [data.fetch(:ir), data[:synthetics] || {}]
153
+ rescue TypeError, ArgumentError
154
+ nil
155
+ end
156
+
157
+ def method_defs_key(methods_hash_string)
158
+ hasher = Digest::SHA256.new
159
+ hasher << backend_version << "\0"
160
+ hasher << methods_hash_string << "\0"
161
+ hasher.hexdigest
162
+ end
163
+
164
+ def store_method_defs(key)
165
+ dir = File.join(@cache_root, "method_defs")
166
+ FileUtils.mkdir_p(dir)
167
+ data = { key: }
168
+ File.write(File.join(dir, "key.json"), JSON.generate(data))
169
+ end
170
+
171
+ def fetch_method_defs
172
+ path = File.join(@cache_root, "method_defs", "key.json")
173
+ return unless File.exist?(path)
174
+
175
+ raw = JSON.parse(File.read(path), symbolize_names: true)
176
+ raw.fetch(:key)
177
+ rescue JSON::ParserError, KeyError
178
+ nil
179
+ end
180
+
181
+ def invalidate_all_module_ir
182
+ dir = File.join(@cache_root, "modules")
183
+ FileUtils.rm_rf(dir) if File.exist?(dir)
184
+ end
185
+
186
+ def binary_key(c_source:, cc:, compiler_flags:, link_flags:)
187
+ hasher = Digest::SHA256.new
188
+ hasher << c_source << "\0"
189
+ hasher << cc << "\0"
190
+ hasher << compiler_identity(cc) << "\0"
191
+ compiler_flags.sort.each { |f| hasher << f << "\0" }
192
+ link_flags.sort.each { |f| hasher << f << "\0" }
193
+ hasher.hexdigest
194
+ end
195
+
196
+ def shared_analysis_cache
197
+ @shared_analysis_cache ||= {}
198
+ end
199
+
200
+ private
201
+
202
+ def program_dir(key)
203
+ File.join(@cache_root, "programs", key[0, 2], key)
204
+ end
205
+
206
+ def binary_path(key)
207
+ File.join(@cache_root, "binaries", key[0, 2], key, "binary")
208
+ end
209
+
210
+ def backend_version
211
+ @backend_version ||= compute_backend_version
212
+ end
213
+
214
+ def compute_backend_version
215
+ hasher = Digest::SHA256.new
216
+ BACKEND_SOURCES.each do |relative_path|
217
+ path = File.join(@root, relative_path)
218
+ next unless File.exist?(path)
219
+
220
+ hasher << relative_path << "\0"
221
+ hasher << File.read(path, mode: "rb") << "\0"
222
+ end
223
+ hasher.hexdigest
224
+ end
225
+
226
+ def compiler_identity(cc)
227
+ @compiler_identities ||= {}
228
+ @compiler_identities[cc] ||= compute_compiler_identity(cc)
229
+ end
230
+
231
+ def compute_compiler_identity(cc)
232
+ stdout, _stderr, status = Open3.capture3(cc, "--version")
233
+ return cc unless status.success?
234
+
235
+ Digest::SHA256.hexdigest(stdout)
236
+ rescue Errno::ENOENT
237
+ cc
238
+ end
239
+ end
240
+ end