Project

General

Profile

« Previous | Next » 

Revision 2d179f5b

Added by Xavier Thirioux over 8 years ago

numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@482 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/main_lustre_compiler.ml
230 230
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,");
231 231
  let machine_code = Machine_code.translate_prog prog node_schs in
232 232

  
233
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
234
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
235
  machine_code);
236

  
233 237
  (* Optimize machine code *)
234 238
  let machine_code =
235 239
    if !Options.optimization >= 4 && !Options.output <> "horn" then
......
241 245
      machine_code
242 246
  in
243 247

  
244
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
245
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
246
  machine_code);
247

  
248 248
  (* Optimize machine code *)
249 249
  let machine_code =
250 250
    if !Options.optimization >= 2 && !Options.output <> "horn" then
......
266 266
      machine_code
267 267
  in
268 268

  
269
  if !Options.optimization >= 2 then
270
    begin
271
      Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
272
	(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
273
	machine_code);
274
    end;
269 275

  
270 276
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
271 277
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)

Also available in: Unified diff