fix: Ensure arc4 router generation works with minimal contracts that …

…don't have any explicit abimethods
algorandfoundation · Apr 8, 2024 · 936f378 · 936f378
1 parent 33d961a
commit 936f378
Show file tree

Hide file tree

Showing 78 changed files with 776 additions and 419 deletions.
diff --git a/examples/amm/out/ConstantProductAMM.ssa.ir b/examples/amm/out/ConstantProductAMM.ssa.ir
diff --git a/examples/amm/out_unoptimized/ConstantProductAMM.approval.teal b/examples/amm/out_unoptimized/ConstantProductAMM.approval.teal
@@ -233,7 +233,9 @@ main_swap_route@8:
     return
 
 main_switch_case_default@9:
-    b main_after_if_else@14
+    // amm/contract.py:27
+    // class ConstantProductAMM(ARC4Contract):
+    err // reject transaction
 
 main_bare_routing@11:
     // amm/contract.py:27
@@ -258,11 +260,6 @@ main_reject_bare_on_completion@13:
     // class ConstantProductAMM(ARC4Contract):
     err // reject transaction
 
-main_after_if_else@14:
-    // amm/contract.py:27
-    // class ConstantProductAMM(ARC4Contract):
-    err // reject transaction
-
 
 // examples.amm.contract.ConstantProductAMM.set_governor(new_governor: bytes) -> void:
 set_governor:

diff --git a/examples/amm/out_unoptimized/ConstantProductAMM.destructured.ir b/examples/amm/out_unoptimized/ConstantProductAMM.destructured.ir
diff --git a/examples/amm/puya.log b/examples/amm/puya.log
diff --git a/examples/arc-28/out/EventEmitter.ssa.ir b/examples/arc-28/out/EventEmitter.ssa.ir
diff --git a/examples/arc-28/out_unoptimized/EventEmitter.approval.teal b/examples/arc-28/out_unoptimized/EventEmitter.approval.teal
@@ -31,7 +31,9 @@ main_emit_swapped_route@2:
     return
 
 main_switch_case_default@3:
-    b main_after_if_else@8
+    // arc-28/contract.py:9
+    // class EventEmitter(ARC4Contract):
+    err // reject transaction
 
 main_bare_routing@5:
     // arc-28/contract.py:9
@@ -56,11 +58,6 @@ main_reject_bare_on_completion@7:
     // class EventEmitter(ARC4Contract):
     err // reject transaction
 
-main_after_if_else@8:
-    // arc-28/contract.py:9
-    // class EventEmitter(ARC4Contract):
-    err // reject transaction
-
 
 // contract.EventEmitter.emit_swapped(a: bytes, b: bytes) -> void:
 emit_swapped:

diff --git a/examples/arc-28/out_unoptimized/EventEmitter.destructured.ir b/examples/arc-28/out_unoptimized/EventEmitter.destructured.ir
diff --git a/examples/arc-28/puya.log b/examples/arc-28/puya.log
diff --git a/examples/auction/out/Auction.ssa.ir b/examples/auction/out/Auction.ssa.ir
diff --git a/examples/auction/out_unoptimized/Auction.approval.teal b/examples/auction/out_unoptimized/Auction.approval.teal
@@ -145,7 +145,9 @@ main_claim_asset_route@9:
     return
 
 main_switch_case_default@10:
-    b main_after_if_else@15
+    // auction/contract.py:16
+    // class Auction(ARC4Contract):
+    err // reject transaction
 
 main_bare_routing@12:
     // auction/contract.py:16
@@ -170,11 +172,6 @@ main_reject_bare_on_completion@14:
     // class Auction(ARC4Contract):
     err // reject transaction
 
-main_after_if_else@15:
-    // auction/contract.py:16
-    // class Auction(ARC4Contract):
-    err // reject transaction
-
 
 // examples.auction.contract.Auction.opt_into_asset(asset: uint64) -> void:
 opt_into_asset:

diff --git a/examples/auction/out_unoptimized/Auction.destructured.ir b/examples/auction/out_unoptimized/Auction.destructured.ir
diff --git a/examples/auction/puya.log b/examples/auction/puya.log
diff --git a/examples/hello_world_arc4/out/HelloWorldContract.ssa.ir b/examples/hello_world_arc4/out/HelloWorldContract.ssa.ir
diff --git a/examples/hello_world_arc4/out_unoptimized/HelloWorldContract.approval.teal b/examples/hello_world_arc4/out_unoptimized/HelloWorldContract.approval.teal
@@ -41,7 +41,9 @@ main_hello_route@2:
     return
 
 main_switch_case_default@3:
-    b main_after_if_else@8
+    // hello_world_arc4/contract.py:9
+    // class HelloWorldContract(ARC4Contract):
+    err // reject transaction
 
 main_bare_routing@5:
     // hello_world_arc4/contract.py:9
@@ -66,11 +68,6 @@ main_reject_bare_on_completion@7:
     // class HelloWorldContract(ARC4Contract):
     err // reject transaction
 
-main_after_if_else@8:
-    // hello_world_arc4/contract.py:9
-    // class HelloWorldContract(ARC4Contract):
-    err // reject transaction
-
 
 // examples.hello_world_arc4.contract.HelloWorldContract.hello(name: bytes) -> bytes:
 hello:

diff --git a/examples/hello_world_arc4/out_unoptimized/HelloWorldContract.destructured.ir b/examples/hello_world_arc4/out_unoptimized/HelloWorldContract.destructured.ir