CoreMonad

Configuration of the core-to-core passes

data CoreToDo

Constructors

CoreDoSimplify Int SimplMode

CoreDoPluginPass String CorePluginPass

CoreDoFloatInwards

CoreDoFloatOutwards FloatOutSwitches

CoreLiberateCase

CoreDoPrintCore

CoreDoStaticArgs

CoreDoCallArity

CoreDoExitify

CoreDoStrictness

CoreDoWorkerWrapper

CoreDoSpecialising

CoreDoSpecConstr

CoreCSE

CoreDoRuleCheck CompilerPhase String

CoreDoNothing

CoreDoPasses [CoreToDo]

CoreDesugar

CoreDesugarOpt

CoreTidy

CorePrep

CoreOccurAnal

Instances

Outputable CoreToDo

Defined in CoreMonad

Methods

ppr :: CoreToDo -> SDoc

pprPrec :: Rational -> CoreToDo -> SDoc

runWhen :: Bool -> CoreToDo -> CoreToDo

runMaybe :: Maybe a -> (a -> CoreToDo) -> CoreToDo

data SimplMode

Constructors

SimplMode

Fields

• sm_names :: [String]
• sm_phase :: CompilerPhase
• sm_dflags :: DynFlags
• sm_rules :: Bool
• sm_inline :: Bool
• sm_case_case :: Bool
• sm_eta_expand :: Bool

Instances

Outputable SimplMode

Defined in CoreMonad

Methods

ppr :: SimplMode -> SDoc

pprPrec :: Rational -> SimplMode -> SDoc

data FloatOutSwitches

Constructors

FloatOutSwitches

Fields

• floatOutLambdas :: Maybe Int

  Just n = float lambdas to top level, if doing so will abstract over n or fewer value variables Nothing = float all lambdas to top level, regardless of how many free variables Just 0 is the vanilla case: float a lambda iff it has no free vars

• floatOutConstants :: Bool

  True = float constants to top level, even if they do not escape a lambda

• floatOutOverSatApps :: Bool

  True = float out over-saturated applications based on arity information. See Note [Floating over-saturated applications] in SetLevels

• floatToTopLevelOnly :: Bool

  Allow floating to the top level only.

Instances

Outputable FloatOutSwitches

Defined in CoreMonad

Methods

ppr :: FloatOutSwitches -> SDoc

pprPrec :: Rational -> FloatOutSwitches -> SDoc

pprPassDetails :: CoreToDo -> SDoc

Plugins

type CorePluginPass = ModGuts -> CoreM ModGuts

A description of the plugin pass itself

bindsOnlyPass :: (CoreProgram -> CoreM CoreProgram) -> ModGuts -> CoreM ModGuts

Counting

data SimplCount

doSimplTick :: DynFlags -> Tick -> SimplCount -> SimplCount

doFreeSimplTick :: Tick -> SimplCount -> SimplCount

simplCountN :: SimplCount -> Int

pprSimplCount :: SimplCount -> SDoc

plusSimplCount :: SimplCount -> SimplCount -> SimplCount

zeroSimplCount :: DynFlags -> SimplCount

isZeroSimplCount :: SimplCount -> Bool

hasDetailedCounts :: SimplCount -> Bool

data Tick

Constructors

PreInlineUnconditionally Id

PostInlineUnconditionally Id

UnfoldingDone Id

RuleFired FastString

LetFloatFromLet

EtaExpansion Id

EtaReduction Id

BetaReduction Id

CaseOfCase Id

KnownBranch Id

CaseMerge Id

AltMerge Id

CaseElim Id

CaseIdentity Id

FillInCaseDefault Id

SimplifierDone

Instances

Eq Tick

Defined in CoreMonad

Methods

(==) :: Tick -> Tick -> Bool

(/=) :: Tick -> Tick -> Bool

Ord Tick

Defined in CoreMonad

Methods

compare :: Tick -> Tick -> Ordering

(<) :: Tick -> Tick -> Bool

(<=) :: Tick -> Tick -> Bool

(>) :: Tick -> Tick -> Bool

(>=) :: Tick -> Tick -> Bool

max :: Tick -> Tick -> Tick

min :: Tick -> Tick -> Tick

Outputable Tick

Defined in CoreMonad

Methods

ppr :: Tick -> SDoc

pprPrec :: Rational -> Tick -> SDoc

The monad

data CoreM a

The monad used by Core-to-Core passes to register simplification statistics. Also used to have common state (in the form of UniqueSupply) for generating Uniques.

Instances

Monad CoreM

