zig0, branch HEAD

astgen: add \u{...} unicode escape sequence handling

2026-02-13T22:07:23Z

commit edc55c2debf730e9a9c373d04b0c19020989a3ef parent 8a45572d0f55a7d9e184361a0f388facdb9dea46 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 22:07:23 +0000 astgen: add \u{...} unicode escape sequence handling Port the \u{NNNNNN} unicode escape parsing from upstream Zig's string_literal.zig:parseEscapeSequence into both strLitAsString (string literal decoding with UTF-8 encoding) and char_literal (codepoint value extraction). Without this, \u escapes fell through to the default branch which wrote a literal 'u' character, producing incorrect ZIR string bytes. Co-Authored-By: Claude Opus 4.6

astgen: fix builtin_call ensure_result_used bit position

2026-02-13T22:05:01Z

commit 8a45572d0f55a7d9e184361a0f388facdb9dea46 parent 187e293fe9d3c1c0011e30bbe0edc679b5544981 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 22:05:01 +0000 astgen: fix builtin_call ensure_result_used bit position BuiltinCall.Flags has ensure_result_used at bit 1, not bit 3 like Call/FieldCall. Separate the case to use the correct bit. Co-Authored-By: Claude Opus 4.6

astgen: fix defer RL annotation, compile_error noreturn, block force_comptime

2026-02-13T21:48:16Z

commit 187e293fe9d3c1c0011e30bbe0edc679b5544981 parent 21398f42f5d629b254a0dbc07bdcfd857466101e Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 21:48:16 +0000 astgen: fix defer RL annotation, compile_error noreturn, block force_comptime Three bugs found by auditing against upstream AstGen.zig/AstRlAnnotate.zig: 1. rlExpr: defer was recursing into nd.rhs (always 0) instead of nd.lhs (the actual deferred expression), so the RL annotation pass never visited defer bodies. 2. addEnsureResult: compile_error was missing from the noreturn instruction list, causing spurious ensure_result_used instructions to be emitted after @compileError calls. 3. blockExprExpr: force_comptime was derived from gz->is_comptime, but upstream blockExpr always passes force_comptime=false to labeledBlockExpr. This caused labeled blocks in comptime contexts to incorrectly emit BLOCK_COMPTIME + BREAK_INLINE instead of BLOCK + BREAK. Co-Authored-By: Claude Opus 4.6

parser: fix while-type-expr continue parsing and comptime labeled blocks

2026-02-13T21:22:53Z

commit 21398f42f5d629b254a0dbc07bdcfd857466101e parent e3466a6cd279af8f423010bcb7330b35c9d1a319 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 21:22:53 +0000 parser: fix while-type-expr continue parsing and comptime labeled blocks Fix two parser bugs found by auditing against upstream Parse.zig: 1. In parseTypeExpr's while case, the continue expression was parsed inline as `eatToken(COLON) ? expectExpr : 0` which missed the required parentheses. Use parseWhileContinueExpr(p) instead, matching what parseWhileExpr already does. 2. In expectStatement, comptime blocks used parseBlock() which only matches `{ ... }`. Use parseBlockExpr() to also recognize labeled blocks like `comptime label: { ... }`. Co-Authored-By: Claude Opus 4.6

astgen: fix int_type signedness and struct layout

2026-02-13T20:28:25Z

commit e3466a6cd279af8f423010bcb7330b35c9d1a319 parent 4e7a84106a97d27116cf56757123763b32fda889 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 20:28:25 +0000 astgen: fix int_type signedness and struct layout Match Zig's Signedness enum values (unsigned=1, signed=0) and reorder int_type struct fields to match Zig's layout: [src_node, bit_count, signedness, pad]. Co-Authored-By: Claude Opus 4.6

astgen: fix cppcheck warnings (variableScope, uninitvar)

2026-02-13T20:11:22Z

commit 4e7a84106a97d27116cf56757123763b32fda889 parent b6da8dd6cd34a408c8b2568ca4c4a79acc0a3bcc Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 20:11:22 +0000 astgen: fix cppcheck warnings (variableScope, uninitvar) Inline index_inst at usage site to narrow scope, initialize var_init_rl.ctx to RI_CTX_NONE (matching upstream default). Co-Authored-By: Claude Opus 4.6

astgen: fix while loop dbg_node, block expr rvalue, int_type data issue

2026-02-13T19:29:11Z

commit b6da8dd6cd34a408c8b2568ca4c4a79acc0a3bcc parent 590fedf3fd4f7171e8bc125b3f2ccf0f2582b08d Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 19:29:11 +0000 astgen: fix while loop dbg_node, block expr rvalue, int_type data issue - whileExpr: emit emitDbgNode before condition evaluation to match upstream AstGen.zig:6579. Fixes astgen_test.zig corpus (1 missing DBG_STMT). - Block expressions in exprRl: wrap blockExprExpr result with rvalue() to handle result location storage (RL_PTR → STORE_NODE, etc.). Fixes parser_test.zig inst_len to exact match. - parser_test.zig corpus now has matching inst_len and all tags, but has 1 int_type data signedness mismatch (pre-existing issue). Co-Authored-By: Claude Opus 4.6

astgen: pass struct_init_empty through rvalue for proper RL handling

2026-02-13T19:20:47Z

commit 590fedf3fd4f7171e8bc125b3f2ccf0f2582b08d parent 996490599cbb421d6d002dfd77d9eddae8ec80ce Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 19:20:47 +0000 astgen: pass struct_init_empty through rvalue for proper RL handling Typed struct init empty (SomeType{}) was returning the result directly without going through rvalue(), missing STORE_NODE/STORE_TO_INFERRED_PTR/ COERCE_PTR_ELEM_TY+REF emissions when result location requires storage. Reduces parser_test.zig corpus diff from 5 to 1 instruction. Co-Authored-By: Claude Opus 4.6

astgen: fix retExpr ptr RL, typeExpr for type sub-exprs, array_init_ref, slice sentinel

2026-02-13T19:14:41Z

commit 996490599cbb421d6d002dfd77d9eddae8ec80ce parent 19e3e62bf66f0fb2a6c9dec06e55579fc3d0a671 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 19:14:41 +0000 astgen: fix retExpr ptr RL, typeExpr for type sub-exprs, array_init_ref, slice sentinel - retExpr: check nodesNeedRl to use RL_PTR with ret_ptr/ret_load instead of always RL_COERCED_TY with ret_node. Handle .always/.maybe error paths with load from ptr when needed. - Use typeExpr() instead of expr()/exprRl() for type sub-expressions in optional_type, error_union, merge_error_sets, and array elem types in structInitExpr/arrayInitExpr. This generates BLOCK_COMPTIME wrappers for non-primitive type identifiers. - arrayInitExpr: only use ARRAY_INIT_REF for RL_REF (not RL_REF_COERCED_TY), and pass non-ref results through rvalue(). - slice_sentinel: emit SLICE_SENTINEL_TY and coerce sentinel to that type. All slice variants: coerce start/end to usize. - COERCE_PTR_ELEM_TY in rvalue for RL_REF_COERCED_TY. - rvalueNoCoercePreRef for local variable references. - structInitExprPtr/arrayInitExprPtr for RL_PTR with OPT_EU_BASE_PTR_INIT. - Typed struct init: use RL_COERCED_TY with field type for init expressions. Reduces parser_test.zig corpus diff from 225 to 5 instructions. Co-Authored-By: Claude Opus 4.6

astgen: add parser_test.zig corpus test (skipped), skip combined corpus

2026-02-13T18:37:22Z

commit 19e3e62bf66f0fb2a6c9dec06e55579fc3d0a671 parent e3b7682529fc437b7eea2a43f55cdd724d6c38ac Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 18:37:22 +0000 astgen: add parser_test.zig corpus test (skipped), skip combined corpus Add individual corpus test for parser_test.zig. Currently fails with 225 instruction difference due to missing result location features: - OPT_EU_BASE_PTR_INIT (48 missing) - COERCE_PTR_ELEM_TY (40 missing) - VALIDATE_PTR_STRUCT_INIT / STRUCT_INIT_FIELD_PTR (ptr-based struct init) - VALIDATE_PTR_ARRAY_INIT / ARRAY_INIT_ELEM_PTR (ptr-based array init) - BLOCK_COMPTIME wrappers (40 missing) - STORE_NODE (49 missing) Co-Authored-By: Claude Opus 4.6

