Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 8 years ago

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

src/plugins/salsa/machine_salsa_opt.ml
57 57 
      List.fold_left (fun vars (_, b) -> Vars.union vars (get_read_vars b) ) vars branches
58 58 
    )
59 59 
    | LT.MReset _
60 
    | LT.MNoReset _
60 61 
    | LT.MComment _ -> Vars.empty
61 62 
  )
62 63 

  		




  ......




  73
  74
  
    
      List.fold_left (fun vars (_, b) -> Vars.union vars (get_written_vars b) ) vars_tl branches


  		




  74
  75
  
    
    )


  		




  75
  76
  
    
    | LT.MReset _ 


  		




  
  77
  
    
    | LT.MNoReset _ 


  		




  76
  78
  
    
    | LT.MComment _ -> Vars.empty    


  		




  77
  79
  
    
  )


  		




  78
  80
  
    

  		




  ......




  440
  442
  
    
						  produced within branches *)


  		




  441
  443
  
    

  		




  442
  444
  
    

  		




  443
  
  
    
	 | LT.MReset(_) | LT.MComment _ ->


  		




  
  445
  
    
	 | LT.MReset(_) | LT.MNoReset _ | LT.MComment _ ->


  		




  444
  446
  
    
			   if debug then Format.eprintf "Untouched %a (non real)@ " MC.pp_instr hd_instr;


  		




  445
  447
  
    

  		




  446
  448
  
    
			   (* Untouched instruction *)


  		












Also available in:  Unified diff