source: Deliverables/D2.3/8051-memoryspaces-branch/log @ 489

Last change on this file since 489 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 13.0 KB
Line 
1Source configuration ...
2CIL parser compilation ...
3make -C cparser all install
4make[1]: Entering directory `/home/ayache/Work/Source/CerCo/experiments/compiler/branches/8051/cparser'
5make[1]: Nothing to be done for `all'.
6mkdir -p ../lib
7cp -p Cparser.cmi cparser.cma cparser.cmxa cparser cparser.a libcparser.a dllcparser.so ../lib
8make[1]: Leaving directory `/home/ayache/Work/Source/CerCo/experiments/compiler/branches/8051/cparser'
9echo "let parser_lib = \"`pwd`/lib\"" > myocamlbuild_config.ml
10rm -f acc.native
11ocamlfind ocamlopt -c -I src/ASM -I src -I src/ERTL -I src/RTLabs -I src/LTL -I src/cminor -I src/utilities -I src/common -I src/LIN -I src/clight -I src/RTL -o src/ASM/ASMInterpret.cmx src/ASM/ASMInterpret.ml
12+ ocamlfind ocamlopt -c -I src/ASM -I src -I src/ERTL -I src/RTLabs -I src/LTL -I src/cminor -I src/utilities -I src/common -I src/LIN -I src/clight -I src/RTL -o src/ASM/ASMInterpret.cmx src/ASM/ASMInterpret.ml
13File "src/ASM/ASMInterpret.ml", line 2022, characters 8-10:
14Warning Y: unused variable st.
15File "src/ASM/ASMInterpret.ml", line 989, characters 38-48:
16Error: This expression has type ASM.labelled_instruction list
17       but an expression was expected of type
18         ([< `ACALL of ASM.addr11
19           | `ADD of
20               ASM.acc *
21               [ `DATA of BitVectors.byte
22               | `DIRECT of BitVectors.byte
23               | `INDIRECT of BitVectors.bit
24               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
25           | `ADDC of
26               ASM.acc *
27               [ `DATA of BitVectors.byte
28               | `DIRECT of BitVectors.byte
29               | `INDIRECT of BitVectors.bit
30               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
31           | `AJMP of ASM.addr11
32           | `ANL of
33               (ASM.acc *
34                [ `DATA of BitVectors.byte
35                | `DIRECT of BitVectors.byte
36                | `INDIRECT of BitVectors.bit
37                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
38                ASM.direct * [ `A | `DATA of BitVectors.byte ],
39                ASM.carry *
40                [ `BIT of BitVectors.byte | `NBIT of BitVectors.byte ])
41               ASM.union3
42           | `CJNE of
43               (ASM.acc *
44                [ `DATA of BitVectors.byte | `DIRECT of BitVectors.byte ],
45                [ `INDIRECT of BitVectors.bit
46                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
47                ASM.data)
48               ASM.union2 * ASM.rel
49           | `CLR of [ `A | `BIT of BitVectors.byte | `C ]
50           | `CPL of [ `A | `BIT of BitVectors.byte | `C ]
51           | `Call of 'b
52           | `Cost of 'c
53           | `DA of ASM.acc
54           | `DEC of
55               [ `A
56               | `DIRECT of BitVectors.byte
57               | `INDIRECT of BitVectors.bit
58               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
59           | `DIV of ASM.acc * ASM.b
60           | `DJNZ of
61               [ `DIRECT of BitVectors.byte
62               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
63               ASM.rel
64           | `INC of
65               [ `A
66               | `DIRECT of BitVectors.byte
67               | `DPTR
68               | `INDIRECT of BitVectors.bit
69               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
70           | `JB of ASM.bit * ASM.rel
71           | `JBC of ASM.bit * ASM.rel
72           | `JC of ASM.rel
73           | `JMP of ASM.indirect_dptr
74           | `JNB of ASM.bit * ASM.rel
75           | `JNC of ASM.rel
76           | `JNZ of ASM.rel
77           | `JZ of ASM.rel
78           | `Jmp of 'd
79           | `LCALL of ASM.addr16
80           | `LJMP of ASM.addr16
81           | `Label of StringMap.key
82           | `MOV of
83               (ASM.acc *
84                [ `DATA of BitVectors.byte
85                | `DIRECT of BitVectors.byte
86                | `INDIRECT of BitVectors.bit
87                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
88                [ `INDIRECT of BitVectors.bit
89                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
90                [ `A | `DATA of BitVectors.byte | `DIRECT of BitVectors.byte ],
91                ASM.direct *
92                [ `A
93                | `DATA of BitVectors.byte
94                | `DIRECT of BitVectors.byte
95                | `INDIRECT of BitVectors.bit
96                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
97                ASM.dptr * ASM.data16, ASM.carry * ASM.bit,
98                ASM.bit * ASM.carry)
99               ASM.union6
100           | `MOVC of ASM.acc * [ `A_DPTR | `A_PC ]
101           | `MOVX of
102               (ASM.acc * [ `EXT_INDIRECT of BitVectors.bit | `EXT_IND_DPTR ],
103                [ `EXT_INDIRECT of BitVectors.bit | `EXT_IND_DPTR ] * ASM.acc)
104               ASM.union2
105           | `MUL of ASM.acc * ASM.b
106           | `Mov of 'e * 'f
107           | `NOP
108           | `ORL of
109               (ASM.acc *
110                [ `DATA of BitVectors.byte
111                | `DIRECT of BitVectors.byte
112                | `INDIRECT of BitVectors.bit
113                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
114                ASM.direct * [ `A | `DATA of BitVectors.byte ],
115                ASM.carry *
116                [ `BIT of BitVectors.byte | `NBIT of BitVectors.byte ])
117               ASM.union3
118           | `POP of ASM.direct
119           | `PUSH of ASM.direct
120           | `RET
121           | `RETI
122           | `RL of ASM.acc
123           | `RLC of ASM.acc
124           | `RR of ASM.acc
125           | `RRC of ASM.acc
126           | `SETB of [ `BIT of BitVectors.byte | `C ]
127           | `SJMP of ASM.rel
128           | `SUBB of
129               ASM.acc *
130               [ `DATA of BitVectors.byte
131               | `DIRECT of BitVectors.byte
132               | `INDIRECT of BitVectors.bit
133               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
134           | `SWAP of ASM.acc
135           | `WithLabel of
136               [< `CJNE of
137                    [ `U1 of
138                        [ `A ] *
139                        [ `DATA of BitVectors.byte
140                        | `DIRECT of BitVectors.byte ]
141                    | `U2 of
142                        [ `INDIRECT of BitVectors.bit
143                        | `REG of
144                            BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
145                        [ `DATA of BitVectors.byte ] ] *
146                    'g
147                | `DJNZ of
148                    [ `DIRECT of BitVectors.byte
149                    | `REG of
150                        BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
151                    'g
152                | `JB of [ `BIT of BitVectors.byte ] * 'g
153                | `JBC of [ `BIT of BitVectors.byte ] * 'g
154                | `JC of 'g
155                | `JNB of [ `BIT of BitVectors.byte ] * 'g
156                | `JNC of 'g
157                | `JNZ of 'g
158                | `JZ of 'g ]
159           | `XCH of
160               ASM.acc *
161               [ `DIRECT of BitVectors.byte
162               | `INDIRECT of BitVectors.bit
163               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
164           | `XCHD of ASM.acc * ASM.indirect
165           | `XRL of
166               (ASM.acc *
167                [ `DATA of BitVectors.byte
168                | `DIRECT of BitVectors.byte
169                | `INDIRECT of BitVectors.bit
170                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
171                ASM.direct * [ `A | `DATA of BitVectors.byte ])
172               ASM.union2 ]
173          as 'a)
174         list
175       Type
176         ASM.labelled_instruction =
177           [ `ACALL of ASM.addr11
178           | `ADD of
179               ASM.acc *
180               [ `DATA of BitVectors.byte
181               | `DIRECT of BitVectors.byte
182               | `INDIRECT of BitVectors.bit
183               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
184           | `ADDC of
185               ASM.acc *
186               [ `DATA of BitVectors.byte
187               | `DIRECT of BitVectors.byte
188               | `INDIRECT of BitVectors.bit
189               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
190           | `AJMP of ASM.addr11
191           | `ANL of
192               (ASM.acc *
193                [ `DATA of BitVectors.byte
194                | `DIRECT of BitVectors.byte
195                | `INDIRECT of BitVectors.bit
196                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
197                ASM.direct * [ `A | `DATA of BitVectors.byte ],
198                ASM.carry *
199                [ `BIT of BitVectors.byte | `NBIT of BitVectors.byte ])
200               ASM.union3
201           | `Begin_fun
202           | `CJNE of
203               (ASM.acc *
204                [ `DATA of BitVectors.byte | `DIRECT of BitVectors.byte ],
205                [ `INDIRECT of BitVectors.bit
206                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
207                ASM.data)
208               ASM.union2 * ASM.rel
209           | `CLR of [ `A | `BIT of BitVectors.byte | `C ]
210           | `CPL of [ `A | `BIT of BitVectors.byte | `C ]
211           | `Call of string
212           | `Cost of string
213           | `DA of ASM.acc
214           | `DEC of
215               [ `A
216               | `DIRECT of BitVectors.byte
217               | `INDIRECT of BitVectors.bit
218               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
219           | `DIV of ASM.acc * ASM.b
220           | `DJNZ of
221               [ `DIRECT of BitVectors.byte
222               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
223               ASM.rel
224           | `End_fun
225           | `INC of
226               [ `A
227               | `DIRECT of BitVectors.byte
228               | `DPTR
229               | `INDIRECT of BitVectors.bit
230               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
231           | `JB of ASM.bit * ASM.rel
232           | `JBC of ASM.bit * ASM.rel
233           | `JC of ASM.rel
234           | `JMP of ASM.indirect_dptr
235           | `JNB of ASM.bit * ASM.rel
236           | `JNC of ASM.rel
237           | `JNZ of ASM.rel
238           | `JZ of ASM.rel
239           | `Jmp of string
240           | `LCALL of ASM.addr16
241           | `LJMP of ASM.addr16
242           | `Label of string
243           | `MOV of
244               (ASM.acc *
245                [ `DATA of BitVectors.byte
246                | `DIRECT of BitVectors.byte
247                | `INDIRECT of BitVectors.bit
248                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
249                [ `INDIRECT of BitVectors.bit
250                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ] *
251                [ `A | `DATA of BitVectors.byte | `DIRECT of BitVectors.byte ],
252                ASM.direct *
253                [ `A
254                | `DATA of BitVectors.byte
255                | `DIRECT of BitVectors.byte
256                | `INDIRECT of BitVectors.bit
257                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
258                ASM.dptr * ASM.data16, ASM.carry * ASM.bit,
259                ASM.bit * ASM.carry)
260               ASM.union6
261           | `MOVC of ASM.acc * [ `A_DPTR | `A_PC ]
262           | `MOVX of
263               (ASM.acc * [ `EXT_INDIRECT of BitVectors.bit | `EXT_IND_DPTR ],
264                [ `EXT_INDIRECT of BitVectors.bit | `EXT_IND_DPTR ] * ASM.acc)
265               ASM.union2
266           | `MUL of ASM.acc * ASM.b
267           | `Mov of ASM.dptr * string
268           | `NOP
269           | `ORL of
270               (ASM.acc *
271                [ `DATA of BitVectors.byte
272                | `DIRECT of BitVectors.byte
273                | `INDIRECT of BitVectors.bit
274                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
275                ASM.direct * [ `A | `DATA of BitVectors.byte ],
276                ASM.carry *
277                [ `BIT of BitVectors.byte | `NBIT of BitVectors.byte ])
278               ASM.union3
279           | `POP of ASM.direct
280           | `PUSH of ASM.direct
281           | `RET
282           | `RETI
283           | `RL of ASM.acc
284           | `RLC of ASM.acc
285           | `RR of ASM.acc
286           | `RRC of ASM.acc
287           | `SETB of [ `BIT of BitVectors.byte | `C ]
288           | `SJMP of ASM.rel
289           | `SUBB of
290               ASM.acc *
291               [ `DATA of BitVectors.byte
292               | `DIRECT of BitVectors.byte
293               | `INDIRECT of BitVectors.bit
294               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
295           | `SWAP of ASM.acc
296           | `WithLabel of [ `Label of string ] ASM.jump
297           | `XCH of
298               ASM.acc *
299               [ `DIRECT of BitVectors.byte
300               | `INDIRECT of BitVectors.bit
301               | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ]
302           | `XCHD of ASM.acc * ASM.indirect
303           | `XRL of
304               (ASM.acc *
305                [ `DATA of BitVectors.byte
306                | `DIRECT of BitVectors.byte
307                | `INDIRECT of BitVectors.bit
308                | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit ],
309                ASM.direct * [ `A | `DATA of BitVectors.byte ])
310               ASM.union2 ]
311       is not compatible with type 'a
312       The second variant type does not allow tag(s) `Begin_fun, `End_fun
313Command exited with code 2.
Note: See TracBrowser for help on using the repository browser.