Commit Graph

  • 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