kit

commit 856b7e33bbb9fb1cdb96714f784a6836ca82a6ce
parent 3b5edcc56d6b796f1080799cc70fbf0b3f7605b1
Author: Ryan Sepassi <rsepassi@gmail.com>
Date:   Tue, 16 Jun 2026 09:00:46 -0700

test.mk: wire test-opt-o1p-combine (O1-PATTERNS L1/L2/L4/L5/L6 guard)

Diffstat:
M
mk/test.mk
 | 
9
++++++++-

1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/mk/test.mk b/mk/test.mk
@@ -859,7 +859,7 @@ test-macho: lib $(TEST_RT_DEP) $(ROUNDTRIP_BIN_MACHO) $(LINK_EXE_RUNNER) $(JIT_R
 OPT_TEST_BIN = build/test/cg_ir_lower_test
 TINY_INLINE_TEST_BIN = build/test/tiny_inline_test
 
-test-opt: bin $(OPT_TEST_BIN) test-opt-tiny-inline test-opt-inline test-opt-zero-arg test-opt-static-prune-aa64 test-opt-aa64-tail test-opt-x64-win-tail-sret test-opt-prologue-tier test-opt-whole-program-inline test-opt-lto-phase1 test-opt-redundant-copy-ext test-opt-redundant-frame-sub test-opt-o1-branch-cleanup test-opt-hot-slot-order test-opt-o1-remat test-opt-aa64-x29-bottom test-opt-o1-coalesce test-opt-o1-switch-imm test-opt-o1-inline-cap test-opt-rv64-far-slot test-opt-o1-cmp-imm test-opt-o1-stack-dse test-opt-o1-local-cse test-opt-o1p-aa64 test-opt-o1p-const-divmul
+test-opt: bin $(OPT_TEST_BIN) test-opt-tiny-inline test-opt-inline test-opt-zero-arg test-opt-static-prune-aa64 test-opt-aa64-tail test-opt-x64-win-tail-sret test-opt-prologue-tier test-opt-whole-program-inline test-opt-lto-phase1 test-opt-redundant-copy-ext test-opt-redundant-frame-sub test-opt-o1-branch-cleanup test-opt-hot-slot-order test-opt-o1-remat test-opt-aa64-x29-bottom test-opt-o1-coalesce test-opt-o1-switch-imm test-opt-o1-inline-cap test-opt-rv64-far-slot test-opt-o1-cmp-imm test-opt-o1-stack-dse test-opt-o1-local-cse test-opt-o1p-aa64 test-opt-o1p-const-divmul test-opt-o1p-combine
 	$(OPT_TEST_BIN)
 
 
@@ -955,6 +955,13 @@ test-opt-o1p-aa64: bin
 test-opt-o1p-const-divmul: bin
 	@KIT=$(abspath $(BIN)) bash test/opt/o1p_const_divmul.sh
 
+# Structural+behavioral check: L1 store->load forwarding, L6 sxt-after-load drop,
+# L2 cmp;cset;cbnz->cmp_branch fusion, L4 double-cset drop, L5 copy coalescing
+# (O1-PATTERNS L1/L2/L4/L5/L6). Red-green degrades to green-only without KIT_BASE.
+.PHONY: test-opt-o1p-combine
+test-opt-o1p-combine: bin
+	@KIT=$(abspath $(BIN)) bash test/opt/o1p_combine.sh
+
 
 test-opt-tiny-inline: bin $(TINY_INLINE_TEST_BIN)
 	$(TINY_INLINE_TEST_BIN)