astgen: fix @as result propagation, RL_REF_COERCED_TY, continue break src_node, varDecl init RL

2026-02-13T18:20:36Z

commit e3b7682529fc437b7eea2a43f55cdd724d6c38ac parent c488448425ed749012c49573845683725690047a Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 18:20:36 +0000 astgen: fix @as result propagation, RL_REF_COERCED_TY, continue break src_node, varDecl init RL - @as builtin: propagate RL_TY with dest_type through exprRl instead of evaluating operand with RL_NONE and manually emitting as_node. Matches upstream AstGen.zig lines 8909-8920. - rlResultType: add missing RL_REF_COERCED_TY case (elem_type extraction). - continue handler: use AST_NODE_OFFSET_NONE for addBreak operand_src_node instead of computing node offset. Upstream uses addBreak (not addBreakWithSrcNode), which writes .none. - varDecl: set init_rl.src_node = 0 for RL_PTR (upstream leaves PtrResultLoc.src_node at default .none). Enables astgen_test.zig corpus test — all corpus tests now pass. Co-Authored-By: Claude Opus 4.6

astgen: fix double ZIR_REF_START_INDEX in assignOp

2026-02-13T17:00:29Z

commit c488448425ed749012c49573845683725690047a parent 731342f22d4a40e40c352c981174b43223ba7d46 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 17:00:29 +0000 astgen: fix double ZIR_REF_START_INDEX in assignOp addInstruction() already returns idx + ZIR_REF_START_INDEX (a ref), so the extra + ZIR_REF_START_INDEX on the inplace_arith_result_ty path resulted in a double-offset (+248 instead of +124) being stored in extra data for += and -= compound assignments. Co-Authored-By: Claude Opus 4.6

astgen: fix lastToken for BREAK/CONTINUE and ERROR_VALUE

2026-02-13T16:28:34Z

commit 731342f22d4a40e40c352c981174b43223ba7d46 parent 83b6b064d6aab360cbaad44cc714cc37053e1222 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 16:28:34 +0000 astgen: fix lastToken for BREAK/CONTINUE and ERROR_VALUE - BREAK/CONTINUE: lhs is opt_token (null=UINT32_MAX), not opt_node (null=0). Check nd.lhs != UINT32_MAX instead of != 0. - ERROR_VALUE: last token is main_token + 2 (error.name has 3 tokens), not main_token. - advanceSourceCursor: replace silent return on backward movement with assert, matching upstream behavior. Co-Authored-By: Claude Opus 4.6

astgen: re-skip astgen_test.zig corpus, clean up debug code

2026-02-13T15:29:20Z

commit 83b6b064d6aab360cbaad44cc714cc37053e1222 parent 5c34747c7e7bdbb2f1742d92573df014c61b6994 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 15:29:20 +0000 astgen: re-skip astgen_test.zig corpus, clean up debug code Cursor backward issue at inst 1557 (src_off goes 10502 -> 8256). Needs investigation of statement ordering in switch expression body. Co-Authored-By: Claude Opus 4.6

astgen: fix dbg_stmt cursor save, comptime guard, array_access

2026-02-13T15:27:02Z

commit 5c34747c7e7bdbb2f1742d92573df014c61b6994 parent f6dd97ebcc25896dcf43cba1ca9a6601bc2fd824 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 15:27:02 +0000 astgen: fix dbg_stmt cursor save, comptime guard, array_access - Save source cursor before evaluating sub-expressions in array_access and @tagName (cursor was being mutated by inner expr calls) - Add is_comptime guard to advanceSourceCursorToMainToken matching upstream maybeAdvanceSourceCursorToMainToken (skip in comptime) - Re-skip astgen_test.zig corpus (dbg_stmt mismatch remains at inst 1557) Co-Authored-By: Claude Opus 4.6

astgen: thread ResultLoc through comptimeExpr, fix ResultCtx propagation

2026-02-13T14:56:16Z

commit f6dd97ebcc25896dcf43cba1ca9a6601bc2fd824 parent 85965c93fe7aa6fc74d5824a66bf294a4af3470e Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 14:56:16 +0000 astgen: thread ResultLoc through comptimeExpr, fix ResultCtx propagation Mechanically match upstream comptimeExpr signature which accepts ResultInfo. This fixes coercion in comptime contexts (e.g. sentinel 0 becoming zero_u8 instead of generic zero when elem_type is u8). - comptimeExpr: add ResultLoc rl parameter, thread to exprRl - typeExpr: pass coerced_ty=type_type (matching upstream coerced_type_ri) - ptrType: pass ty=elem_type for sentinel, coerced_ty=u29 for align, coerced_ty=u16 for bit_range - retExpr: set RI_CTX_RETURN - tryExpr: set RI_CTX_ERROR_HANDLING_EXPR for operand - orelseCatchExpr: set RI_CTX_ERROR_HANDLING_EXPR when do_err_trace - ifExpr: set RI_CTX_ERROR_HANDLING_EXPR for error union condition - shiftOp: set RI_CTX_SHIFT_OP, use as_shift_operand in rvalue - breakResultInfo: don't forward ctx for discard case - fnDecl ret_body break: use AST_NODE_OFFSET_NONE Passes corpus tests for test_all.zig, build.zig, tokenizer_test.zig. Co-Authored-By: Claude Opus 4.6

more instructions

2026-02-13T14:26:51Z

commit 85965c93fe7aa6fc74d5824a66bf294a4af3470e parent 6ca03db77d59bd9626369a6350e6ead2517547e2 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 16:26:51 +0200 more instructions

astgen: fix string dedup with string_table, handle embedded nulls

2026-02-13T14:08:11Z

commit 6ca03db77d59bd9626369a6350e6ead2517547e2 parent a6e43d8f553910af40f1de3a49de82430b2e32f4 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 14:08:11 +0000 astgen: fix string dedup with string_table, handle embedded nulls Replace linear scan of all string_bytes with a string_table that only contains explicitly registered strings (via identAsString and strLitAsString). This prevents false deduplication against multiline string content that upstream's hash table would never match. Also handle embedded null bytes in strLitAsString: when decoded string contains \x00, skip dedup and don't add trailing null, matching upstream AstGen.zig:11560. Fix c_include extended instruction small field to 0xAAAA (undefined) matching upstream addExtendedPayload. Passes corpus tests for test_all.zig, build.zig, tokenizer_test.zig. Co-Authored-By: Claude Opus 4.6

astgen: fix build.zig corpus - call payload, condbr, for loop, ResultCtx

2026-02-13T12:51:43Z

commit a6e43d8f553910af40f1de3a49de82430b2e32f4 parent e242a1e0cad3c3fdaf3ce21154db70afbbf45364 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 12:51:43 +0000 astgen: fix build.zig corpus - call payload, condbr, for loop, ResultCtx Major fixes to match upstream AstGen.zig: - Call/FieldCall: flags at offset 0, scratch_extra for arg bodies, pop_error_return_trace from ResultCtx instead of hardcoded true - CondBr: write {condition, then_body_len, else_body_len} then bodies (was interleaving lengths with bodies) - For loop: use instructionsSliceUpto, resurrect loop_scope for increment/repeat after then/else unstacked - validate_struct_init_result_ty: un_node encoding (no extra payload) - addEnsureResult: flags always at pi+0 for all call types - addFunc: param_insts extra refs for correct body attribution - array_init_elem_type: addBin instead of addPlNodeBin - Pre-register struct field names for correct string ordering - comptime break_inline: AST_NODE_OFFSET_NONE - varDecl: pass RI_CTX_CONST_INIT context - Rewrite test infrastructure with field-by-field ZIR comparison Co-Authored-By: Claude Opus 4.6

update skill

2026-02-13T09:37:57Z

