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.
- checksums.yaml +7 -0
- data/.ruby-version +1 -0
- data/AUTHORS +3 -0
- data/Gemfile +19 -0
- data/Gemfile.lock +82 -0
- data/LICENSE +21 -0
- data/README.md +1208 -0
- data/Rakefile +332 -0
- data/bin/mtc +8 -0
- data/bin/profile-mtc-checks +133 -0
- data/bin/tracy-profiler +0 -0
- data/docs/build-guide.md +536 -0
- data/docs/index.html +2778 -0
- data/docs/language-design.md +1519 -0
- data/docs/language-manual.md +1534 -0
- data/lib/milk_tea/base.rb +49 -0
- data/lib/milk_tea/bindings/bindgen/ast_parser.rb +398 -0
- data/lib/milk_tea/bindings/bindgen/declaration.rb +319 -0
- data/lib/milk_tea/bindings/bindgen/emitter.rb +387 -0
- data/lib/milk_tea/bindings/bindgen/overrides.rb +134 -0
- data/lib/milk_tea/bindings/bindgen/type_mapper.rb +622 -0
- data/lib/milk_tea/bindings/bindgen.rb +207 -0
- data/lib/milk_tea/bindings/cli.rb +121 -0
- data/lib/milk_tea/bindings/imported_bindings/defaults.rb +210 -0
- data/lib/milk_tea/bindings/imported_bindings/generator.rb +1114 -0
- data/lib/milk_tea/bindings/imported_bindings/method_source.rb +190 -0
- data/lib/milk_tea/bindings/imported_bindings/naming.rb +286 -0
- data/lib/milk_tea/bindings/imported_bindings.rb +215 -0
- data/lib/milk_tea/bindings/opengl_registry.rb +547 -0
- data/lib/milk_tea/bindings/raw_bindings/defaults.rb +1338 -0
- data/lib/milk_tea/bindings/raw_bindings.rb +269 -0
- data/lib/milk_tea/bindings/steamworks.rb +629 -0
- data/lib/milk_tea/bindings/upstream_sources.rb +352 -0
- data/lib/milk_tea/bindings/vendored_box2d.rb +79 -0
- data/lib/milk_tea/bindings/vendored_c_library.rb +322 -0
- data/lib/milk_tea/bindings/vendored_cjson.rb +52 -0
- data/lib/milk_tea/bindings/vendored_flecs.rb +78 -0
- data/lib/milk_tea/bindings/vendored_glfw.rb +77 -0
- data/lib/milk_tea/bindings/vendored_libuv.rb +75 -0
- data/lib/milk_tea/bindings/vendored_pcre2.rb +84 -0
- data/lib/milk_tea/bindings/vendored_raylib.rb +131 -0
- data/lib/milk_tea/bindings/vendored_sdl3.rb +78 -0
- data/lib/milk_tea/bindings/vendored_steamworks.rb +71 -0
- data/lib/milk_tea/bindings/vendored_tool.rb +71 -0
- data/lib/milk_tea/bindings/vendored_tools.rb +23 -0
- data/lib/milk_tea/bindings/vendored_tracy.rb +37 -0
- data/lib/milk_tea/bindings.rb +23 -0
- data/lib/milk_tea/core/ast.rb +311 -0
- data/lib/milk_tea/core/async_runtime_installer.rb +28 -0
- data/lib/milk_tea/core/binding_types.rb +18 -0
- data/lib/milk_tea/core/bindings/attribute_binding.rb +58 -0
- data/lib/milk_tea/core/bindings/function_binding.rb +5 -0
- data/lib/milk_tea/core/bindings/module_binding.rb +58 -0
- data/lib/milk_tea/core/bindings/value_binding.rb +21 -0
- data/lib/milk_tea/core/c_backend/aggregate_utils.rb +103 -0
- data/lib/milk_tea/core/c_backend/control_flow_emission.rb +412 -0
- data/lib/milk_tea/core/c_backend/expressions.rb +468 -0
- data/lib/milk_tea/core/c_backend/feature_detection.rb +483 -0
- data/lib/milk_tea/core/c_backend/reachability.rb +398 -0
- data/lib/milk_tea/core/c_backend/reinterpret.rb +226 -0
- data/lib/milk_tea/core/c_backend/runtime_helpers.rb +1080 -0
- data/lib/milk_tea/core/c_backend/statements.rb +563 -0
- data/lib/milk_tea/core/c_backend/type_collectors.rb +1545 -0
- data/lib/milk_tea/core/c_backend/type_declaration.rb +223 -0
- data/lib/milk_tea/core/c_backend/type_system.rb +345 -0
- data/lib/milk_tea/core/c_backend.rb +287 -0
- data/lib/milk_tea/core/compatibility_helpers.rb +79 -0
- data/lib/milk_tea/core/compile_time/const_eval.rb +187 -0
- data/lib/milk_tea/core/compile_time.rb +329 -0
- data/lib/milk_tea/core/control_flow/builder.rb +582 -0
- data/lib/milk_tea/core/control_flow/constant_propagation.rb +143 -0
- data/lib/milk_tea/core/control_flow/dataflow.rb +74 -0
- data/lib/milk_tea/core/control_flow/definite_assignment.rb +79 -0
- data/lib/milk_tea/core/control_flow/graph.rb +90 -0
- data/lib/milk_tea/core/control_flow/liveness.rb +24 -0
- data/lib/milk_tea/core/control_flow/nullability_flow.rb +43 -0
- data/lib/milk_tea/core/control_flow/reachability.rb +22 -0
- data/lib/milk_tea/core/control_flow/termination.rb +31 -0
- data/lib/milk_tea/core/control_flow.rb +34 -0
- data/lib/milk_tea/core/cst.rb +48 -0
- data/lib/milk_tea/core/cst_builder.rb +19 -0
- data/lib/milk_tea/core/ir.rb +85 -0
- data/lib/milk_tea/core/keywords.rb +97 -0
- data/lib/milk_tea/core/lexer/character_classes.rb +60 -0
- data/lib/milk_tea/core/lexer/format_strings.rb +225 -0
- data/lib/milk_tea/core/lexer/heredocs.rb +199 -0
- data/lib/milk_tea/core/lexer/indentation.rb +62 -0
- data/lib/milk_tea/core/lexer/numbers.rb +96 -0
- data/lib/milk_tea/core/lexer/recovery.rb +32 -0
- data/lib/milk_tea/core/lexer/strings.rb +167 -0
- data/lib/milk_tea/core/lexer/symbols.rb +71 -0
- data/lib/milk_tea/core/lexer/trivia.rb +53 -0
- data/lib/milk_tea/core/lexer.rb +430 -0
- data/lib/milk_tea/core/lowering/artifacts.rb +26 -0
- data/lib/milk_tea/core/lowering/async/analysis.rb +245 -0
- data/lib/milk_tea/core/lowering/async/lowering.rb +1399 -0
- data/lib/milk_tea/core/lowering/async/normalization.rb +459 -0
- data/lib/milk_tea/core/lowering/async.rb +714 -0
- data/lib/milk_tea/core/lowering/block.rb +1052 -0
- data/lib/milk_tea/core/lowering/calls.rb +1565 -0
- data/lib/milk_tea/core/lowering/declarations.rb +214 -0
- data/lib/milk_tea/core/lowering/dyn.rb +206 -0
- data/lib/milk_tea/core/lowering/events.rb +1054 -0
- data/lib/milk_tea/core/lowering/expressions.rb +1645 -0
- data/lib/milk_tea/core/lowering/foreign_cstr.rb +206 -0
- data/lib/milk_tea/core/lowering/functions.rb +242 -0
- data/lib/milk_tea/core/lowering/loops.rb +1087 -0
- data/lib/milk_tea/core/lowering/lowering_context.rb +80 -0
- data/lib/milk_tea/core/lowering/proc.rb +419 -0
- data/lib/milk_tea/core/lowering/resolve.rb +2516 -0
- data/lib/milk_tea/core/lowering/scans.rb +220 -0
- data/lib/milk_tea/core/lowering/str_buffer.rb +125 -0
- data/lib/milk_tea/core/lowering/utils.rb +1453 -0
- data/lib/milk_tea/core/lowering.rb +378 -0
- data/lib/milk_tea/core/module_binder.rb +181 -0
- data/lib/milk_tea/core/module_loader/errors.rb +21 -0
- data/lib/milk_tea/core/module_loader.rb +479 -0
- data/lib/milk_tea/core/module_path_resolver.rb +153 -0
- data/lib/milk_tea/core/module_roots.rb +88 -0
- data/lib/milk_tea/core/parser/attributes.rb +71 -0
- data/lib/milk_tea/core/parser/blocks.rb +119 -0
- data/lib/milk_tea/core/parser/declarations.rb +749 -0
- data/lib/milk_tea/core/parser/expressions.rb +624 -0
- data/lib/milk_tea/core/parser/recovery.rb +131 -0
- data/lib/milk_tea/core/parser/statements.rb +756 -0
- data/lib/milk_tea/core/parser/types.rb +271 -0
- data/lib/milk_tea/core/parser.rb +400 -0
- data/lib/milk_tea/core/prelude_installer.rb +29 -0
- data/lib/milk_tea/core/pretty_printer/ast_formatter.rb +917 -0
- data/lib/milk_tea/core/pretty_printer/base_formatter.rb +87 -0
- data/lib/milk_tea/core/pretty_printer/ir_formatter.rb +300 -0
- data/lib/milk_tea/core/pretty_printer.rb +17 -0
- data/lib/milk_tea/core/semantic_analyzer/analysis_context.rb +314 -0
- data/lib/milk_tea/core/semantic_analyzer/attributes.rb +184 -0
- data/lib/milk_tea/core/semantic_analyzer/calls.rb +992 -0
- data/lib/milk_tea/core/semantic_analyzer/expressions.rb +1735 -0
- data/lib/milk_tea/core/semantic_analyzer/flow_refinement.rb +355 -0
- data/lib/milk_tea/core/semantic_analyzer/foreign_functions.rb +155 -0
- data/lib/milk_tea/core/semantic_analyzer/function_binding.rb +354 -0
- data/lib/milk_tea/core/semantic_analyzer/generics.rb +383 -0
- data/lib/milk_tea/core/semantic_analyzer/interface_conformance.rb +78 -0
- data/lib/milk_tea/core/semantic_analyzer/module_context.rb +35 -0
- data/lib/milk_tea/core/semantic_analyzer/name_resolution.rb +1438 -0
- data/lib/milk_tea/core/semantic_analyzer/nullability.rb +421 -0
- data/lib/milk_tea/core/semantic_analyzer/statements.rb +1308 -0
- data/lib/milk_tea/core/semantic_analyzer/top_level.rb +588 -0
- data/lib/milk_tea/core/semantic_analyzer/type_compatibility.rb +307 -0
- data/lib/milk_tea/core/semantic_analyzer/type_declaration.rb +851 -0
- data/lib/milk_tea/core/semantic_analyzer.rb +327 -0
- data/lib/milk_tea/core/token.rb +26 -0
- data/lib/milk_tea/core/token_stream.rb +30 -0
- data/lib/milk_tea/core/types/layout.rb +243 -0
- data/lib/milk_tea/core/types/predicates.rb +609 -0
- data/lib/milk_tea/core/types/registry.rb +83 -0
- data/lib/milk_tea/core/types/types.rb +1696 -0
- data/lib/milk_tea/core/types/visitor.rb +442 -0
- data/lib/milk_tea/core.rb +25 -0
- data/lib/milk_tea/dap/backends/lldb_dap.rb +158 -0
- data/lib/milk_tea/dap/protocol.rb +58 -0
- data/lib/milk_tea/dap/server/breakpoints.rb +66 -0
- data/lib/milk_tea/dap/server/debug_map.rb +291 -0
- data/lib/milk_tea/dap/server/handlers.rb +374 -0
- data/lib/milk_tea/dap/server/launch.rb +261 -0
- data/lib/milk_tea/dap/server/lldb_backend.rb +380 -0
- data/lib/milk_tea/dap/server/pause_diagnostics.rb +109 -0
- data/lib/milk_tea/dap/server/utilities.rb +160 -0
- data/lib/milk_tea/dap/server/wire.rb +55 -0
- data/lib/milk_tea/dap/server.rb +131 -0
- data/lib/milk_tea/dap/session.rb +152 -0
- data/lib/milk_tea/dap.rb +6 -0
- data/lib/milk_tea/lsp/dependency_resolution.rb +52 -0
- data/lib/milk_tea/lsp/diagnostics.rb +611 -0
- data/lib/milk_tea/lsp/protocol.rb +104 -0
- data/lib/milk_tea/lsp/server/call_hierarchy.rb +274 -0
- data/lib/milk_tea/lsp/server/code_actions.rb +446 -0
- data/lib/milk_tea/lsp/server/code_lens.rb +97 -0
- data/lib/milk_tea/lsp/server/completion.rb +1099 -0
- data/lib/milk_tea/lsp/server/configuration.rb +167 -0
- data/lib/milk_tea/lsp/server/debug_info.rb +45 -0
- data/lib/milk_tea/lsp/server/definition.rb +779 -0
- data/lib/milk_tea/lsp/server/diagnostics_scheduling.rb +239 -0
- data/lib/milk_tea/lsp/server/execute_command.rb +25 -0
- data/lib/milk_tea/lsp/server/folding_range.rb +153 -0
- data/lib/milk_tea/lsp/server/formatting.rb +575 -0
- data/lib/milk_tea/lsp/server/hover.rb +1465 -0
- data/lib/milk_tea/lsp/server/inlay_hints.rb +204 -0
- data/lib/milk_tea/lsp/server/lifecycle.rb +234 -0
- data/lib/milk_tea/lsp/server/linked_editing_range.rb +43 -0
- data/lib/milk_tea/lsp/server/on_type_formatting.rb +73 -0
- data/lib/milk_tea/lsp/server/progress.rb +47 -0
- data/lib/milk_tea/lsp/server/references.rb +433 -0
- data/lib/milk_tea/lsp/server/rename.rb +598 -0
- data/lib/milk_tea/lsp/server/selection_range.rb +130 -0
- data/lib/milk_tea/lsp/server/semantic_tokens.rb +1745 -0
- data/lib/milk_tea/lsp/server/signature_help.rb +200 -0
- data/lib/milk_tea/lsp/server/text_documents.rb +125 -0
- data/lib/milk_tea/lsp/server/type_hierarchy.rb +167 -0
- data/lib/milk_tea/lsp/server/utilities.rb +520 -0
- data/lib/milk_tea/lsp/server.rb +415 -0
- data/lib/milk_tea/lsp/workspace/analysis.rb +209 -0
- data/lib/milk_tea/lsp/workspace/caches.rb +260 -0
- data/lib/milk_tea/lsp/workspace/collection.rb +98 -0
- data/lib/milk_tea/lsp/workspace/definition_index.rb +184 -0
- data/lib/milk_tea/lsp/workspace/dependency_graph.rb +282 -0
- data/lib/milk_tea/lsp/workspace/store.rb +154 -0
- data/lib/milk_tea/lsp/workspace/utilities.rb +490 -0
- data/lib/milk_tea/lsp/workspace.rb +127 -0
- data/lib/milk_tea/lsp.rb +13 -0
- data/lib/milk_tea/packages/atomic_write.rb +63 -0
- data/lib/milk_tea/packages/dependency_solver.rb +194 -0
- data/lib/milk_tea/packages/graph.rb +139 -0
- data/lib/milk_tea/packages/lock.rb +421 -0
- data/lib/milk_tea/packages/manager_cli.rb +485 -0
- data/lib/milk_tea/packages/manifest.rb +356 -0
- data/lib/milk_tea/packages/manifest_editor.rb +134 -0
- data/lib/milk_tea/packages/registry_metadata_provider.rb +34 -0
- data/lib/milk_tea/packages/registry_store.rb +420 -0
- data/lib/milk_tea/packages/services.rb +41 -0
- data/lib/milk_tea/packages/source_cache.rb +71 -0
- data/lib/milk_tea/packages/source_fetcher.rb +124 -0
- data/lib/milk_tea/packages/source_resolver.rb +389 -0
- data/lib/milk_tea/packages/version.rb +164 -0
- data/lib/milk_tea/packages.rb +16 -0
- data/lib/milk_tea/tooling/asset_pack.rb +141 -0
- data/lib/milk_tea/tooling/build.rb +1124 -0
- data/lib/milk_tea/tooling/build_cache.rb +240 -0
- data/lib/milk_tea/tooling/cli.rb +2688 -0
- data/lib/milk_tea/tooling/cst_formatter.rb +13 -0
- data/lib/milk_tea/tooling/debug_info_formatter.rb +456 -0
- data/lib/milk_tea/tooling/debug_map.rb +248 -0
- data/lib/milk_tea/tooling/docs_app.rb +369 -0
- data/lib/milk_tea/tooling/error_formatter.rb +86 -0
- data/lib/milk_tea/tooling/formatter.rb +787 -0
- data/lib/milk_tea/tooling/linter/doc_tags.rb +212 -0
- data/lib/milk_tea/tooling/linter/fix_engine.rb +237 -0
- data/lib/milk_tea/tooling/linter/flow_rules.rb +380 -0
- data/lib/milk_tea/tooling/linter/imports_platform.rb +841 -0
- data/lib/milk_tea/tooling/linter/release_rules.rb +744 -0
- data/lib/milk_tea/tooling/linter/reserved_names.rb +199 -0
- data/lib/milk_tea/tooling/linter/rules.rb +593 -0
- data/lib/milk_tea/tooling/linter/source_helpers.rb +407 -0
- data/lib/milk_tea/tooling/linter/trailing_comma.rb +139 -0
- data/lib/milk_tea/tooling/linter/visitors.rb +1286 -0
- data/lib/milk_tea/tooling/linter.rb +798 -0
- data/lib/milk_tea/tooling/project_scaffold.rb +82 -0
- data/lib/milk_tea/tooling/public/css/docs.css +166 -0
- data/lib/milk_tea/tooling/public/js/docs.js +94 -0
- data/lib/milk_tea/tooling/run.rb +408 -0
- data/lib/milk_tea/tooling/templates/wasm_shell.html +48 -0
- data/lib/milk_tea/tooling/toolchain_cli.rb +157 -0
- data/lib/milk_tea/tooling/views/404.erb +7 -0
- data/lib/milk_tea/tooling/views/index.erb +87 -0
- data/lib/milk_tea/tooling/views/layout.erb +69 -0
- data/lib/milk_tea/tooling/views/module.erb +97 -0
- data/lib/milk_tea/tooling/views/stdlib.erb +21 -0
- data/lib/milk_tea/tooling.rb +20 -0
- data/lib/milk_tea.rb +8 -0
- 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
|