test cases for jumps

evmcc/test/jump/badjump1.evm

@@ -0,0 +1 @@
+601b602502585d

evmcc/test/jump/badjump1.lll

@@ -0,0 +1,9 @@
+;; Bad indirect jump. Should go to BadJumpBlock.
+
+(asm
+27
+37
+MUL
+JUMP
+JUMPDEST
+)

evmcc/test/jump/call1.ethel

@@ -0,0 +1,3 @@
+let f n = n + 1
+
+return f 2

evmcc/test/jump/call1.evm

@@ -0,0 +1 @@
+630000000d60026300000016585d60005460206000f280600101915058

evmcc/test/jump/fib1.ethel

@@ -0,0 +1,5 @@
+let fib n = 
+    if n < 3 then 1 
+    else fib (n-1) + fib (n-2)
+
+return fib 5

evmcc/test/jump/fib1.evm

@@ -0,0 +1 @@
+630000000d60056300000016585d60005460206000f28060030a630000004759630000002f816001036300000016585d630000003f836002036300000016585d0163000000495860019350505058

evmcc/test/jump/if1.ethel

@@ -0,0 +1 @@
+return if 0 then 1 else 2

evmcc/test/jump/if1.evm

@@ -0,0 +1 @@
+60006300000010596002630000001258600160005460206000f2

evmcc/test/jump/if2.ethel

@@ -0,0 +1 @@
+return if 1 then 1 else 2

evmcc/test/jump/if2.evm

@@ -0,0 +1 @@
+60016300000010596002630000001258600160005460206000f2

evmcc/test/jump/indirect1.evm

@@ -0,0 +1 @@
+600460030158005d6001600054

evmcc/test/jump/indirect1.lll

@@ -0,0 +1,13 @@
+;; Indirect JUMP
+
+(asm 
+4	 ;; 0
+3    	 ;; 2
+ADD  	 ;; 4
+JUMP 	 ;; 5
+STOP   	 ;; 6
+JUMPDEST ;; 7
+1
+0
+MSTORE
+)

evmcc/test/jump/indirect2.evm

@@ -0,0 +1 @@
+600860060158005d6001600054005d600260005400

evmcc/test/jump/indirect2.lll

@@ -0,0 +1,19 @@
+;; Indirect JUMP
+
+(asm 
+8	 ;; 0
+6    	 ;; 2
+ADD  	 ;; 4
+JUMP 	 ;; 5
+STOP   	 ;; 6
+JUMPDEST ;; 7
+1        ;; 8
+0        ;; 10
+MSTORE   ;; 12
+STOP     ;; 13
+JUMPDEST ;; 14
+2
+0
+MSTORE
+STOP
+)