Skip to content

Allow primitive ops which take a bytes to take any bytes-backed type#611

Draft
achidlow wants to merge 10 commits intomainfrom
bytes-backed-ops
Draft

Allow primitive ops which take a bytes to take any bytes-backed type#611
achidlow wants to merge 10 commits intomainfrom
bytes-backed-ops

Conversation

@achidlow
Copy link
Contributor

No description provided.

@engineering-ci
Copy link

engineering-ci bot commented Dec 12, 2025

⚠️ No changelog fragment detected

@engineering-ci
Copy link

engineering-ci bot commented Dec 12, 2025

Name Status O0 bytes O1 bytes O2 bytes O0 ops O1 ops O2 ops
fixed_bytes_ops/FixedBytesOps ✏️ +7 - - +6 - -

@engineering-ci
Copy link

engineering-ci bot commented Dec 12, 2025

Coverage

Coverage Report
FileStmtsMissCoverMissing
src/puya
   __main__.py36683%45, 52–53, 71–72, 78
   arc32.py89496%74, 125–130
   arc56.py81495%285–287, 297
   artifact_sorter.py57296%32, 89
   compile.py210797%98–99, 173–174, 182, 343, 401
   context.py52198%39
   errors.py41198%59
   log.py2657074%82, 92–93, 98–105, 120–128, 150, 173–174, 186–187, 190–191, 229–231, 234–236, 238, 251–267, 296, 302, 312–317, 320, 388–389, 426–428, 441–455, 479
   main.py41783%31, 50–55
   parse.py83495%31, 40, 50, 56
   program_refs.py28293%45, 56
   utils.py2261494%37, 196, 201–204, 222–224, 258, 265, 288, 290, 309, 348
src/puya/awst
   function_traverser.py330399%66, 76, 413
   nodes.py13026395%113, 117–120, 160, 164–167, 462, 527, 687, 756, 782, 840, 860, 883, 922, 967, 996–997, 1019, 1023, 1092, 1113, 1144–1145, 1172, 1175–1177, 1195, 1229, 1232, 1270, 1275, 1402, 1428, 1461, 1493, 1519, 1524, 1771, 1915, 1934, 2000, 2038, 2047, 2266, 2315, 2333, 2337, 2455, 2602, 2607, 2612, 2620, 2625, 2630, 2667–2668, 2678
   serialize.py761284%21–25, 49, 94–100, 117, 121
   to_code_visitor.py4741198%149, 260, 297, 343, 380, 484–487, 667, 695, 699
   txn_fields.py101199%53
   wtypes.py3761097%233, 254, 314, 366, 379, 390, 395–396, 437, 466
src/puya/awst/validation
   base_invoker.py47491%55, 62, 72–76
   immutable.py33294%29, 37
   inner_transactions.py196199%168
   labels.py30873%25–27, 32, 36–41
src/puya/ir
   _arc4_default_args.py1101586%63–64, 79, 92, 94, 96, 98, 100, 102, 108, 115, 136–137, 232, 239
   contract_metadata.py229797%56, 206–210, 308–314
   arc4_router.py259598%169, 233, 335, 353, 519
   arc4_types.py1621988%26–27, 46, 50, 54, 58, 62, 70, 96, 103, 110, 117, 129, 135, 139, 151, 211, 215, 230
   avm_ops.py324199%46
   avm_ops_models.py37295%15, 23
   context.py113695%79, 91, 98, 101, 103, 112
   encodings.py204697%230, 233, 239, 257, 294, 298
   main.py2241494%117, 126–132, 142–148, 174, 342–343, 355, 363
   models.py7942797%211, 218, 413, 435, 496, 514, 518, 634–635, 759–760, 765, 771–775, 788, 845, 875, 931, 992, 1037, 1122, 1166, 1181, 1193, 1220, 1288–1289
   mutating_register_context.py87397%48–49, 51
   op_utils.py163299%212–219
   ssa.py151299%52–53
   types.py2512490%55, 58, 61, 74, 79–81, 85–87, 127, 141, 180, 247, 250, 261, 270, 274, 277, 295, 301, 399–403
   visitor.py185597%184, 285, 306, 312, 358
   visitor_mutator.py223797%89–92, 94, 193, 234
