Changeset 2291


Ignore:
Timestamp:
Aug 2, 2012, 5:04:38 PM (7 years ago)
Author:
campbell
Message:

Disable switch removal in compiler.ma for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2286 r2291  
    22include "Clight/label.ma".
    33include "Clight/SimplifyCasts.ma".
    4 include "Clight/switchRemoval.ma".
     4(*include "Clight/switchRemoval.ma".*)
    55include "Clight/toCminor.ma".
    66include "Cminor/initialisation.ma".
     
    1111  let p' ≝ clight_label p in
    1212  let p ≝ simplify_program p' in
    13   let p ≝ program_switch_removal p in
     13(*  let p ≝ program_switch_removal p in*)
    1414  ! p ← clight_to_cminor p;
    1515  let p ≝ cminor_to_rtlabs p in
Note: See TracChangeset for help on using the changeset viewer.