<?xml version="1.0"?>
<acovea_config>
    <acovea version="5.1" />
    <description value="ghc 6.10 / gcc 4.3 Core 2 Duo (x86_64)" version="1.2.0" />
    <get_version value="ghc --numeric-version" />
    <quoted_options value="false" />

    <prime command="ghc"
           flags="-cpp -optP-w --make -fforce-recomp -O2 -funbox-strict-fields -fvia-C -optc-O3 -optc-march=core2 -DINLINE_1= -DINLINE_2= -DINLINE_3= -DINLINE_4= -DINLINE_5= -DINLINE_6= -DINLINE_7= -DINLINE_8= -DINLINE_9= -DINLINE_10= -DINLINE_11= -DINLINE_12= -DINLINE_13= -DINLINE_14= -DINLINE_15= -DINLINE_16= -DINLINE_17= -DINLINE_18= -DINLINE_19= -DINLINE_20= -DINLINE_21= -DINLINE_22= -DINLINE_23= -DINLINE_24= -DINLINE_25= -DINLINE_26= -DINLINE_27= -DINLINE_28= ACOVEA_OPTIONS -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <baseline description="-optc-O3"
              command="ghc"
              flags="-cpp -optP-w --make -fforce-recomp -O2 -funbox-strict-fields -fvia-C -optc-O3 -optc-march=core2 -DINLINE_1= -DINLINE_2= -DINLINE_3= -DINLINE_4= -DINLINE_5= -DINLINE_6= -DINLINE_7= -DINLINE_8= -DINLINE_9= -DINLINE_10= -DINLINE_11= -DINLINE_12= -DINLINE_13= -DINLINE_14= -DINLINE_15= -DINLINE_16= -DINLINE_17= -DINLINE_18= -DINLINE_19= -DINLINE_20= -DINLINE_21= -DINLINE_22= -DINLINE_23= -DINLINE_24= -DINLINE_25= -DINLINE_26= -DINLINE_27= -DINLINE_28= ACOVEA_OPTIONS -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <!-- A list of flags that will be "evolved" by ACOVEA -->
    <flags>

        <flag type="simple" value="-DINLINE_1={-# INLINE (-=) #-}"          />
        <flag type="simple" value="-DINLINE_2={-# INLINE (+=) #-}"          />
        <flag type="simple" value="-DINLINE_3={-# INLINE setVec #-}"        />
        <flag type="simple" value="-DINLINE_4={-# INLINE getVec #-}"        />
        <flag type="simple" value="-DINLINE_5={-# INLINE magnitude2 #-}"    />
        <flag type="simple" value="-DINLINE_6={-# INLINE (*.) #-}"          />
        <flag type="simple" value="-DINLINE_7={-# INLINE (.-.) #-}"         />
        <flag type="simple" value="-DINLINE_8={-# INLINE (.+.) #-}"         />
        <flag type="simple" value="-DINLINE_9={-# INLINE mass #-}"          />
        <flag type="simple" value="-DINLINE_10={-# INLINE vel #-}"          />
        <flag type="simple" value="-DINLINE_11={-# INLINE pos #-}"          />
        <flag type="simple" value="-DINLINE_12={-# INLINE newPlanet #-}"          />
        <flag type="simple" value="-DINLINE_13={-# INLINE inc #-}"          />
        <flag type="simple" value="-DINLINE_14={-# INLINE cursor #-}"          />
        <flag type="simple" value="-DINLINE_15={-# INLINE next #-}"          />
        <flag type="simple" value="-DINLINE_16={-# INLINE end #-}"          />
        <flag type="simple" value="-DINLINE_17={-# INLINE initialize #-}"          />
        <flag type="simple" value="-DINLINE_18={-# INLINE delta_t #-}"          />
        <flag type="simple" value="-DINLINE_19={-# INLINE solar_mass #-}"          />
        <flag type="simple" value="-DINLINE_20={-# INLINE days_per_year #-}"          />
        <flag type="simple" value="-DINLINE_21={-# INLINE nbodies #-}"          />
        <flag type="simple" value="-DINLINE_22={-# INLINE p2 #-}"          />
        <flag type="simple" value="-DINLINE_23={-# INLINE vel1 #-}"          />
        <flag type="simple" value="-DINLINE_24={-# INLINE advance #-}"          />
        <flag type="simple" value="-DINLINE_25={-# INLINE energy2 #-}"          />
        <flag type="simple" value="-DINLINE_26={-# INLINE energy #-}"          />
        <flag type="simple" value="-DINLINE_27={-# INLINE momentum #-}"          />
        <flag type="simple" value="-DINLINE_28={-# INLINE offset_momentum #-}"          />

    </flags>

</acovea_config>