src/puya/ir/builder
   _utils.py39295%50, 52
   assignment.py119794%63, 79, 190, 192–193, 220, 265
   blocks.py134795%55, 92–96, 158, 166, 231
   bytes.py701480%17–49, 138
   callsub.py1091091%35–36, 57–60, 73, 118–122
   dynamic_array.py167597%81–82, 135–136, 172
   encoding_validation.py71199%121
   flow_control.py104298%53, 57
   iteration.py239598%103–104, 120, 152, 230
   itxn.py5805191%154–155, 157, 171, 209–210, 234–235, 347–350, 643, 662–680, 711, 800, 824, 839, 846, 850, 886, 898, 902, 916, 928, 934, 940, 944, 964, 1028, 1038, 1042, 1046, 1062, 1074, 1102, 1108, 1112, 1116, 1120, 1138, 1149, 1160
   main.py7404993%167, 292, 304–323, 333–335, 402, 426, 450, 474–475, 499, 525, 567, 572–573, 584–585, 735, 760–761, 793, 828, 909, 974, 1073–1077, 1160, 1228, 1231, 1384, 1410, 1438–1439, 1590, 1610, 1665–1667
   sequence.py136696%191–196, 217–220, 235–236
   storage.py208598%117, 335–339, 351
src/puya/ir/builder/aggregates
   arc4_codecs.py3172592%58, 94, 147–148, 203, 271, 322, 335, 351, 394, 412, 428–430, 444–446, 520, 537, 539, 556–557, 572–573, 602
   main.py88397%76, 102, 116
   sequence.py156199%144
src/puya/ir/destructure
   coalesce_locals.py1442185%198, 209, 213–224, 230–231, 246–251
   critical_edges.py32197%24
   parcopy.py72199%80
src/puya/ir/optimize
   _call_graph.py32197%42
   add_box_extract_replace.py279598%235–236, 240, 276, 516
   assignments.py114496%48, 168, 184–185
   compiled_reference.py101595%56, 87, 168–173
   constant_propagation.py71199%90
   control_op_simplification.py77199%170
   inlining.py2441195%34–43, 47, 54, 417, 421, 425, 435, 439
   inner_txn.py36294%49–50
   intrinsic_simplification.py8094295%268, 514, 545, 556–557, 625–626, 647, 752, 833, 864–893, 1244–1246, 1325, 1351, 1353, 1426, 1440, 1471, 1477, 1479, 1481, 1486, 1488, 1490, 1494, 1568
   repeated_loads_elimination.py155299%156, 173
src/puya/ir/validation
   _base.py30197%28
   compile_reference_validator.py20290%24, 30
   min_avm_version_validator.py15473%16–20
   op_run_mode_validator.py19195%29
   slot_reservation.py18194%20
src/puya/mir
   aligned_writer.py63297%21, 61
   builder.py2072389%129–131, 159–161, 180, 183, 186, 189, 192, 195, 198, 254, 261, 401, 404, 407, 410, 413, 416, 419, 422
   main.py77199%37
   models.py499499%120, 255, 321, 727
   output.py61198%20
   visitor.py86199%175
src/puya/mir/stack_allocation
   f_stack.py95397%58–67
   l_stack.py117199%71
   peephole.py41393%38, 40, 43
   x_stack.py203399%33, 331–335
src/puya/teal
   builder.py200299%74, 114
   models.py470199%461
   stack_manipulations.py31197%42
src/puya/teal/optimize
   constant_block.py93496%43, 126, 163, 180
   constant_stack_shuffling.py94990%54–55, 77–78, 94–100
   main.py176498%141, 200, 227–228
   peephole.py137299%170, 295
   repeated_rotations.py51590%16, 52–55
   repeated_rotations_search.py90693%35, 41–42, 58, 68–69
src/puya/ussemble
   assemble.py201399%253, 273, 317
   models.py26196%16
   op_spec_models.py22195%20
