Commit d9692dd
authored
fix: reuse generated operation functions (#1995)
## Summary
- make cached `OpFunctionMap` definitions public while HUGR linking runs
- reuse `NodeTemplate::call_to_function` so `OnMultiDefn::UseTarget`
coalesces repeated definitions
- rely on the existing qsystem hiding phase to restore generated helpers
to private visibility
- add generic and wrapped-barrier regressions asserting repeated
operations share one definition
## Root cause
`OpFunctionMap` cached one generated HUGR per operation shape, but its
replacement template embedded a private function HUGR at every call
site. Name linking only coalesces public definitions, so
`OnMultiDefn::UseTarget` had no effect and repeated barriers produced
thousands of equivalent wrapper functions. Wide wrappers then amplified
LLVM IPSCCP memory use.
The fix belongs in `func_as_node_template`: cached helpers are now
linker-visible when passed through the existing `call_to_function` path.
`QSystemRebasePass` already records pre-existing public functions and
hides newly introduced helpers after lowering, so the final HUGR retains
private linkage without adding a parallel call-template mechanism.
## Validation
- `cargo check -p tket -p tket-qsystem`
- `cargo test -p tket --lib` (604 passed, 2 ignored)
- `cargo test -p tket-qsystem --lib` (167 passed, 1 ignored)
- `just check`: formatting, Ruff, mypy, Cargo check/docs, and pg-libs
tests passed; the full local gate remains blocked by unrelated existing
nightly Clippy findings and macOS hugrenv `@rpath` resolution in
aggregate nextest/Python discovery
- `git diff --check origin/main...HEAD`1 parent be362a3 commit d9692dd
3 files changed
Lines changed: 99 additions & 35 deletions
File tree
- tket-qsystem/src/extension/qsystem
- tket/src/passes/utils
- unpack_container
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
139 | 139 | | |
140 | 140 | | |
141 | 141 | | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
142 | 167 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
541 | 541 | | |
542 | 542 | | |
543 | 543 | | |
544 | | - | |
| 544 | + | |
545 | 545 | | |
546 | 546 | | |
547 | 547 | | |
548 | 548 | | |
549 | 549 | | |
550 | 550 | | |
| 551 | + | |
| 552 | + | |
551 | 553 | | |
552 | 554 | | |
553 | 555 | | |
| |||
571 | 573 | | |
572 | 574 | | |
573 | 575 | | |
| 576 | + | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
| 581 | + | |
| 582 | + | |
| 583 | + | |
| 584 | + | |
| 585 | + | |
| 586 | + | |
| 587 | + | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + | |
| 598 | + | |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
| 603 | + | |
| 604 | + | |
| 605 | + | |
| 606 | + | |
| 607 | + | |
| 608 | + | |
| 609 | + | |
| 610 | + | |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
574 | 622 | | |
575 | 623 | | |
576 | 624 | | |
| |||
Lines changed: 25 additions & 34 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
7 | | - | |
8 | | - | |
9 | 6 | | |
10 | 7 | | |
11 | 8 | | |
12 | 9 | | |
13 | | - | |
| 10 | + | |
14 | 11 | | |
15 | 12 | | |
16 | 13 | | |
17 | | - | |
| 14 | + | |
18 | 15 | | |
19 | 16 | | |
20 | 17 | | |
| |||
79 | 76 | | |
80 | 77 | | |
81 | 78 | | |
82 | | - | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
83 | 89 | | |
84 | 90 | | |
85 | 91 | | |
| |||
122 | 128 | | |
123 | 129 | | |
124 | 130 | | |
125 | | - | |
126 | 131 | | |
127 | 132 | | |
128 | 133 | | |
129 | 134 | | |
130 | 135 | | |
131 | 136 | | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
132 | 150 | | |
133 | 151 | | |
134 | 152 | | |
135 | 153 | | |
136 | 154 | | |
137 | | - | |
138 | | - | |
139 | | - | |
140 | | - | |
141 | | - | |
142 | | - | |
143 | | - | |
144 | | - | |
145 | | - | |
146 | | - | |
147 | | - | |
148 | | - | |
149 | | - | |
150 | | - | |
151 | | - | |
152 | | - | |
153 | | - | |
154 | | - | |
155 | | - | |
156 | | - | |
157 | | - | |
158 | | - | |
159 | | - | |
160 | | - | |
161 | | - | |
162 | | - | |
163 | | - | |
0 commit comments