execution-spec-tests/tests/static/state_tests/VMTests/vmBitwiseLogicOperation/xorFiller.yml at 7e2995374c00724d63bc6ecb8081ec0fd797855f · felix314159/execution-spec-tests · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
xor:

  # A test of xor bitwise logic

  env:
    currentCoinbase: 2adc25665018aa1fe0e6bc666dac8fc2697ff9ba
    currentDifficulty: 0x20000
    currentGasLimit: 100000000
    currentNumber: 1
    currentTimestamp: 1000

  _info:
    comment: Ori Pomerantz qbzzt1@gmail.com

  pre:

    0000000000000000000000000000000000001000:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            [[0]] (xor 2 2)
        }
      nonce: '0'
      storage: {}


    0000000000000000000000000000000000001001:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            [[0]] (xor 2 1)
        }
      nonce: '0'
      storage: {}


    0000000000000000000000000000000000001002:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            [[0]] (xor 3 1)
        }
      nonce: '0'
      storage: {}


    0000000000000000000000000000000000001003:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            ; "xor 0xfff..fff" is equivalent to not
            [[0]] (xor
                     0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
                     0x0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef
                  )
        }
      nonce: '0'
      storage: {}


    0000000000000000000000000000000000001004:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            ; "or 0xfff..fff" gives you 0xfff..fff
            [[0]] (xor
                     0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
                     0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
                  )
        }
      nonce: '0'
      storage: {}


    0000000000000000000000000000000000001005:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            ; "or 0xfff..fff" gives you 0xfff..fff
            [[0]] (xor
                     0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
                     0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
                  )
        }
      nonce: '0'
      storage: {}


    cccccccccccccccccccccccccccccccccccccccc:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: |
        {
            (call 0xffffff (+ 0x1000 $4) 0 0 0 0 0)
        }
      nonce: '0'
      storage: {}


    a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
      balance: '0x0ba1a9ce0ba1a9ce'
      code: '0x'
      nonce: '0'
      storage: {}

  transaction:
    data:
    - :label xor_2_2            :abi f(uint) 0
    - :label xor_2_1            :abi f(uint) 1
    - :label xor_3_1            :abi f(uint) 2
    - :label xor_allones_bignum :abi f(uint) 3
    - :label xor_allones_1110s  :abi f(uint) 4
    - :label xor_allones_eefee  :abi f(uint) 5
    gasLimit:
    - '16777216'
    gasPrice: '10'
    nonce: '0'
    to: cccccccccccccccccccccccccccccccccccccccc
    value:
    - '1'
    secretKey: "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8"


  expect:
    - indexes:
        data: :label xor_2_2
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001000:
          storage:
            0: 0x00


    - indexes:
        data: :label xor_2_1
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001001:
          storage:
            0: 0x03


    - indexes:
        data: :label xor_3_1
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001002:
          storage:
            0: 0x02


    - indexes:
        data: :label xor_allones_bignum
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001003:
          storage:
            0: 0xfedcba9876543210fedcba9876543210fedcba9876543210fedcba9876543210


    - indexes:
        data: :label xor_allones_1110s
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001004:
          storage:
            0: 0x1111111111111111111111111111111111111111111111111111111111111111


    - indexes:
        data: :label xor_allones_eefee
        gas:  !!int -1
        value: !!int -1
      network:
        - '>=Cancun'
      result:
        0000000000000000000000000000000000001005:
          storage:
            0: 0x1111111111111111111111111111101111111111111111111111111111111111