administrator/blaise
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
blaise/runtime/Makefile

113 lines
4.1 KiB
Makefile
Raw Permalink Normal View History

chore(license): relicense from BSD-3-Clause to Apache 2.0 + Runtime Library Exception Adopts the Swift/LLVM model: Apache License 2.0 with the Runtime Library Exception text used verbatim by the Swift project. SPDX identifier: Apache-2.0 WITH Swift-exception. Apache 2.0 brings an explicit patent grant and patent-retaliation clause that BSD-3 lacks. The Runtime Library Exception ensures binaries produced by the Blaise compiler do not inherit attribution obligations from the linked-in RTL. * LICENSE — full Apache 2.0 + RLE text (replaces the deleted LICENCE). * NOTICE — project header plus QBE attribution (MIT, vendored). * docs/language-rationale.adoc — new Project Governance section capturing the decision, alternatives considered, and rationale. * SPDX headers updated across all .pas, .pp, .inc, .c source files, build scripts, PasBuild plugins, and the Makefile. * project.xml license field updated. * tools/migrate_full.py HEADER template updated so generated self-hosting source carries the new licence.
2026-05-03 21:45:29 +03:00
#
# Blaise — An Object Pascal Compiler
# Copyright (c) 2026 Graeme Geldenhuys
# SPDX-License-Identifier: Apache-2.0 WITH Swift-exception
# Licensed under the Apache License v2.0 with Runtime Library Exception.
# See LICENSE file in the project root for full license terms.
#
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
# Each Pascal unit is compiled directly via Blaise's unit-as-top-level
# mode (project_unit_as_toplevel, 2026-05-24): a single
# `blaise --source X.pas --output X.o` invocation runs qbe + cc -c
# + objcopy-embed in one step. No build-driver shims, no IR-strip
# sed pipelines, no intermediate .ssa/.s files needed.
build(runtime): enable pipefail so compiler errors fail the build The Pascal RTL recipes pipe $(BLAISE) --emit-ir through sed to strip the program section before writing the .ssa file. Without pipefail, sed's exit code masks a failing compiler invocation: the recipe succeeds with an empty .ssa, QBE emits an empty .s, gcc archives an empty .o, and the first symptom is a downstream link failure with "no symbols". Set SHELL=/bin/bash and .SHELLFLAGS=-o pipefail -c at the top of the Makefile so every recipe inherits pipefail. Verified by injecting a parse error into a build driver: make now exits with Error 1 and prints the compiler's diagnostic, instead of silently producing an empty archive member.
2026-05-22 17:39:08 +03:00
SHELL = /bin/bash
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
CC = gcc
CFLAGS = -O2 -Wall -Wextra -std=c11
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
SRC_DIR = src/main/c
PAS_SRC_DIR = src/main/pascal
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
ASM_DIR = src/main/asm
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
OBJ_DIR = target
LIB = $(OBJ_DIR)/blaise_rtl.a
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
# Where the compiler binary lives — install copies the RTL there so the
# driver finds it automatically next to itself.
fix: drain child process output to avoid pipe deadlock RunProcess used poWaitOnExit combined with poUsePipes, which deadlocks when the child fills the stderr pipe buffer before we read — the child blocks waiting for the reader, we block waiting for exit. Drain the pipe in a loop while the child runs, then wait on exit separately. Also fold stderr into stdout so qbe/cc diagnostics round-trip through a single handle. rtl/Makefile: install blaise_rtl.a into compiler/target (not compiler/target/bin) so it lives next to the blaise binary produced by pasbuild.
2026-04-24 19:42:54 +03:00
COMPILER_BIN = ../compiler/target
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
BLAISE = $(COMPILER_BIN)/blaise
fix(compiler): incremental unit-mode crash (nil Prog.SymbolTable) Compiling a UNIT (top source is a `unit`, so the pipeline runs in unit-mode and Prog stays nil) via the default incremental path segfaulted: the incremental worker setup unconditionally read `Prog.SymbolTable` to seed each dep worker, dereferencing nil. In unit-mode the symbol table comes from the semantic pass, not a program node. This is exactly the invocation the runtime Makefile drives (`blaise --source X.pas --output X.o` per RTL unit), so it broke `make` in runtime/ once incremental became the default; it was a latent pre-existing bug in the opt-in incremental path (reproduces at de0ea5d with --incremental). Fix: seed the worker symbol table from Semantic.GetSymbolTable() when Prog is nil, matching the non-incremental unit-mode path. Also pin the runtime Makefile to --no-incremental. That Makefile is itself a hand-managed separate-compilation system (one object per unit + an explicit archive list); the compiler's incremental mode would additionally write per-dependency side-effect objects and skip inlining a used unit's bodies, but those side-effect objects are not in the archive list — so a cross-unit symbol (e.g. typeinfo_TRtlPlatform, referenced by the derived TRtlPlatformPosix in a different unit) was left undefined at link. Whole-program per unit keeps each unit object self-contained. Regression test (cp.test.e2e.sepcompile.pas): compile a unit that uses another unit in unit-mode via the default incremental path, then build and run a program over the emitted object.
2026-06-20 04:04:58 +03:00
# This Makefile IS a hand-managed separate-compilation system: it compiles each
# RTL unit to its own object and archives an explicit object list. The
# compiler's own incremental mode (now the default) would, on top of that, write
# per-dependency side-effect .o files next to each output and skip inlining a
# used unit's bodies — but those side-effect objects are not in the archive's
# object list, so a cross-unit symbol (e.g. typeinfo_TRtlPlatform, referenced by
# the derived TRtlPlatformPosix in another unit) ends up undefined at link.
# Force whole-program compilation per unit so every unit object is self-contained.
BLAISE_FLAGS = --no-incremental
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
# Assembly sources — platform-specific, no C compiler needed.
feat(rtl): atomic ARC refcount operations for thread safety Replace plain read-modify-write refcount operations with atomic lock xadd instructions via a new blaise_atomic_x86_64.s assembly stub. _AtomicAddInt32 and _AtomicSubInt32 return the previous value, so exactly one thread sees the transition to zero and triggers destruction -- eliminating the TOCTOU race in _ClassRelease and _StringRelease. Affected operations: - _ClassAddRef: atomic increment - _ClassRelease: atomic decrement, destroy on old_rc == 1 - _StringAddRef: atomic increment (immortal check unchanged) - _StringRelease: atomic decrement, free on old_rc == 1
2026-06-06 14:44:53 +03:00
ASM_OBJS = $(OBJ_DIR)/blaise_setjmp_x86_64.o \
perf(rtl): SIMD-accelerated UTF-8 codepoint counting (SSE2 + AVX2) CodePointLength now delegates to _Utf8CountCodePoints in hand-written x86_64 assembly. Processes 32 bytes/iteration with AVX2 (runtime- detected via CPUID) and 16 bytes/iteration with SSE2, falling back to scalar for tail bytes. The algorithm counts non-continuation bytes (bytes where (b & 0xC0) != 0x80) using signed pcmpgtb against -65.
2026-06-08 01:56:12 +03:00
$(OBJ_DIR)/blaise_atomic_x86_64.o \
$(OBJ_DIR)/blaise_utf8_x86_64.o
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
# Pascal RTL units compiled via the Blaise compiler.
feat(rtl): add Pascal memory allocator (blaise_mem) backed by mmap Arena-based allocator with per-size-class freelists for small blocks (up to 2048 bytes) and direct mmap/munmap for large blocks. All returned pointers are 8-byte aligned. Self-contained: no dependency on strings, ARC, or stdlib. 14 punit tests covering basic alloc/free, realloc, alignment, size classes, large allocations, and freelist reuse. Allocator is in the RTL archive but nothing depends on it yet — GetMem/FreeMem still route to libc malloc/free.
2026-05-16 03:42:17 +03:00
PAS_OBJS = $(OBJ_DIR)/blaise_mem.o \
$(OBJ_DIR)/blaise_str.o \
feat(sets): jumbo sets — set of enum up to 256 members Extend set of <enum> from a 64-member cap to 256, Java-EnumSet style. Sets of 64 members or fewer keep the existing single-register bitmask (QBE w/l); sets of 65..256 members ('jumbo') become an inline byte-array bitmap of ceil(N/8) bytes, treated as a value aggregate (passed by reference, returned via sret, memset/memcpy), with operations performed by new RTL helpers. Representation (uSymbolTable): TSetTypeDesc.IsJumbo (BitCount > 64) and RawByteSize; RawSize/ByteSize/AllocAlign sized accordingly. TSymbol gains ConstSetBytes/ConstSetQbe for jumbo constants (can't fit an Int64 mask). RTL: new runtime/src/main/pascal/blaise_set.pas — _SetIn/_SetInclude/ _SetExclude/_SetUnion/_SetInter/_SetDiff/_SetEqual/_SetCopy over byte-array bitmaps (overlap-safe). Wired into runtime/Makefile. Semantic: the four >64 caps become >256. AnalyseSetConstDecl folds a jumbo const to a byte array. The anonymous set for 'X in [a,b,c]' is sized to the largest listed ordinal (when constant), not the full enum — keeping the common low-ordinal membership test (incl. the compiler's own TokenKind tests) on the fast register path. This also fixes a latent miscompile: the old fixed-l representation silently dropped any listed ordinal >= 64. Codegen (both backends): jumbo branches for literal, in, +/-/*, =/<>, Include/Exclude, for-in, assignment, params (pmJumboSetValue ABI), and sret returns. The register 'in' gained a range guard for literal-sized sets. Native reserves two 32-byte scratch slots per frame (and .bss in main) for set-op/literal result buffers. QBE adds IsAggregateAddrType so jumbo sets ride the record/static-array address paths and are never promoted. OPDF: no format change — recSet SizeInBytes (1 byte) already covers <=32. Verified: FIXPOINT_OK and NATIVE_FIXPOINT_OK; full suite (3172 tests) green built by the stage-2 binary, the QBE fixpoint binary, and the native fixpoint binary; bif-coverage OK. Tests: cp.test.jumboset (12 IR) and cp.test.e2e.jumboset (6 e2e, both backends via AssertRunsOnAll); the >256-member rejection test in cp.test.sets updated. Docs: grammar.ebnf and language-rationale set-type sections updated for the 256 cap and literal sizing. Closes the design discussion behind #81.
2026-06-15 01:23:19 +03:00
$(OBJ_DIR)/blaise_set.o \
feat(rtl): eliminate libc printf/fprintf and most pure-C helpers — Step 9 (80%) Write/WriteLn now call _SysWriteStr/_SysWriteInt/_SysWriteInt64/ _SysWriteNewline (blaise_sys.pas + blaise_sys_posix.c) instead of printf/fprintf. _SysWriteNewline uses POSIX write(2) directly; no format strings, no libc I/O buffering. Pure Pascal implementations replace these libc calls in the RTL: - toupper / tolower (inline ASCII arithmetic in blaise_str.pas) - strlen (NUL-scan loop in blaise_str.pas) - memcpy (byte-copy loop in both blaise_str.pas and blaise_arc.pas) - memcmp (byte-compare loop in blaise_arc.pas) Remaining libc dependency: malloc/free (needs Pascal allocator — Step 9d). All 1035 compiler tests pass.
2026-05-01 19:22:07 +03:00
$(OBJ_DIR)/blaise_arc.o \
feat(runtime): port blaise_float.c to pure Pascal Grisu1 implementation Replace the C-based float support (_DoubleToStr, _SingleToStr, _StrToDouble, _AbsInt, _AbsInt64) with a pure Pascal implementation using a simplified Grisu1 algorithm (Loitsch 2010) for float-to-string conversion and native double arithmetic for string-to-float. The new implementation has no libc dependency for the conversion logic itself (memcpy is still used in BlaiseAllocStr as a temporary measure). This is a step toward full platform independence. Also fix a codegen bug where Int64-to-Double promotion in mixed arithmetic/comparison expressions emitted swtof (32-bit truncation) instead of sltof (64-bit). This affected three sites in EmitBinExpr and one in EmitAssignment.
2026-05-20 01:19:52 +03:00
$(OBJ_DIR)/blaise_weak.o \
feat(threading): add TThread, TCriticalSection and POSIX thread bindings Add blaise_thread.pas runtime unit wrapping pthread_create, pthread_join, pthread_mutex_init/lock/unlock/destroy and sysconf for GetCPUCount. Implement TThread (Create, Start, Terminate, WaitFor, Execute virtual, FreeOnTerminate) and TCriticalSection (Enter/Leave) in classes.pas using ARC-safe ref counting in the thread trampoline. Fix EmitFieldCleanupFn to walk the parent chain when emitting the Destroy call — previously a subclass without its own Destroy would generate an empty cleanup, causing leaked resources from parent destructors. Link -lpthread in both the compiler driver and E2E test base. Include 7 E2E tests covering basic execution, WaitFor blocking, Terminate flag, Finished flag, multiple threads, mutex-protected counter, and inherited Destroy cleanup.
2026-05-20 10:31:15 +03:00
$(OBJ_DIR)/blaise_float.o \
refactor(runtime): consolidate IO/process/sys/time into rtl.platform.posix Merge blaise_io.pas, blaise_process.pas, blaise_sys.pas, and blaise_time.pas into the OO platform facade (TRtlPlatformPosix). All underscore ABI stubs now delegate through GRtlPlatform, enabling future macOS/Windows/FreeBSD support via a single new TRtlPlatformXxx subclass with no ifdefs or scattered platform files. Key design decisions: - _SetArgs creates GRtlPlatform eagerly (runs before unit _init) - Path utilities stay in blaise_str.pas (platform-independent) - Makefile sed strip keeps TObject typeinfo from program section - Shared string helpers (StrAlloc, StrFromCStr) deduplicated Deleted 8 files (4 units + 4 build drivers), replaced by the expanded rtl.platform.posix.pas and its single build driver. All 2083 tests pass. Fixpoint verified.
2026-05-20 21:33:56 +03:00
$(OBJ_DIR)/blaise_thread.o \
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
$(OBJ_DIR)/blaise_exc.o \
refactor(runtime): consolidate IO/process/sys/time into rtl.platform.posix Merge blaise_io.pas, blaise_process.pas, blaise_sys.pas, and blaise_time.pas into the OO platform facade (TRtlPlatformPosix). All underscore ABI stubs now delegate through GRtlPlatform, enabling future macOS/Windows/FreeBSD support via a single new TRtlPlatformXxx subclass with no ifdefs or scattered platform files. Key design decisions: - _SetArgs creates GRtlPlatform eagerly (runs before unit _init) - Path utilities stay in blaise_str.pas (platform-independent) - Makefile sed strip keeps TObject typeinfo from program section - Shared string helpers (StrAlloc, StrFromCStr) deduplicated Deleted 8 files (4 units + 4 build drivers), replaced by the expanded rtl.platform.posix.pas and its single build driver. All 2083 tests pass. Fixpoint verified.
2026-05-20 21:33:56 +03:00
$(OBJ_DIR)/rtl_platform_posix.o
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
OBJS = $(ASM_OBJS) $(PAS_OBJS)
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
.PHONY: all install clean
all: $(LIB)
$(LIB): $(OBJS)
ar rcs $@ $^
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
# --- Assembly rules ---
$(OBJ_DIR)/%.o: $(ASM_DIR)/%.s
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
@mkdir -p $(OBJ_DIR)
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
$(CC) -c -o $@ $<
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
# --- Pascal unit rules (unit-as-top-level) ---
$(OBJ_DIR)/blaise_mem.o: $(PAS_SRC_DIR)/blaise_mem.pas
feat(rtl): add Pascal memory allocator (blaise_mem) backed by mmap Arena-based allocator with per-size-class freelists for small blocks (up to 2048 bytes) and direct mmap/munmap for large blocks. All returned pointers are 8-byte aligned. Self-contained: no dependency on strings, ARC, or stdlib. 14 punit tests covering basic alloc/free, realloc, alignment, size classes, large allocations, and freelist reuse. Allocator is in the RTL archive but nothing depends on it yet — GetMem/FreeMem still route to libc malloc/free.
2026-05-16 03:42:17 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(rtl): add Pascal memory allocator (blaise_mem) backed by mmap Arena-based allocator with per-size-class freelists for small blocks (up to 2048 bytes) and direct mmap/munmap for large blocks. All returned pointers are 8-byte aligned. Self-contained: no dependency on strings, ARC, or stdlib. 14 punit tests covering basic alloc/free, realloc, alignment, size classes, large allocations, and freelist reuse. Allocator is in the RTL archive but nothing depends on it yet — GetMem/FreeMem still route to libc malloc/free.
2026-05-16 03:42:17 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_str.o: $(PAS_SRC_DIR)/blaise_str.pas
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
feat(sets): jumbo sets — set of enum up to 256 members Extend set of <enum> from a 64-member cap to 256, Java-EnumSet style. Sets of 64 members or fewer keep the existing single-register bitmask (QBE w/l); sets of 65..256 members ('jumbo') become an inline byte-array bitmap of ceil(N/8) bytes, treated as a value aggregate (passed by reference, returned via sret, memset/memcpy), with operations performed by new RTL helpers. Representation (uSymbolTable): TSetTypeDesc.IsJumbo (BitCount > 64) and RawByteSize; RawSize/ByteSize/AllocAlign sized accordingly. TSymbol gains ConstSetBytes/ConstSetQbe for jumbo constants (can't fit an Int64 mask). RTL: new runtime/src/main/pascal/blaise_set.pas — _SetIn/_SetInclude/ _SetExclude/_SetUnion/_SetInter/_SetDiff/_SetEqual/_SetCopy over byte-array bitmaps (overlap-safe). Wired into runtime/Makefile. Semantic: the four >64 caps become >256. AnalyseSetConstDecl folds a jumbo const to a byte array. The anonymous set for 'X in [a,b,c]' is sized to the largest listed ordinal (when constant), not the full enum — keeping the common low-ordinal membership test (incl. the compiler's own TokenKind tests) on the fast register path. This also fixes a latent miscompile: the old fixed-l representation silently dropped any listed ordinal >= 64. Codegen (both backends): jumbo branches for literal, in, +/-/*, =/<>, Include/Exclude, for-in, assignment, params (pmJumboSetValue ABI), and sret returns. The register 'in' gained a range guard for literal-sized sets. Native reserves two 32-byte scratch slots per frame (and .bss in main) for set-op/literal result buffers. QBE adds IsAggregateAddrType so jumbo sets ride the record/static-array address paths and are never promoted. OPDF: no format change — recSet SizeInBytes (1 byte) already covers <=32. Verified: FIXPOINT_OK and NATIVE_FIXPOINT_OK; full suite (3172 tests) green built by the stage-2 binary, the QBE fixpoint binary, and the native fixpoint binary; bif-coverage OK. Tests: cp.test.jumboset (12 IR) and cp.test.e2e.jumboset (6 e2e, both backends via AssertRunsOnAll); the >256-member rejection test in cp.test.sets updated. Docs: grammar.ebnf and language-rationale set-type sections updated for the 256 cap and literal sizing. Closes the design discussion behind #81.
2026-06-15 01:23:19 +03:00
$(OBJ_DIR)/blaise_set.o: $(PAS_SRC_DIR)/blaise_set.pas
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(sets): jumbo sets — set of enum up to 256 members Extend set of <enum> from a 64-member cap to 256, Java-EnumSet style. Sets of 64 members or fewer keep the existing single-register bitmask (QBE w/l); sets of 65..256 members ('jumbo') become an inline byte-array bitmap of ceil(N/8) bytes, treated as a value aggregate (passed by reference, returned via sret, memset/memcpy), with operations performed by new RTL helpers. Representation (uSymbolTable): TSetTypeDesc.IsJumbo (BitCount > 64) and RawByteSize; RawSize/ByteSize/AllocAlign sized accordingly. TSymbol gains ConstSetBytes/ConstSetQbe for jumbo constants (can't fit an Int64 mask). RTL: new runtime/src/main/pascal/blaise_set.pas — _SetIn/_SetInclude/ _SetExclude/_SetUnion/_SetInter/_SetDiff/_SetEqual/_SetCopy over byte-array bitmaps (overlap-safe). Wired into runtime/Makefile. Semantic: the four >64 caps become >256. AnalyseSetConstDecl folds a jumbo const to a byte array. The anonymous set for 'X in [a,b,c]' is sized to the largest listed ordinal (when constant), not the full enum — keeping the common low-ordinal membership test (incl. the compiler's own TokenKind tests) on the fast register path. This also fixes a latent miscompile: the old fixed-l representation silently dropped any listed ordinal >= 64. Codegen (both backends): jumbo branches for literal, in, +/-/*, =/<>, Include/Exclude, for-in, assignment, params (pmJumboSetValue ABI), and sret returns. The register 'in' gained a range guard for literal-sized sets. Native reserves two 32-byte scratch slots per frame (and .bss in main) for set-op/literal result buffers. QBE adds IsAggregateAddrType so jumbo sets ride the record/static-array address paths and are never promoted. OPDF: no format change — recSet SizeInBytes (1 byte) already covers <=32. Verified: FIXPOINT_OK and NATIVE_FIXPOINT_OK; full suite (3172 tests) green built by the stage-2 binary, the QBE fixpoint binary, and the native fixpoint binary; bif-coverage OK. Tests: cp.test.jumboset (12 IR) and cp.test.e2e.jumboset (6 e2e, both backends via AssertRunsOnAll); the >256-member rejection test in cp.test.sets updated. Docs: grammar.ebnf and language-rationale set-type sections updated for the 256 cap and literal sizing. Closes the design discussion behind #81.
2026-06-15 01:23:19 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_arc.o: $(PAS_SRC_DIR)/blaise_arc.pas
feat(rtl): migrate blaise_arc.c → blaise_arc.pas — Step 9c Port all non-function-pointer ARC functions from C to Pascal: _StringAddRef, _StringRelease, _StringEquals, _StringConcat, TObject_Destroy, _ClassAddRef, _ClassFree Remaining in C (blaise_arc_class.c — renamed from blaise_arc.c): _ClassAlloc and _ClassRelease — store and call a function pointer (the $_FieldCleanup_TypeName hook), which Blaise cannot express yet. Compiler fixes required to support this port: - uCodeGenQBE: EmitFuncDef now exits early for IsExternal declarations; previously it crashed (access violation) when iterating a nil body - uSymbolTable: remove _ClassAddRef and _ClassRelease from RegisterBuiltins; they are internal RTL symbols emitted directly by the codegen, not user-callable builtins, and pre-registering them caused "Duplicate identifier" errors when the unit interface re-declared them RTL Makefile: blaise_arc_class.c replaces blaise_arc.c in C_SRCS; blaise_arc.pas added to PAS_OBJS with its own build driver. All 1035 compiler tests pass.
2026-05-01 18:26:17 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(rtl): migrate blaise_arc.c → blaise_arc.pas — Step 9c Port all non-function-pointer ARC functions from C to Pascal: _StringAddRef, _StringRelease, _StringEquals, _StringConcat, TObject_Destroy, _ClassAddRef, _ClassFree Remaining in C (blaise_arc_class.c — renamed from blaise_arc.c): _ClassAlloc and _ClassRelease — store and call a function pointer (the $_FieldCleanup_TypeName hook), which Blaise cannot express yet. Compiler fixes required to support this port: - uCodeGenQBE: EmitFuncDef now exits early for IsExternal declarations; previously it crashed (access violation) when iterating a nil body - uSymbolTable: remove _ClassAddRef and _ClassRelease from RegisterBuiltins; they are internal RTL symbols emitted directly by the codegen, not user-callable builtins, and pre-registering them caused "Duplicate identifier" errors when the unit interface re-declared them RTL Makefile: blaise_arc_class.c replaces blaise_arc.c in C_SRCS; blaise_arc.pas added to PAS_OBJS with its own build driver. All 1035 compiler tests pass.
2026-05-01 18:26:17 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_weak.o: $(PAS_SRC_DIR)/blaise_weak.pas
feat(rtl): eliminate libc printf/fprintf and most pure-C helpers — Step 9 (80%) Write/WriteLn now call _SysWriteStr/_SysWriteInt/_SysWriteInt64/ _SysWriteNewline (blaise_sys.pas + blaise_sys_posix.c) instead of printf/fprintf. _SysWriteNewline uses POSIX write(2) directly; no format strings, no libc I/O buffering. Pure Pascal implementations replace these libc calls in the RTL: - toupper / tolower (inline ASCII arithmetic in blaise_str.pas) - strlen (NUL-scan loop in blaise_str.pas) - memcpy (byte-copy loop in both blaise_str.pas and blaise_arc.pas) - memcmp (byte-compare loop in blaise_arc.pas) Remaining libc dependency: malloc/free (needs Pascal allocator — Step 9d). All 1035 compiler tests pass.
2026-05-01 19:22:07 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(runtime): port blaise_io / blaise_process / blaise_sys / blaise_time to Pascal Step 13 (partial): replace four C shims with self-hosted Pascal units that bind directly to libc syscall surfaces. blaise_exc.c, blaise_arc_class.c, blaise_weak.c, blaise_str_fmt.c, and blaise_float.c remain in C — they either need setjmp/longjmp, function-pointer fields in records, or variadic interfaces that QBE / Blaise cannot express today. Ports: - blaise_io.c → blaise_io.pas File I/O, env vars, working directory, ParamStr, mkstemp, sleep, process ID. Uses libc bindings (open/read/write/stat/...) declared in the interface section per the migration rule in CLAUDE.md. - blaise_process.c → blaise_process.pas fork/exec/pipe/waitpid wrapped as TProcess; same libc-binding pattern. - blaise_sys_posix.c → folded into blaise_sys.pas Tiny shim (just _SysWrite + _SysWriteNewline); now writes directly via posix_write. No separate C file needed. - blaise_time.c → blaise_time.pas clock_gettime + date arithmetic. The local typed-array-const Days triggered the codegen bug fixed in fa69ae1. Each unit is built via a thin build_driver.pas program (see existing blaise_str_build_driver.pas pattern): the Makefile compiles the driver, strips everything from the program section onward, then assembles + links the unit-only IR into the runtime archive. Outcome: - C_SRCS shrinks from 9 → 5 files; runtime archive size unchanged in spirit but the dependency surface contracts. - Standalone units, not yet folded into rtl.platform.posix.pas — that consolidation can happen later when the platform layer matures and a second backend (windows / darwin) appears to justify the abstraction. - All 2023 tests pass; fixpoint OK.
2026-05-19 03:04:17 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_float.o: $(PAS_SRC_DIR)/blaise_float.pas
feat(runtime): port blaise_weak.c to Pascal Replace the C weak-reference table implementation with an equivalent Pascal unit (blaise_weak.pas). Same data structures — open-chained hash table with linked slot lists — using _BlaiseGetMem/_BlaiseFreeMem and ^Pointer locals for the void** dereference pattern. Deletes blaise_weak.c; runtime C files now down to 4 (blaise_arc_class, blaise_exc, blaise_float, blaise_str_fmt). All 2023 tests pass including E2E weak-ref Valgrind test. Fixpoint OK.
2026-05-19 18:11:14 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(runtime): port blaise_weak.c to Pascal Replace the C weak-reference table implementation with an equivalent Pascal unit (blaise_weak.pas). Same data structures — open-chained hash table with linked slot lists — using _BlaiseGetMem/_BlaiseFreeMem and ^Pointer locals for the void** dereference pattern. Deletes blaise_weak.c; runtime C files now down to 4 (blaise_arc_class, blaise_exc, blaise_float, blaise_str_fmt). All 2023 tests pass including E2E weak-ref Valgrind test. Fixpoint OK.
2026-05-19 18:11:14 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_thread.o: $(PAS_SRC_DIR)/blaise_thread.pas
feat(runtime): port blaise_float.c to pure Pascal Grisu1 implementation Replace the C-based float support (_DoubleToStr, _SingleToStr, _StrToDouble, _AbsInt, _AbsInt64) with a pure Pascal implementation using a simplified Grisu1 algorithm (Loitsch 2010) for float-to-string conversion and native double arithmetic for string-to-float. The new implementation has no libc dependency for the conversion logic itself (memcpy is still used in BlaiseAllocStr as a temporary measure). This is a step toward full platform independence. Also fix a codegen bug where Int64-to-Double promotion in mixed arithmetic/comparison expressions emitted swtof (32-bit truncation) instead of sltof (64-bit). This affected three sites in EmitBinExpr and one in EmitAssignment.
2026-05-20 01:19:52 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(runtime): port blaise_float.c to pure Pascal Grisu1 implementation Replace the C-based float support (_DoubleToStr, _SingleToStr, _StrToDouble, _AbsInt, _AbsInt64) with a pure Pascal implementation using a simplified Grisu1 algorithm (Loitsch 2010) for float-to-string conversion and native double arithmetic for string-to-float. The new implementation has no libc dependency for the conversion logic itself (memcpy is still used in BlaiseAllocStr as a temporary measure). This is a step toward full platform independence. Also fix a codegen bug where Int64-to-Double promotion in mixed arithmetic/comparison expressions emitted swtof (32-bit truncation) instead of sltof (64-bit). This affected three sites in EmitBinExpr and one in EmitAssignment.
2026-05-20 01:19:52 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/blaise_exc.o: $(PAS_SRC_DIR)/blaise_exc.pas
feat(threading): add TThread, TCriticalSection and POSIX thread bindings Add blaise_thread.pas runtime unit wrapping pthread_create, pthread_join, pthread_mutex_init/lock/unlock/destroy and sysconf for GetCPUCount. Implement TThread (Create, Start, Terminate, WaitFor, Execute virtual, FreeOnTerminate) and TCriticalSection (Enter/Leave) in classes.pas using ARC-safe ref counting in the thread trampoline. Fix EmitFieldCleanupFn to walk the parent chain when emitting the Destroy call — previously a subclass without its own Destroy would generate an empty cleanup, causing leaked resources from parent destructors. Link -lpthread in both the compiler driver and E2E test base. Include 7 E2E tests covering basic execution, WaitFor blocking, Terminate flag, Finished flag, multiple threads, mutex-protected counter, and inherited Destroy cleanup.
2026-05-20 10:31:15 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
feat(threading): add TThread, TCriticalSection and POSIX thread bindings Add blaise_thread.pas runtime unit wrapping pthread_create, pthread_join, pthread_mutex_init/lock/unlock/destroy and sysconf for GetCPUCount. Implement TThread (Create, Start, Terminate, WaitFor, Execute virtual, FreeOnTerminate) and TCriticalSection (Enter/Leave) in classes.pas using ARC-safe ref counting in the thread trampoline. Fix EmitFieldCleanupFn to walk the parent chain when emitting the Destroy call — previously a subclass without its own Destroy would generate an empty cleanup, causing leaked resources from parent destructors. Link -lpthread in both the compiler driver and E2E test base. Include 7 E2E tests covering basic execution, WaitFor blocking, Terminate flag, Finished flag, multiple threads, mutex-protected counter, and inherited Destroy cleanup.
2026-05-20 10:31:15 +03:00
chore(runtime): switch RTL build to unit-as-top-level; drop build-driver shims Now that the compiler supports `blaise --source Unit.pas --output Unit.o` directly, the build-driver pattern (a thin program wrapper + IR sed strip) is no longer needed. Replace every multi-step rule with a single invocation and delete the eight *_build_driver.pas files. This commit must follow the merge of blaise_clean_split in git history so that the rolling-bootstrap script can build the merge commit using the previous binary (which still uses the old Makefile), then build this commit using the freshly-merged binary (which understands unit-as-top-level).
2026-06-04 01:49:29 +03:00
$(OBJ_DIR)/rtl_platform_posix.o: $(PAS_SRC_DIR)/rtl.platform.posix.pas \
$(PAS_SRC_DIR)/rtl.platform.pas
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
@mkdir -p $(OBJ_DIR)
feat(backend): default to native backend; fix codegen bugs exposed by the switch The native x86-64 backend is now the default (bkNative). QBE remains available via --backend qbe. Several codegen bugs that were invisible while QBE was the default are fixed in this commit: Native backend fixes: - EmitLeaqGlobal helper: threadvar globals now emit the correct fs:0 + @tpoff TLS sequence instead of bare %rip-relative leaq. Fixes static array write (FreeLists), string subscript assignment, EmitExprAddr, record memcpy, method-ptr cast, and open-array push paths that all used raw leaq %s(%rip). - EmitIncDec: unified local/global paths through VarOperand so threadvar scalar Inc/Dec (e.g. LargeFreeCount) gets TLS addressing. - EmitIncDec FAE.Base: Inc(P^.Field) where P is a pointer now evaluates the base expression instead of leaq on the stack slot. - FinalizeEmit: data section (.data/.bss/.rodata) now emits once at the end of unit compilation via FinalizeEmit, not inside each EmitUnit call. Fixes duplicate/missing string literals in sep-compile. - EmitFunctionDef AExported: implementation-only helpers in monolithic mode stay file-local (.globl suppressed) to avoid symbol collisions with the RTL archive. QBE backend fixes: - AppendUnit typeinfo: export prefix added to data $typeinfo_TObject, $typeinfo_TCustomAttribute, $vtable_TObject, $vtable_TCustomAttribute so native-built RTL can resolve them. - FSuppressSystemDefs: decoupled from FExportAll so CreateUnitCodeGen can export all symbols without suppressing system defs. Infrastructure: - runtime/Makefile: BLAISE_FLAGS variable for passing extra compiler flags (e.g. --backend qbe) from build scripts. - fixpoint.sh: make clean before RTL rebuild to pick up backend change.
2026-06-19 06:27:41 +03:00
$(BLAISE) $(BLAISE_FLAGS) --source $< --unit-path $(PAS_SRC_DIR) --output $@
refactor(runtime): replace blaise_exc.c with Pascal + x86_64 assembly Port all exception frame management, type identity, and runtime check functions from C to pure Pascal (blaise_exc.pas). Replace libc setjmp/longjmp with a minimal custom implementation in x86_64 assembly (blaise_setjmp_x86_64.s, ~40 lines) that saves only the 8 callee-saved registers (64-byte jmp_buf vs libc's 200-byte one). This eliminates the last C source file from the runtime build. The only non-Pascal code in the runtime is now the assembly setjmp stub. Changes: - runtime/src/main/asm/blaise_setjmp_x86_64.s: _blaise_setjmp/_blaise_longjmp - runtime/src/main/pascal/blaise_exc.pas: _PushExcFrame, _PopExcFrame, _Raise, _Reraise, _CurrentException, _CurrentExceptionMessage, _IsInstance, _ImplementsInterface, _GetItab, _Raise_InvalidCast, _CheckNil — all ported from blaise_exc.c - uCodeGenQBE.pas: emit call $_blaise_setjmp instead of call $setjmp - cp.test.exceptions.pas: IR assertion updated for new symbol name - runtime/Makefile: assembly rule, Pascal blaise_exc build, C rules removed - .gitignore: whitelist runtime/src/main/asm/*.s - runtime/src/main/c/blaise_exc.c: deleted 2083 tests pass, fixpoint verified (stage-3/stage-4).
2026-05-21 03:01:08 +03:00
Add Phase 2: record/class types, ARC strings, RTL stubs, and grammar doc Symbol table: - Added tyClass kind and NewClassType factory; TRecordTypeDesc now accepts an optional kind parameter so records and classes share the same descriptor with distinct semantics. Semantic analyser: - AnalyseTypeDecls runs before PushScope so type symbols land in global scope and survive PopScope. - Handles TRecordTypeDef and TClassTypeDef; sets IsConstructorCall on TypeName.Create expressions and IsClassAccess on class-variable field access and assignment nodes. Code generator (QBE IR): - Class variables: 8-byte pointer slot, zeroed on entry. - Constructor calls: malloc(sizeof fields), store pointer. - Class field access/write: load pointer, add field offset, load/store. - ARC string assignment: AddRef new value, Release old value, then store. - Block exit: Release every string variable in scope (EmitStringCleanup). Lexer / Parser / AST: - Added tkClass keyword and ParseClassDef; FieldDecl parsing refactored into ParseFieldDecl(AFields) shared by both record and class. - AST gains TClassTypeDef, and IsConstructorCall/IsClassAccess flags on TFieldAccessExpr and TFieldAssignment. RTL: - blaise_arc.c: Phase 2 no-op stubs for _StringAddRef / _StringRelease. - rtl/Makefile: builds blaise_rtl.a; `make install` copies it next to the compiler binary for automatic discovery by FindRTL. - Blaise.pas driver: FindRTL checks BLAISE_RTL env var then binary dir; links the RTL archive when present. Tests: - 180 unit tests (records ×23, classes ×22, ARC ×9, codegen ×9, …). - 4 end-to-end integration tests in tests/integration/test_arc_strings.sh covering string assignment, two-var cleanup, reassignment cycle, and empty-program linkage. Docs: - design.adoc updated with Phase 2 implementation status table. - docs/grammar.ebnf: new authoritative EBNF grammar for the Blaise language as implemented, including ARC semantic annotations.
2026-04-20 21:04:12 +03:00
install: $(LIB)
@mkdir -p $(COMPILER_BIN)
cp $(LIB) $(COMPILER_BIN)/blaise_rtl.a
@echo "Installed blaise_rtl.a → $(COMPILER_BIN)/blaise_rtl.a"
clean:
feat(rtl): replace blaise_str.c with Pascal-compiled blaise_str.pas in RTL build Remove blaise_str.c from the RTL archive and replace it with object code compiled from blaise_str.pas via the Blaise compiler itself. The variadic _StringFormat cannot be expressed in Pascal so it moves to blaise_str_fmt.c. Makefile changes: - blaise_str.c removed from C_SRCS; blaise_str_fmt.c added in its place - New Pascal build rules: .pas → .ssa (unit IR via build driver + sed strip) → .s (QBE) → .o (gcc -c) → included in blaise_rtl.a - blaise_str_build_driver.pas: minimal program driver used by the Makefile to compile the unit; the program section is stripped before assembly All 1035 compiler tests pass with the new RTL.
2026-05-01 16:42:29 +03:00
rm -f $(OBJ_DIR)/*.o $(OBJ_DIR)/*.s $(OBJ_DIR)/*.ssa $(LIB)
Reference in a new issue Copy permalink