Skip to content

fix(gen-verilog): declare the tuple-destructure temp in test blocks - #1982

Merged
gHashTag merged 1 commit into
masterfrom
fix/verilog-tuple-local-decl
Aug 8, 2026
Merged

fix(gen-verilog): declare the tuple-destructure temp in test blocks#1982
gHashTag merged 1 commit into
masterfrom
fix/verilog-tuple-local-decl

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 8, 2026

Copy link
Copy Markdown
Owner

Refs #1948

A test-block let (a, b) = call() slices a packed temp (__tup_l{line}), but that temp and its element regs are declared only in emit_local's Decl phase — the testbench Init-only path skipped it, so the temp was referenced undeclared ("Could not find variable __tup_l242"). The top-of-block declaration pass now emits the tuple-destructure decls for empty-name/extra_field locals.

tri-net: icarus 96 → 97 (cross_layer_optimizer). bridge.v regenerated; unit suite at the single pre-existing red. FROZEN_HASH resealed; NOW.md entries added.

🤖 Generated with Claude Code

Refs #1948

A test-block `let (a, b) = call()` slices a packed temp
(__tup_l{line}), but that temp and its element regs are declared only in
emit_local's Decl phase -- the testbench Init-only path skipped it, so
the temp was referenced undeclared ("Could not find variable
__tup_l242"). The top-of-block declaration pass now emits the
tuple-destructure declarations for empty-name/extra_field locals.

tri-net corpus: icarus 96 -> 97 (cross_layer_optimizer). bridge.v
regenerated; unit suite at the single pre-existing red. FROZEN_HASH
resealed.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) August 8, 2026 21:49
@github-actions

github-actions Bot commented Aug 8, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

github-actions Bot commented Aug 8, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-08 21:49:43 UTC

Summary

Status Count
Total Open PRs 15
PRs with Failing Checks 2
PRs with All Checks Green 13
READY 5
FAILING 2
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=df2991ce372f != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit 51ed535 into master Aug 8, 2026
23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant