summaryrefslogtreecommitdiff
path: root/utils/mkUserGuidePart/Options/OptimizationLevels.hs
blob: a57fc5291b03c06a6449d70a5b37ed819cd76fc8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
module Options.OptimizationLevels where

import Types

optimizationLevelsOptions :: [Flag]
optimizationLevelsOptions =
  [ flag { flagName = "-O0"
         , flagDescription = "Disable optimisations (default)"
         , flagType = DynamicFlag
         , flagReverse = "-O"
         }
  , flag { flagName = "-O, -O1"
         , flagDescription = "Enable level 1 optimisations"
         , flagType = DynamicFlag
         , flagReverse = "-O0"
         }
  , flag { flagName = "-O2"
         , flagDescription = "Enable level 2 optimisations"
         , flagType = DynamicFlag
         , flagReverse = "-O0"
         }
  , flag { flagName = "-Odph"
         , flagDescription =
           "Enable level 2 optimisations, set "++
           "``-fmax-simplifier-iterations=20`` "++
           "and ``-fsimplifier-phases=3``."
         , flagType = DynamicFlag
         }
  ]