-
74477c948e
sema: add return_u32_literal test (num_passing=106)
zig0-0.15.2
Motiejus
2026-03-09 09:37:31 +00:00
-
f3c1c0e00c
sema: replace zirStructInitEmptyResult HACK with proper implementation
Motiejus
2026-03-09 05:04:42 +00:00
-
ec13f0409e
sema: port CC ref handling, global ct_struct_vals, export_void test (num_passing=105)
Motiejus
2026-03-09 04:46:53 +00:00
-
cd79c02a6b
stage0: zirRetNode comptime fix + CC body evaluation prep
Motiejus
2026-03-08 15:32:50 +00:00
-
d9b0a07771
sema: port null→optional coercion, refactor resolveStructFieldInitsC
Motiejus
2026-03-08 14:00:14 +00:00
-
a8bdfd6507
sema: replace TODO silent fallbacks with UNIMPLEMENTED
Motiejus
2026-03-08 07:03:40 +00:00
-
8151f6dc9b
sema: merge memoized state into single pass, matching Zig
Motiejus
2026-03-08 06:53:54 +00:00
-
9aa97b3dcd
sema: port callconv(.c) support, resolveTypeFullyC for func/error_union (num_passing=104)
Motiejus
2026-03-08 06:04:29 +00:00
-
70eb2ab984
sema: port export fn, nav type/val separation (num_passing=103)
Motiejus
2026-03-08 02:03:20 +00:00
-
44afa2ea43
sema: handle dead comptime branches in zirFieldPtr/zirCall/zirOptionalPayload
Motiejus
2026-03-07 22:07:52 +00:00
-
12cb9899aa
sema: bump num_passing to 102
Motiejus
2026-03-07 21:43:58 +00:00
-
9f641e8bef
sema: port struct_init_field_type, enum field lookup (num_passing=5)
Motiejus
2026-03-07 21:39:01 +00:00
-
8a809099b0
update CLAUDE.md
Motiejus
2026-03-07 22:51:03 +02:00
-
3d5ac825cd
sema: port decl_literal, inline call ret_ty, CG builtin resolution (num_passing=4)
Motiejus
2026-03-07 18:05:32 +00:00
-
72706fb3a8
sema: port ptr_type, optional_type, builtin_value for num_passing=4
Motiejus
2026-03-07 17:53:34 +00:00
-
c59d8cec39
sema: port CG builtin field handlers and @hasDecl for num_passing=1
Motiejus
2026-03-07 17:39:52 +00:00
-
57e51b1218
sema: add UNIMPLEMENTED to all remaining silent passthroughs
Motiejus
2026-03-07 15:18:37 +00:00
-
d676b153a3
sema: remove has_compile_errors; crash immediately on all unimplemented paths
Motiejus
2026-03-07 15:00:14 +00:00
-
5beb92687b
sema: replace silent fallbacks with UNIMPLEMENTED crashes
Motiejus
2026-03-07 14:37:17 +00:00
-
1f40a421e9
sema: add remaining error markers for exact shifts and block_comptime
Motiejus
2026-03-07 11:04:36 +00:00
-
c1a5789909
sema: add error marker for zirIsNonErr type validation
Motiejus
2026-03-07 11:00:47 +00:00
-
7ac878f4d5
sema: add more error markers for type validation in sema.c
Motiejus
2026-03-07 10:57:36 +00:00
-
e356f65e0d
sema: add type validation helpers and more error markers
Motiejus
2026-03-07 10:56:20 +00:00
-
d46c3a4c0c
sema: add error markers for type validation in arithmetic/unary functions
Motiejus
2026-03-07 10:51:33 +00:00
-
36327d4b35
sema: add error markers for more unimplemented paths
Motiejus
2026-03-07 10:44:44 +00:00
-
38784a07fd
sema: add more error markers for unimplemented/invalid code paths
Motiejus
2026-03-07 10:40:03 +00:00
-
41f740aa44
sema: add error markers for unimplemented/wrong code paths
Motiejus
2026-03-07 10:34:22 +00:00
-
857936c55d
sema: port zirIntFromEnum, zirEnumFromInt handlers
Motiejus
2026-03-07 10:06:55 +00:00
-
d2571f806a
sema: port zirErrUnionPayload, zirErrUnionCode handlers
Motiejus
2026-03-07 10:03:24 +00:00
-
88a5dc4873
sema: port zirIsNonNull, zirIsNonErr handlers
Motiejus
2026-03-07 10:00:37 +00:00
-
af9f80f2f7
sema: add validate-only no-op handlers for array/error union ZIR insts
Motiejus
2026-03-07 09:57:04 +00:00
-
8cdc8667f4
sema: port zirBitReverse (@bitReverse)
Motiejus
2026-03-07 09:47:12 +00:00
-
d4636dc6cc
sema: port zirDivTrunc, zirDivFloor, zirDivExact, zirMod, zirRem, zirModRem
Motiejus
2026-03-07 09:44:18 +00:00
-
2f413803c6
sema: implement zirCoercePtrElemTy coercion for .one pointer types
Motiejus
2026-03-07 09:41:51 +00:00
-
607f7093cd
sema: add runtime path to zirOptionalPayload
Motiejus
2026-03-07 09:39:58 +00:00
-
0e855d5c5e
sema: add comptime_int → bool coercion in semaCoerce
Motiejus
2026-03-07 09:33:58 +00:00
-
5bfb1a9a7e
sema: fix zirBitSizeOf for pointer types
Motiejus
2026-03-07 09:32:37 +00:00
-
be87644337
sema: fix zirBitSizeOf for pointer-sized and C integer types
Motiejus
2026-03-07 09:30:43 +00:00
-
5715f3bd90
sema: add comptime float folding to zirCmp and zirCmpEq
Motiejus
2026-03-07 09:29:14 +00:00
-
cd08f9002c
sema: add post-coercion float fold in analyzeArithmetic
Motiejus
2026-03-07 09:26:34 +00:00
-
4e623e1110
sema: add comptime float folding to zirMinMax
Motiejus
2026-03-07 09:24:32 +00:00
-
2f1303d0db
sema: add comptime float folding to zirDiv
Motiejus
2026-03-07 09:19:27 +00:00
-
9487bd9acf
sema: add comptime float folding to analyzeArithmetic
Motiejus
2026-03-07 09:18:22 +00:00
-
fad25d34f9
sema: fix semaCoerce comptime_int → float coercion
Motiejus
2026-03-07 09:15:02 +00:00
-
247b9a03e4
sema: fix resolvePeerTypes for concrete float types
Motiejus
2026-03-07 09:13:42 +00:00
-
3fadb3583e
sema: fix comptime_float handling in zirNegate, zirNegateWrap, zirAbs
Motiejus
2026-03-07 09:12:17 +00:00
-
b537605009
sema: fix zirCmpEq equality check to include sign for comptime ints
Motiejus
2026-03-07 09:09:35 +00:00
-
5e1ea76798
sema: fix zirCmp signed comparison for comptime integers
Motiejus
2026-03-07 09:08:08 +00:00
-
2351a2217b
sema: fix zirAbs comptime_int folding and typed signed int folding
Motiejus
2026-03-07 09:06:32 +00:00
-
b4da5d7bd5
sema: fix zirBoolBr comptime fold, zirTypeofBuiltin want_safety
Motiejus
2026-03-07 09:02:47 +00:00
-
7f478b70ea
sema: fix sign-magnitude arithmetic for comptime integers
Motiejus
2026-03-07 08:58:42 +00:00
-
039a00606b
sema: fix 128-bit byteswap logic and cppcheck false condition
Motiejus
2026-03-07 08:13:31 +00:00
-
326d51e30e
sema: fix semaCoerce comptime_float → integer coercion
Motiejus
2026-03-07 08:08:28 +00:00
-
8538d0b27b
sema: add comptime integer division folding to zirDiv
Motiejus
2026-03-07 08:07:35 +00:00
-
d0e90b94e9
sema: fix zirBitCount comptime folding to use 128-bit wide values
Motiejus
2026-03-07 08:07:02 +00:00
-
2d62c61b70
sema: add comptime float folding to zirNegate
Motiejus
2026-03-07 08:06:09 +00:00
-
427b428db8
sema: add comptime folding to zirAbs for float operands
Motiejus
2026-03-07 08:05:34 +00:00
-
1ccc0e54d9
sema: add comptime folding to zirByteSwap
Motiejus
2026-03-07 08:05:02 +00:00
-
1a1a4d3d25
sema: fix zirNegateWrap float zero creation
Motiejus
2026-03-07 08:04:22 +00:00
-
15f5284082
sema: fix zirBitwise to coerce before comptime folding
Motiejus
2026-03-07 08:03:52 +00:00
-
51cbaabe22
sema: port zirLoop from upstream Sema.zig
Motiejus
2026-03-07 07:45:22 +00:00
-
39b2e51a28
sema: fix resolveFuncRetType for single-instruction type refs
Motiejus
2026-03-07 07:39:33 +00:00
-
0028645557
sema: add shl_exact and shr_exact dispatch + fix shl comptime folding
Motiejus
2026-03-07 07:38:06 +00:00
-
83fc754af7
sema: fix cppcheck unreadVariable in zirCmpEq
Motiejus
2026-03-07 07:32:49 +00:00
-
564c858bd4
sema: add AIR_INST_NEG/NEG_OPTIMIZED to semaTypeOf
Motiejus
2026-03-07 07:29:08 +00:00
-
910c746ee2
sema: fix zirAbs result type for integer operands
Motiejus
2026-03-07 07:28:42 +00:00
-
d728da32f4
sema: add comptime folding to zirBoolNot
Motiejus
2026-03-07 07:27:28 +00:00
-
a86f23824a
sema: rename semaResolvePeerTypes → resolvePeerTypes
Motiejus
2026-03-07 07:27:04 +00:00
-
3a2913ce08
sema: split zirTyOpCast into zirIntCast + zirTruncate
Motiejus
2026-03-07 07:26:38 +00:00
-
3991c4bf41
sema: extract analyzeArithmetic; split zirCmp/zirCmpEq
Motiejus
2026-03-07 07:25:36 +00:00
-
b90553615a
sema: extract analyzeBitNot from zirBitNot
Motiejus
2026-03-07 07:22:00 +00:00
-
5d6f9537f0
README: document exceptions
Motiejus
2026-03-07 09:11:22 +02:00
-
e1ec6d2ccf
sema: fix skip_dedup_end and cc_start timing, clear 15 CC builtins (num_passing=100)
Motiejus
2026-03-05 01:18:33 +00:00
-
364bdf2c5e
sema: port arithmetic coercion, type dedup, CC memoized state, ptr_nav deferral (num_passing=100)
Motiejus
2026-03-04 18:16:22 +00:00
-
d29f7da7ab
sema: fix duplicate func_type/func_decl and deferred body analysis (num_passing=87)
Motiejus
2026-03-03 09:30:19 +00:00
-
0e9bc3bf9b
zig0_airgen_options: restrict what can be configured
Motiejus Jakštys
2026-03-03 09:04:18 +00:00
-
4da900cbb8
stage0: fix enum_literal to store string index, not djb2 hash
Motiejus
2026-03-03 08:43:16 +00:00
-
be50c806b8
rm unusedFunction check
Motiejus
2026-03-03 10:42:29 +02:00
-
5634dd5cae
sema: deduplicate func_instance entries for repeated generic calls
Motiejus
2026-03-03 08:41:35 +00:00
-
a35da223fb
sema: add func_instance support for generic function monomorphization
Motiejus
2026-03-03 08:30:41 +00:00
-
c69e558131
sema: extract semaAnalyzeCall from zirCall
Motiejus
2026-03-03 08:04:04 +00:00
-
8b4d45bf30
sema: skip generic functions in Pass 2a
Motiejus
2026-03-03 07:47:33 +00:00
-
2cfd4ac668
sema: reuse callee func_decl for non-inline calls, bump 80→84
Motiejus
2026-03-03 07:41:10 +00:00
-
e6cda567d0
sema: port compareIntsOnlyPossibleResult, fix int coercion dedup, bump 75→80
Motiejus
2026-03-03 07:33:39 +00:00
-
072929759e
stage0: move PerThread functions from sema.c to zcu_per_thread.c
Motiejus
2026-03-02 19:24:27 +00:00
-
2ed13b7b9d
sema: add param types to func_type dedup, bump num_passing 73→75
Motiejus
2026-03-02 18:24:02 +00:00
-
412316e708
sema: route shl_sat through zirShl, revert func_type dedup attempt
Motiejus
2026-03-02 18:14:50 +00:00
-
f3ce1883d0
sema: fix shl_sat shift type coercion, bump num_passing 67→73
Motiejus
2026-03-02 18:04:35 +00:00
-
69a0486232
sema: fix shard simulation, bump num_passing 61→67
Motiejus
2026-03-02 17:54:04 +00:00
-
6390ee4b8a
sema: narrow inline fn IP gap from 46 to 1 entry
Motiejus
2026-03-02 17:37:01 +00:00
-
5412f80b3e
stage0: rename zcuAlloc→zcuInit, zcuDeinit frees struct, clean comments
Motiejus
2026-03-02 16:51:15 +00:00
-
9cd2e0ff77
stage0: refactor globals into structs matching Zig architecture
Motiejus
2026-03-02 16:44:27 +00:00
-
ba547674f8
sema: WIP shard simulation for inline fn builtin dedup (test 61)
Motiejus
2026-03-02 15:32:22 +00:00
-
9d30e3b0fb
sema: bump num_passing to 61
Motiejus
2026-03-02 01:14:56 +00:00
-
ae0ff31bac
sema: fix AddressSpace comptime_int false dedup for test 54
Motiejus
2026-03-02 01:12:47 +00:00
-
09df9ce993
stage0: pass store_to_pointer.zig (num_passing=31)
Motiejus
2026-03-02 00:08:27 +00:00
-
28282cca4b
stage0: pass pointer_param_identity.zig (num_passing=30)
Motiejus
2026-03-02 00:01:21 +00:00
-
894d54af1f
stage0: pass tests 21-28, fix shift type dedup, update CLAUDE.md
Motiejus
2026-03-01 20:58:03 +00:00
-
13ac71a9fa
stage0: pass tests 7-20 (num_passing=21)
Motiejus
2026-03-01 20:04:36 +00:00
-
1b96021446
stage0: pass identity_function.zig (num_passing=7)
Motiejus
2026-03-01 20:00:46 +00:00