Ticket #85: bitfield.log

File bitfield.log, 9.0 KB (added by Lukáš Zaoral, 12 months ago)
Line 
1[ 0:00] + cat
2[ 0:00] + sim test.c
3[ 0:00] compiling test.c
4[ 0:00]
5[ 0:01]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
6[ 0:01]           ———      |     |   |   |     |   |   |\    |  |         |    |
7[ 0:01]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
8[ 0:01]         ———————    |     |   |    \   /    |   |    \|  |              |
9[ 0:01]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
10[ 0:01]
11[ 0:01] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
12[ 0:01] # executing __boot at /dios/include/config/common.hpp:28
13[ 0:01] > start
14[ 0:01] # a new program state was stored as #1
15[ 0:01] # active threads: [0:0]
16[ 0:01] # a new program state was stored as #2
17[ 0:01] # active threads: [0:0]
18[ 0:01] # a new program state was stored as #3
19[ 0:01] # active threads: [0:0]
20[ 0:01] # a new program state was stored as #4
21[ 0:01] # active threads: [0:0]
22[ 0:01] # a new program state was stored as #5
23[ 0:01] # active threads: [0:0]
24[ 0:01] # a new program state was stored as #6
25[ 0:01] # active threads: [0:0]
26[ 0:01] # a new program state was stored as #7
27[ 0:01] # active threads: [0:0]
28[ 0:01] # a new program state was stored as #8
29[ 0:01] # active threads: [0:0]
30[ 0:01] # a new program state was stored as #9
31[ 0:02] # active threads: [0:0]
32[ 0:02] # a new program state was stored as #10
33[ 0:02] # active threads: [0:0]
34[ 0:02] # a new program state was stored as #11
35[ 0:02] # active threads: [0:0]
36[ 0:02] # a new program state was stored as #12
37[ 0:02] # active threads: [0:0]
38[ 0:02] # a new program state was stored as #13
39[ 0:02] # active threads: [0:0]
40[ 0:02] # a new program state was stored as #14
41[ 0:02] # active threads: [0:0]
42[ 0:02] # a new program state was stored as #15
43[ 0:02] # active threads: [0:0]
44[ 0:02] # a new program state was stored as #16
45[ 0:02] # active threads: [0:0]
46[ 0:02] # a new program state was stored as #17
47[ 0:02] # active threads: [0:0]
48[ 0:02] # a new program state was stored as #18
49[ 0:02] # active threads: [0:0]
50[ 0:02] # a new program state was stored as #19
51[ 0:02] # active threads: [0:0]
52[ 0:02] # a new program state was stored as #20
53[ 0:02] # active threads: [0:0]
54[ 0:02] # a new program state was stored as #21
55[ 0:02] # active threads: [0:0]
56[ 0:02] # a new program state was stored as #22
57[ 0:02] # active threads: [0:0]
58[ 0:02] # a new program state was stored as #23
59[ 0:02] # active threads: [0:0]
60[ 0:02] # a new program state was stored as #24
61[ 0:02] # active threads: [0:0]
62[ 0:02] # a new program state was stored as #25
63[ 0:02] # active threads: [0:0]
64[ 0:02] # a new program state was stored as #26
65[ 0:02] # active threads: [0:0]
66[ 0:02] # a new program state was stored as #27
67[ 0:02] # active threads: [0:0]
68[ 0:02] # a new program state was stored as #28
69[ 0:02] # active threads: [0:0]
70[ 0:02] # a new program state was stored as #29
71[ 0:02] # active threads: [0:0]
72[ 0:02] # a new program state was stored as #30
73[ 0:02] # active threads: [0:0]
74[ 0:02] # a new program state was stored as #31
75[ 0:02] # active threads: [0:0]
76[ 0:02] # a new program state was stored as #32
77[ 0:02] # active threads: [0:0]
78[ 0:02] # a new program state was stored as #33
79[ 0:02] # active threads: [0:0]
80[ 0:02] # a new program state was stored as #34
81[ 0:02] # active threads: [0:0]
82[ 0:02] # a new program state was stored as #35
83[ 0:02] # active threads: [0:0]
84[ 0:02] # a new program state was stored as #36
85[ 0:02] # active threads: [0:0]
86[ 0:02] # a new program state was stored as #37
87[ 0:02] # active threads: [0:0]
88[ 0:02] # a new program state was stored as #38
89[ 0:02] # active threads: [0:0]
90[ 0:02] # a new program state was stored as #39
91[ 0:02] # active threads: [0:0]
92[ 0:02] # a new program state was stored as #40
93[ 0:02] # active threads: [0:0]
94[ 0:02] # a new program state was stored as #41
95[ 0:02] # active threads: [0:0]
96[ 0:02] # a new program state was stored as #42
97[ 0:02] # active threads: [0:0]
98[ 0:02] # a new program state was stored as #43
99[ 0:02] # active threads: [0:0]
100[ 0:02] # a new program state was stored as #44
101[ 0:02] # active threads: [0:0]
102[ 0:02] # a new program state was stored as #45
103[ 0:02] # active threads: [0:0]
104[ 0:02] # a new program state was stored as #46
105[ 0:02] # active threads: [0:0]
106[ 0:02] # a new program state was stored as #47
107[ 0:02] # active threads: [0:0]
108[ 0:02] # a new program state was stored as #48
109[ 0:02] # active threads: [0:0]
110[ 0:02] # a new program state was stored as #49
111[ 0:02] # active threads: [0:0]
112[ 0:02] # a new program state was stored as #50
113[ 0:02] # active threads: [0:0]
114[ 0:02] # a new program state was stored as #51
115[ 0:02] # active threads: [0:0]
116[ 0:02] # a new program state was stored as #52
117[ 0:02] # active threads: [0:0]
118[ 0:02] # a new program state was stored as #53
119[ 0:02] # active threads: [0:0]
120[ 0:02] # a new program state was stored as #54
121[ 0:02] # active threads: [0:0]
122[ 0:02] # a new program state was stored as #55
123[ 0:02] # active threads: [0:0]
124[ 0:02] # a new program state was stored as #56
125[ 0:02] # active threads: [0:0]
126[ 0:02] # a new program state was stored as #57
127[ 0:02] # active threads: [0:0]
128[ 0:02] # a new program state was stored as #58
129[ 0:02] # active threads: [0:0]
130[ 0:02] # a new program state was stored as #59
131[ 0:02] # active threads: [0:0]
132[ 0:02] # a new program state was stored as #60
133[ 0:02] # active threads: [0:0]
134[ 0:02] # a new program state was stored as #61
135[ 0:02] # active threads: [0:0]
136[ 0:02] # a new program state was stored as #62
137[ 0:02] # active threads: [0:0]
138[ 0:02] # a new program state was stored as #63
139[ 0:02] # active threads: [0:0]
140[ 0:02] # a new program state was stored as #64
141[ 0:02] # active threads: [0:0]
142[ 0:02] # a new program state was stored as #65
143[ 0:02] # active threads: [0:0]
144[ 0:02] # a new program state was stored as #66
145[ 0:02] # active threads: [0:0]
146[ 0:02] # a new program state was stored as #67
147[ 0:02] # active threads: [0:0]
148[ 0:02] # a new program state was stored as #68
149[ 0:02] # active threads: [0:0]
150[ 0:02] # a new program state was stored as #69
151[ 0:02] # active threads: [0:0]
152[ 0:02] # a new program state was stored as #70
153[ 0:02] # active threads: [0:0]
154[ 0:02] # a new program state was stored as #71
155[ 0:02] # active threads: [0:0]
156[ 0:02] # a new program state was stored as #72
157[ 0:02] # active threads: [0:0]
158[ 0:02] # a new program state was stored as #73
159[ 0:02] # active threads: [0:0]
160[ 0:02] # a new program state was stored as #74
161[ 0:02] # active threads: [0:0]
162[ 0:02] # a new program state was stored as #75
163[ 0:02] # active threads: [0:0]
164[ 0:02] # a new program state was stored as #76
165[ 0:02] # active threads: [0:0]
166[ 0:02] # a new program state was stored as #77
167[ 0:02] # active threads: [0:0]
168[ 0:02] # a new program state was stored as #78
169[ 0:02] # active threads: [0:0]
170[ 0:02] # a new program state was stored as #79
171[ 0:02] # active threads: [0:0]
172[ 0:02] # a new program state was stored as #80
173[ 0:02] # active threads: [0:0]
174[ 0:02] # a new program state was stored as #81
175[ 0:02] # active threads: [0:0]
176[ 0:02] # a new program state was stored as #82
177[ 0:02] # active threads: [0:0]
178[ 0:02] # a new program state was stored as #83
179[ 0:02] # active threads: [0:0]
180[ 0:02] # a new program state was stored as #84
181[ 0:02] # active threads: [0:0]
182[ 0:02] # a new program state was stored as #85
183[ 0:02] # active threads: [0:0]
184[ 0:02] # a new program state was stored as #86
185[ 0:02] # active threads: [0:0]
186[ 0:02] # executing main at test.c:9
187[ 0:02] > step --over
188[ 0:02]   %01 = alloca [i32 1 d]                                    # [alloca* b451c1 0 ddp]
189[ 0:02] # executing main at test.c:10
190[ 0:02] > source
191[ 0:02]       9 int main() {
192[ 0:02] >>   10     struct BF x = { .a = 2, .b = -5, .c = 8, .d = 1 };
193[ 0:02]      11     return 0;
194[ 0:02]      12 }
195[ 0:02] # executing main at test.c:10
196[ 0:02] > step
197[ 0:02]   %04 = call @memcpy %03 [global* 1 0 ddp] [i64 8 d]        # [global* 0 0 uun]
198[ 0:02] # executing __dios_reschedule at /dios/include/_build.release/dios/include/sys/divm.h:490
199[ 0:02] > show .x
200[ 0:02] ERROR: lookup failed at x
201[ 0:02] # executing __dios_reschedule at /dios/include/_build.release/dios/include/sys/divm.h:490
202[ 0:02]
203[ 0:02] = expected ==========
204[ 0:02] > start
205[ 0:02] > step --over
206[ 0:02] > source
207[ 0:02] > step
208[ 0:02] > show .x
209[ 0:02] + a:
210[ 0:02] + value:.*[i16 2 d]
211[ 0:02] + b:
212[ 0:02] + value:.*[i16 123 d]
213[ 0:02] + c:
214[ 0:02] + value:.*[i32 8 d]
215[ 0:02] + d:
216[ 0:02] + value:.*[i8 1 d]
217[ 0:02]
218[ 0:02] = matched ===========
219[ 0:02] > start                                                      | ^> start
220[ 0:02] > step --over                                                | ^> step --over
221[ 0:02] > source                                                     | ^> source
222[ 0:02] > step                                                       | ^> step
223[ 0:02] > show .x                                                    | ^> show .x
224[ 0:02] failed to find + a:
225[ 0:02] + check debris
226[ 0:02] + test -e warning