Defined in CoreMonad

Methods

(>>=) :: CoreM a -> (a -> CoreM b) -> CoreM b

(>>) :: CoreM a -> CoreM b -> CoreM b

return :: a -> CoreM a

Functor CoreM

Defined in CoreMonad

Methods

fmap :: (a -> b) -> CoreM a -> CoreM b

(<$) :: a -> CoreM b -> CoreM a

Applicative CoreM

Defined in CoreMonad

Methods

pure :: a -> CoreM a

(<*>) :: CoreM (a -> b) -> CoreM a -> CoreM b

liftA2 :: (a -> b -> c) -> CoreM a -> CoreM b -> CoreM c

(*>) :: CoreM a -> CoreM b -> CoreM b

(<*) :: CoreM a -> CoreM b -> CoreM a

MonadIO CoreM

Defined in CoreMonad

Methods

liftIO :: IO a -> CoreM a

Alternative CoreM

Defined in CoreMonad

Methods

empty :: CoreM a

(<|>) :: CoreM a -> CoreM a -> CoreM a

some :: CoreM a -> CoreM [a]

many :: CoreM a -> CoreM [a]

MonadPlus CoreM

Defined in CoreMonad

Methods

mzero :: CoreM a

mplus :: CoreM a -> CoreM a -> CoreM a

MonadUnique CoreM

Defined in CoreMonad

Methods

getUniqueSupplyM :: CoreM UniqSupply

getUniqueM :: CoreM Unique

getUniquesM :: CoreM [Unique]

HasModule CoreM

Defined in CoreMonad

Methods

getModule :: CoreM Module

HasDynFlags CoreM

Defined in CoreMonad

Methods

getDynFlags :: CoreM DynFlags

runCoreM

Arguments

:: HscEnv

-> RuleBase

-> Char

Mask

-> Module

-> ModuleSet

-> PrintUnqualified

-> SrcSpan

-> CoreM a

-> IO (a, SimplCount)

Reading from the monad

getHscEnv :: CoreM HscEnv

getRuleBase :: CoreM RuleBase

getModule :: HasModule m => m Module

getDynFlags :: HasDynFlags m => m DynFlags

getOrigNameCache :: CoreM OrigNameCache

The original name cache is the current mapping from Module and OccName to a compiler-wide unique Name

getPackageFamInstEnv :: CoreM PackageFamInstEnv

getVisibleOrphanMods :: CoreM ModuleSet

getUniqMask :: CoreM Char

getPrintUnqualified :: CoreM PrintUnqualified

getSrcSpanM :: CoreM SrcSpan

Writing to the monad

addSimplCount :: SimplCount -> CoreM ()

Lifting into the monad

liftIO :: MonadIO m => IO a -> m a

Lift a computation from the IO monad.

liftIOWithCount :: IO (SimplCount, a) -> CoreM a

Lift an IO operation into CoreM while consuming its SimplCount

Dealing with annotations

getAnnotations :: Typeable a => ([Word8] -> a) -> ModGuts -> CoreM (UniqFM [a])

Get all annotations of a given type. This happens lazily, that is no deserialization will take place until the [a] is actually demanded and the [a] can also be empty (the UniqFM is not filtered).

This should be done once at the start of a Core-to-Core pass that uses annotations.

See Note [Annotations]

getFirstAnnotations :: Typeable a => ([Word8] -> a) -> ModGuts -> CoreM (UniqFM a)

Get at most one annotation of a given type per Unique.

Screen output

putMsg :: SDoc -> CoreM ()

Output a message to the screen

putMsgS :: String -> CoreM ()

Output a String message to the screen

errorMsg :: SDoc -> CoreM ()

Output an error to the screen. Does not cause the compiler to die.

errorMsgS :: String -> CoreM ()

Output an error to the screen. Does not cause the compiler to die.

warnMsg :: WarnReason -> SDoc -> CoreM ()

fatalErrorMsg :: SDoc -> CoreM ()

Output a fatal error to the screen. Does not cause the compiler to die.

fatalErrorMsgS :: String -> CoreM ()

Output a fatal error to the screen. Does not cause the compiler to die.

debugTraceMsg :: SDoc -> CoreM ()

Outputs a debugging message at verbosity level of -v or higher

debugTraceMsgS :: String -> CoreM ()

Output a string debugging message at verbosity level of -v or higher

dumpIfSet_dyn :: DumpFlag -> String -> SDoc -> CoreM ()

Show some labelled SDoc if a particular flag is set or at a verbosity level of -v -ddump-most or higher