commit e242a1e0cad3c3fdaf3ce21154db70afbbf45364 parent f90638c7ab40c13cb617eaf2dd5f10708672d898 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 11:37:57 +0200 update skill

astgen: fix firstToken, slice rl, fnDecl param order, break labels

2026-02-13T09:13:58Z

commit f90638c7ab40c13cb617eaf2dd5f10708672d898 parent 2875552ea96e231d82c9cd83a090a1c42ddbd13c Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 09:13:58 +0000 astgen: fix firstToken, slice rl, fnDecl param order, break labels - Comprehensive firstToken: handle all AST node types matching upstream Ast.zig (call, struct_init, slice, binary ops, fn_decl, blocks, etc.) instead of falling through to main_token for unknown types. - Slice LHS uses .ref rl: pass RL_REF_VAL for slice_open/slice/ slice_sentinel LHS evaluation, matching upstream AstGen.zig:882-939. - fnDecl param name before type: resolve parameter name via identAsString before evaluating the type expression, matching upstream AstGen.zig:4283-4335 ordering. - Break label comparison: use tokenIdentEql (source text comparison) instead of identAsString to avoid adding label names to string_bytes, matching upstream AstGen.zig:2176 tokenIdentEql. Co-Authored-By: Claude Opus 4.6

astgen: fix call instruction append and port shiftOp

2026-02-13T08:47:39Z

commit 2875552ea96e231d82c9cd83a090a1c42ddbd13c parent 1e1e58fd6868d93ac37e348fe1098583c71f7a08 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 08:47:39 +0000 astgen: fix call instruction append and port shiftOp Fix call instruction not being appended to gz's instruction list due to a debug range check left in callExpr. This caused emitDbgStmt's dedup logic to not see call instructions, resulting in 10 missing dbg_stmt instructions in the build.zig corpus test. Also port shiftOp from upstream (AstGen.zig:9978) for shl/shr operators, which need typeof_log2_int_type for RHS coercion and their own emitDbgStmt. Co-Authored-By: Claude Opus 4.6

astgen: add rvalue coercion for orelse/catch then-branch

2026-02-13T08:26:16Z

commit 1e1e58fd6868d93ac37e348fe1098583c71f7a08 parent 2555f11c4983be0dc253738fd652c72fe1aa219a Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 08:26:16 +0000 astgen: add rvalue coercion for orelse/catch then-branch Port the missing rvalue() call in orelseCatchExpr's then-branch (AstGen.zig:6088-6091). The upstream applies rvalue with block_scope.break_result_info to the unwrapped payload before breaking, which emits as_node coercion when needed. The C code was passing the unwrapped value directly to addBreak without coercion. Also update the corpus build.zig TODO with current diff state. Co-Authored-By: Claude Opus 4.6

add skill

2026-02-13T07:55:46Z

commit 2555f11c4983be0dc253738fd652c72fe1aa219a parent 8bc1a80426df167ec3a90b43994204bdfbc853ce Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 07:55:46 +0000 add skill

add skill

2026-02-13T07:55:46Z

commit 8bc1a80426df167ec3a90b43994204bdfbc853ce parent d7c674bc5cc8d6449659200aaf173b0ec04b7ad0 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 07:55:46 +0000 add skill

comment out debug statementS

2026-02-13T07:55:29Z

commit d7c674bc5cc8d6449659200aaf173b0ec04b7ad0 parent 37a76169072595b641b9bc445e585b57315a2fa4 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 07:55:29 +0000 comment out debug statementS

astgen: skip failing corpus tests, fix fnDecl break node offset

2026-02-13T07:31:27Z

commit 37a76169072595b641b9bc445e585b57315a2fa4 parent cf5e64eb45136ad11026ee790dd834312559d581 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 07:31:27 +0000 astgen: skip failing corpus tests, fix fnDecl break node offset Remaining corpus diffs: - build.zig: 3 inst (missing rlBr for for/while), 160 extra, 18 string - tokenizer_test.zig: 0 inst, 811 extra, 3 string - astgen_test.zig: 0 inst, 377 extra, 1 string Co-Authored-By: Claude Opus 4.6

astgen: fix fnDecl break_inline to use correct node offset

2026-02-13T07:29:54Z

commit cf5e64eb45136ad11026ee790dd834312559d581 parent 6e8aca3fdd36f08c4da22480375f5a37544a3ae5 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 07:29:54 +0000 astgen: fix fnDecl break_inline to use correct node offset Use nodeIndexToRelative(decl_node) = node - proto_node for the break_inline returning func to declaration, matching upstream AstGen.zig:4495. Previously used AST_NODE_OFFSET_NONE which produced incorrect extra data values. Co-Authored-By: Claude Opus 4.6

astgen: implement anonymous struct init with result type

2026-02-13T06:05:09Z

commit 6e8aca3fdd36f08c4da22480375f5a37544a3ae5 parent 85e0db8dd939bb696562557fdbde73d39c1f48ad Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 06:05:09 +0000 astgen: implement anonymous struct init with result type Handle anonymous struct init (.{.a = b}) when the result location has a type (RL_TY/RL_COERCED_TY). Emit validate_struct_init_result_ty and struct_init_field_type instructions, matching upstream AstGen.zig: 1706-1731 and structInitExprTyped. Also add validate_struct_init_result_ty to test comparison functions and fix char literal escape sequences. build.zig corpus: improved from 25 to 3 inst diff (remaining: as_node coercion in rvalue). Co-Authored-By: Claude Opus 4.6

astgen: fix char literal escape sequences and skip remaining corpus

2026-02-13T06:00:22Z

