test cases for JUMP(I)

evmcc/test/jump/badindirect1.evm

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

evmcc/test/jump/badindirect1.lll

@@ -0,0 +1,9 @@
+;; Indirect jump out of code
+
+(asm
+27
+37
+MUL
+JUMP
+JUMPDEST
+)

evmcc/test/jump/badindirect2.evm

@@ -0,0 +1 @@
+60016003600302596000600058

evmcc/test/jump/badindirect2.lll

@@ -0,0 +1,12 @@
+;; Indirect jump into data
+
+(asm
+1          ;; 0
+3         
+3 
+MUL        ;; 6
+JUMPI      ;; 7
+0          ;; 8
+0          
+JUMP       
+)

evmcc/test/jump/badjump1.evm

@@ -1 +1 @@
-601b602502585d
+6103e758

evmcc/test/jump/badjump1.lll

@@ -1,9 +1,6 @@
-;; Bad indirect jump. Should go to BadJumpBlock.
+;; Direct jump out of code.
 
 (asm
-27
+999
-37
-MUL
 JUMP
-JUMPDEST
 )

evmcc/test/jump/badjump2.evm

@@ -0,0 +1 @@
+6004586000600058

evmcc/test/jump/badjump2.lll

@@ -0,0 +1,9 @@
+;; Direct jump into data
+
+(asm
+4      ;; 0   0-3
+JUMP   ;; 2
+0      ;; 3   3-4
+0      ;; 5   4-7
+JUMP   ;; 6
+)

evmcc/test/jump/indirect2.lll

@@ -4,14 +4,14 @@
 8	 ;; 0
 6    	 ;; 2
 ADD  	 ;; 4
-JUMP 	 ;; 5
+JUMP 	 ;; 5 --> 14
 STOP   	 ;; 6
 JUMPDEST ;; 7
 1        ;; 8
 0        ;; 10
 MSTORE   ;; 12
 STOP     ;; 13
-JUMPDEST ;; 14
+JUMPDEST ;; 14 
 2
 0
 MSTORE

evmcc/test/jump/indirect3.evm

@@ -0,0 +1 @@
+6001600460050159005d6001600054

evmcc/test/jump/indirect3.lll

@@ -0,0 +1,14 @@
+;; Indirect JUMP
+
+(asm 
+1        ;; 0
+4	 ;; 2
+5    	 ;; 4
+ADD  	 ;; 6
+JUMPI 	 ;; 7
+STOP   	 ;; 8
+JUMPDEST ;; 9
+1
+0
+MSTORE
+)

evmcc/test/jump/indirect4.evm

@@ -0,0 +1 @@
+60006007600501596001600054005d00

evmcc/test/jump/indirect4.lll

@@ -0,0 +1,15 @@
+;; Indirect JUMP
+
+(asm 
+0        ;; 0
+7	 ;; 2
+5    	 ;; 4
+ADD  	 ;; 6
+JUMPI 	 ;; 7
+1        ;; 8
+0        ;; 9
+MSTORE   ;; 10
+STOP   	 ;; 11
+JUMPDEST ;; 12
+STOP
+)