This website requires JavaScript.
b26b3dbdc5
wcc_ww: c1 collapse plain TY_NAMED chase loops into tichase across cgenstmt/cgen/check — byte-id neutral
Hojun-Cho
2026-06-05 23:58:54 +09:00
4adf914f2f
wcc_ww/cgen: #92 rhsstructpayload N_STRUCTLIT arm through structlookupchain
Hojun-Cho
2026-06-05 23:19:49 +09:00
3e9a6955e7
wcc_ww/cgen: #88 defisaddressable array leg chases the stamped def type
Hojun-Cho
2026-06-05 23:12:00 +09:00
d5cb1bd69e
wcc_ww/cgen: #82 cgun &base[i] classify off the chased stamped base type
Hojun-Cho
2026-06-05 23:06:46 +09:00
74195ac4dc
wcc_ww/cgen: c4 tyassignableuntyped full-chase — structural alignment, zero acceptance graduations, graduations ride #90
Hojun-Cho
2026-06-05 22:09:28 +09:00
018ef6680e
wcc_ww/cgen: c3 in-file peel sites — exprprimresolved base walk chases (B1); elemsizeofc alias-indexable leg (B3); B2 probe-cleared
Hojun-Cho
2026-06-05 21:55:51 +09:00
f7fd3e4850
wcc_ww/cgen: #62 Layer-2 (ww half) — rhsstructpayload chases the alias chain; widen-store su at entry
Hojun-Cho
2026-06-05 21:46:36 +09:00
f19d0cb14d
wcc_ww/cgen: collapse cgenutil.ww's plain TY_NAMED chase loops into tichase — byte-id neutral
Hojun-Cho
2026-06-05 21:40:27 +09:00
486f7f87f9
wcc_ww/cgen: #77 alias-NAMED global ARRAY emit — tichase at the dispatch entry (g-fold G2)
Hojun-Cho
2026-06-05 20:53:47 +09:00
00f71b9781
w6c/cgen: #78 alias-NAMED global decls — let_* + DATA-emit entry chase (g-fold G1)
Hojun-Cho
2026-06-05 20:45:49 +09:00
ef93b1637e
wcc_ww/cgen: collapse cgenexpr.ww's plain TY_NAMED chase loops into tichase — byte-id neutral
Hojun-Cho
2026-06-05 19:54:28 +09:00
da81a4c86e
wcc_ww/cgen: #60+#79 alias-NAMED array/slice ELEMENT paths read the chased tinfo — tichase lands, SEGV families graduate byte-id
Hojun-Cho
2026-06-05 19:38:54 +09:00
ac63951d54
w6c/cgen: #71 chained-dot walks chase alias-typed hops — direct offsets, byte-id graduation
Hojun-Cho
2026-06-05 11:43:35 +09:00
c138605563
w6c/cgen: #62 Layer-2 (cs half) — widen store/push su chases the alias chain
Hojun-Cho
2026-06-05 11:31:30 +09:00
b9dd29706b
w6c/cgen: #61 alias-NAMED struct param classify — transitive chase at the ABI choke
Hojun-Cho
2026-06-05 11:26:22 +09:00
9bd0d8bc81
wcc: #5 F1 promote type_chase_named + transitive-peel acceptance align-cs-up
Hojun-Cho
2026-06-05 11:52:08 +09:00
738d7f481c
wcc/check: #62 typedecl layout is decl-order-INDEPENDENT — demand-resolve forward refs + loud cycle guard (#69 )
Hojun-Cho
2026-06-05 10:13:06 +09:00
d14a23b85e
cgen: #57 in-cap tuple cursor fill keys on the DECLARED element type — tagged elems from concrete rvalues widen, both stages
Hojun-Cho
2026-06-05 09:05:01 +09:00
80e7096f25
cgen: #50 append/insert tagged-dst VALUE boxes PRE-grow, both stages
Hojun-Cho
2026-06-05 09:08:02 +09:00
24e02b259c
wcc/check: inferred-let tuple literal carries its slot-layout size — 0-size local smashed saved BP/RIP (#44 )
Hojun-Cho
2026-06-05 09:08:01 +09:00
e8977a413d
cgen: #38a chained-dot TAGGED leaf — cursor read + widen store, value-chain + ptr-chain, both stages
Hojun-Cho
2026-06-05 08:17:21 +09:00
9fad59354f
cgen: #33 wwstage untyped-source variant match — mirror cg_variant_match's type_assignable arm
Hojun-Cho
2026-06-05 08:07:08 +09:00
322667b820
cgen: #35/#46 Family C — tagged transport from deref/cast/unwrap sources goes mem-based, both stages
Hojun-Cho
2026-06-05 07:13:00 +09:00
4c46d3afde
cgen: #49 aggregate-ASSIGN word0-only family — one mem-to-mem funnel (cg_aggcopy), both stages
Hojun-Cho
2026-06-05 05:51:02 +09:00
7545bf7dcd
regex: fold 5b — repetition {m,n} (the { arm + run_thread inst_repeat + rep prefill)
Hojun-Cho
2026-06-05 04:50:27 +09:00
c0c15945be
regex: fold 5b — parse_repetition leaf (ha:486-545)
Hojun-Cho
2026-06-05 04:33:33 +09:00
26d375410e
w6c+w6c_ww: >32B tagged INDEX/DOT reads go mem-based — box address in AX (#37 )
Hojun-Cho
2026-06-05 03:41:34 +09:00
f272068940
test/run: missing test binary is a loud FAIL, not a silent SKIP
Hojun-Cho
2026-06-05 03:01:32 +09:00
ec7e8af6e9
Makefile: wire 953_arrlit_slice_run (committed unwired at bf1037d )
Hojun-Cho
2026-06-05 03:00:08 +09:00
a72e8158c7
w6c+w6c_ww: over-cap (sret) tuple returns carry tagged elements — MEMORY-class box copy (#22b)
Hojun-Cho
2026-06-05 02:26:06 +09:00
f88dbb01e2
wcc_ww/check: inferred struct-lit let plants the synthesized TNAME — field(SB) name-leak + tagged-field assign bound (#24 )
Hojun-Cho
2026-06-05 02:20:15 +09:00
413aafa599
w6c+w6c_ww: tagged-union struct-lit payload fills via the canonical fill (#23 )
Hojun-Cho
2026-06-05 02:07:49 +09:00
66991585d6
wcc+w6c+w6c_ww: tagged tuple elements take their full slot — tuple_eslot accessor (#22a)
Hojun-Cho
2026-06-05 00:32:35 +09:00
ed62e8199f
wcc_ww/check: tuple size() fold reads the type table — packed-sum C-t0 escape (#22 commit 0)
Hojun-Cho
2026-06-04 23:40:31 +09:00
a2c2bbc6b1
regex: fold 5a — capture groups (compile ( ) arms + run_thread groupstart/groupend + search spread)
Hojun-Cho
2026-06-05 00:46:04 +09:00
0e61db1857
regex: fold 5a — add_thread dups parent captures/rep_counters (ha:568-573)
Hojun-Cho
2026-06-05 00:36:33 +09:00
06b0fea98b
w6c+w6c_ww: struct-lit store into indexed/deref/field place fills via resolver (#20 )
Hojun-Cho
2026-06-04 23:46:11 +09:00
0ce98cc5dc
wcc+w6c_ww: append() spread place-chain sources via cgplaceaddr (#35 )
Hojun-Cho
2026-06-04 23:40:31 +09:00
1bcf2726cf
wcc+w6c+w6c_ww: delete() range form delete(xs[lo:hi]) (fold-5a P2)
Hojun-Cho
2026-06-04 23:18:38 +09:00
60e61315bc
ww/lex: fold float literals through strconv.stof64 — 1-ULP cs≠ww class (#62 )
Hojun-Cho
2026-06-04 23:12:00 +09:00
74767c70cc
wcc/check+wcc_ww/check: reject overlong array literal — frame-smash class (#71 )
Hojun-Cho
2026-06-04 21:53:44 +09:00
3daf134395
lib: retire os.assert/abort shims — assert/abort are builtins (#58 respell)
Hojun-Cho
2026-06-04 22:08:07 +09:00
e091dfbdbe
wcc-ww: assert/abort builtins — checker tag + cgen rt_abort lowering (#58 )
Hojun-Cho
2026-06-04 22:07:13 +09:00
33ec0fb1ac
w6c+w6c_ww: (*p)[i] deref base materializes the array ADDRESS (#61 C)
Hojun-Cho
2026-06-04 22:08:11 +09:00
eea3e197c2
w6c+w6c_ww: *[N]T indexing strides by element, not whole array (#61 A+B)
Hojun-Cho
2026-06-04 22:03:33 +09:00
95fea97868
regex: fold 4 — bracket expressions (handle_bracket + run_thread charset arm)
Hojun-Cho
2026-06-04 20:38:42 +09:00
0055ac2cd3
w6c+w6c_ww: for-range over a non-ident slice base — bound from len, base ptr spilled (#70 )
Hojun-Cho
2026-06-04 21:08:59 +09:00
bb8a44a564
w6c+w6c_ww: cast-wrapped tuple literal widens its whole payload into a tagged slot (#66 )
Hojun-Cho
2026-06-04 20:06:21 +09:00
8578ad0533
wcc+w6c+w6c_ww: global tuple lets — DATA emit + element reads + len(g.N) (C-t3, #48 )
Hojun-Cho
2026-06-04 19:02:41 +09:00
6426fac6f2
w6c+w6c_ww: tuple by-value ARG send — every cursor-filling producer rides #163 (C-t2, #32 )
Hojun-Cho
2026-06-04 18:43:32 +09:00
12af54f9f8
w6c+w6c_ww: tuple-let receive keyed on type classify, not producer shape (C-t1, #33 )
Hojun-Cho
2026-06-04 18:28:30 +09:00
fdfc2ce318
wcc+w6c+w6c_ww: tuple slot layout SSoT — checker size = cgen slot stride (C-t0)
Hojun-Cho
2026-06-04 18:20:07 +09:00
0139652180
test/989: lib byte-id gate — w6c vs w6c_ww over every non-embedded lib unit
Hojun-Cho
2026-06-04 17:45:56 +09:00
da48b29a7c
lib/regex: fold-3 — anchors, escape, postfix ?/*/+, alternation
Hojun-Cho
2026-06-04 17:06:31 +09:00
9861f73bbb
wcc+w6c+w6c_ww: insert() builtin — single-element slice insertion (part of #35 )
Hojun-Cho
2026-06-04 16:50:22 +09:00
48904e5ef3
lib/regex: fold-2c — findall/result_freeall
Hojun-Cho
2026-06-04 15:49:38 +09:00
532b0a88ae
lib/memio: wire seeker (io.seek dispatch landed; #5-era deferral stale)
Hojun-Cho
2026-06-04 15:49:25 +09:00
bc048ebe65
lib/regex: fold-2b tranche D — test/find (the exec surface)
Hojun-Cho
2026-06-04 15:14:54 +09:00
6160277098
lib/regex: fold-2b tranche C — search (first end-to-end match)
Hojun-Cho
2026-06-04 14:51:49 +09:00
c34a48a81f
wcc+w6c_ww: append() struct-element sources via split place-resolve (#49 )
Hojun-Cho
2026-06-04 14:06:34 +09:00
796d41bb9f
wcc+w6c_ww: len() over place-resolved operands (F2/FA2)
Hojun-Cho
2026-06-04 13:22:41 +09:00
e481cb86bd
lib/regex: fold-2b tranche B4 — run_thread (thread-machine core)
Hojun-Cho
2026-06-04 13:16:22 +09:00
d642017643
wcc+w6c_ww: aggregate let/range element copies via cgplaceaddr (F5)
Hojun-Cho
2026-06-04 12:22:45 +09:00
403625e433
wcc+w6c_ww: >48B tagged args from place-resolved sources (#38b cont.)
Hojun-Cho
2026-06-04 12:13:34 +09:00
f3f74c9b21
lib/regex: fold-2b tranche B1-B3 — thread-machine leaf fns (run_thread held on #40 )
Hojun-Cho
2026-06-04 12:12:27 +09:00
074e68f05d
w6c_ww: tinfo re-key of the cgdot N_INDEX-base arm (F7/F10)
Hojun-Cho
2026-06-04 11:34:16 +09:00
76994a8279
wcc+w6c_ww: typed dot-read resolver — kill both silent N_DOT fallbacks (F4)
Hojun-Cho
2026-06-04 10:51:56 +09:00
b630a7cf20
wcc+w6c_ww: append through pointer-to-slice place via cgplaceaddr (FA1)
Hojun-Cho
2026-06-04 10:25:56 +09:00
48df04a8ca
wcc+w6c_ww: loud-gate try-propagation over multi-success unions (F8/F9 interim)
Hojun-Cho
2026-06-04 10:10:35 +09:00
cfc2985c61
wcc+w6c_ww: aggregate-field stores via cgplaceaddr (C1.25)
Hojun-Cho
2026-06-04 10:00:16 +09:00
32063d0da0
wcc+w6c_ww: >48B tagged by-value args — MEMORY-class two-phase push (#38b)
Hojun-Cho
2026-06-04 09:36:15 +09:00
e3e6b5a820
wcc+w6c_ww: cgplaceaddr resolver — deref-base assign stores (F6)
Hojun-Cho
2026-06-04 09:09:56 +09:00
c801aa7954
lib/regex: fold-2b tranche A — thread/newmatch types + leaf fns
Hojun-Cho
2026-06-04 08:54:17 +09:00
b7a4eda40a
lib/bufio: newscanner + scanrune (regex fold-2b prereq)
Hojun-Cho
2026-06-04 07:07:02 +09:00
9ec72b7895
test/804: u16 row exercises the MOVW copy-tail arm (#35 review)
Hojun-Cho
2026-06-04 06:51:35 +09:00
912b9acef6
test/804: reject-row diagnostic-text checks + delete-in-a-loop row (#35 review)
Hojun-Cho
2026-06-04 06:50:16 +09:00
37febab9d5
wcc+w6c+w6c_ww: delete() builtin — single-element slice removal (part of #35 )
Hojun-Cho
2026-06-04 06:41:12 +09:00
e93be8495a
test/930: free-in-a-loop row pins no per-iteration stack damage (#27 review)
Hojun-Cho
2026-06-04 06:13:18 +09:00
60ad118da0
lib/regex: finish() ports the Hare frees verbatim (#27 landed)
Hojun-Cho
2026-06-04 06:07:27 +09:00
9732061a7e
w6c+w6c_ww: free() compiles to a no-op (ww has no free) (fix #27 )
Hojun-Cho
2026-06-04 06:07:18 +09:00
64f6cc90f2
lib/regex: pin exact loud-boundary text across all 11 deferred metachars (fold-2a review)
Hojun-Cho
2026-06-04 05:45:52 +09:00
de7dc36da3
lib/regex: verbatim cast-expr appends; correct bare-decl zero cite (fold-2a review)
Hojun-Cho
2026-06-04 05:45:52 +09:00
3cffe204d1
lib/regex: compile() literal core — lit/any/match + loud fold boundary (regex port fold 2a)
Hojun-Cho
2026-06-04 05:36:01 +09:00
288b21b1e9
test/928: pin chained-dot index base (o.in_.xs[i]) depth-independence (#48 review)
Hojun-Cho
2026-06-04 05:28:45 +09:00
d099c29b86
w6c_ww: matchscrutt resolves non-ident index bases via stamped type (fix #48 )
Hojun-Cho
2026-06-04 05:21:46 +09:00
7bbee3005a
selfhost: unstale the localadd @-prefix doc for the #44 size-keyed tagscr (#44 review)
Hojun-Cho
2026-06-04 04:56:27 +09:00
b3d6bc4420
w6c_ww: cgtypetest nullable is discriminates pointer-vs-null (#45 review)
Hojun-Cho
2026-06-04 04:54:43 +09:00
b2e4388792
w6c_ww: cgtypetest resolves non-ident scrutinees, no-spill tag compare (fix #45 )
Hojun-Cho
2026-06-04 04:40:39 +09:00
c2308a11c7
w6c+w6c_ww: size-keyed @tagscr — one tagged scratch per slot size (fix #44 )
Hojun-Cho
2026-06-04 04:34:54 +09:00
8999b59ab0
test/926: pin #38b/#40 loud-stop markers + 5 more consumption-shape rows (#38 review)
Hojun-Cho
2026-06-04 04:01:16 +09:00
147a8a26b9
w6c: unstale the cg_sret_retsize header doc for the #38 tagged arm (#38 review)
Hojun-Cho
2026-06-04 04:01:15 +09:00
4f3967835e
w6c+w6c_ww: tagged sret for slot>32B returns (fix #38 )
Hojun-Cho
2026-06-04 03:43:44 +09:00
5f15eb3d09
w6c+w6c_ww: tagged widen-store struct-literal slice field keeps the 3-word header
Hojun-Cho
2026-06-04 03:42:15 +09:00
91d42d28ab
test/800: pin >6-element 32B-struct append growth (#34 review, getopt OOB shape)
Hojun-Cho
2026-06-04 02:38:36 +09:00
c90080d97f
selfhost/test: regen smoke.combined.ww for the lib append-workaround collapse (#34 review)
Hojun-Cho
2026-06-04 02:30:22 +09:00
36be9f469d
w6c+w6c_ww: loud-stop non-ident/non-local append spread source (#34 review)
Hojun-Cho
2026-06-04 02:27:06 +09:00
70fa9e2264
lib: collapse the manual rt_ensure append workarounds onto the fixed builtin (#34 follow-up)
Hojun-Cho
2026-06-04 02:22:25 +09:00
faade48513
w6c+w6c_ww: append() stores the full element width per element kind (fix #34 )
Hojun-Cho
2026-06-04 02:14:14 +09:00
bf1037d8c4
wcc/check+w6c+w6c_ww: materialize array-literal slice-borrow base into per-fn scratch (fix #25 + #31 )
Hojun-Cho
2026-06-04 01:32:27 +09:00
c490ed3ec1
w6c+w6c_ww: store full slice header for struct-literal slice fields (fix #24 )
Hojun-Cho
2026-06-03 23:51:28 +09:00