fix: correctly handle BigUInt in ARC4 methods

examples/sizes.txt

@@ -22,7 +22,7 @@
   asset/Reference                                  268       261      7       261      0 
   auction/Auction                                  560       522     38       522      0 
   augmented_assignment/Augmented                   153       156     -3       156      0 
-  avm_types_in_abi/Test                            288       230     58       230      0 
+  avm_types_in_abi/Test                            423       353     70       353      0 
   biguint_binary_ops/BiguintBinaryOps              154         8    146         8      0 
   boolean_binary_ops/BooleanBinaryOps              315       298     17       298      0 
   bytes_ops/BiguintBinaryOps                       139       139      0       139      0 

src/puya/arc4_util.py

@@ -151,6 +151,8 @@ def wtype_to_arc4(wtype: wtypes.WType, loc: SourceLocation | None = None) -> str
             | wtypes.string_wtype
         ):
             return wtype.name
+        case wtypes.biguint_wtype:
+            return "uint512"
         case wtypes.bytes_wtype:
             return "byte[]"
         case wtypes.ARC4Type(alias=alias) if alias is not None:

test_cases/avm_types_in_abi/contract.py

@@ -1,4 +1,4 @@
-from algopy import Bytes, UInt64, arc4
+from algopy import BigUInt, Bytes, String, UInt64, arc4
 
 
 class TestContract(arc4.ARC4Contract):
@@ -8,9 +8,11 @@ def create(
         bool_param: bool,
         uint64_param: UInt64,
         bytes_param: Bytes,
-        tuple_param: tuple[bool, UInt64, Bytes],
-    ) -> tuple[bool, UInt64, Bytes]:
-        result = (bool_param, uint64_param, bytes_param)
+        biguint_param: BigUInt,
+        string_param: String,
+        tuple_param: tuple[bool, UInt64, Bytes, BigUInt, String],
+    ) -> tuple[bool, UInt64, Bytes, BigUInt, String]:
+        result = (bool_param, uint64_param, bytes_param, biguint_param, string_param)
         assert result == tuple_param
         return result
 

test_cases/avm_types_in_abi/out/TestContract.approval.teal

@@ -3,7 +3,7 @@
 test_cases.avm_types_in_abi.contract.TestContract.approval_program:
     // avm_types_in_abi/contract.py:4
     // class TestContract(arc4.ARC4Contract):
-    method "create(bool,uint64,byte[],(bool,uint64,byte[]))(bool,uint64,byte[])"
+    method "create(bool,uint64,byte[],uint512,string,(bool,uint64,byte[],uint512,string))(bool,uint64,byte[],uint512,string)"
     method "tuple_of_arc4((uint8,address))(uint8,address)"
     txna ApplicationArgs 0
     match main_create_route@1 main_tuple_of_arc4_route@2
@@ -28,6 +28,9 @@ main_create_route@1:
     txna ApplicationArgs 3
     extract 2 0
     txna ApplicationArgs 4
+    txna ApplicationArgs 5
+    extract 2 0
+    txna ApplicationArgs 6
     dup
     int 0
     getbit
@@ -46,36 +49,95 @@ main_create_route@1:
     extract_uint16
     int 2
     +
+    dig 2
+    cover 2
     extract3
     swap
+    dup
+    extract 11 64
+    cover 2
+    dup
+    int 75
+    extract_uint16
+    dup2
+    extract_uint16
+    int 2
+    +
+    extract3
+    uncover 3
     int 0
     getbit
     swap
-    uncover 2
+    uncover 4
     btoi
     swap
+    uncover 3
+    extract 2 0
+    swap
     extract 2 0
     // avm_types_in_abi/contract.py:5
     // @arc4.abimethod(allow_actions=["NoOp"], create="require")
+    uncover 9
+    uncover 9
+    uncover 9
+    uncover 9
+    uncover 9
+    uncover 8
+    uncover 8
+    uncover 8
+    uncover 9
+    uncover 9
     callsub create
+    cover 4
+    cover 3
     cover 2
     swap
     byte 0x00
     int 0
     uncover 2
     setbit
-    cover 2
+    cover 4
     itob
-    swap
+    cover 3
     dup
     len
     itob
     substring 6 8
     swap
     concat
-    cover 2
+    swap
+    dup
+    len
+    int 64
+    <=
+    assert // overflow
+    int 64
+    bzero
+    b|
+    dig 2
+    len
+    itob
+    extract 6 2
+    uncover 3
+    concat
+    swap
+    uncover 4
+    uncover 4
+    concat
+    byte 0x004d
     concat
-    byte 0x000b
+    dig 3
+    len
+    int 77
+    +
+    swap
+    uncover 2
+    concat
+    swap
+    itob
+    extract 6 2
+    concat
+    uncover 2
     concat
     swap
     concat
