Skip to content

Commit

Permalink
chore: compile all (rebase)
Browse files Browse the repository at this point in the history
  • Loading branch information
@daniel-makerx
daniel-makerx committed Feb 6, 2025
1 parent 73b3572 commit 720e45e
Show file tree
Hide file tree
Showing 43 changed files with 23,816 additions and 20,205 deletions.
173 changes: 88 additions & 85 deletions examples/sizes.txt
View file

Large diffs are not rendered by default.

21 changes: 9 additions & 12 deletions test_cases/arc4_types/out/Arc4BoolTypeContract.approval.puya.map
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
"sources": [
"../bool.py"
],
"mappings": ";;;;;;;;;;;AAcqB;;AAAT;AADG;;;AAAA;AAAA;;AAAA;;AAAA;AAAP;AA8BwB;;;;;;;;;;AACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;AAGO;;AAA+B;;;;;AAA/B;AAAP;AAOO;;AAAP;AAiBR;;;AAEW;;;;AAAP",
"mappings": ";;;;;;;;;;;AAcqB;;AAAT;AADG;;;AAAA;AAAA;;AAAA;;AAAA;AAAP;AA8BwB;;;;;;;;;;AACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;AAGO;;AAA+B;;;;;AAA/B;AAAP;AAOO;;AAAP;AAmBG;;;;AAAP",
"op_pc_offset": 0,
"pc_events": {
"1": {
Expand Down Expand Up @@ -42,26 +42,26 @@
"13": {
"op": "!",
"defined_out": [
"to_encode%0#0"
"select%0#0"
],
"stack_out": [
"read_offset#0",
"write_end#0",
"write_offset#0",
"to_encode%0#0"
"select%0#0"
]
},
"14": {
"op": "pushbytes 0x00",
"defined_out": [
"0x00",
"to_encode%0#0"
"select%0#0"
],
"stack_out": [
"read_offset#0",
"write_end#0",
"write_offset#0",
"to_encode%0#0",
"select%0#0",
"0x00"
]
},
Expand All @@ -70,13 +70,13 @@
"defined_out": [
"0",
"0x00",
"to_encode%0#0"
"select%0#0"
],
"stack_out": [
"read_offset#0",
"write_end#0",
"write_offset#0",
"to_encode%0#0",
"select%0#0",
"0x00",
"0"
]
Expand All @@ -89,7 +89,7 @@
"write_offset#0",
"0x00",
"0",
"to_encode%0#0"
"select%0#0"
]
},
"20": {
Expand Down Expand Up @@ -1179,9 +1179,6 @@
"params": {},
"block": "get_arr",
"stack_in": [],
"op": "proto 0 1"
},
"160": {
"op": "pushbytes 0x0000",
"defined_out": [
"0x0000"
Expand All @@ -1190,7 +1187,7 @@
"0x0000"
]
},
"164": {
"161": {
"retsub": true,
"op": "retsub"
}
Expand Down
4 changes: 0 additions & 4 deletions test_cases/arc4_types/out/Arc4BoolTypeContract.approval.teal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -135,10 +135,6 @@ main_after_while@8:

// test_cases.arc4_types.bool.get_arr() -> bytes:
get_arr:
// arc4_types/bool.py:72-73
// @subroutine(inline=False)
// def get_arr() -> DynamicArray[ARC4Bool]:
proto 0 1
// arc4_types/bool.py:74
// return DynamicArray[ARC4Bool]()
pushbytes 0x0000
Expand Down
76 changes: 38 additions & 38 deletions test_cases/arc4_types/out/Arc4BoolTypeContract.ir/Arc4BoolTypeContract.approval.0.ssa.ir
View file
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
block@0: // L12
let encoded_bool%0#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%1#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%0#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%1#0: bytes[1] = (setbit 0x00 0u 0u)
test_cases.arc4_types.bool.Arc4BoolTypeContract.test_stuff(encoded_bool%0#0, encoded_bool%1#0)
let tmp%0#0: uint64 = (txn NumAppArgs)
let tmp%1#0: bool = (!= tmp%0#0 0u)
let to_encode%0#0: bool = (select 1u 0u tmp%1#0)
let encoded_bool%2#0: bytes = (setbit 0x00 0u to_encode%0#0)
let select%0#0: bool = (select 1u 0u tmp%1#0)
let encoded_bool%2#0: bytes[1] = (setbit 0x00 0u select%0#0)
let tmp%2#0: bool = (getbit encoded_bool%2#0 0u)
(assert tmp%2#0) // conditional expr
let encoded_bool%3#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%4#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%5#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%6#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%7#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%8#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%9#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%10#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%11#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%12#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%13#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%14#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%3#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%4#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%5#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%6#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%7#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%8#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%9#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%10#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%11#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%12#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%13#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%14#0: bytes[1] = (setbit 0x00 0u 1u)
let array_head_and_tail%0#0: bytes = (concat 0x encoded_bool%3#0)
let is_true%0#0: uint64 = (getbit encoded_bool%4#0 0u)
let array_head_and_tail%1#0: bytes = (setbit array_head_and_tail%0#0 1u is_true%0#0)
Expand All @@ -44,28 +44,28 @@ main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
let is_true%9#0: uint64 = (getbit encoded_bool%14#0 0u)
let array_head_and_tail%11#0: bytes = (setbit array_head_and_tail%10#0 11u is_true%9#0)
let array_data%0#0: bytes = (concat 0x array_head_and_tail%11#0)
let static_boolean_array#0: bytes = array_data%0#0
let static_boolean_array#0: bytes[2] = array_data%0#0
let tmp%3#0: bool = (== static_boolean_array#0 0xfff0)
(assert tmp%3#0)
let array_head_and_tail%12#0: bytes = static_boolean_array#0
let array_head_and_tail%12#0: bytes[2] = static_boolean_array#0
let is_true%10#0: uint64 = (getbit array_head_and_tail%12#0 0u)
let encoded_bool%15#0: bytes = (setbit 0x00 0u is_true%10#0)
let encoded_bool%16#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%15#0: bytes[1] = (setbit 0x00 0u is_true%10#0)
let encoded_bool%16#0: bytes[1] = (setbit 0x00 0u 1u)
let tmp%4#0: bool = (== encoded_bool%15#0 encoded_bool%16#0)
(assert tmp%4#0) // Single boolean can be unpacked
let tmp%5#0: uint64 = (- 12u 1u)
let array_head_and_tail%13#0: bytes = static_boolean_array#0
let array_head_and_tail%13#0: bytes[2] = static_boolean_array#0
let array_length%0#0: uint64 = 12u
let index_is_in_bounds%0#0: bool = (< tmp%5#0 array_length%0#0)
(assert index_is_in_bounds%0#0) // Index access is out of bounds
let is_true%11#0: uint64 = (getbit array_head_and_tail%13#0 tmp%5#0)
let encoded_bool%17#0: bytes = (setbit 0x00 0u is_true%11#0)
let encoded_bool%18#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%17#0: bytes[1] = (setbit 0x00 0u is_true%11#0)
let encoded_bool%18#0: bytes[1] = (setbit 0x00 0u 1u)
let tmp%6#0: bool = (== encoded_bool%17#0 encoded_bool%18#0)
(assert tmp%6#0) // Single boolean can be unpacked
let encoded_bool%19#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%20#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%21#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%19#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%20#0: bytes[1] = (setbit 0x00 0u 0u)
let encoded_bool%21#0: bytes[1] = (setbit 0x00 0u 1u)
let array_head_and_tail%14#0: bytes = (concat 0x encoded_bool%19#0)
let is_true%12#0: uint64 = (getbit encoded_bool%20#0 0u)
let array_head_and_tail%15#0: bytes = (setbit array_head_and_tail%14#0 1u is_true%12#0)
Expand All @@ -76,11 +76,11 @@ main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
let tmp%7#0: bool = (== dynamic_boolean_array#0 0x0003a0)
(assert tmp%7#0)
let dynamic_boolean_array#1: bytes = test_cases.arc4_types.bool.get_arr()
let encoded_bool%22#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%23#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%24#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%25#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%26#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%22#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%23#0: bytes[1] = (setbit 0x00 0u 0u)
let encoded_bool%24#0: bytes[1] = (setbit 0x00 0u 1u)
let encoded_bool%25#0: bytes[1] = (setbit 0x00 0u 0u)
let encoded_bool%26#0: bytes[1] = (setbit 0x00 0u 1u)
let data%0#0: bytes = (concat 0x encoded_bool%22#0)
let data%1#0: bytes = (concat data%0#0 encoded_bool%23#0)
let data%2#0: bytes = (concat data%1#0 encoded_bool%24#0)
Expand All @@ -90,19 +90,19 @@ main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
let dynamic_boolean_array#2: bytes = concat_result%0#0
let tmp%8#0: bool = (== dynamic_boolean_array#2 0x0005a8)
(assert tmp%8#0)
let encoded_bool%27#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%27#0: bytes[1] = (setbit 0x00 0u 1u)
let tmp%9#0: bool = (getbit encoded_bool%27#0 0u)
let tmp%10#0: bool = (== tmp%9#0 1u)
(assert tmp%10#0)
let encoded_bool%28#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%28#0: bytes[1] = (setbit 0x00 0u 0u)
let tmp%11#0: bool = (getbit encoded_bool%28#0 0u)
let tmp%12#0: bool = (!= tmp%11#0 1u)
(assert tmp%12#0)
let encoded_bool%29#0: bytes = (setbit 0x00 0u 0u)
let encoded_bool%29#0: bytes[1] = (setbit 0x00 0u 0u)
let tmp%13#0: bool = (getbit encoded_bool%29#0 0u)
let tmp%14#0: bool = (== tmp%13#0 0u)
(assert tmp%14#0)
let encoded_bool%30#0: bytes = (setbit 0x00 0u 1u)
let encoded_bool%30#0: bytes[1] = (setbit 0x00 0u 1u)
let tmp%15#0: bool = (getbit encoded_bool%30#0 0u)
let tmp%16#0: bool = (!= tmp%15#0 0u)
(assert tmp%16#0)
Expand Down Expand Up @@ -152,19 +152,19 @@ subroutine test_cases.arc4_types.bool.get_arr() -> bytes:
let array_data%0#0: bytes = (concat 0x0000 0x)
return array_data%0#0

subroutine test_cases.arc4_types.bool.Arc4BoolTypeContract.test_stuff(true: bytes, false: bytes) -> bool:
subroutine test_cases.arc4_types.bool.Arc4BoolTypeContract.test_stuff(true: bytes[1], false: bytes[1]) -> bool:
block@0: // L60
let tmp%0#0: bool = (getbit true#0 0u)
(assert tmp%0#0)
let tmp%1#0: bool = (getbit false#0 0u)
let tmp%2#0: bool = (! tmp%1#0)
(assert tmp%2#0)
let to_encode%0#0: bool = (getbit true#0 0u)
let encoded_bool%0#0: bytes = (setbit 0x00 0u to_encode%0#0)
let encoded_bool%0#0: bytes[1] = (setbit 0x00 0u to_encode%0#0)
let tmp%3#0: bool = (== true#0 encoded_bool%0#0)
(assert tmp%3#0)
let to_encode%1#0: bool = (getbit false#0 0u)
let encoded_bool%1#0: bytes = (setbit 0x00 0u to_encode%1#0)
let encoded_bool%1#0: bytes[1] = (setbit 0x00 0u to_encode%1#0)
let tmp%4#0: bool = (== false#0 encoded_bool%1#0)
(assert tmp%4#0)
let tmp%5#0: bool = (getbit true#0 0u)
Expand Down
95 changes: 93 additions & 2 deletions test_cases/arc4_types/out/Arc4BoolTypeContract.ir/Arc4BoolTypeContract.approval.1.ssa.opt.ir
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,89 @@
main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
block@0: // L12
let true#0: bytes[1] = 0x80
let false#0: bytes[1] = 0x00
let tmp%0#1: bool = 1u
let tmp%1#1: bool = 0u
let tmp%2#1: bool = 1u
let to_encode%0#0: bool = 1u
let encoded_bool%0#1: bytes[1] = 0x80
let tmp%3#1: bool = 1u
let to_encode%1#0: bool = 0u
let encoded_bool%1#1: bytes[1] = 0x00
let tmp%4#1: bool = 1u
let tmp%0#0: uint64 = (txn NumAppArgs)
let to_encode%0#0: bool = (! tmp%0#0)
let encoded_bool%2#0: bytes = (setbit 0x00 0u to_encode%0#0)
let tmp%1#0: bool = (!= tmp%0#0 0u)
let select%0#0: bool = (! tmp%0#0)
let encoded_bool%2#0: bytes[1] = (setbit 0x00 0u select%0#0)
let tmp%2#0: bool = (getbit encoded_bool%2#0 0u)
(assert tmp%2#0) // conditional expr
let encoded_bool%3#0: bytes[1] = 0x80
let encoded_bool%4#0: bytes[1] = 0x80
let encoded_bool%5#0: bytes[1] = 0x80
let encoded_bool%6#0: bytes[1] = 0x80
let encoded_bool%7#0: bytes[1] = 0x80
let encoded_bool%8#0: bytes[1] = 0x80
let encoded_bool%9#0: bytes[1] = 0x80
let encoded_bool%10#0: bytes[1] = 0x80
let encoded_bool%11#0: bytes[1] = 0x80
let encoded_bool%12#0: bytes[1] = 0x80
let encoded_bool%13#0: bytes[1] = 0x80
let encoded_bool%14#0: bytes[1] = 0x80
let array_head_and_tail%0#0: bytes = 0x80
let is_true%0#0: uint64 = 1u
let array_head_and_tail%1#0: bytes = 0xc0
let is_true%1#0: uint64 = 1u
let array_head_and_tail%2#0: bytes = 0xe0
let is_true%2#0: uint64 = 1u
let array_head_and_tail%3#0: bytes = 0xf0
let is_true%3#0: uint64 = 1u
let array_head_and_tail%4#0: bytes = 0xf8
let is_true%4#0: uint64 = 1u
let array_head_and_tail%5#0: bytes = 0xfc
let is_true%5#0: uint64 = 1u
let array_head_and_tail%6#0: bytes = 0xfe
let is_true%6#0: uint64 = 1u
let array_head_and_tail%7#0: bytes = 0xff
let array_head_and_tail%8#0: bytes = 0xff80
let is_true%7#0: uint64 = 1u
let array_head_and_tail%9#0: bytes = 0xffc0
let is_true%8#0: uint64 = 1u
let array_head_and_tail%10#0: bytes = 0xffe0
let is_true%9#0: uint64 = 1u
let array_head_and_tail%11#0: bytes = 0xfff0
let static_boolean_array#0: bytes[2] = 0xfff0
let tmp%3#0: bool = 1u
let is_true%10#0: uint64 = 1u
let encoded_bool%15#0: bytes[1] = 0x80
let encoded_bool%16#0: bytes[1] = 0x80
let tmp%4#0: bool = 1u
let tmp%5#0: uint64 = 11u
let index_is_in_bounds%0#0: bool = 1u
let is_true%11#0: uint64 = 1u
let encoded_bool%17#0: bytes[1] = 0x80
let encoded_bool%18#0: bytes[1] = 0x80
let tmp%6#0: bool = 1u
let encoded_bool%19#0: bytes[1] = 0x80
let encoded_bool%20#0: bytes[1] = 0x00
let encoded_bool%21#0: bytes[1] = 0x80
let array_head_and_tail%14#0: bytes = 0x80
let is_true%12#0: uint64 = 0u
let array_head_and_tail%15#0: bytes = 0x80
let is_true%13#0: uint64 = 1u
let array_head_and_tail%16#0: bytes = 0xa0
let dynamic_boolean_array#0: bytes = 0x0003a0
let tmp%7#0: bool = 1u
let dynamic_boolean_array#1: bytes = test_cases.arc4_types.bool.get_arr()
let encoded_bool%22#0: bytes[1] = 0x80
let encoded_bool%23#0: bytes[1] = 0x00
let encoded_bool%24#0: bytes[1] = 0x80
let encoded_bool%25#0: bytes[1] = 0x00
let encoded_bool%26#0: bytes[1] = 0x80
let data%0#0: bytes = 0x80
let data%1#0: bytes = 0x8000
let data%2#0: bytes = 0x800080
let data%3#0: bytes = 0x80008000
let new_items_bytes#0: bytes = 0x8000800080
let array_length#0: uint64 = (extract_uint16 dynamic_boolean_array#1 0u)
let new_array_length#0: uint64 = (+ array_length#0 5u)
let tmp%0#2: bytes = (itob new_array_length#0)
Expand Down Expand Up @@ -43,8 +121,21 @@ main test_cases.arc4_types.bool.Arc4BoolTypeContract.approval_program:
block@8: // after_while_L153
let tmp%8#0: bool = (== result#2 0x0005a8)
(assert tmp%8#0)
let encoded_bool%27#0: bytes[1] = 0x80
let tmp%9#0: bool = 1u
let tmp%10#0: bool = 1u
let encoded_bool%28#0: bytes[1] = 0x00
let tmp%11#0: bool = 0u
let tmp%12#0: bool = 1u
let encoded_bool%29#0: bytes[1] = 0x00
let tmp%13#0: bool = 0u
let tmp%14#0: bool = 1u
let encoded_bool%30#0: bytes[1] = 0x80
let tmp%15#0: bool = 1u
let tmp%16#0: bool = 1u
return 1u

subroutine test_cases.arc4_types.bool.get_arr() -> bytes:
block@0: // L72
let array_data%0#0: bytes = 0x0000
return 0x0000
Loading

0 comments on commit 720e45e

Please sign in to comment.