<?xml version="1.0"?>
<acovea_config>
    <acovea version="5.1" />
    <description value="ghc 6.10" version="1.2.0" />
    <get_version value="ghc --numeric-version" />
    <quoted_options value="false" />

<!-- Basic GHC flags, for quickly deciding which coarse set of flags to use -->

    <prime command="ghc"
           flags="--make -v0 -fforce-recomp ACOVEA_OPTIONS -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <!-- Our baselines to check against -->
    <baseline description="ghc -O2 -funbox-strict-fields -fvia-C -optc-O3"
              command="ghc"
              flags="--make -fforce-recomp -O2 -funbox-strict-fields -fvia-C -optc-O3 -optc-march=core2 -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <baseline description="ghc -O2 -funbox-strict-fields -fasm"
              command="ghc"
              flags="--make -fforce-recomp -O2 -funbox-strict-fields -fasm -o ACOVEA_OUTPUT ACOVEA_INPUT" />

    <flags>
        <!-- just the biggest flags -->
        <flag type="simple" value="-O" />
        <flag type="simple" value="-O2" />
        <flag type="simple" value="-fasm" />
        <flag type="simple" value="-fvia-C" />
        <flag type="simple" value="-optc-O1" />
        <flag type="simple" value="-optc-O2" />
        <flag type="simple" value="-optc-O3" />
        <flag type="simple" value="-fexcess-precision" />
        <flag type="simple" value="-funbox-strict-fields" />
    </flags>

</acovea_config>