@@ -87,7 +149,7 @@ main_create_route@1:
     return
 
 main_tuple_of_arc4_route@2:
-    // avm_types_in_abi/contract.py:17
+    // avm_types_in_abi/contract.py:19
     // @arc4.abimethod
     txn OnCompletion
     !
@@ -101,7 +163,7 @@ main_tuple_of_arc4_route@2:
     extract 0 1
     swap
     extract 1 32
-    // avm_types_in_abi/contract.py:17
+    // avm_types_in_abi/contract.py:19
     // @arc4.abimethod
     callsub tuple_of_arc4
     concat
@@ -113,73 +175,85 @@ main_tuple_of_arc4_route@2:
     return
 
 
-// test_cases.avm_types_in_abi.contract.TestContract.create(bool_param: uint64, uint64_param: uint64, bytes_param: bytes, tuple_param.0: uint64, tuple_param.1: uint64, tuple_param.2: bytes) -> uint64, uint64, bytes:
+// test_cases.avm_types_in_abi.contract.TestContract.create(bool_param: uint64, uint64_param: uint64, bytes_param: bytes, biguint_param: bytes, string_param: bytes, tuple_param.0: uint64, tuple_param.1: uint64, tuple_param.2: bytes, tuple_param.3: bytes, tuple_param.4: bytes) -> uint64, uint64, bytes, bytes, bytes:
 create:
-    // avm_types_in_abi/contract.py:5-12
+    // avm_types_in_abi/contract.py:5-14
     // @arc4.abimethod(allow_actions=["NoOp"], create="require")
     // def create(
     //     self,
     //     bool_param: bool,
     //     uint64_param: UInt64,
     //     bytes_param: Bytes,
-    //     tuple_param: tuple[bool, UInt64, Bytes],
-    // ) -> tuple[bool, UInt64, Bytes]:
-    proto 6 3
-    // avm_types_in_abi/contract.py:14
+    //     biguint_param: BigUInt,
+    //     string_param: String,
+    //     tuple_param: tuple[bool, UInt64, Bytes, BigUInt, String],
+    // ) -> tuple[bool, UInt64, Bytes, BigUInt, String]:
+    proto 10 5
+    // avm_types_in_abi/contract.py:16
     // assert result == tuple_param
-    frame_dig -6
-    frame_dig -3
-    ==
-    bz create_bool_false@4
+    frame_dig -10
     frame_dig -5
-    frame_dig -2
     ==
-    bz create_bool_false@4
+    bz create_bool_false@6
+    frame_dig -9
     frame_dig -4
+    ==
+    bz create_bool_false@6
+    frame_dig -8
+    frame_dig -3
+    ==
+    bz create_bool_false@6
+    frame_dig -7
+    frame_dig -2
+    b==
+    bz create_bool_false@6
+    frame_dig -6
     frame_dig -1
     ==
-    bz create_bool_false@4
+    bz create_bool_false@6
     int 1
-    b create_bool_merge@5
+    b create_bool_merge@7
 
-create_bool_false@4:
+create_bool_false@6:
     int 0
 
-create_bool_merge@5:
-    // avm_types_in_abi/contract.py:14
+create_bool_merge@7:
+    // avm_types_in_abi/contract.py:16
     // assert result == tuple_param
     assert
-    // avm_types_in_abi/contract.py:15
+    // avm_types_in_abi/contract.py:17
     // return result
+    frame_dig -10
+    frame_dig -9
+    frame_dig -8
+    frame_dig -7
     frame_dig -6
-    frame_dig -5
-    frame_dig -4
     retsub
 
 
 // test_cases.avm_types_in_abi.contract.TestContract.tuple_of_arc4(args.0: bytes, args.1: bytes) -> bytes, bytes:
 tuple_of_arc4:
-    // avm_types_in_abi/contract.py:17-20
+    // avm_types_in_abi/contract.py:19-22
     // @arc4.abimethod
     // def tuple_of_arc4(
     //     self, args: tuple[arc4.UInt8, arc4.Address]
     // ) -> tuple[arc4.UInt8, arc4.Address]:
     proto 2 2
-    // avm_types_in_abi/contract.py:21
+    // avm_types_in_abi/contract.py:23
     // assert args[0].bytes.length == 1
     frame_dig -2
     len
     int 1
     ==
     assert
-    // avm_types_in_abi/contract.py:22
+    // avm_types_in_abi/contract.py:24
     // assert args[1].bytes.length == 32
     frame_dig -1
     len
     int 32
     ==
     assert
-    // avm_types_in_abi/contract.py:23
+    // avm_types_in_abi/contract.py:25
     // return args
     frame_dig -2
     frame_dig -1