summaryrefslogtreecommitdiff
path: root/ecomp-c/tests/boolean_variable.erun
blob: 8067a35cf9e58b82e823d496f6aa8a21496b1e01 (plain)
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
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
Read 73 bytes of code and static data..
1000000: EB00                            jmp 0x1000002
1000002: B855443322                      mov eax, 0x22334455
1000007: 50                              push eax
1000008: 58                              pop eax
1000009: A345000001                      mov dword ptr [0x1000045], eax
100000E: B899887766                      mov eax, 0x66778899
1000013: 50                              push eax
1000014: 58                              pop eax
1000015: A341000001                      mov dword ptr [0x1000041], eax
100001A: A145000001                      mov eax, dword ptr [0x1000045]
100001F: 50                              push eax
1000020: A141000001                      mov eax, dword ptr [0x1000041]
1000025: 50                              push eax
1000026: 5B                              pop ebx
1000027: 58                              pop eax
1000028: 39D8                            cmp eax, ebx
100002A: 7507                            jne 0x1000033
100002C: B800000000                      mov eax, 0
1000031: EB05                            jmp 0x1000038
1000033: B801000000                      mov eax, 1
1000038: 50                              push eax
1000039: 58                              pop eax
100003A: A240000001                      mov byte ptr [0x1000040], al
100003F: F4                              hlt 
data:
01000040: 00000000
01000044: 00000000
01000048: 00000000
core start 1000000
data start 1000040
data size 9
stack start 1800000
Single step execution:
-- iteration 1
1000000: EB00                            jmp 0x1000002
EIP: 01000002
ESP: 01800000
EBP: 01800000
EAX: 00000000
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00000000
01000048: 00000000
-- iteration 2
1000002: B855443322                      mov eax, 0x22334455
EIP: 01000007
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00000000
01000048: 00000000
-- iteration 3
1000007: 50                              push eax
EIP: 01000008
ESP: 017FFFFC
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 22334455
data:
01000040: 00000000
01000044: 00000000
01000048: 00000000
-- iteration 4
1000008: 58                              pop eax
EIP: 01000009
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00000000
01000048: 00000000
-- iteration 5
1000009: A345000001                      mov dword ptr [0x1000045], eax
EIP: 0100000E
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00554433
01000048: 22000000
-- iteration 6
100000E: B899887766                      mov eax, 0x66778899
EIP: 01000013
ESP: 01800000
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00554433
01000048: 22000000
-- iteration 7
1000013: 50                              push eax
EIP: 01000014
ESP: 017FFFFC
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 66778899
data:
01000040: 00000000
01000044: 00554433
01000048: 22000000
-- iteration 8
1000014: 58                              pop eax
EIP: 01000015
ESP: 01800000
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00000000
01000044: 00554433
01000048: 22000000
-- iteration 9
1000015: A341000001                      mov dword ptr [0x1000041], eax
EIP: 0100001A
ESP: 01800000
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 10
100001A: A145000001                      mov eax, dword ptr [0x1000045]
EIP: 0100001F
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 11
100001F: 50                              push eax
EIP: 01000020
ESP: 017FFFFC
EBP: 01800000
EAX: 22334455
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 22334455
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 12
1000020: A141000001                      mov eax, dword ptr [0x1000041]
EIP: 01000025
ESP: 017FFFFC
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 22334455
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 13
1000025: 50                              push eax
EIP: 01000026
ESP: 017FFFF8
EBP: 01800000
EAX: 66778899
EBX: 00000000
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFF8: 66778899
017FFFFC: 22334455
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 14
1000026: 5B                              pop ebx
EIP: 01000027
ESP: 017FFFFC
EBP: 01800000
EAX: 66778899
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 22334455
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 15
1000027: 58                              pop eax
EIP: 01000028
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 16
1000028: 39D8                            cmp eax, ebx
EIP: 0100002A
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 17
100002A: 7507                            jne 0x1000033
EIP: 01000033
ESP: 01800000
EBP: 01800000
EAX: 22334455
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 18
1000033: B801000000                      mov eax, 1
EIP: 01000038
ESP: 01800000
EBP: 01800000
EAX: 00000001
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 19
1000038: 50                              push eax
EIP: 01000039
ESP: 017FFFFC
EBP: 01800000
EAX: 00000001
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
017FFFFC: 00000001
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 20
1000039: 58                              pop eax
EIP: 0100003A
ESP: 01800000
EBP: 01800000
EAX: 00000001
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 00998877
01000044: 66554433
01000048: 22000000
-- iteration 21
100003A: A240000001                      mov byte ptr [0x1000040], al
EIP: 0100003F
ESP: 01800000
EBP: 01800000
EAX: 00000001
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 01998877
01000044: 66554433
01000048: 22000000
-- iteration 22
100003F: F4                              hlt 
EIP: 01000040
ESP: 01800000
EBP: 01800000
EAX: 00000001
EBX: 66778899
ECX: 00000000
EDX: 00000000
ESI: 00000000
EDI: 00000000
stack:
data:
01000040: 01998877
01000044: 66554433
01000048: 22000000