commit 85e0db8dd939bb696562557fdbde73d39c1f48ad parent b6bc37b22e866a2d6d18204f442f362f3d68db22 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 06:00:22 +0000 astgen: fix char literal escape sequences and skip remaining corpus Add escape sequence decoding for character literals (\n, \r, \t, \\, \', \", \xNN), matching upstream AstGen.zig:8662-8675. Previously only read the raw byte after the opening quote. Remaining corpus test issues: - tokenizer_test.zig: 3 string_bytes diff, 811 extra_len diff - build.zig: 25 inst diff (struct init result_ty handling) - astgen_test.zig: 1 string_bytes diff, 377 extra_len diff Co-Authored-By: Claude Opus 4.6

astgen: implement RL_REF_COERCED_TY result location

2026-02-13T05:58:07Z

commit b6bc37b22e866a2d6d18204f442f362f3d68db22 parent 0220003e8337c6ec40a65c7b87876e80221d734a Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:58:07 +0000 astgen: implement RL_REF_COERCED_TY result location Add RL_REF_COERCED_TY to the result location enum, matching the upstream ref_coerced_ty variant. This carries a pointer type through the result location so that array init and struct init expressions can generate validate_array_init_ref_ty and struct_init_empty_ref_result instructions. - Use RL_REF_COERCED_TY in address_of when result type is available - Handle in arrayInitDotExpr to emit validate_array_init_ref_ty - Handle in structInitExpr for empty .{} to emit struct_init_empty_ref_result - Add RL_IS_REF() macro for checking both RL_REF and RL_REF_COERCED_TY - Update rvalue to treat RL_REF_COERCED_TY like RL_REF tokenizer_test.zig corpus: instructions now match (7026). Extra and string_bytes still have diffs. Co-Authored-By: Claude Opus 4.6

astgen: skip remaining corpus tests pending larger fixes

2026-02-13T05:53:38Z

commit 0220003e8337c6ec40a65c7b87876e80221d734a parent 092bebb573987e4b25be0cd698daad196e8fcbb5 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:53:38 +0000 astgen: skip remaining corpus tests pending larger fixes astgen_test.zig corpus: extra_len and string_bytes diffs remain. tokenizer_test.zig/build.zig: need ref_coerced_ty result location. Both issues require significant architectural work in the AstRlAnnotate pre-pass to properly support typed result locations (ref_coerced_ty, coerced_ty) that generate different instruction sequences. Co-Authored-By: Claude Opus 4.6

astgen: fix string literal escape handling and string table ordering

2026-02-13T05:52:32Z

commit 092bebb573987e4b25be0cd698daad196e8fcbb5 parent 8c8690e2903e9a33b1239ab70422a7810663c07f Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:52:32 +0000 astgen: fix string literal escape handling and string table ordering - Add escape sequence handling to strLitAsString (\n, \r, \t, \\, \', \", \xNN). Previously copied string content byte-for-byte. - Fix strLitAsString quote scanning to skip escaped quotes (\\"). - Handle @"..." quoted identifiers in identAsString. - Add test name and field name strings to scanContainer to match upstream string table insertion order. - Skip dedup against reserved index 0 in strLitAsString to match upstream hash table behavior. Co-Authored-By: Claude Opus 4.6

astgen: add missing emitDbgNode for if condition

2026-02-13T05:45:50Z

commit 8c8690e2903e9a33b1239ab70422a7810663c07f parent 7b7142d6ee6c31bf6599ad6a770db07153eda808 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:45:50 +0000 astgen: add missing emitDbgNode for if condition Port the emitDbgNode(parent_gz, cond_expr) call from upstream AstGen.zig:6335 into ifExpr. This emits a DBG_STMT instruction before evaluating the if condition, matching the reference output. Enable astgen_test.zig corpus test (still has extra_len and string_bytes mismatches to fix). Co-Authored-By: Claude Opus 4.6

astgen: add skipped corpus tests for remaining files

2026-02-13T05:16:10Z

commit 7b7142d6ee6c31bf6599ad6a770db07153eda808 parent 1ed7bfb82457987954c3f2dec740f972a6226e30 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:16:10 +0000 astgen: add skipped corpus tests for remaining files Add corpus tests for tokenizer_test.zig and astgen_test.zig, skipped pending fixes: - tokenizer_test.zig: needs ref_coerced_ty result location (428 inst diff) - astgen_test.zig: 1 missing dbg_stmt, extra_len mismatch (375 extra diff) Co-Authored-By: Claude Opus 4.6

astgen: fix typed array init to use elem_type coercion

2026-02-13T05:15:08Z

commit 1ed7bfb82457987954c3f2dec740f972a6226e30 parent e726562db6a34a700bb47323d91ada9a4390d26c Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:15:08 +0000 astgen: fix typed array init to use elem_type coercion Fix arrayInitExpr for [_]T{...} patterns to use elem_type as the coercion target for each element expression (RL_COERCED_TY), matching upstream AstGen.zig:1598-1642. Previously used RL_NONE_VAL which produced different instruction sequences. Add struct init typed and enum decl isolated tests. Note: build.zig corpus still needs ref_coerced_ty result location support and fn body ordering fixes — left as TODO. Co-Authored-By: Claude Opus 4.6

astgen: add missing ZIR tags to test comparison functions

2026-02-13T05:12:06Z

commit e726562db6a34a700bb47323d91ada9a4390d26c parent 82753753077806436de8cd94b75443e20333587e Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:12:06 +0000 astgen: add missing ZIR tags to test comparison functions Add validate_struct_init_ty, struct_init_empty_result, struct_init_empty, struct_init_field_type, struct_init, struct_init_ref, validate_array_init_ref_ty, validate_array_init_ty to the test comparison switch cases. Add func/func_inferred proto_hash to hash skip mask. Tests added: struct init typed, enum decl. Co-Authored-By: Claude Opus 4.6

astgen: implement enum declarations and fix fn proto node

2026-02-13T05:10:51Z

commit 82753753077806436de8cd94b75443e20333587e parent 0ee6872408bd482e05565dfb223060a4a3133286 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 05:10:51 +0000 astgen: implement enum declarations and fix fn proto node Add enumDeclInner and setEnum, ported from upstream AstGen.zig:5508-5729. Dispatch in containerDecl based on main_token keyword (struct vs enum). Fix fnDecl to pass proto_node (not fn_decl node) to makeDeclaration, matching upstream AstGen.zig:4090. Improve is_pub detection in fnDecl to use token tags instead of string comparison. Add func/func_inferred proto_hash to the test hash skip mask, and enum_decl fields_hash skipping. Tests added: enum decl. Co-Authored-By: Claude Opus 4.6

astgen: handle extern variables and full declaration layout

2026-02-13T04:56:21Z

commit 0ee6872408bd482e05565dfb223060a4a3133286 parent f980728b3d9bd4a7d02afcbfc7f30c2f51cc9968 Author: Motiejus Jakštys Date: Fri, 13 Feb 2026 04:56:21 +0000 astgen: handle extern variables and full declaration layout Rewrite globalVarDecl to properly handle extern/export/pub/threadlocal variables with type/align/linksection/addrspace bodies. Port the full Declaration extra data layout from upstream AstGen.zig:13883, including lib_name, type_body, and special bodies fields. Add extractVarDecl to decode all VarDecl node types (global, local, simple, aligned) and computeVarDeclId to select the correct Declaration.Flags.Id. Fix firstToken to scan backwards for modifier tokens (extern, export, pub, threadlocal, comptime) on var decl nodes, matching upstream Ast.zig:634-643. Test added: extern var. Co-Authored-By: Claude Opus 4.6

astgen: implement error set declarations

2026-02-12T20:35:58Z

commit f980728b3d9bd4a7d02afcbfc7f30c2f51cc9968 parent 48f5b1e3ef16202c2e275f2d3c9fc11e23cf3f53 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 20:35:58 +0000 astgen: implement error set declarations Port errorSetDecl from upstream AstGen.zig:5905-5955. Replaces the SET_ERROR placeholder at the ERROR_SET_DECL case. Loops tokens between lbrace and rbrace, collecting identifier strings into the ErrorSetDecl payload. Also add error_set_decl to the test comparison functions. Tests added: empty error set, error set with members. Co-Authored-By: Claude Opus 4.6

astgen: implement struct field emission in structDeclInner

2026-02-12T20:33:21Z

commit 48f5b1e3ef16202c2e275f2d3c9fc11e23cf3f53 parent e35ceadeaff46f4c7093100be1606b8ed5738e02 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 20:33:21 +0000 astgen: implement struct field emission in structDeclInner Port WipMembers, field processing loop, nodeImpliesMoreThanOnePossibleValue, and nodeImpliesComptimeOnly from upstream AstGen.zig. Struct fields are now properly emitted with type expressions, default values, alignment, and comptime annotations. Also fix structDeclInner to add the reserved instruction to the GenZir body (matching upstream gz.reserveInstructionIndex behavior) and use AST_NODE_OFFSET_NONE for break_inline src_node in field bodies. Tests added: single field, multiple fields, field with default, field with alignment, comptime field. Co-Authored-By: Claude Opus 4.6

astgen: enable corpus test for test_all.zig

2026-02-12T20:23:55Z

commit e35ceadeaff46f4c7093100be1606b8ed5738e02 parent 83eb0710fe6ecb2fba79cb5dbb32fde62f03731f Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 20:23:55 +0000 astgen: enable corpus test for test_all.zig test_all.zig is 5 lines of @import statements and already produces matching ZIR. Enable it as a standalone corpus test while keeping the full corpus test skipped. Co-Authored-By: Claude Opus 4.6

more astgen

2026-02-12T19:48:39Z

commit 83eb0710fe6ecb2fba79cb5dbb32fde62f03731f parent 27e50d7a102804f1de5dd60aec8caf26d930a9c6 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 21:48:39 +0200 more astgen

astgen: fix continue and for loop scope handling

2026-02-12T18:18:31Z

commit 27e50d7a102804f1de5dd60aec8caf26d930a9c6 parent dc6310f75bfba3d066fdee4000427c4d8e635de4 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 18:18:31 +0000 astgen: fix continue and for loop scope handling - continue: emit check_comptime_control_flow and restore_err_ret_index_unconditional (matching AstGen.zig:2328-2334) - forExpr: set loop_scope.continue_block = cond_block (matching AstGen.zig:6974), allowing continue inside for loops to target the correct scope Co-Authored-By: Claude Opus 4.6

astgen: fix corpus mismatches (gap 20→-17)

2026-02-12T17:58:52Z

commit dc6310f75bfba3d066fdee4000427c4d8e635de4 parent 3b5f1f82a05af909b6edc3cb5f058da1ae0d6e71 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 17:58:52 +0000 astgen: fix corpus mismatches (gap 20→-17) - endsWithNoReturn: add missing noreturn tags (RET_ERR_VALUE, RET_LOAD, COMPILE_ERROR, UNREACHABLE, TRAP, CHECK_COMPTIME_CONTROL_FLOW, SWITCH_CONTINUE) - defer body: emit dbg_node + ensure_result (unusedResultExpr pattern) - unwrap_optional: add emitDbgStmt before OPTIONAL_PAYLOAD_SAFE - slice: add emitDbgStmt to SLICE_OPEN, SLICE, SLICE_SENTINEL - switchExpr: remove erroneous save_err_ret_index (only in ErrUnion variant) Co-Authored-By: Claude Opus 4.6

astgen: typeCast DBG_STMT, builtinEvalToError, memset/memcpy fixes

2026-02-12T15:09:25Z

commit 3b5f1f82a05af909b6edc3cb5f058da1ae0d6e71 parent 9150dd9bf0ec665fa10583679a4d0960565f13f0 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 15:09:25 +0000 astgen: typeCast DBG_STMT, builtinEvalToError, memset/memcpy fixes - Add emitDbgStmt and result type from RL to typeCast builtins (@intCast, @truncate, @ptrCast, @enumFromInt, @bitCast) - Pass ResultLoc to builtinCall for result type access - Fix @memset: upstream derives elem_ty via typeof+indexable_ptr_elem_type and evaluates value with coerced_ty RL - Fix @memcpy/@memset to return void_value (not instruction ref) - Add builtinEvalToError: per-builtin eval_to_error lookup instead of always returning MAYBE for all builtins - Fix nodeMayAppendToErrorTrace: pass loop var 'n' to nodeMayEvalToError instead of original 'node' parameter Corpus: ref=4177 got=4160, mismatch at inst[557], gap=17 Co-Authored-By: Claude Opus 4.6

astgen: add genDefers, ret_err_value fast path, fix scope chain

2026-02-12T14:23:19Z

commit 9150dd9bf0ec665fa10583679a4d0960565f13f0 parent b1e8438158aa0d112672e225c24bd06e5a65a04d Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 14:23:19 +0000 astgen: add genDefers, ret_err_value fast path, fix scope chain - Add genDefers() with DEFER_NORMAL_ONLY/DEFER_BOTH_SANS_ERR modes - Add countDefers() for checking defer types in scope chain - Add genDefers calls to breakExpr, continueExpr, retExpr, tryExpr - Add fn_block tracking to AstGenCtx (set in fnDecl/testDecl) - Add return error.Foo fast path using ret_err_value instruction - Fix fullBodyExpr scope: pass &body_gz.base instead of params_scope - Fix blockExprStmts: guard genDefers with noreturn_stmt check - Fix retExpr MAYBE path: correct dbg_stmt/restore ordering - Save/restore fn_block in containerDecl (set NULL for nested structs) - addEnsureResult now returns bool indicating noreturn First ZIR tag mismatch moved from inst[211] to inst[428]. Co-Authored-By: Claude Opus 4.6

remove obsolete functions/decls

2026-02-12T14:13:56Z

commit b1e8438158aa0d112672e225c24bd06e5a65a04d parent e115ec6eebf1fa61155e3ec4d4d8c1108903556e Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 16:13:56 +0200 remove obsolete functions/decls

stricter test suite

2026-02-12T13:42:38Z

commit e115ec6eebf1fa61155e3ec4d4d8c1108903556e parent 5f4b61f89d12104f4893b52669af91c3939ad00b Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 15:42:38 +0200 stricter test suite

astgen: RL threading, labeled blocks, comptime block payload

2026-02-12T13:24:27Z

commit 5f4b61f89d12104f4893b52669af91c3939ad00b parent 63bcbfe2927089eb76257c6dc32e859bcb159ffc Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 13:24:27 +0000 astgen: RL threading, labeled blocks, comptime block payload Port several AstGen.zig patterns to C: - Thread ResultLoc through fullBodyExpr, ifExpr, switchExpr, callExpr, calleeExpr (for proper type coercion and decl_literal handling) - Add rlBr() and breakResultInfo() helpers mirroring upstream ri.br() and setBreakResultInfo - Implement labeled blocks with label on GenZir (matching upstream), restoreErrRetIndex before break, and break_result_info - Fix breakExpr to emit restoreErrRetIndex and use break_result_info for value/void breaks (AstGen.zig:2150-2237) - Add setBlockComptimeBody with comptime_reason field (was using setBlockBody which omitted the reason, causing wrong extra layout) - Add comptime_reason parameter to comptimeExpr with correct reasons for type/array_sentinel/switch_item/comptime_keyword contexts - Handle enum_literal in calleeExpr (decl_literal_no_coerce) - Fix decl_literal rvalue wrapping for ty/coerced_ty result locs All 5 corpus files now pass byte-by-byte ZIR comparison. Co-Authored-By: Claude Opus 4.6

disable leak checker for now

2026-02-12T12:08:49Z

commit 63bcbfe2927089eb76257c6dc32e859bcb159ffc parent c54786ef508b511c1efe31db1cb48672f30108e3 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 14:08:49 +0200 disable leak checker for now

quicker `zig build test`

2026-02-12T12:06:15Z

commit c54786ef508b511c1efe31db1cb48672f30108e3 parent f1dc68724d552a86dfc1b43513b90e51e6f8881c Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 14:06:15 +0200 quicker `zig build test`

disable gcc_analyze for now

2026-02-12T11:52:53Z

commit f1dc68724d552a86dfc1b43513b90e51e6f8881c parent a18da24dd04a2298682283d07bfdcdbaded22ce6 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 13:52:53 +0200 disable gcc_analyze for now

lint per file

2026-02-12T11:51:53Z

commit a18da24dd04a2298682283d07bfdcdbaded22ce6 parent 7e0cd2f3688b839f1c6f9098aa187e6c6dadfb35 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 13:51:53 +0200 lint per file gives paralellism

astgen: port Phases 4-5 (control flow, expressions, scope chain)

2026-02-12T11:40:51Z

commit 7e0cd2f3688b839f1c6f9098aa187e6c6dadfb35 parent 13bf65a9f3677eda4fba7c399b14432e02f56bfe Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 11:40:51 +0000 astgen: port Phases 4-5 (control flow, expressions, scope chain) Port scope chain infrastructure, function parameters, local var_decl, control flow (if/for/while/switch/orelse/catch/defer), labeled blocks, break/continue, comparison/boolean/unary operators, array access, field access rvalue, rvalue type coercion optimization, and many builtins from upstream AstGen.zig. test_all.zig corpus passes; 4 remaining corpus files still have mismatches (WIP). Also fix cppcheck/lint issues: safe realloc pattern, null checks, const correctness, enable inline suppressions, comment out test debug output for clean `zig build`. Co-Authored-By: Claude Opus 4.6

valgrind no timeout

2026-02-12T07:29:33Z

commit 13bf65a9f3677eda4fba7c399b14432e02f56bfe parent fd5230a1578556b4b3438970654fafd450739a37 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 09:29:33 +0200 valgrind no timeout

test timeouts

2026-02-12T06:16:50Z

commit fd5230a1578556b4b3438970654fafd450739a37 parent 17db11c66cff7a8726262e219a1cced1374edc6f Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 08:16:50 +0200 test timeouts

astgen: port Phases 1-3 from upstream AstGen.zig

2026-02-11T22:42:01Z

commit 17db11c66cff7a8726262e219a1cced1374edc6f parent 4ecce1b7d54220278cb1c42293186e5ebde30978 Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 00:42:01 +0200 astgen: port Phases 1-3 from upstream AstGen.zig Replace fixed-size GenZir instruction array with shared dynamic scratch array matching the upstream design. Add expression types: grouped_expression, unreachable_literal, enum_literal, multiline_string_literal, return, call, struct_init, try. Add @cImport/@cInclude support. Fix fn_decl src_node to use the fn_decl node (not proto_node). Fix GenZir unstack ordering so fn_block is unstacked before adding instructions to decl_block. Co-Authored-By: Claude Opus 4.6

use zig's x86 backend

2026-02-11T22:32:57Z

commit 4ecce1b7d54220278cb1c42293186e5ebde30978 parent 981d95b4e2d39a7cd126f17b4d7f70846b1e15dd Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 00:32:57 +0200 use zig's x86 backend

build: subtract avx512f when running under valgrind

2026-02-11T22:20:12Z

commit 981d95b4e2d39a7cd126f17b4d7f70846b1e15dd parent 0b115912b93873fa83c23d3c053d80cd51f35ded Author: Motiejus Jakštys Date: Thu, 12 Feb 2026 00:20:12 +0200 build: subtract avx512f when running under valgrind Valgrind 3.26.0 cannot decode AVX-512 instructions. On AVX-512 capable CPUs (e.g. Zen 4), Zig's standard library emits these instructions when targeting native, causing immediate crashes. Subtract avx512f from the CPU features when -Dvalgrind is set. Co-Authored-By: Claude Opus 4.6

Add structural AST consistency check to parser tests

2026-02-11T21:58:18Z

commit 0b115912b93873fa83c23d3c053d80cd51f35ded parent 99d37b1ebd46256466049b98a23e613d406909e9 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 23:58:18 +0200 Add structural AST consistency check to parser tests Compare the C parser's AST against Zig's std.zig.Ast.parse() output in every testParse call. This catches structural mismatches (tokens, nodes, extra_data) without needing a separate corpus. Also fix two C parser bugs found by the new check: - Empty anonymous init `.{}` now uses struct_init_dot_two (not array_init_dot_two), matching the Zig parser. - for-type-expr with single input and no else now emits for_simple (not for with extra_data), matching the Zig parser's parseFor. Skip the check under valgrind since Zig's tokenizer uses AVX-512. Co-Authored-By: Claude Opus 4.6

astgen: implement ZIR generation for basic expressions and declarations

2026-02-11T21:32:37Z

commit 99d37b1ebd46256466049b98a23e613d406909e9 parent 71e15b70458da5885865a5f4572fa159cb1f6aa5 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 21:32:37 +0000 astgen: implement ZIR generation for basic expressions and declarations Mechanical translation of AstGen.zig into C. Implements: - Container members: comptime, simple_var_decl, test_decl, fn_decl - Expressions: number_literal, string_literal, identifier (with primitive types, integer types, and decl_val/decl_ref resolution), field_access (field_val/field_ptr), address_of, builtin_call (@import), array_type, array_init (with inferred [_] length), array_cat (++), ptr_type - Statement types: assign with _ = expr discard pattern - Test infrastructure: testDecl, addFunc, fullBodyExpr, blockExprStmts, emitDbgNode/emitDbgStmt, rvalueDiscard - Support: GenZir sub-block instruction tracking, result location propagation (RL_NONE/RL_REF/RL_DISCARD), string dedup, import tracking, namespace decl table, lastToken, firstToken 1/5 corpus files pass (test_all.zig). Remaining 4 skip gracefully via has_compile_errors when encountering unimplemented features. Co-Authored-By: Claude Opus 4.6 (1M context)

remove usage of attribute((cleanup(fn)))

2026-02-11T20:45:54Z

commit 71e15b70458da5885865a5f4572fa159cb1f6aa5 parent 2af3ca869a8dc2a5a771f0724d250465e01a1263 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 22:45:54 +0200 remove usage of __attribute__((__cleanup__(fn))) problematic with tcc.

more instructions for agents

2026-02-11T20:05:33Z

commit 2af3ca869a8dc2a5a771f0724d250465e01a1263 parent 5dcdcbaa13fee9b1e8ac1a4bb9aaf28958687f80 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 20:05:33 +0000 more instructions for agents

Merge branch 'zig01'

2026-02-11T18:37:51Z

commit 5dcdcbaa13fee9b1e8ac1a4bb9aaf28958687f80 parent 517155e0a716a58667222aa26928b4235dda387f Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:37:51 +0000 Merge branch 'zig01'

update AGENTS.md

2026-02-11T18:37:25Z

commit 517155e0a716a58667222aa26928b4235dda387f parent d0abfbd4e0837b7b88a9f202dbd37d31ea8755e5 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:37:25 +0000 update AGENTS.md

Add astgen scaffolding with ZIR data structures and first passing test

2026-02-11T18:37:07Z

commit d0abfbd4e0837b7b88a9f202dbd37d31ea8755e5 parent be9d9bd9ec8f085c16708d139841a0524788f3e6 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:37:07 +0000 Add astgen scaffolding with ZIR data structures and first passing test Introduce zir.h/zir.c with ZIR instruction types (269 tags, 56 extended opcodes, 8-byte Data union) ported from lib/std/zig/Zir.zig, and astgen.h/astgen.c implementing the empty-container fast path that produces correct ZIR for empty source files. The test infrastructure in astgen_test.zig compares C astGen() output field-by-field against Zig's std.zig.AstGen.generate() using tag-based dispatch, avoiding raw byte comparison since Zig's Data union has no guaranteed in-memory layout. Co-Authored-By: Claude Opus 4.6

valgrind

2026-02-11T18:27:44Z

commit 62ffa76d2318886aee9d667ab86ca44ec3137e6e parent fdfd72a26b92794b54affc4baee411155e0d6d73 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:27:44 +0000 valgrind

valgrind

2026-02-11T18:27:44Z

commit be9d9bd9ec8f085c16708d139841a0524788f3e6 parent fdfd72a26b92794b54affc4baee411155e0d6d73 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:27:44 +0000 valgrind

update LICENSE again

2026-02-11T18:14:32Z

commit fdfd72a26b92794b54affc4baee411155e0d6d73 parent b3f32cfd14bebb4da56539a2bd0188d0c4e99b76 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:14:32 +0000 update LICENSE again

Update README

2026-02-11T18:10:49Z

commit b3f32cfd14bebb4da56539a2bd0188d0c4e99b76 parent 835a8b2016ee4f59f1ea1fa1832ed95105d6a0f4 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:10:49 +0000 Update README

parser: align structural logic with upstream Parse.zig

2026-02-11T18:10:26Z

commit 835a8b2016ee4f59f1ea1fa1832ed95105d6a0f4 parent c4c52f25aba02378be9c7c9377fa86e84ec29bd4 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 18:10:26 +0000 parser: align structural logic with upstream Parse.zig Fix 11 divergences where parser.c differed from Parse.zig in logic or structure, not justified by C vs Zig language differences: - parseContainerMembers: set trailing=false after test decl, add field_state tracking (A1, A2) - expectStatement: guard defer/errdefer behind allow_defer_var (A3) - expectVarDeclExprStatement: wrap assignment in comptime node when comptime_token is set (A4) - parseBlock: guard semicolon check with statements_len != 0 (A5) - parseLabeledStatement: add parseSwitchExpr call (A6) - parseWhileStatement: restructure with else_required and early returns to match upstream control flow (A7) - parseForStatement: restructure with else_required/has_else and early returns to match upstream control flow (A8) - parseFnProto: fail when return_type_expr is missing (A9) - expectTopLevelDecl: track is_extern, reject extern fn body (A10) - parsePrefixExpr: remove TOKEN_KEYWORD_AWAIT case (A11) Co-Authored-By: Claude Opus 4.6

more debugging tips

2026-02-11T14:54:18Z

commit c4c52f25aba02378be9c7c9377fa86e84ec29bd4 parent 5b69d6705bb88093a443a44fcc1bca18c721338c Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 14:54:18 +0000 more debugging tips

parser: reorder function definitions to match upstream Parse.zig

2026-02-11T14:24:37Z

commit 5b69d6705bb88093a443a44fcc1bca18c721338c parent e3500106501736f53a64775e7f551e78a3409918 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 14:24:37 +0000 parser: reorder function definitions to match upstream Parse.zig Reorder function definitions so they follow the same order as upstream zig/lib/std/zig/Parse.zig, making cross-referencing easier. Move OperInfo and NodeContainerField typedefs to the header section, and add forward declarations for parseParamDeclList and operTable that are now needed due to the new ordering. Co-Authored-By: Claude Opus 4.6

parser: align function names with upstream Parse.zig

2026-02-11T13:48:45Z

commit e3500106501736f53a64775e7f551e78a3409918 parent 755a0398c7ada3d347fec310574848fca419de78 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 13:48:45 +0000 parser: align function names with upstream Parse.zig Rename assignOpTag to assignOpNode to match upstream. Extract inlined code into separate functions to match upstream's structure: expectTestDecl, expectIfStatement, expectParamDecl, parseSwitchProngList. Add parseSingleAssignExpr for upstream API surface alignment. Co-Authored-By: Claude Opus 4.6

sort forward declarations by name

2026-02-11T13:21:34Z

commit 755a0398c7ada3d347fec310574848fca419de78 parent b1ccdd4c3c43c6c118dc8b6dd7416ebc85edbb7c Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 13:21:34 +0000 sort forward declarations by name

parser: replace fprintf+longjmp with fail(), add forward declarations

2026-02-11T13:20:10Z

commit b1ccdd4c3c43c6c118dc8b6dd7416ebc85edbb7c parent 13fd3718366f70fa31ad9b613ad59e8a12f878da Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 13:20:10 +0000 parser: replace fprintf+longjmp with fail(), add forward declarations Introduce a fail(p, "msg") inline function that stores the error message in a buffer and longjmps, replacing ~52 fprintf(stderr,...)+longjmp pairs. The error message is propagated through Ast.err_msg so callers can decide whether/how to display it. Also add forward declarations for all static functions and move PtrModifiers typedef to the type definitions section. Co-Authored-By: Claude Opus 4.6

parser: port upstream error detection, unskip all 14 tests

2026-02-11T12:57:56Z

commit 13fd3718366f70fa31ad9b613ad59e8a12f878da parent 7c69ef5fd7407d2a443c60c7eb1b8209a375735a Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 12:57:56 +0000 parser: port upstream error detection, unskip all 14 tests Mechanically port error handling patterns from upstream Parse.zig: - &&/whitespace validation in binary operator parsing - varargs state tracking in parameter lists - invalid_bit_range check for slice types - same-line doc comment detection in eatDocComments - required for-loop payload validation - error keyword requiring '.' for error values - expected_semi_or_else checks in if/for/while statements - labeled for/while/inline expressions in parsePrimaryExpr - doc comment validation for test/comptime blocks - EOF check in parseRoot - comptime handling in else-branch context All 381/381 tests pass with 0 skipped. Co-Authored-By: Claude Opus 4.6

parser: skip 14 tests, replace assertToken assert with longjmp

2026-02-11T12:14:11Z

commit 7c69ef5fd7407d2a443c60c7eb1b8209a375735a parent 928e07c8509e9aa1a18c9c53cc174b796dc96092 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 12:14:11 +0000 parser: skip 14 tests, replace assertToken assert with longjmp Skip 14 tests that require unimplemented parser features: - 5 testCanonical/testTransform (primitive type symbols, invalid bit range, doc comment validation, multiline string in blockless if) - 9 testError/recovery (error detection for comptime, varargs, semicolons, brackets, whitespace, ampersand) Replace assert() in assertToken with longjmp to prevent crashes on malformed input during testError tests. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: refactor expectVarDeclExprStatement to match upstream

2026-02-11T12:02:24Z

commit 928e07c8509e9aa1a18c9c53cc174b796dc96092 parent fb51f83114c245b313298f3f67c4242e75029798 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 12:02:24 +0000 parser: refactor expectVarDeclExprStatement to match upstream Restructure expectVarDeclExprStatement to match upstream Parse.zig's approach: check for '=' first, then handle var decl init vs expression statement separately. This fixes parsing of var decls with container types (e.g., `const x: struct {} = val`), where the '}' of the type was incorrectly treated as a block-terminated expression. Also make container member parsing strict (longjmp on unexpected tokens instead of recovery), and add for/while/labeled-block handling in parseTypeExpr for function return types. 376/381 tests pass. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: sync tests with upstream, fix tokenizer and parser

2026-02-11T11:40:38Z

commit fb51f83114c245b313298f3f67c4242e75029798 parent 5ec14098371f3d15029ab213fd27ae1aefe9c25e Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 11:40:38 +0000 parser: sync tests with upstream, fix tokenizer and parser Sync parser_test.zig test section with upstream, adding ~40 new tests (testError, testCanonical, testTransform). Remove extra blank lines between tests to match upstream formatting. Fix tokenizer keyword lookup bug: getKeyword() returned TOKEN_INVALID when input was longer than a keyword prefix (e.g., "orelse" matched "or" prefix then bailed out instead of continuing to find "orelse"). Fix parser to handle if/for/while expressions in type position (e.g., function return types like `fn foo() if (cond) i32 else void`). Add labeled block support in parsePrimaryTypeExpr. Replace assert for chained comparison operators with longjmp error. 365/381 tests pass. Remaining 16 failures are parser limitations for specific syntax patterns and error recovery. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: propagate errors via setjmp/longjmp instead of exit(1)

2026-02-11T10:18:22Z

commit 5ec14098371f3d15029ab213fd27ae1aefe9c25e parent 9d6a4bac97523472def538969f0b5c797099e5fd Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 10:18:22 +0000 parser: propagate errors via setjmp/longjmp instead of exit(1) Replace 32 parse-error exit(1) calls with longjmp to allow callers to detect and handle parse failures. The OOM exit(1) in astNodeListEnsureCapacity is kept as-is. Add has_error flag to Ast, wrap parseRoot() with setjmp in astParse(), and update test infrastructure to use the C parser for testError tests. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: refactor to match upstream Parse.zig structure

2026-02-11T09:56:13Z

commit 9d6a4bac97523472def538969f0b5c797099e5fd parent b8388f74b1f24a5edcc25f286588ccde4fe29c3d Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 09:56:13 +0000 parser: refactor to match upstream Parse.zig structure Extract shared helpers and fix error handling to align with upstream: - Replace 7 assert() calls that crash on valid input with fprintf+exit - Extract parsePtrModifiers() and makePtrTypeNode() to deduplicate pointer modifier parsing from 4 inline copies into 1 shared function - Extract parseBlockExpr() and parseWhileContinueExpr() helpers - Move comptime wrapping into expectVarDeclExprStatement() via comptime_token parameter - Extract finishAssignExpr(), parseSwitchItem(), parseSwitchProng() Net effect: 3233 → 3106 lines. All 298+ parser tests pass. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: reorder tests, fix check_test_order.py for new file layout

2026-02-11T09:28:05Z

commit b8388f74b1f24a5edcc25f286588ccde4fe29c3d parent 7cf593539ced5ed5ff1c4517b80657bdcba2618e Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 09:28:05 +0000 parser: reorder tests, fix check_test_order.py for new file layout Update check_test_order.py to handle header/footer split correctly when infrastructure code is at both start and end of file. Co-Authored-By: Claude Opus 4.6 (1M context)

parser: port canonicalize and cast builtin tests

2026-02-11T09:25:10Z

commit 7cf593539ced5ed5ff1c4517b80657bdcba2618e parent 2d23832c54eff246c6da494659c95d3854f6f507 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 09:25:10 +0000 parser: port canonicalize and cast builtin tests Port tests: - "canonicalize symbols (simple)" - "canonicalize symbols (character escapes)" - "canonicalize symbols (asm)" - "canonicalize cast builtins" - "do not canonicalize invalid cast builtins" Update test bodies to match upstream: - "comptime block in container" - "comment after empty comment" - "comment after params" - "decimal float literals with underscore separators" - "container doc comments" Co-Authored-By: Claude Opus 4.6 (1M context)

parser: update test bodies to match upstream verbatim

2026-02-11T09:18:28Z

commit 2d23832c54eff246c6da494659c95d3854f6f507 parent 18fdbcbb33dc6c90789070d2ea6557837208c9ef Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 09:18:28 +0000 parser: update test bodies to match upstream verbatim Update test content to match upstream exactly: - "comptime block in container" - "comment after empty comment" - "comment after params" - "decimal float literals with underscore separators" - "container doc comments" Co-Authored-By: Claude Opus 4.6 (1M context)

parser: update defer test body to match upstream

2026-02-11T08:46:58Z

commit 18fdbcbb33dc6c90789070d2ea6557837208c9ef parent 7c7c63a2ecfe198f30fe85467f2b90a0edbbe1a3 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 08:46:58 +0000 parser: update defer test body to match upstream Co-Authored-By: Claude Opus 4.6 (1M context)

parser: fix duplicate while test content, match upstream verbatim

2026-02-11T07:50:04Z

commit 7c7c63a2ecfe198f30fe85467f2b90a0edbbe1a3 parent abdfad528f90d3dd144547f684eb5afc50e083e1 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 07:50:04 +0000 parser: fix duplicate while test content, match upstream verbatim Co-Authored-By: Claude Opus 4.6 (1M context)

parser: update test bodies to match upstream verbatim

2026-02-11T07:46:26Z

commit abdfad528f90d3dd144547f684eb5afc50e083e1 parent 8b6f8836c0d44c3b38f6e20d421488e076cd2662 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 07:46:26 +0000 parser: update test bodies to match upstream verbatim Update test content to match upstream: - "arrays" (full upstream test content) - "blocks" (add labeled block and blk: variants) - "comptime" (full upstream test with comptime var, expressions) Co-Authored-By: Claude Opus 4.6 (1M context)

parser: port destructure, infix, pointer/slice attribute tests

2026-02-11T07:33:01Z

commit 8b6f8836c0d44c3b38f6e20d421488e076cd2662 parent e8dd9a5736233bf638ee1c6dfbfbc2b9022e6ae2 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 07:33:01 +0000 parser: port destructure, infix, pointer/slice attribute tests Port tests: - "destructure" (implement assign_destructure in expectVarDeclExprStatement) - "infix operators" (partial — orelse as discard target deferred) - "pointer attributes" (fix ** to parse inner modifiers per upstream) - "slice attributes" (fix sentinel+align to use ptr_type node) Fix test bodies to match upstream verbatim: - "block with same line comment after end brace" - "comments before var decl in struct" - "comments before global variables" - "comments in statements" - "comments before test decl" Co-Authored-By: Claude Opus 4.6 (1M context)

parser: port pointer/slice attributes tests

2026-02-11T07:05:33Z

commit e8dd9a5736233bf638ee1c6dfbfbc2b9022e6ae2 parent a88a2e7428a29f25f22e92803c7ff6e26b96a51c Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 07:05:33 +0000 parser: port pointer/slice attributes tests Port tests: - "pointer attributes" - "slice attributes" Fix ** pointer type to parse modifiers per upstream (no sentinel, modifiers on inner pointer only). Fix ptr_type selection when both sentinel and align are present (use ptr_type with extra data instead of ptr_type_sentinel which can't store alignment). Co-Authored-By: Claude Opus 4.6 (1M context)

parser: update test bodies to match upstream verbatim

2026-02-11T06:46:01Z

commit a88a2e7428a29f25f22e92803c7ff6e26b96a51c parent 16ab58184782b50f0d957fbe60dd3db4a24bf949 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 06:46:01 +0000 parser: update test bodies to match upstream verbatim Update test content to match upstream exactly: - "block with same line comment after end brace" - "comments before var decl in struct" - "comments before global variables" - "comments in statements" - "comments before test decl" Co-Authored-By: Claude Opus 4.6 (1M context)

reorder tests better

2026-02-11T06:11:57Z

commit 16ab58184782b50f0d957fbe60dd3db4a24bf949 parent b3276ffe5bfc11863c0515f57d0e8a54e6968397 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 06:11:57 +0000 reorder tests better

parser: port large batch of formatting tests (289/344)

2026-02-11T06:07:27Z

commit b3276ffe5bfc11863c0515f57d0e8a54e6968397 parent 508a90b6fddc0dbd9daabc80132df1ea07a48813 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 06:07:27 +0000 parser: port large batch of formatting tests (289/344) Port 29 tests including: - field access, multiline string, regression tests - array formatting, function params, doc comments - for loop payloads, switch items, saturating arithmetic - inline for/while in expression context - canonicalize symbols, pointer type syntax, binop indentation Implement inline for/while in parsePrimaryExpr. Remove unused tok variable from parsePrimaryExpr. Deferred tests (need further work): - "function with labeled block as return type" - "Control flow statement as body of blockless if" - "line comment after multiline single expr if" - "make single-line if no trailing comma, fmt: off" - "test indentation after equals sign" (destructuring) - "indentation of comments within catch, else, orelse" Co-Authored-By: Claude Opus 4.6 (1M context)

parser: reorder tests to match upstream file order

2026-02-11T05:46:00Z

commit 508a90b6fddc0dbd9daabc80132df1ea07a48813 parent d08e0602eb1f483eb32eb28582e45a8bcc1ba3ff Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:46:00 +0000 parser: reorder tests to match upstream file order Co-Authored-By: Claude Opus 4.6 (1M context)

parser: port doc comment, literal, asm, ternary tests

2026-02-11T05:45:49Z

commit d08e0602eb1f483eb32eb28582e45a8bcc1ba3ff parent d1e9c48a57581245c836b658e9984f81e3ab3edd Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:45:49 +0000 parser: port doc comment, literal, asm, ternary tests Port tests: - "remove newlines surrounding doc comment between members within container decl (1)" - "remove newlines surrounding doc comment between members within container decl (2)" - "remove newlines surrounding doc comment within container decl" - "comments with CRLF line endings" - "else comptime expr" - "integer literals with underscore separators" - "hex literals with underscore separators" - "hexadecimal float literals with underscore separators" - "C var args" - "Only indent multiline string literals in function calls" - "Don't add extra newline after if" - "comments in ternary ifs" - "while statement in blockless if" - "test comments in field access chain" Co-Authored-By: Claude Opus 4.6 (1M context)

parser: reorder tests to match upstream file order

2026-02-11T05:16:38Z

commit d1e9c48a57581245c836b658e9984f81e3ab3edd parent cc6ddf4975b15ebc6a43863f70a9fc10ceed6891 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:16:38 +0000 parser: reorder tests to match upstream file order Co-Authored-By: Claude Opus 4.6 (1M context)

parser: port asm, comment, doc comment tests

2026-02-11T05:15:57Z

commit cc6ddf4975b15ebc6a43863f70a9fc10ceed6891 parent d32b8ac30f30ab61af8112445c02fa70ce14601e Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:15:57 +0000 parser: port asm, comment, doc comment tests Port tests: - "inline asm" - "inline asm parameter alignment" - "multiline string in array" - "file ends with struct field" - "line comment in array" - "comment in array initializer/access" - "comments at several places in struct init" - "remove newlines surrounding doc comment" - "remove newlines surrounding doc comment between members" - "fix single statement if/for/while line breaks" - "fn type" - "nosuspend" - "Block after if" - "string identifier" - "error return" Add if/switch support in parsePrimaryTypeExpr. Co-Authored-By: Claude Opus 4.6 (1M context)

update README

2026-02-11T05:10:11Z

commit d32b8ac30f30ab61af8112445c02fa70ce14601e parent dc90e30e016b0e394d1b0039a00969c93a4b1314 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:10:11 +0000 update README

parser: port misc formatting tests batch

2026-02-11T05:04:18Z

commit dc90e30e016b0e394d1b0039a00969c93a4b1314 parent 488b4be65beacfeb7c5804e6e1962e40a39118d4 Author: Motiejus Jakštys Date: Wed, 11 Feb 2026 05:04:18 +0000 parser: port misc formatting tests batch Port tests: - "fix single statement if/for/while line breaks" - "fn type" - "nosuspend" - "Block after if" - "string identifier" - "error return" Co-Authored-By: Claude Opus 4.6 (1M context)