PVM tests v0.2: inst_set_*: non-zero initial value of output reg

Author: koute

pvm/TESTCASES.md

@@ -1486,13 +1486,17 @@ Gas consumed: 10000 -> 9999
 
 Initial non-zero registers:
    * r7 = 0xfffffff6
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 3d 79 0a                 r9 = r7 >s 10
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3
@@ -1525,13 +1529,17 @@ Gas consumed: 10000 -> 9998
 
 Initial non-zero registers:
    * r7 = 0xa
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 27 79 f6                 r9 = r7 >u 0xfffffff6
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3
@@ -1565,13 +1573,17 @@ Gas consumed: 10000 -> 9998
 Initial non-zero registers:
    * r7 = 0xa
    * r8 = 0xfffffff6
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 3a 87 09                 r9 = r7 <s r8
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3
@@ -1605,13 +1617,17 @@ Gas consumed: 10000 -> 9998
 
 Initial non-zero registers:
    * r7 = 0xa
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 38 79 f6                 r9 = r7 <s -10
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3
@@ -1645,13 +1661,17 @@ Gas consumed: 10000 -> 9998
 Initial non-zero registers:
    * r7 = 0xfffffff6
    * r8 = 0xa
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 24 87 09                 r9 = r7 <u r8
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3
@@ -1685,13 +1705,17 @@ Gas consumed: 10000 -> 9998
 
 Initial non-zero registers:
    * r7 = 0xfffffff6
+   * r9 = 0xdeadbeef
 
 ```
       :                          @0
      0: 1b 79 0a                 r9 = r7 <u 0xa
      3:                          invalid
 ```
 
+Registers after execution (only changed registers):
+   * r9 = 0x0 (initially was 0xdeadbeef)
+
 Program should end with: trap
 
 Final value of the program counter: 3

pvm/programs/inst_set_greater_than_signed_imm_0.json

@@ -10,7 +10,7 @@
     0,
     4294967286,
     0,
-    0,
+    3735928559,
     0,
     0,
     0

pvm/programs/inst_set_greater_than_unsigned_imm_0.json

@@ -10,7 +10,7 @@
     0,
     10,
     0,
-    0,
+    3735928559,
     0,
     0,
     0

pvm/programs/inst_set_less_than_signed_0.json

@@ -10,7 +10,7 @@
     0,
     10,
     4294967286,
-    0,
+    3735928559,
     0,
     0,
     0

pvm/programs/inst_set_less_than_signed_imm_0.json

@@ -10,7 +10,7 @@
     0,
     10,
     0,
-    0,
+    3735928559,
     0,
     0,
     0

pvm/programs/inst_set_less_than_unsigned_0.json

@@ -10,7 +10,7 @@
     0,
     4294967286,
     10,
-    0,
+    3735928559,
     0,
     0,
     0

pvm/programs/inst_set_less_than_unsigned_imm_0.json

@@ -10,7 +10,7 @@
     0,
     4294967286,
     0,
-    0,
+    3735928559,
     0,
     0,
     0