feat: don't inline control ops of Switch or GotoNth nodes if it would result in additional copies in destructured SSA

[daniel-makerx]

No description provided.

[github-actions]

Coverage Report

File	Stmts	Miss	Cover	Missing
src/puya
__main__.py	31	1	97%	116
arc4_util.py	134	8	94%	30, 78–79, 91, 103, 105, 173, 200
arc32.py	126	3	98%	103, 114, 220
client_gen.py	107	107	0%	1–195
compile.py	158	3	98%	138, 152–155
errors.py	122	29	76%	47–48, 52, 54–57, 82, 124, 144–145, 150–164, 175–178
logging_config.py	129	28	78%	15, 36–39, 45, 47, 50–54, 69, 88, 141–143, 146–148, 150, 163–172, 194
models.py	80	3	96%	10–13
options.py	30	2	93%	12–13
parse.py	203	18	91%	85, 97, 126, 165, 168, 222, 265, 275, 277, 281, 309–314, 318, 348, 362, 374–375
utils.py	150	19	87%	51, 55, 89, 95, 110, 113–115, 122, 144, 157–158, 162, 166–169, 198, 200, 223
src/puya/awst
function_traverser.py	188	3	98%	113, 143–144
nodes.py	969	67	93%	19–28, 44, 53, 87, 93, 97–100, 134, 140, 144–147, 281, 495, 533, 738–739, 759, 771, 809, 815–816, 846, 872, 876–880, 892, 948, 990–991, 996, 1011, 1062, 1067, 1125, 1148, 1165, 1344, 1349–1350, 1357–1362, 1474, 1522, 1531, 1559, 1566, 1579, 1628, 1639, 1641, 1646, 1654, 1659, 1664, 1673, 1678, 1683, 1690
to_code_visitor.py	320	13	96%	83–84, 87–90, 114–115, 196, 321–322, 413–414, 485, 513
visitors.py	217	71	67%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 53, 59, 65, 69, 73, 77, 83, 87, 91, 95, 99, 105, 109, 113, 117, 121, 125, 129, 133, 139, 143, 147, 153, 159, 163, 169, 173, 177, 181, 185, 189, 193, 197, 201, 205, 209, 213, 217, 221, 225, 231, 234, 237, 243, 249, 253, 257, 261, 265, 269, 273, 277, 281, 285, 289, 293, 297, 301, 305, 309, 313
wtypes.py	296	35	88%	21, 69, 181–192, 207–210, 227, 229, 274, 277, 302, 305, 307, 310, 335, 354, 390, 393, 442–443, 452–453, 461–462, 473, 476, 531, 536, 552
src/puya/awst_build
arc4_utils.py	141	36	74%	50, 52, 55, 67, 94–95, 110, 114, 117, 123, 126, 129, 132, 140, 148, 151, 154–166, 169, 178, 181, 282, 312, 319, 322
base_mypy_visitor.py	133	44	67%	39, 59, 71–77, 95, 106–121, 135, 139, 143, 154, 158, 166, 172, 178, 196, 202, 207, 210, 213, 222, 226, 231, 236, 242, 247, 253, 260, 264, 268, 272, 276, 280, 284, 288, 292, 296, 300, 304, 308
context.py	147	22	85%	59–60, 136–141, 149, 151–155, 158–159, 179, 184, 188, 201, 213–214
contract.py	220	59	73%	128–129, 131–134, 142–143, 146, 158, 169, 191, 209, 215, 217, 226, 236, 245, 273, 277, 293–297, 305–306, 311, 314, 317, 320, 325–326, 329, 332, 335, 338, 341, 344, 347, 350, 353, 356, 359, 373, 387–394, 403–410, 417–418, 441, 451–452, 459, 465, 487–493
intrinsic_models.py	32	5	84%	21, 26–29
main.py	48	3	94%	32, 49, 59
module.py	368	75	80%	68, 116, 134–135, 142, 150, 156, 162–166, 171, 183, 207–208, 219, 249, 275–276, 299, 306, 314–315, 328–329, 352–357, 411–412, 423, 447, 450, 456, 464, 467, 474, 480, 492, 495, 516, 535–536, 553–584, 612–613, 627–629, 631, 633–634, 666–673, 685, 687
subroutine.py	613	73	88%	217, 228, 283, 351, 355, 369, 377, 410–411, 550–564, 572, 580, 583, 595, 631–632, 637, 642, 679, 699–700, 726–732, 785–786, 791, 807, 810, 813, 821–827, 881, 885–886, 890–891, 907, 909, 912–914, 939–940, 948, 983–991, 1026, 1054, 1058, 1089, 1186, 1193, 1203, 1214–1218, 1227, 1230, 1233, 1236, 1239, 1244, 1249, 1256, 1263
utils.py	172	20	88%	48–49, 64, 101, 116, 119–120, 124, 166, 169–170, 189, 203, 216, 223, 248, 259, 280, 333–334
src/puya/awst_build/eb
_utils.py	21	2	90%	13–14
app_account_state.py	128	28	78%	51–54, 62, 78, 80, 112–113, 134–141, 162–163, 168, 175–176, 178, 195–196, 203–204, 233, 238–239
app_state.py	123	26	79%	35–40, 51–58, 79–80, 85, 95–96, 101, 118–119, 126–127, 168–169, 192, 210
array.py	68	45	34%	26–27, 30–32, 37–44, 56–72, 77–79, 82, 85–88, 93–95, 100–102, 111–123
base.py	207	61	71%	24–31, 103, 107, 111, 117, 121, 127–132, 143–149, 154–160, 166, 172, 182, 192, 196, 200, 210, 213, 216, 219, 222, 225, 230, 233, 255, 276, 279, 284, 287, 290, 293, 296, 301, 304, 315, 328, 338, 341, 354, 375, 380, 389, 392, 396, 403, 406, 409, 414, 419, 424, 430
biguint.py	90	22	76%	34–38, 62–63, 77, 92, 102–105, 127–130, 147–152, 169–177, 180–181
bool.py	40	8	80%	27–31, 49–50, 53–54, 72
bytes.py	140	19	86%	55–59, 81–82, 93–94, 114–115, 119, 123, 128, 130–131, 151, 173, 294–295, 328
bytes_backed.py	29	4	86%	37–38, 47–48
contracts.py	37	2	95%	43, 47
ensure_budget.py	48	15	69%	25–29, 49–50, 70–71, 79, 91, 97–102
intrinsics.py	156	43	72%	32–34, 55–56, 64–65, 71–72, 89–90, 97, 126, 135, 137–161, 168–169, 213, 221, 233–234, 236, 253–254, 266, 271, 278, 281
log.py	55	9	84%	25–29, 77–83, 93, 95
named_int_constants.py	20	2	90%	23–24
struct.py	32	15	53%	21–22, 25, 35–41, 46–48, 51–56
subroutine.py	33	2	94%	51, 66
template_variables.py	47	10	79%	25–26, 59–60, 64, 69, 72–73, 82–83
tuple.py	98	20	80%	39–40, 47, 58, 60–61, 83–84, 93–94, 107, 113, 131–132, 137–138, 150, 158, 166, 198
type_registry.py	28	2	93%	146–147
uint64.py	79	15	81%	37–41, 62–63, 84, 102, 125, 144–147, 161–169, 172–173
unsigned_builtins.py	70	11	84%	30–34, 51, 58, 92, 95–96, 126, 129–130
value_proxy.py	39	12	69%	24, 27, 30, 33, 36, 41, 56, 66, 75, 84, 87, 90
src/puya/awst_build/eb/arc4
utils.py	53	10	81%	18, 49–50, 52, 55–56, 78–79, 99, 114
abi_call.py	199	27	86%	48–52, 103–104, 124–125, 129–130, 157, 181, 197–198, 242, 247–249, 298–304, 338–339, 410, 413, 415
arrays.py	224	29	87%	62–66, 79–80, 107, 137, 157–158, 193, 195, 228, 255, 271–272, 285, 328–329, 382–383, 405, 415–416, 432, 461, 480–481, 489, 535
base.py	115	19	83%	36–40, 70–71, 91–92, 161–162, 182, 193–194, 207–208, 225–226, 236, 246, 251
bool.py	28	6	79%	22–29, 54–55
dynamic_bytes.py	42	5	88%	15–19, 60–61
numeric.py	93	17	82%	29–33, 45, 59, 73, 80–81, 99, 113–114, 119, 124, 161–164
string.py	65	12	82%	32–36, 54, 77, 91, 110–111, 136–137, 155–156
struct.py	58	8	86%	26–33, 68, 71, 106–107
tuple.py	86	21	76%	31–35, 50, 54–55, 79, 84–86, 95, 106, 115, 128, 132–133, 144, 160–161, 170–171
src/puya/awst_build/eb/reference_types
account.py	62	10	84%	30–34, 51, 60–64, 105
application.py	32	7	78%	15–19, 35–36, 40–41
asset.py	52	9	83%	26–30, 46–47, 51–52, 88–89
base.py	44	4	91%	25–27, 61, 87
src/puya/awst_build/eb/transaction
base.py	33	7	79%	16, 24, 28, 33–34, 41, 50
group.py	57	15	74%	33–37, 87–88, 141–154
inner.py	56	8	86%	27–32, 64–65, 115, 142
inner_params.py	102	11	89%	29–33, 44–45, 55, 110, 145, 169, 185, 217
src/puya/awst_build/validation
arc4_copy.py	42	1	98%	37
inner_transactions.py	94	2	98%	112, 126
scratch_slots.py	37	4	89%	17, 30, 46, 48
src/puya/ir
arc4_router.py	247	20	92%	156, 174, 182, 339, 419, 465, 532–533, 547, 587–588, 600, 605, 610, 615, 620, 625, 645–650
avm_ops.py	316	2	99%	44–45
avm_ops_models.py	36	2	94%	20, 28
context.py	88	12	86%	18, 59–60, 62, 80–86, 91, 102, 109, 119
main.py	175	6	97%	113, 116, 245, 247, 303, 314
models.py	455	26	94%	29, 45, 63, 79, 186, 196, 200, 370, 444, 486, 566, 582, 623, 626, 633, 636, 692, 701, 709, 715, 726–728, 738, 750, 787
ssa.py	136	9	93%	43, 51–52, 99, 105, 141, 145, 166, 170
to_text_visitor.py	134	7	95%	85, 90, 172–177
types.py	50	7	86%	27–28, 52–56, 67
visitor.py	171	37	78%	10–12, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 174, 186, 201, 204, 207, 213, 216, 222, 225, 228, 231, 234, 237, 240, 243
visitor_mutator.py	93	2	98%	138–139
vla.py	73	2	97%	50, 87
src/puya/ir/builder
_utils.py	71	8	89%	33, 44, 57, 79–80, 157, 203–204
arc4.py	418	48	89%	75–76, 125, 149–155, 219, 227, 450, 462, 465, 621–635, 964–978, 1004–1028, 1037–1053, 1076, 1177–1178, 1223–1240, 1279–1280, 1333, 1366–1367, 1515–1516, 1579
assignment.py	43	5	88%	59, 75, 102, 133–134
blocks.py	93	10	89%	62, 72, 76, 112, 120, 124, 157–159, 165–167
callsub.py	57	1	98%	93
flow_control.py	98	4	96%	63, 117, 141, 155
iteration.py	190	5	97%	46, 66, 95, 176–177
itxn.py	263	26	90%	120–121, 136–137, 147–148, 154–159, 185, 464–465, 470–471, 476–477, 483, 494, 511–512, 554–557
main.py	477	53	89%	94, 119, 145, 154, 158, 203–204, 220–221, 248, 256, 263–264, 335, 363–364, 379, 391, 408, 429, 436, 470, 483, 521, 534–535, 599–600, 622, 670, 698, 716, 751–752, 827, 830, 836, 843–844, 874–875, 890, 936–937, 953–954, 988, 1003–1005, 1014, 1017–1018
src/puya/ir/destructure
coalesce_locals.py	94	15	84%	33, 36, 118, 127–128, 131–134, 137–139, 153–156
parcopy.py	84	2	98%	47, 83
src/puya/ir/optimize
_utils.py	28	1	96%	21
collapse_blocks.py	92	5	95%	65–69
control_op_simplification.py	101	11	89%	158–165, 239–246
dead_code_elimination.py	118	2	98%	287, 323
intrinsic_simplification.py	370	40	89%	64, 128, 140, 202, 268, 326, 332, 383, 405, 426, 428, 434, 478, 480, 482, 489, 505, 519, 525, 527, 529, 534, 536, 538, 540, 542, 545–548, 555, 557, 559, 561, 563, 565, 569, 592–593, 600
main.py	85	3	96%	106–107, 123
src/puya/mir
annotaters.py	172	7	96%	56, 62, 98, 102, 135, 139, 216
builder.py	122	6	95%	90, 138, 144, 151, 258–259
context.py	39	1	97%	35
models.py	335	24	93%	14–18, 30, 41, 53, 69–70, 78, 89, 100, 111, 141, 251, 282, 319, 331, 348, 356–362, 368
output.py	61	2	97%	29, 31
stack.py	253	22	91%	68, 72, 115, 119, 125, 135, 146, 157, 167, 182, 199, 209, 228, 246, 252, 254, 293, 304, 328, 360, 365, 403
visitor.py	76	24	68%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63, 67, 71, 75, 79, 83, 87, 91, 95, 99, 103
src/puya/mir/stack_allocation
baileys.py	208	6	97%	31, 103, 123, 330–334, 359
frame_allocation.py	80	3	96%	21, 64–65
koopmans.py	61	1	98%	55
peephole.py	100	6	94%	75, 89, 99, 101, 103, 145
src/puya/teal
models.py	229	2	99%	292, 298
src/puya/teal/optimize
peephole.py	112	5	96%	64, 154–164, 172
repeated_rotations.py	30	1	97%	13
repeated_rotations_search.py	88	6	93%	34, 40–41, 57, 67–68
TOTAL	15844	1839	88%

Tests	Skipped	Failures	Errors	Time
250	2 💤	0 ❌	0 🔥	2m 31s ⏱️