Hojun-Cho/ww
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test: fold driver-parity byteid into 989_lib_byteid, retire 815/940/951

Browse Source 
Wwstage-driver-leg byte identity gets one owner. The three carriers'
content identity is already blanket-owned by their r815_/r940_/r951_
corpus twins via test-data-byteid; their only non-redundant assertion
was the ww_ww driver leg, which 989_lib_byteid's 43-unit sweep covers
apart from the zero-dep root-only edge — folded in as a new probe row
(44 units). r940 fixture comments re-cited off the retired carrier.
This commit is contained in:
Hojun-Cho
2026-08-08 00:36:11 +09:00
parent 66251cc52b
commit 0b23f9fb31
11 changed files with 26 additions and 699 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
test/wcc/data/r940_global_sret_assign/case.ww
View File

@@ -1,5 +1,5 @@
//ww:run
// Runtime half of 940_global_sret_run.c global_assign.
// #220 global-sret family: sret assign into a module-global lvalue.
package main;
type quad = struct { a: i64, b: i64, c: i64, d: i64 };
fn mk(x: i64) quad = {

2
test/wcc/data/r940_global_sret_branched/case.ww
View File

@@ -1,5 +1,5 @@
//ww:run
// Runtime half of 940_global_sret_run.c global_branched.
// #220 global-sret family: runtime-branched callee (no constant-fold masking).
package main;
type quad = struct { a: i64, b: i64, c: i64, d: i64 };
fn mk1() quad = { return quad { a = 1i64, b = 2i64, c = 3i64, d = 4i64 }; };

2
test/wcc/data/r940_global_sret_local_assign/case.ww
View File

@@ -1,5 +1,5 @@
//ww:run
// Runtime half of 940_global_sret_run.c local_assign_regression.
// #220 global-sret family: local decl+assign regression leg.
package main;
type quad = struct { a: i64, b: i64, c: i64, d: i64 };
fn mk(x: i64) quad = {

2
test/wcc/data/r940_global_sret_local_init/case.ww
View File

@@ -1,5 +1,5 @@
//ww:run
// Runtime half of 940_global_sret_run.c local_init_regression.
// #220 global-sret family: local let-init regression leg (cglet sret receive).
package main;
type quad = struct { a: i64, b: i64, c: i64, d: i64 };
fn mk(x: i64) quad = {

2
test/wcc/data/r940_global_sret_pointer/case.ww
View File

@@ -1,5 +1,5 @@
//ww:run
// Runtime half of 940_global_sret_run.c global_through_pointer.
// #220 global-sret family: global mutated through a pointer after the sret assign.
package main;
type quad = struct { a: i64, b: i64, c: i64, d: i64 };
fn mk(x: i64) quad = {