src/puyapy
   __main__.py43686%155, 160–165, 204, 213
   client_gen.py1101190%59–60, 78–82, 86, 200, 207–208, 228
   compile.py911386%41, 57, 68, 72, 132–133, 141–144, 153–156
   find_sources.py97496%25, 46, 105, 124
   interpreter_data.py18289%32–33
   models.py103496%76, 88–90
   parse.py2473287%114–119, 178, 188, 196, 208–209, 225–227, 238–243, 251–256, 260, 420–423, 427–428, 441–443, 448
   template.py32875%10–11, 18–19, 27–28, 34, 37
src/puyapy/awst_build
   arc4_client.py1042774%46–50, 58, 70, 76, 80, 97, 109, 112–113, 119, 122, 125, 131, 134, 137–142, 145, 148, 151, 154, 157, 160, 163, 166, 169
   arc4_client_gen.py134894%30, 89–90, 100, 102, 117–118, 188
   arc4_decorators.py2435179%46, 91–92, 99–101, 112–116, 124–126, 147–149, 152, 177, 189, 197, 211, 213, 243–244, 261–262, 277–278, 285, 289–295, 301, 309, 328, 336, 340, 350–354, 370, 372, 375–376, 385, 388–389, 391
   arc4_utils.py115497%162, 169, 183, 211
   base_mypy_visitor.py1603876%77–83, 103, 112–125, 139, 141, 143, 156, 161, 166, 170, 174, 200, 204, 208, 217, 222, 226, 230, 235, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315
   context.py2644981%57, 60, 70–71, 89–90, 130, 204, 209, 215–219, 226, 235, 237, 240–242, 244, 251, 253, 264–265, 270–272, 275, 290, 302–303, 315, 329, 332–344, 362, 380, 405
   contract.py3273290%124, 176, 205–209, 249, 251, 255, 259, 267, 279, 281, 351, 354, 366, 374, 377, 380, 383, 386, 389, 392, 395, 398, 401, 494–498, 547–551, 625–629, 687, 709
   intrinsic_factory.py26292%67–69
   intrinsic_models.py49198%55
   main.py42198%41
   module.py4416485%136, 156, 162–179, 196–197, 204, 213–214, 220–224, 237, 273, 293–294, 305, 327–330, 340–342, 348, 365–368, 381, 415, 444–445, 468–469, 527–528, 556, 567, 570, 576, 582, 592, 598, 601, 613, 616, 639, 659, 664, 668, 677–681, 773, 781, 783
   pytypes.py6506191%87, 97–99, 104, 111, 116–118, 122–124, 151–152, 192, 210–216, 239, 263, 305, 343–345, 374, 441, 450, 469, 507, 511, 639–640, 726–728, 742–743, 812–813, 917, 928–929, 969–970, 1017–1018, 1023, 1094–1095, 1118–1119, 1279, 1307, 1343–1345, 1385, 1395–1396
   subroutine.py6574993%162, 169, 189–190, 287, 313–314, 332, 349, 374, 382, 393, 420–423, 535–536, 548, 551, 554, 557, 560, 608, 741, 752, 754, 763, 781, 784, 816, 822, 883, 891–894, 900, 951, 956, 959–965, 1056, 1076, 1232, 1272, 1298, 1314–1315, 1324, 1328
   utils.py2113086%30, 47–51, 79–80, 102, 141–142, 144, 188–189, 240, 248, 253, 266–270, 275–278, 287, 291, 299, 343–346
