Skip to content

Bound nesting depth, cut native stack use and compile time #42

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Leitwolf11 wants to merge 19 commits into
base: main
Choose a base branch
from
Draft

Bound nesting depth, cut native stack use and compile time #42

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
5ffdbdf
Bound nesting depth and run the compiler on its own stack
Oct 4, 2026
35d9c1a
Cut stack per nesting level, bound loop analysis, follow the grammar
Oct 4, 2026
07a2fe7
Apply the match, guard and value block decisions; free chains from th…
Oct 4, 2026
fd7e119
Accept expressions that never complete; measure the compiler stack
Oct 4, 2026
56d558a
Leave through loop headers and loop expressions; split the smoke program
Oct 4, 2026
e3bb3fd
Finish loop header transfers, infer auto returns, nest callables, gen…
Oct 4, 2026
5ec6a1d
Run closures through LLVM in the execution smoke program
Oct 5, 2026
8e228f1
Place ownership in Xpp: release what the compiler allocates
Oct 5, 2026
a0b435a
Report the compiler stack on Linux and macOS; fix a move in an assertion
Oct 5, 2026
fc8bbb6
Record the compiler stack measured on Linux and macOS
Oct 5, 2026
3c6600b
Add classic enums
Oct 5, 2026
0840722
Evaluate local bindings by need; specify lazy evaluation
Oct 5, 2026
56e170b
Evaluate by need in callables; accept .Member; share repeated needs
Oct 6, 2026
805b065
Specify which failure a statement meets
Oct 6, 2026
d17772e
Compile a class in time linear in its number of methods
Oct 6, 2026
beef152
Compute enum member values from constant expressions
Oct 7, 2026
7bf5594
Pass arguments by need; make native executables run
Oct 7, 2026
26f70e1
Format SourceExpressionSmoke.cpp
Oct 8, 2026
7da9891
Write to the console; link executables with a runtime library
Oct 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .bazelrc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ build:linux --host_cxxopt=-std=c++20
# These profiles are implementation details of helpers/cmd/develop. Keeping the
# compiler and linker flags here makes sanitizer builds reproducible while the
# command presents host-aware names and diagnostics to developers.
build:asan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fsanitize=address
build:asan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*,-^Compiler/Runtime/Freestanding/.*@/clang:-fsanitize=address
build:asan-windows --repo_env=VXS_LLVM_SYSTEM_ALLOCATOR=1
# Clang's implicit absolute ignorelist otherwise appears as an undeclared input
# to Bazel's Windows include scanner. The project currently owns no suppressions.
Expand All @@ -82,14 +82,14 @@ build:asan-windows --linkopt=/WHOLEARCHIVE:clang_rt.asan_static_runtime_thunk-x8

# lld-link does not infer Clang's UBSan libraries. Link the runtime matching
# clang-cl's resource directory; never silently substitute trap-only checks.
build:ubsan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fsanitize=undefined
build:ubsan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*,-^Compiler/Runtime/Freestanding/.*@/clang:-fsanitize=undefined
build:ubsan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fno-sanitize-recover=all
build:ubsan-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fno-sanitize-ignorelist
build:ubsan-windows --linkopt=/DEFAULTLIB:clang_rt.ubsan_standalone-x86_64.lib
build:ubsan-windows --linkopt=/DEFAULTLIB:clang_rt.ubsan_standalone_cxx-x86_64.lib
build:asan-ubsan-windows --config=asan-windows
build:asan-ubsan-windows --config=ubsan-windows
build:asan-ubsan-windows '--per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fsanitize=address\\,undefined'
build:asan-ubsan-windows '--per_file_copt=^(Compiler|Interactive|Benchmarks)/.*,-^Compiler/Runtime/Freestanding/.*@/clang:-fsanitize=address\\,undefined'

build:asan-macos --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@-fsanitize=address
build:asan-macos --linkopt=-fsanitize=address
Expand All @@ -114,7 +114,7 @@ build:asan-ubsan-linux --linkopt=-fsanitize=address,undefined

# Coverage-guided decoder campaigns instrument owned native translation units,
# then link libFuzzer's main only into the dedicated driver binary.
build:fuzz-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@/clang:-fsanitize=fuzzer-no-link
build:fuzz-windows --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*,-^Compiler/Runtime/Freestanding/.*@/clang:-fsanitize=fuzzer-no-link
build:fuzz-windows --linkopt=/DEFAULTLIB:clang_rt.fuzzer-x86_64.lib
build:fuzz-macos --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@-fsanitize=fuzzer-no-link
build:fuzz-linux --per_file_copt=^(Compiler|Interactive|Benchmarks)/.*@-fsanitize=fuzzer-no-link
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/compiler-tier1.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -87,6 +87,7 @@ jobs:
go run ./helpers/cmd/verify-helpers
go run ./helpers/cmd/verify-examples
go run ./helpers/cmd/verify-benchmarks
go run ./helpers/cmd/execution-cases check

- name: Verify project C++ formatting
shell: pwsh
Expand Down Expand Up @@ -198,6 +199,7 @@ jobs:
go run ./helpers/cmd/verify-helpers
go run ./helpers/cmd/verify-examples
go run ./helpers/cmd/verify-benchmarks
go run ./helpers/cmd/execution-cases check

- name: Test native compiler
shell: bash
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/compiler-tier2.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,6 +63,7 @@ jobs:
go run ./helpers/cmd/verify-helpers
go run ./helpers/cmd/verify-examples
go run ./helpers/cmd/verify-benchmarks
go run ./helpers/cmd/execution-cases check

- name: Build and run native compiler suites
shell: bash
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/compiler-tier3.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ jobs:
go run ./helpers/cmd/verify-helpers
go run ./helpers/cmd/verify-examples
go run ./helpers/cmd/verify-benchmarks
go run ./helpers/cmd/execution-cases check

- name: Build and run native compiler suites
shell: bash
Expand Down
22 changes: 22 additions & 0 deletions Analyzer/sources/main/haskell/Visual/Analyzer/Symbols.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,28 @@ declarationSymbol source tokens insideType declaration =
typeSymbol spanValue name members
TemplateTypeDeclaration spanValue name _ _ members ->
typeSymbol spanValue name members
EnumDeclaration spanValue name _ _ cases ->
Lsp.DocumentSymbol
(Text.pack (identifierText name))
Nothing
Lsp.SymbolKind_Enum
Nothing
Nothing
(spanRange source spanValue)
(selectionRange source tokens spanValue name)
( Just
[ Lsp.DocumentSymbol
(Text.pack (identifierText (enumCaseName member)))
Nothing
Lsp.SymbolKind_EnumMember
Nothing
Nothing
(spanRange source (enumCaseSpan member))
(spanRange source (enumCaseSpan member))
Nothing
| member <- cases
]
)
FunctionDeclaration spanValue name _ _ parameters _ isStatic _ ->
let symbolRange = spanRange source spanValue
selection = selectionRange source tokens spanValue name
Expand Down
Loading
Loading