<?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 -v0 -optP-w --make -fforce-recomp -O2 -funbox-strict-fields -fvia-C -optc-O3 -optc-march=core2 -threaded -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= ACOVEA_OPTIONS -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <baseline description="-optc-O3"
              command="ghc"
              flags="-cpp -v0 -optP-w --make -fforce-recomp -O2 -funbox-strict-fields -fvia-C -optc-O3 -optc-march=core2 -threaded -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= 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 htPayload #-}"          />
        <flag type="simple" value="-DINLINE_2={-# INLINE allocEntry #-}"          />
        <flag type="simple" value="-DINLINE_3={-# INLINE keyOf #-}"          />
        <flag type="simple" value="-DINLINE_4={-# INLINE payloadOf #-}"          />
        <flag type="simple" value="-DINLINE_5={-# INLINE nextPtrOf #-}"          />
        <flag type="simple" value="-DINLINE_6={-# INLINE entryMatches #-}"          />
        <flag type="simple" value="-DINLINE_7={-# INLINE indexEntry #-}"          />
        <flag type="simple" value="-DINLINE_8={-# INLINE totalEntriesOf #-}"          />
        <flag type="simple" value="-DINLINE_9={-# INLINE calcHash #-}"          />
        <flag type="simple" value="-DINLINE_10={-# INLINE spineSize #-}"          />
        <flag type="simple" value="-DINLINE_11={-# INLINE slotSize #-}"          />
        <flag type="simple" value="-DINLINE_12={-# INLINE roundUp #-}"          />
        <flag type="simple" value="-DINLINE_13={-# INLINE wordSize #-}"          />
        <flag type="simple" value="-DINLINE_14={-# INLINE htTraverse #-}"          />
        <flag type="simple" value="-DINLINE_15={-# INLINE isEmptySlot #-}"          />
        <flag type="simple" value="-DINLINE_16={-# INLINE keyString #-}"          />
        <flag type="simple" value="-DINLINE_17={-# INLINE htMap #-}"          />
        <flag type="simple" value="-DINLINE_18={-# INLINE reinsert #-}"          />
        <flag type="simple" value="-DINLINE_19={-# INLINE htPut_ #-}"          />
        <flag type="simple" value="-DINLINE_20={-# INLINE htInc #-}"          />
        <flag type="simple" value="-DINLINE_21={-# INLINE htGet #-}"          />
        <flag type="simple" value="-DINLINE_22={-# INLINE sortRule #-}"          />
        <flag type="simple" value="-DINLINE_23={-# INLINE hashGenome #-}"          />

    </flags>

</acovea_config>