src/puyapy/awst_build/eb
   _base.py1271687%52, 57–59, 64, 71, 80–82, 143, 154, 184, 189, 199, 210, 224–226
   _bytes_backed.py48296%30–31
   _expect.py1221786%25, 36, 85–88, 107, 160–161, 219–222, 232–235
   _literals.py1563478%44, 65, 77, 96, 125, 142, 156–160, 164, 168–174, 184–198, 203
   _type_registry.py41393%271–272, 285
   utils.py62395%36–38, 108
   biguint.py101694%56, 100, 139, 155–156, 158
   binary_bool_op.py105397%153, 161, 171
   bool.py55984%38–42, 58, 69, 82, 96
   bytes.py1731691%102–103, 130–131, 136–137, 143–144, 147, 155, 233, 271, 292–293, 313–314
   compiled.py70987%85–89, 126–130, 153
   conditional_literal.py1333474%97, 101, 161, 165–168, 177–179, 202–205, 214, 218, 222–225, 240–252, 261–262, 273–276
   contracts.py77890%55, 61, 63, 73, 99, 109, 111, 116
   dict.py27581%24, 32–34, 38
   ensure_budget.py31197%46
   fixed_bytes.py2741196%110–111, 142, 250, 335, 412, 464, 516, 522, 586–587
   interface.py91298%317–319
   intrinsics.py119893%50–51, 64, 86, 93, 106, 113, 205
   log.py43491%45–46, 51, 60
   logicsig.py15193%25
   none.py27485%17, 27–28, 37
   size_of.py25388%31–33
   string.py1441391%71, 115–116, 135, 140, 183, 190, 194, 206, 280–282, 302
   subroutine.py801680%46, 50–53, 68, 71–78, 93, 101–102, 104–107, 112
   template_variables.py37295%29, 57
   tuple.py3381296%87, 94, 135, 154, 257, 350–351, 470, 546, 557–558, 621
   uint64.py108595%57, 118–119, 167–168
   uint64_enums.py40295%40, 45
   unsigned_builtins.py1552286%73, 80, 104, 128, 132, 136, 140, 148, 152, 156, 160, 164, 174, 178, 184, 195, 201, 207, 246, 278, 290, 302
src/puyapy/awst_build/eb/arc4
   _base.py105595%183–186, 197, 227–228
   _utils.py123596%44, 103, 134, 197, 201
   abi_call.py3482194%122, 128, 149, 219, 232–233, 315, 326, 406, 430, 463, 482–483, 502, 536, 580, 616, 683, 768–769, 786
   address.py73297%56, 115
   bool.py60198%42
   dynamic_array.py122993%109–110, 128, 152, 206, 221–222, 225–228
   dynamic_bytes.py68396%98–100
   emit.py53296%40–43
   string.py100793%54–55, 105, 126, 131–134
   struct.py82199%54
   tuple.py921287%51–53, 91–94, 97–98, 137–140, 145, 170
   ufixed.py74297%51, 110
   uint.py96298%101–106
src/puyapy/awst_build/eb/reference_types
   account.py82199%179
   application.py45198%39
   asset.py65198%47
src/puyapy/awst_build/eb/storage
   _storage.py1082081%58, 66, 70, 74, 78, 82, 86, 90, 94, 104, 108, 112, 116, 122, 133, 139, 145, 157–159
   _value_proxy.py55395%42, 50, 54
   box.py113199%174
   box_map.py164299%199, 265
   box_ref.py1111785%76–80, 89–93, 103, 111, 127, 135, 148, 153–162
   global_state.py127695%103–104, 113–114, 163–164
   local_state.py1371192%98–99, 103, 150, 154, 158, 168, 172, 196, 253, 277
src/puyapy/awst_build/eb/transaction
   base.py39295%22, 42
   group.py51198%47
   inner.py54296%96–97
   inner_params.py88594%65, 77, 81, 169, 171
   itxn_args.py60198%72
src/puyapy/lsp
   __main__.py17170%1–44
   analyse.py26819129%58–70, 76–183, 186–197, 201–216, 226–246, 249, 252–254, 265–281, 288–332, 349–373, 381, 385–386, 395–399, 404–411, 434–449, 461, 465, 467, 473, 482–487, 491
   log.py44440%1–89
   server.py1338238%62–70, 74–79, 86–136, 153–155, 158–162, 165–172, 179–197, 200, 203–208, 218–220
src/puyapy/validation
   arc4_copy.py130298%35, 39
TOTAL30105201293% 

Tests Skipped Failures Errors Time
1222 3 💤 0 ❌ 0 🔥 10m 59s ⏱️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants