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 |
---|