Project

General

Profile

« Previous | Next » 

Revision f69e7ea2

Added by Lélio Brun over 3 years ago

add -O -1 flag to disable fusion of conditionals

View differences:

src/main_lustre_compiler.ml
57 57 
  let params = Backends.get_normalization_params () in
58 58 

  		




  59
  59
  
    
  let prog, dependencies = 


  		




  60
  
  
    
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1 : Normalisation@,");


  		




  
  60
  
    
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1: Normalisation@,");


  		




  61
  61
  
    
    try 


  		




  62
  62
  
    
      Compiler_stages.stage1 params prog dirname basename extension


  		




  63
  63
  
    
    with Compiler_stages.StopPhase1 prog -> (


  		




  ......




  124
  124
  
    
      else


  		




  125
  125
  
    
	ok, ext)


  		




  126
  126
  
    
    (false, "") extensions in


  		




  127
  
  
    
  if ok_ext then


  		




  
  127
  
    
  if ok_ext then begin


  		




  
  128
  
    
    Options_management.setup();


  		




  128
  129
  
    
    let dirname = Filename.dirname filename in


  		




  129
  130
  
    
    let basename = Filename.chop_suffix (Filename.basename filename) ext in


  		




  130
  131
  
    
    compile dirname basename ext


  		




  131
  
  
    
  else


  		




  
  132
  
    
  end else


  		




  132
  133
  
    
    raise (Arg.Bad ("Can only compile *.lusi, *.lus or *.ec files"))


  		




  133
  134
  
    

  		




  134
  135
  
    
let _ =


  		












Also available in:  Unified diff