-- | The stg to cmm code generator configuration module GHC.StgToCmm.Config ( StgToCmmConfig(..) , stgToCmmPlatform ) where import GHC.Platform.Profile import GHC.Platform import GHC.Unit.Module import GHC.Utils.Outputable import GHC.Utils.TmpFs import GHC.Cmm.MachOp ( FMASign(..) ) import GHC.Prelude -- This config is static and contains information only passed *downwards* by StgToCmm.Monad data StgToCmmConfig = StgToCmmConfig ----------------------------- General Settings -------------------------------- { StgToCmmConfig -> Profile stgToCmmProfile :: !Profile -- ^ Current profile , StgToCmmConfig -> Module stgToCmmThisModule :: Module -- ^ The module being compiled. This field kept lazy for -- Cmm/Parser.y which preloads it with a panic , StgToCmmConfig -> TempDir stgToCmmTmpDir :: !TempDir -- ^ Temp Dir for files used in compilation , StgToCmmConfig -> SDocContext stgToCmmContext :: !SDocContext -- ^ Context for StgToCmm phase , StgToCmmConfig -> Bool stgToCmmEmitDebugInfo :: !Bool -- ^ Whether we wish to output debug information , StgToCmmConfig -> Maybe Word stgToCmmBinBlobThresh :: !(Maybe Word) -- ^ Threshold at which Binary literals (e.g. strings) -- are either dumped to a file and a CmmFileEmbed literal -- is emitted (over threshold), or become a CmmString -- Literal (under or at threshold). CmmFileEmbed is only supported -- with the NCG, thus a Just means two things: We have a threshold, -- and will be using the NCG. Conversely, a Nothing implies we are not -- using NCG and disables CmmFileEmbed. See Note -- [Embedding large binary blobs] in GHC.CmmToAsm.Ppr, and -- @cgTopBinding@ in GHC.StgToCmm. , StgToCmmConfig -> Int stgToCmmMaxInlAllocSize :: !Int -- ^ Max size, in bytes, of inline array allocations. ------------------------------ Ticky Options ---------------------------------- , StgToCmmConfig -> Bool stgToCmmDoTicky :: !Bool -- ^ Ticky profiling enabled (cf @-ticky@) , StgToCmmConfig -> Bool stgToCmmTickyAllocd :: !Bool -- ^ True indicates ticky prof traces allocs of each named -- thing in addition to allocs _by_ that thing , StgToCmmConfig -> Bool stgToCmmTickyLNE :: !Bool -- ^ True indicates ticky uses name-specific counters for -- join-points (let-no-escape) , StgToCmmConfig -> Bool stgToCmmTickyDynThunk :: !Bool -- ^ True indicates ticky uses name-specific counters for -- dynamic thunks , StgToCmmConfig -> Bool stgToCmmTickyTag :: !Bool -- ^ True indicates ticky will count number of avoided tag checks by tag inference. ---------------------------------- Flags -------------------------------------- , StgToCmmConfig -> Bool stgToCmmLoopification :: !Bool -- ^ Loopification enabled (cf @-floopification@) , StgToCmmConfig -> Bool stgToCmmAlignCheck :: !Bool -- ^ Insert alignment check (cf @-falignment-sanitisation@) , StgToCmmConfig -> Bool stgToCmmFastPAPCalls :: !Bool -- ^ , StgToCmmConfig -> Bool stgToCmmSCCProfiling :: !Bool -- ^ Check if cost-centre profiling is enabled , StgToCmmConfig -> Bool stgToCmmEagerBlackHole :: !Bool -- ^ , StgToCmmConfig -> Bool stgToCmmOrigThunkInfo :: !Bool -- ^ Push @stg_orig_thunk_info@ frames during thunk update. , StgToCmmConfig -> Bool stgToCmmInfoTableMap :: !Bool -- ^ true means generate C Stub for IPE map, See Note [Mapping Info Tables to Source Positions] , StgToCmmConfig -> Bool stgToCmmInfoTableMapWithFallback :: !Bool -- ^ Include info tables with fallback source locations in the info table map , StgToCmmConfig -> Bool stgToCmmInfoTableMapWithStack :: !Bool -- ^ Include info tables for STACK closures in the info table map , StgToCmmConfig -> Bool stgToCmmOmitYields :: !Bool -- ^ true means omit heap checks when no allocation is performed , StgToCmmConfig -> Bool stgToCmmOmitIfPragmas :: !Bool -- ^ true means don't generate interface programs (implied by -O0) , StgToCmmConfig -> Bool stgToCmmPIC :: !Bool -- ^ true if @-fPIC@ , StgToCmmConfig -> Bool stgToCmmPIE :: !Bool -- ^ true if @-fPIE@ , StgToCmmConfig -> Bool stgToCmmExtDynRefs :: !Bool -- ^ true if @-fexternal-dynamic-refs@, meaning generate -- code for linking against dynamic libraries , StgToCmmConfig -> Bool stgToCmmDoBoundsCheck :: !Bool -- ^ decides whether to check array bounds in StgToCmm.Prim -- or not , StgToCmmConfig -> Bool stgToCmmDoTagCheck :: !Bool -- ^ Verify tag inference predictions. , StgToCmmConfig -> Bool stgToCmmObjectDeterminism :: !Bool -- ^ Enable deterministic code generation (more precisely, the deterministic unique-renaming pass in StgToCmm) ------------------------------ Backend Flags ---------------------------------- , StgToCmmConfig -> Bool stgToCmmAllowArith64 :: !Bool -- ^ Allowed to emit 64-bit arithmetic operations , StgToCmmConfig -> Bool stgToCmmAllowQuot64 :: !Bool -- ^ Allowed to emit 64-bit division operations , StgToCmmConfig -> Bool stgToCmmAllowQuotRemInstr :: !Bool -- ^ Allowed to generate QuotRem instructions , StgToCmmConfig -> Bool stgToCmmAllowQuotRem2 :: !Bool -- ^ Allowed to generate QuotRem , StgToCmmConfig -> Bool stgToCmmAllowExtendedAddSubInstrs :: !Bool -- ^ Allowed to generate AddWordC, SubWordC, Add2, etc. , StgToCmmConfig -> Bool stgToCmmAllowIntMul2Instr :: !Bool -- ^ Allowed to generate IntMul2 instruction , StgToCmmConfig -> Bool stgToCmmAllowWordMul2Instr :: !Bool -- ^ Allowed to generate WordMul2 instruction , StgToCmmConfig -> FMASign -> Bool stgToCmmAllowFMAInstr :: FMASign -> Bool -- ^ Allowed to generate FMA instruction , StgToCmmConfig -> Bool stgToCmmTickyAP :: !Bool -- ^ Disable use of precomputed standard thunks. , StgToCmmConfig -> Bool stgToCmmSaveFCallTargetToLocal :: !Bool -- ^ Save a foreign call target to a Cmm local, see -- Note [Saving foreign call target to local] for details ------------------------------ SIMD flags ------------------------------------ -- Each of these flags checks vector compatibility with the backend requested -- during compilation. In essence, this means checking for @-fllvm@ which is -- the only backend that currently allows SIMD instructions, see -- Ghc.StgToCmm.Prim.checkVecCompatibility for these flags only call site. , StgToCmmConfig -> Maybe String stgToCmmVecInstrsErr :: Maybe String -- ^ Error (if any) to raise when vector instructions are -- used, see @StgToCmm.Prim.checkVecCompatibility@ , StgToCmmConfig -> Bool stgToCmmAvx :: !Bool -- ^ check for Advanced Vector Extensions , StgToCmmConfig -> Bool stgToCmmAvx2 :: !Bool -- ^ check for Advanced Vector Extensions 2 , StgToCmmConfig -> Bool stgToCmmAvx512f :: !Bool -- ^ check for Advanced Vector 512-bit Extensions } stgToCmmPlatform :: StgToCmmConfig -> Platform stgToCmmPlatform :: StgToCmmConfig -> Platform stgToCmmPlatform = Profile -> Platform profilePlatform (Profile -> Platform) -> (StgToCmmConfig -> Profile) -> StgToCmmConfig -> Platform forall b c a. (b -> c) -> (a -> b) -> a -> c . StgToCmmConfig -> Profile stgToCmmProfile