{-# LANGUAGE RecordWildCards #-}

-- | This module manages storing the various GHC option flags in a modules
-- interface file as part of the recompilation checking infrastructure.
module GHC.Iface.Recomp.Flags (
        fingerprintDynFlags
      , fingerprintOptFlags
      , fingerprintHpcFlags
    ) where

import GHC.Prelude

import GHC.Driver.Session
import GHC.Driver.Env

import GHC.Utils.Binary
import GHC.Unit.Module
import GHC.Types.Name
import GHC.Types.SafeHaskell
import GHC.Utils.Fingerprint
import GHC.Iface.Recomp.Binary
import GHC.Iface.Flags

import GHC.Data.EnumSet as EnumSet
import System.FilePath (normalise)
import Data.Maybe

-- The subset of DynFlags which is used by the recompilation checker.

-- | Produce a fingerprint of a @DynFlags@ value. We only base
-- the finger print on important fields in @DynFlags@ so that
-- the recompilation checker can use this fingerprint.
--
-- NB: The 'Module' parameter is the 'Module' recorded by the *interface*
-- file, not the actual 'Module' according to our 'DynFlags'.
fingerprintDynFlags :: HscEnv -> Module
                    -> (WriteBinHandle -> Name -> IO ())
                    -> (Fingerprint, IfaceDynFlags)

fingerprintDynFlags :: HscEnv
-> Module
-> (WriteBinHandle -> Name -> IO ())
-> (Fingerprint, IfaceDynFlags)
fingerprintDynFlags HscEnv
hsc_env Module
this_mod WriteBinHandle -> Name -> IO ()
nameio =
    let dflags :: DynFlags
dflags@DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[(ModuleName, Module)]
[ModuleName]
[Option]
[ExternalPluginSpec]
[OnOff Extension]
[CallerCcFilter]
[ReexportedModule]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe Word
Maybe (String, Int)
Maybe UnitId
Maybe Language
Maybe BmiVersion
Maybe SseVersion
Maybe ParMakeCount
Word64
Set ModuleName
Ways
OverridingBool
Scheme
ModuleName
UnitId
UnfoldingOpts
ProfAuto
IncludeSpecs
Weights
SrcSpan
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
SafeHaskellMode
IntWithInf
PlatformMisc
Platform
WarningCategorySet
GhcNameVersion
FileSettings
ToolSettings
UnitSettings
TempDir
Backend
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
FlushOut
ghcMode :: GhcMode
ghcLink :: GhcLink
backend :: Backend
ghcNameVersion :: GhcNameVersion
fileSettings :: FileSettings
unitSettings :: UnitSettings
targetPlatform :: Platform
toolSettings :: ToolSettings
platformMisc :: PlatformMisc
rawSettings :: [(String, String)]
tmpDir :: TempDir
llvmOptLevel :: Int
verbosity :: Int
debugLevel :: Int
simplPhases :: Int
maxSimplIterations :: Int
ruleCheck :: Maybe String
strictnessBefore :: [Int]
parMakeCount :: Maybe ParMakeCount
enableTimeStats :: Bool
ghcHeapSize :: Maybe Int
maxRelevantBinds :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
refLevelHoleFits :: Maybe Int
maxUncoveredPatterns :: Int
maxPmCheckModels :: Int
simplTickFactor :: Int
dmdUnboxWidth :: Int
ifCompression :: Int
specConstrThreshold :: Maybe Int
specConstrCount :: Maybe Int
specConstrRecursive :: Int
binBlobThreshold :: Maybe Word
liberateCaseThreshold :: Maybe Int
floatLamArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
liftLamsNonRecArgs :: Maybe Int
liftLamsKnown :: Bool
cmmProcAlignment :: Maybe Int
historySize :: Int
importPaths :: [String]
mainModuleNameIs :: ModuleName
mainFunIs :: Maybe String
reductionDepth :: IntWithInf
solverIterations :: IntWithInf
givensFuel :: Int
wantedsFuel :: Int
qcsFuel :: Int
homeUnitId_ :: UnitId
homeUnitInstanceOf_ :: Maybe UnitId
homeUnitInstantiations_ :: [(ModuleName, Module)]
workingDirectory :: Maybe String
thisPackageName :: Maybe String
hiddenModules :: Set ModuleName
reexportedModules :: [ReexportedModule]
targetWays_ :: Ways
splitInfo :: Maybe (String, Int)
objectDir :: Maybe String
dylibInstallName :: Maybe String
hiDir :: Maybe String
hieDir :: Maybe String
stubDir :: Maybe String
dumpDir :: Maybe String
objectSuf_ :: String
hcSuf :: String
hiSuf_ :: String
hieSuf :: String
dynObjectSuf_ :: String
dynHiSuf_ :: String
outputFile_ :: Maybe String
dynOutputFile_ :: Maybe String
outputHi :: Maybe String
dynOutputHi :: Maybe String
dynLibLoader :: DynLibLoader
dynamicNow :: Bool
dumpPrefix :: String
dumpPrefixForce :: Maybe String
ldInputs :: [Option]
includePaths :: IncludeSpecs
libraryPaths :: [String]
frameworkPaths :: [String]
cmdlineFrameworks :: [String]
rtsOpts :: Maybe String
rtsOptsEnabled :: RtsOptsEnabled
rtsOptsSuggestions :: Bool
hpcDir :: String
pluginModNames :: [ModuleName]
pluginModNameOpts :: [(ModuleName, String)]
frontendPluginOpts :: [String]
externalPluginSpecs :: [ExternalPluginSpec]
depMakefile :: String
depIncludePkgDeps :: Bool
depIncludeCppDeps :: Bool
depExcludeMods :: [ModuleName]
depSuffixes :: [String]
packageDBFlags :: [PackageDBFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageFlags :: [PackageFlag]
pluginPackageFlags :: [PackageFlag]
trustFlags :: [TrustFlag]
packageEnv :: Maybe String
dumpFlags :: EnumSet DumpFlag
generalFlags :: EnumSet GeneralFlag
warningFlags :: EnumSet WarningFlag
fatalWarningFlags :: EnumSet WarningFlag
customWarningCategories :: WarningCategorySet
fatalCustomWarningCategories :: WarningCategorySet
language :: Maybe Language
safeHaskell :: SafeHaskellMode
safeInfer :: Bool
safeInferred :: Bool
thOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
trustworthyOnLoc :: SrcSpan
extensions :: [OnOff Extension]
extensionFlags :: EnumSet Extension
unfoldingOpts :: UnfoldingOpts
maxWorkerArgs :: Int
maxForcedSpecArgs :: Int
ghciHistSize :: Int
ghciBrowserHost :: String
ghciBrowserPort :: Int
ghciBrowserPuppeteerLaunchOpts :: Maybe String
ghciBrowserPlaywrightBrowserType :: Maybe String
ghciBrowserPlaywrightLaunchOpts :: Maybe String
flushOut :: FlushOut
ghcVersionFile :: Maybe String
haddockOptions :: Maybe String
ghciScripts :: [String]
pprUserLength :: Int
pprCols :: Int
useUnicode :: Bool
useColor :: OverridingBool
canUseColor :: Bool
useErrorLinks :: OverridingBool
canUseErrorLinks :: Bool
colScheme :: Scheme
profAuto :: ProfAuto
callerCcFilters :: [CallerCcFilter]
interactivePrint :: Maybe String
sseVersion :: Maybe SseVersion
bmiVersion :: Maybe BmiVersion
avx :: Bool
avx2 :: Bool
avx512cd :: Bool
avx512er :: Bool
avx512f :: Bool
avx512pf :: Bool
fma :: Bool
maxInlineAllocSize :: Int
maxInlineMemcpyInsns :: Int
maxInlineMemsetInsns :: Int
reverseErrors :: Bool
maxErrors :: Maybe Int
initialUnique :: Word64
uniqueIncrement :: Int
cfgWeights :: Weights
cfgWeights :: DynFlags -> Weights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Word64
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
fma :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
interactivePrint :: DynFlags -> Maybe String
callerCcFilters :: DynFlags -> [CallerCcFilter]
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseErrorLinks :: DynFlags -> Bool
useErrorLinks :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushOut :: DynFlags -> FlushOut
ghciBrowserPlaywrightLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPlaywrightBrowserType :: DynFlags -> Maybe String
ghciBrowserPuppeteerLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPort :: DynFlags -> Int
ghciBrowserHost :: DynFlags -> String
ghciHistSize :: DynFlags -> Int
maxForcedSpecArgs :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
unfoldingOpts :: DynFlags -> UnfoldingOpts
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalCustomWarningCategories :: DynFlags -> WarningCategorySet
customWarningCategories :: DynFlags -> WarningCategorySet
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
externalPluginSpecs :: DynFlags -> [ExternalPluginSpec]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> String
dynamicNow :: DynFlags -> Bool
dynLibLoader :: DynFlags -> DynLibLoader
dynOutputHi :: DynFlags -> Maybe String
outputHi :: DynFlags -> Maybe String
dynOutputFile_ :: DynFlags -> Maybe String
outputFile_ :: DynFlags -> Maybe String
dynHiSuf_ :: DynFlags -> String
dynObjectSuf_ :: DynFlags -> String
hieSuf :: DynFlags -> String
hiSuf_ :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf_ :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
targetWays_ :: DynFlags -> Ways
reexportedModules :: DynFlags -> [ReexportedModule]
hiddenModules :: DynFlags -> Set ModuleName
thisPackageName :: DynFlags -> Maybe String
workingDirectory :: DynFlags -> Maybe String
homeUnitInstantiations_ :: DynFlags -> [(ModuleName, Module)]
homeUnitInstanceOf_ :: DynFlags -> Maybe UnitId
homeUnitId_ :: DynFlags -> UnitId
qcsFuel :: DynFlags -> Int
wantedsFuel :: DynFlags -> Int
givensFuel :: DynFlags -> Int
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModuleNameIs :: DynFlags -> ModuleName
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Maybe Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
ifCompression :: DynFlags -> Int
dmdUnboxWidth :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe ParMakeCount
strictnessBefore :: DynFlags -> [Int]
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmOptLevel :: DynFlags -> Int
tmpDir :: DynFlags -> TempDir
rawSettings :: DynFlags -> [(String, String)]
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
targetPlatform :: DynFlags -> Platform
unitSettings :: DynFlags -> UnitSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
backend :: DynFlags -> Backend
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
..} = HscEnv -> DynFlags
hsc_dflags HscEnv
hsc_env
        mainis :: Maybe (Maybe String)
mainis   = if HomeUnitEnv -> Module
mainModIs (HscEnv -> HomeUnitEnv
hsc_HUE HscEnv
hsc_env) Module -> Module -> Bool
forall a. Eq a => a -> a -> Bool
== Module
this_mod then Maybe String -> Maybe (Maybe String)
forall a. a -> Maybe a
Just Maybe String
mainFunIs else Maybe (Maybe String)
forall a. Maybe a
Nothing
                      -- see #5878
        -- pkgopts  = (homeUnit home_unit, sort $ packageFlags dflags)
        safeHs :: IfaceTrustInfo
safeHs   = SafeHaskellMode -> IfaceTrustInfo
setSafeMode SafeHaskellMode
safeHaskell
        -- oflags   = sort $ filter filterOFlags $ flags dflags

        -- all the extension flags and the language
        lang :: Maybe IfaceLanguage
lang = (Language -> IfaceLanguage)
-> Maybe Language -> Maybe IfaceLanguage
forall a b. (a -> b) -> Maybe a -> Maybe b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Language -> IfaceLanguage
IfaceLanguage Maybe Language
language
        exts :: [IfaceExtension]
exts = (Extension -> IfaceExtension) -> [Extension] -> [IfaceExtension]
forall a b. (a -> b) -> [a] -> [b]
map Extension -> IfaceExtension
IfaceExtension ([Extension] -> [IfaceExtension])
-> [Extension] -> [IfaceExtension]
forall a b. (a -> b) -> a -> b
$ EnumSet Extension -> [Extension]
forall a. Enum a => EnumSet a -> [a]
EnumSet.toList EnumSet Extension
extensionFlags

        -- avoid fingerprinting the absolute path to the directory of the source file
        -- see Note [Implicit include paths]
        includePathsMinusImplicit :: IncludeSpecs
includePathsMinusImplicit = IncludeSpecs
includePaths { includePathsQuoteImplicit = [] }

        -- -I, -D and -U flags affect Haskell C/CPP Preprocessor
        cpp :: IfaceCppOptions
cpp = IfaceCppOptions
                { ifaceCppIncludes :: [String]
ifaceCppIncludes = (String -> String) -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map String -> String
normalise ([String] -> [String]) -> [String] -> [String]
forall a b. (a -> b) -> a -> b
$ IncludeSpecs -> [String]
flattenIncludes IncludeSpecs
includePathsMinusImplicit
                -- normalise: eliminate spurious differences due to "./foo" vs "foo"
                , ifaceCppOpts :: [String]
ifaceCppOpts = DynFlags -> [String]
picPOpts DynFlags
dflags
                , ifaceCppSig :: ([String], Fingerprint)
ifaceCppSig =  DynFlags -> ([String], Fingerprint)
opt_P_signature DynFlags
dflags
                }
            -- See Note [Repeated -optP hashing]


        -- -I, -D and -U flags affect JavaScript C/CPP Preprocessor
        js :: IfaceCppOptions
js = IfaceCppOptions
              { ifaceCppIncludes :: [String]
ifaceCppIncludes =  (String -> String) -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map String -> String
normalise ([String] -> [String]) -> [String] -> [String]
forall a b. (a -> b) -> a -> b
$ IncludeSpecs -> [String]
flattenIncludes IncludeSpecs
includePathsMinusImplicit
            -- normalise: eliminate spurious differences due to "./foo" vs "foo"
              , ifaceCppOpts :: [String]
ifaceCppOpts = DynFlags -> [String]
picPOpts DynFlags
dflags
              , ifaceCppSig :: ([String], Fingerprint)
ifaceCppSig = DynFlags -> ([String], Fingerprint)
opt_JSP_signature DynFlags
dflags
              }
            -- See Note [Repeated -optP hashing]

        -- -I, -D and -U flags affect C-- CPP Preprocessor
        cmm :: IfaceCppOptions
cmm = IfaceCppOptions {
              ifaceCppIncludes :: [String]
ifaceCppIncludes =  (String -> String) -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map String -> String
normalise ([String] -> [String]) -> [String] -> [String]
forall a b. (a -> b) -> a -> b
$ IncludeSpecs -> [String]
flattenIncludes IncludeSpecs
includePathsMinusImplicit
            -- normalise: eliminate spurious differences due to "./foo" vs "foo"
              , ifaceCppOpts :: [String]
ifaceCppOpts = DynFlags -> [String]
picPOpts DynFlags
dflags
              , ifaceCppSig :: ([String], Fingerprint)
ifaceCppSig = ([], DynFlags -> Fingerprint
opt_CmmP_signature DynFlags
dflags)
              }

        -- Note [path flags and recompilation]
        paths :: [String]
paths = [ String
hcSuf ]

        -- -fprof-auto etc.
        prof :: Maybe IfaceProfAuto
prof = if DynFlags -> Bool
sccProfilingEnabled DynFlags
dflags then IfaceProfAuto -> Maybe IfaceProfAuto
forall a. a -> Maybe a
Just (ProfAuto -> IfaceProfAuto
IfaceProfAuto ProfAuto
profAuto) else Maybe IfaceProfAuto
forall a. Maybe a
Nothing

        -- Ticky
        ticky :: [IfaceGeneralFlag]
ticky =
          (GeneralFlag -> Maybe IfaceGeneralFlag)
-> [GeneralFlag] -> [IfaceGeneralFlag]
forall a b. (a -> Maybe b) -> [a] -> [b]
mapMaybe (\GeneralFlag
f -> (if GeneralFlag
f GeneralFlag -> DynFlags -> Bool
`gopt` DynFlags
dflags then IfaceGeneralFlag -> Maybe IfaceGeneralFlag
forall a. a -> Maybe a
Just (GeneralFlag -> IfaceGeneralFlag
IfaceGeneralFlag GeneralFlag
f) else Maybe IfaceGeneralFlag
forall a. Maybe a
Nothing)) [GeneralFlag
Opt_Ticky, GeneralFlag
Opt_Ticky_Allocd, GeneralFlag
Opt_Ticky_LNE, GeneralFlag
Opt_Ticky_Dyn_Thunk, GeneralFlag
Opt_Ticky_Tag]

        -- Other flags which affect code generation
        codegen :: [IfaceGeneralFlag]
codegen = (GeneralFlag -> Maybe IfaceGeneralFlag)
-> [GeneralFlag] -> [IfaceGeneralFlag]
forall a b. (a -> Maybe b) -> [a] -> [b]
mapMaybe (\GeneralFlag
f -> (if GeneralFlag
f GeneralFlag -> DynFlags -> Bool
`gopt` DynFlags
dflags then IfaceGeneralFlag -> Maybe IfaceGeneralFlag
forall a. a -> Maybe a
Just (GeneralFlag -> IfaceGeneralFlag
IfaceGeneralFlag GeneralFlag
f) else Maybe IfaceGeneralFlag
forall a. Maybe a
Nothing)) (EnumSet GeneralFlag -> [GeneralFlag]
forall a. Enum a => EnumSet a -> [a]
EnumSet.toList EnumSet GeneralFlag
codeGenFlags)

        -- Did we include core for all bindings?
        fat_iface :: Bool
fat_iface = GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_WriteIfSimplifiedCore DynFlags
dflags

        f :: IfaceDynFlags
f = Maybe (Maybe String)
-> IfaceTrustInfo
-> Maybe IfaceLanguage
-> [IfaceExtension]
-> IfaceCppOptions
-> IfaceCppOptions
-> IfaceCppOptions
-> [String]
-> Maybe IfaceProfAuto
-> [IfaceGeneralFlag]
-> [IfaceGeneralFlag]
-> Bool
-> Int
-> [CallerCcFilter]
-> IfaceDynFlags
IfaceDynFlags Maybe (Maybe String)
mainis IfaceTrustInfo
safeHs Maybe IfaceLanguage
lang [IfaceExtension]
exts IfaceCppOptions
cpp IfaceCppOptions
js IfaceCppOptions
cmm [String]
paths Maybe IfaceProfAuto
prof [IfaceGeneralFlag]
ticky [IfaceGeneralFlag]
codegen Bool
fat_iface Int
debugLevel [CallerCcFilter]
callerCcFilters

    in ((WriteBinHandle -> Name -> IO ()) -> IfaceDynFlags -> Fingerprint
forall a.
Binary a =>
(WriteBinHandle -> Name -> IO ()) -> a -> Fingerprint
computeFingerprint WriteBinHandle -> Name -> IO ()
nameio IfaceDynFlags
f, IfaceDynFlags
f)

-- Fingerprint the optimisation info. We keep this separate from the rest of
-- the flags because GHCi users (especially) may wish to ignore changes in
-- optimisation level or optimisation flags so as to use as many pre-existing
-- object files as they can.
-- See Note [Ignoring some flag changes]
fingerprintOptFlags :: DynFlags
                      -> (WriteBinHandle -> Name -> IO ())
                      -> Fingerprint
fingerprintOptFlags :: DynFlags -> (WriteBinHandle -> Name -> IO ()) -> Fingerprint
fingerprintOptFlags DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[(ModuleName, Module)]
[ModuleName]
[Option]
[ExternalPluginSpec]
[OnOff Extension]
[CallerCcFilter]
[ReexportedModule]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe Word
Maybe (String, Int)
Maybe UnitId
Maybe Language
Maybe BmiVersion
Maybe SseVersion
Maybe ParMakeCount
Word64
Set ModuleName
Ways
OverridingBool
Scheme
ModuleName
UnitId
UnfoldingOpts
ProfAuto
IncludeSpecs
Weights
SrcSpan
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
SafeHaskellMode
IntWithInf
PlatformMisc
Platform
WarningCategorySet
GhcNameVersion
FileSettings
ToolSettings
UnitSettings
TempDir
Backend
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
FlushOut
cfgWeights :: DynFlags -> Weights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Word64
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
fma :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
interactivePrint :: DynFlags -> Maybe String
callerCcFilters :: DynFlags -> [CallerCcFilter]
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseErrorLinks :: DynFlags -> Bool
useErrorLinks :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushOut :: DynFlags -> FlushOut
ghciBrowserPlaywrightLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPlaywrightBrowserType :: DynFlags -> Maybe String
ghciBrowserPuppeteerLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPort :: DynFlags -> Int
ghciBrowserHost :: DynFlags -> String
ghciHistSize :: DynFlags -> Int
maxForcedSpecArgs :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
unfoldingOpts :: DynFlags -> UnfoldingOpts
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalCustomWarningCategories :: DynFlags -> WarningCategorySet
customWarningCategories :: DynFlags -> WarningCategorySet
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
externalPluginSpecs :: DynFlags -> [ExternalPluginSpec]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> String
dynamicNow :: DynFlags -> Bool
dynLibLoader :: DynFlags -> DynLibLoader
dynOutputHi :: DynFlags -> Maybe String
outputHi :: DynFlags -> Maybe String
dynOutputFile_ :: DynFlags -> Maybe String
outputFile_ :: DynFlags -> Maybe String
dynHiSuf_ :: DynFlags -> String
dynObjectSuf_ :: DynFlags -> String
hieSuf :: DynFlags -> String
hiSuf_ :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf_ :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
targetWays_ :: DynFlags -> Ways
reexportedModules :: DynFlags -> [ReexportedModule]
hiddenModules :: DynFlags -> Set ModuleName
thisPackageName :: DynFlags -> Maybe String
workingDirectory :: DynFlags -> Maybe String
homeUnitInstantiations_ :: DynFlags -> [(ModuleName, Module)]
homeUnitInstanceOf_ :: DynFlags -> Maybe UnitId
homeUnitId_ :: DynFlags -> UnitId
qcsFuel :: DynFlags -> Int
wantedsFuel :: DynFlags -> Int
givensFuel :: DynFlags -> Int
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModuleNameIs :: DynFlags -> ModuleName
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Maybe Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
ifCompression :: DynFlags -> Int
dmdUnboxWidth :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe ParMakeCount
strictnessBefore :: DynFlags -> [Int]
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmOptLevel :: DynFlags -> Int
tmpDir :: DynFlags -> TempDir
rawSettings :: DynFlags -> [(String, String)]
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
targetPlatform :: DynFlags -> Platform
unitSettings :: DynFlags -> UnitSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
backend :: DynFlags -> Backend
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
ghcMode :: GhcMode
ghcLink :: GhcLink
backend :: Backend
ghcNameVersion :: GhcNameVersion
fileSettings :: FileSettings
unitSettings :: UnitSettings
targetPlatform :: Platform
toolSettings :: ToolSettings
platformMisc :: PlatformMisc
rawSettings :: [(String, String)]
tmpDir :: TempDir
llvmOptLevel :: Int
verbosity :: Int
debugLevel :: Int
simplPhases :: Int
maxSimplIterations :: Int
ruleCheck :: Maybe String
strictnessBefore :: [Int]
parMakeCount :: Maybe ParMakeCount
enableTimeStats :: Bool
ghcHeapSize :: Maybe Int
maxRelevantBinds :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
refLevelHoleFits :: Maybe Int
maxUncoveredPatterns :: Int
maxPmCheckModels :: Int
simplTickFactor :: Int
dmdUnboxWidth :: Int
ifCompression :: Int
specConstrThreshold :: Maybe Int
specConstrCount :: Maybe Int
specConstrRecursive :: Int
binBlobThreshold :: Maybe Word
liberateCaseThreshold :: Maybe Int
floatLamArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
liftLamsNonRecArgs :: Maybe Int
liftLamsKnown :: Bool
cmmProcAlignment :: Maybe Int
historySize :: Int
importPaths :: [String]
mainModuleNameIs :: ModuleName
mainFunIs :: Maybe String
reductionDepth :: IntWithInf
solverIterations :: IntWithInf
givensFuel :: Int
wantedsFuel :: Int
qcsFuel :: Int
homeUnitId_ :: UnitId
homeUnitInstanceOf_ :: Maybe UnitId
homeUnitInstantiations_ :: [(ModuleName, Module)]
workingDirectory :: Maybe String
thisPackageName :: Maybe String
hiddenModules :: Set ModuleName
reexportedModules :: [ReexportedModule]
targetWays_ :: Ways
splitInfo :: Maybe (String, Int)
objectDir :: Maybe String
dylibInstallName :: Maybe String
hiDir :: Maybe String
hieDir :: Maybe String
stubDir :: Maybe String
dumpDir :: Maybe String
objectSuf_ :: String
hcSuf :: String
hiSuf_ :: String
hieSuf :: String
dynObjectSuf_ :: String
dynHiSuf_ :: String
outputFile_ :: Maybe String
dynOutputFile_ :: Maybe String
outputHi :: Maybe String
dynOutputHi :: Maybe String
dynLibLoader :: DynLibLoader
dynamicNow :: Bool
dumpPrefix :: String
dumpPrefixForce :: Maybe String
ldInputs :: [Option]
includePaths :: IncludeSpecs
libraryPaths :: [String]
frameworkPaths :: [String]
cmdlineFrameworks :: [String]
rtsOpts :: Maybe String
rtsOptsEnabled :: RtsOptsEnabled
rtsOptsSuggestions :: Bool
hpcDir :: String
pluginModNames :: [ModuleName]
pluginModNameOpts :: [(ModuleName, String)]
frontendPluginOpts :: [String]
externalPluginSpecs :: [ExternalPluginSpec]
depMakefile :: String
depIncludePkgDeps :: Bool
depIncludeCppDeps :: Bool
depExcludeMods :: [ModuleName]
depSuffixes :: [String]
packageDBFlags :: [PackageDBFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageFlags :: [PackageFlag]
pluginPackageFlags :: [PackageFlag]
trustFlags :: [TrustFlag]
packageEnv :: Maybe String
dumpFlags :: EnumSet DumpFlag
generalFlags :: EnumSet GeneralFlag
warningFlags :: EnumSet WarningFlag
fatalWarningFlags :: EnumSet WarningFlag
customWarningCategories :: WarningCategorySet
fatalCustomWarningCategories :: WarningCategorySet
language :: Maybe Language
safeHaskell :: SafeHaskellMode
safeInfer :: Bool
safeInferred :: Bool
thOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
trustworthyOnLoc :: SrcSpan
extensions :: [OnOff Extension]
extensionFlags :: EnumSet Extension
unfoldingOpts :: UnfoldingOpts
maxWorkerArgs :: Int
maxForcedSpecArgs :: Int
ghciHistSize :: Int
ghciBrowserHost :: String
ghciBrowserPort :: Int
ghciBrowserPuppeteerLaunchOpts :: Maybe String
ghciBrowserPlaywrightBrowserType :: Maybe String
ghciBrowserPlaywrightLaunchOpts :: Maybe String
flushOut :: FlushOut
ghcVersionFile :: Maybe String
haddockOptions :: Maybe String
ghciScripts :: [String]
pprUserLength :: Int
pprCols :: Int
useUnicode :: Bool
useColor :: OverridingBool
canUseColor :: Bool
useErrorLinks :: OverridingBool
canUseErrorLinks :: Bool
colScheme :: Scheme
profAuto :: ProfAuto
callerCcFilters :: [CallerCcFilter]
interactivePrint :: Maybe String
sseVersion :: Maybe SseVersion
bmiVersion :: Maybe BmiVersion
avx :: Bool
avx2 :: Bool
avx512cd :: Bool
avx512er :: Bool
avx512f :: Bool
avx512pf :: Bool
fma :: Bool
maxInlineAllocSize :: Int
maxInlineMemcpyInsns :: Int
maxInlineMemsetInsns :: Int
reverseErrors :: Bool
maxErrors :: Maybe Int
initialUnique :: Word64
uniqueIncrement :: Int
cfgWeights :: Weights
..} WriteBinHandle -> Name -> IO ()
nameio =
      let
        -- See https://gitlab.haskell.org/ghc/ghc/issues/10923
        -- We used to fingerprint the optimisation level, but as Joachim
        -- Breitner pointed out in comment 9 on that ticket, it's better
        -- to ignore that and just look at the individual optimisation flags.
        opt_flags :: [Int]
opt_flags = (GeneralFlag -> Int) -> [GeneralFlag] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map GeneralFlag -> Int
forall a. Enum a => a -> Int
fromEnum ([GeneralFlag] -> [Int]) -> [GeneralFlag] -> [Int]
forall a b. (a -> b) -> a -> b
$ (GeneralFlag -> Bool) -> [GeneralFlag] -> [GeneralFlag]
forall a. (a -> Bool) -> [a] -> [a]
filter (GeneralFlag -> EnumSet GeneralFlag -> Bool
forall a. Enum a => a -> EnumSet a -> Bool
`EnumSet.member` EnumSet GeneralFlag
optimisationFlags)
                                          (EnumSet GeneralFlag -> [GeneralFlag]
forall a. Enum a => EnumSet a -> [a]
EnumSet.toList EnumSet GeneralFlag
generalFlags)

      in (WriteBinHandle -> Name -> IO ()) -> [Int] -> Fingerprint
forall a.
Binary a =>
(WriteBinHandle -> Name -> IO ()) -> a -> Fingerprint
computeFingerprint WriteBinHandle -> Name -> IO ()
nameio [Int]
opt_flags

-- Fingerprint the HPC info. We keep this separate from the rest of
-- the flags because GHCi users (especially) may wish to use an object
-- file compiled for HPC when not actually using HPC.
-- See Note [Ignoring some flag changes]
fingerprintHpcFlags :: DynFlags
                      -> (WriteBinHandle -> Name -> IO ())
                      -> Fingerprint
fingerprintHpcFlags :: DynFlags -> (WriteBinHandle -> Name -> IO ()) -> Fingerprint
fingerprintHpcFlags dflags :: DynFlags
dflags@DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[(ModuleName, Module)]
[ModuleName]
[Option]
[ExternalPluginSpec]
[OnOff Extension]
[CallerCcFilter]
[ReexportedModule]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe Word
Maybe (String, Int)
Maybe UnitId
Maybe Language
Maybe BmiVersion
Maybe SseVersion
Maybe ParMakeCount
Word64
Set ModuleName
Ways
OverridingBool
Scheme
ModuleName
UnitId
UnfoldingOpts
ProfAuto
IncludeSpecs
Weights
SrcSpan
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
SafeHaskellMode
IntWithInf
PlatformMisc
Platform
WarningCategorySet
GhcNameVersion
FileSettings
ToolSettings
UnitSettings
TempDir
Backend
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
FlushOut
cfgWeights :: DynFlags -> Weights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Word64
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
fma :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
interactivePrint :: DynFlags -> Maybe String
callerCcFilters :: DynFlags -> [CallerCcFilter]
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseErrorLinks :: DynFlags -> Bool
useErrorLinks :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushOut :: DynFlags -> FlushOut
ghciBrowserPlaywrightLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPlaywrightBrowserType :: DynFlags -> Maybe String
ghciBrowserPuppeteerLaunchOpts :: DynFlags -> Maybe String
ghciBrowserPort :: DynFlags -> Int
ghciBrowserHost :: DynFlags -> String
ghciHistSize :: DynFlags -> Int
maxForcedSpecArgs :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
unfoldingOpts :: DynFlags -> UnfoldingOpts
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalCustomWarningCategories :: DynFlags -> WarningCategorySet
customWarningCategories :: DynFlags -> WarningCategorySet
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
externalPluginSpecs :: DynFlags -> [ExternalPluginSpec]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> String
dynamicNow :: DynFlags -> Bool
dynLibLoader :: DynFlags -> DynLibLoader
dynOutputHi :: DynFlags -> Maybe String
outputHi :: DynFlags -> Maybe String
dynOutputFile_ :: DynFlags -> Maybe String
outputFile_ :: DynFlags -> Maybe String
dynHiSuf_ :: DynFlags -> String
dynObjectSuf_ :: DynFlags -> String
hieSuf :: DynFlags -> String
hiSuf_ :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf_ :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
targetWays_ :: DynFlags -> Ways
reexportedModules :: DynFlags -> [ReexportedModule]
hiddenModules :: DynFlags -> Set ModuleName
thisPackageName :: DynFlags -> Maybe String
workingDirectory :: DynFlags -> Maybe String
homeUnitInstantiations_ :: DynFlags -> [(ModuleName, Module)]
homeUnitInstanceOf_ :: DynFlags -> Maybe UnitId
homeUnitId_ :: DynFlags -> UnitId
qcsFuel :: DynFlags -> Int
wantedsFuel :: DynFlags -> Int
givensFuel :: DynFlags -> Int
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModuleNameIs :: DynFlags -> ModuleName
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Maybe Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
ifCompression :: DynFlags -> Int
dmdUnboxWidth :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe ParMakeCount
strictnessBefore :: DynFlags -> [Int]
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmOptLevel :: DynFlags -> Int
tmpDir :: DynFlags -> TempDir
rawSettings :: DynFlags -> [(String, String)]
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
targetPlatform :: DynFlags -> Platform
unitSettings :: DynFlags -> UnitSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
backend :: DynFlags -> Backend
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
ghcMode :: GhcMode
ghcLink :: GhcLink
backend :: Backend
ghcNameVersion :: GhcNameVersion
fileSettings :: FileSettings
unitSettings :: UnitSettings
targetPlatform :: Platform
toolSettings :: ToolSettings
platformMisc :: PlatformMisc
rawSettings :: [(String, String)]
tmpDir :: TempDir
llvmOptLevel :: Int
verbosity :: Int
debugLevel :: Int
simplPhases :: Int
maxSimplIterations :: Int
ruleCheck :: Maybe String
strictnessBefore :: [Int]
parMakeCount :: Maybe ParMakeCount
enableTimeStats :: Bool
ghcHeapSize :: Maybe Int
maxRelevantBinds :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
refLevelHoleFits :: Maybe Int
maxUncoveredPatterns :: Int
maxPmCheckModels :: Int
simplTickFactor :: Int
dmdUnboxWidth :: Int
ifCompression :: Int
specConstrThreshold :: Maybe Int
specConstrCount :: Maybe Int
specConstrRecursive :: Int
binBlobThreshold :: Maybe Word
liberateCaseThreshold :: Maybe Int
floatLamArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
liftLamsNonRecArgs :: Maybe Int
liftLamsKnown :: Bool
cmmProcAlignment :: Maybe Int
historySize :: Int
importPaths :: [String]
mainModuleNameIs :: ModuleName
mainFunIs :: Maybe String
reductionDepth :: IntWithInf
solverIterations :: IntWithInf
givensFuel :: Int
wantedsFuel :: Int
qcsFuel :: Int
homeUnitId_ :: UnitId
homeUnitInstanceOf_ :: Maybe UnitId
homeUnitInstantiations_ :: [(ModuleName, Module)]
workingDirectory :: Maybe String
thisPackageName :: Maybe String
hiddenModules :: Set ModuleName
reexportedModules :: [ReexportedModule]
targetWays_ :: Ways
splitInfo :: Maybe (String, Int)
objectDir :: Maybe String
dylibInstallName :: Maybe String
hiDir :: Maybe String
hieDir :: Maybe String
stubDir :: Maybe String
dumpDir :: Maybe String
objectSuf_ :: String
hcSuf :: String
hiSuf_ :: String
hieSuf :: String
dynObjectSuf_ :: String
dynHiSuf_ :: String
outputFile_ :: Maybe String
dynOutputFile_ :: Maybe String
outputHi :: Maybe String
dynOutputHi :: Maybe String
dynLibLoader :: DynLibLoader
dynamicNow :: Bool
dumpPrefix :: String
dumpPrefixForce :: Maybe String
ldInputs :: [Option]
includePaths :: IncludeSpecs
libraryPaths :: [String]
frameworkPaths :: [String]
cmdlineFrameworks :: [String]
rtsOpts :: Maybe String
rtsOptsEnabled :: RtsOptsEnabled
rtsOptsSuggestions :: Bool
hpcDir :: String
pluginModNames :: [ModuleName]
pluginModNameOpts :: [(ModuleName, String)]
frontendPluginOpts :: [String]
externalPluginSpecs :: [ExternalPluginSpec]
depMakefile :: String
depIncludePkgDeps :: Bool
depIncludeCppDeps :: Bool
depExcludeMods :: [ModuleName]
depSuffixes :: [String]
packageDBFlags :: [PackageDBFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageFlags :: [PackageFlag]
pluginPackageFlags :: [PackageFlag]
trustFlags :: [TrustFlag]
packageEnv :: Maybe String
dumpFlags :: EnumSet DumpFlag
generalFlags :: EnumSet GeneralFlag
warningFlags :: EnumSet WarningFlag
fatalWarningFlags :: EnumSet WarningFlag
customWarningCategories :: WarningCategorySet
fatalCustomWarningCategories :: WarningCategorySet
language :: Maybe Language
safeHaskell :: SafeHaskellMode
safeInfer :: Bool
safeInferred :: Bool
thOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
trustworthyOnLoc :: SrcSpan
extensions :: [OnOff Extension]
extensionFlags :: EnumSet Extension
unfoldingOpts :: UnfoldingOpts
maxWorkerArgs :: Int
maxForcedSpecArgs :: Int
ghciHistSize :: Int
ghciBrowserHost :: String
ghciBrowserPort :: Int
ghciBrowserPuppeteerLaunchOpts :: Maybe String
ghciBrowserPlaywrightBrowserType :: Maybe String
ghciBrowserPlaywrightLaunchOpts :: Maybe String
flushOut :: FlushOut
ghcVersionFile :: Maybe String
haddockOptions :: Maybe String
ghciScripts :: [String]
pprUserLength :: Int
pprCols :: Int
useUnicode :: Bool
useColor :: OverridingBool
canUseColor :: Bool
useErrorLinks :: OverridingBool
canUseErrorLinks :: Bool
colScheme :: Scheme
profAuto :: ProfAuto
callerCcFilters :: [CallerCcFilter]
interactivePrint :: Maybe String
sseVersion :: Maybe SseVersion
bmiVersion :: Maybe BmiVersion
avx :: Bool
avx2 :: Bool
avx512cd :: Bool
avx512er :: Bool
avx512f :: Bool
avx512pf :: Bool
fma :: Bool
maxInlineAllocSize :: Int
maxInlineMemcpyInsns :: Int
maxInlineMemsetInsns :: Int
reverseErrors :: Bool
maxErrors :: Maybe Int
initialUnique :: Word64
uniqueIncrement :: Int
cfgWeights :: Weights
..} WriteBinHandle -> Name -> IO ()
nameio =
      let
        -- -fhpc, see https://gitlab.haskell.org/ghc/ghc/issues/11798
        -- hpcDir is output-only, so we should recompile if it changes
        hpc :: Maybe String
hpc = if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_Hpc DynFlags
dflags then String -> Maybe String
forall a. a -> Maybe a
Just String
hpcDir else Maybe String
forall a. Maybe a
Nothing

      in (WriteBinHandle -> Name -> IO ()) -> Maybe String -> Fingerprint
forall a.
Binary a =>
(WriteBinHandle -> Name -> IO ()) -> a -> Fingerprint
computeFingerprint WriteBinHandle -> Name -> IO ()
nameio Maybe String
hpc


{- Note [path flags and recompilation]
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
There are several flags that we deliberately omit from the
recompilation check; here we explain why.

-osuf, -odir, -hisuf, -hidir
  If GHC decides that it does not need to recompile, then
  it must have found an up-to-date .hi file and .o file.
  There is no point recording these flags - the user must
  have passed the correct ones.  Indeed, the user may
  have compiled the source file in one-shot mode using
  -o to specify the .o file, and then loaded it in GHCi
  using -odir.

-stubdir
  We omit this one because it is automatically set by -outputdir, and
  we don't want changes in -outputdir to automatically trigger
  recompilation.  This could be wrong, but only in very rare cases.

-i (importPaths)
  For the same reason as -osuf etc. above: if GHC decides not to
  recompile, then it must have already checked all the .hi files on
  which the current module depends, so it must have found them
  successfully.  It is occasionally useful to be able to cd to a
  different directory and use -i flags to enable GHC to find the .hi
  files; we don't want this to force recompilation.

The only path-related flag left is -hcsuf.
-}

{- Note [Ignoring some flag changes]
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Normally, --make tries to reuse only compilation products that are
the same as those that would have been produced compiling from
scratch. Sometimes, however, users would like to be more aggressive
about recompilation avoidance. This is particularly likely when
developing using GHCi (see #13604). Currently, we allow users to
ignore optimisation changes using -fignore-optim-changes, and to
ignore HPC option changes using -fignore-hpc-changes. If there's a
demand for it, we could also allow changes to -fprof-auto-* flags
(although we can't allow -prof flags to differ). The key thing about
these options is that we can still successfully link a library or
executable when some of its components differ in these ways.

The way we accomplish this is to leave the optimization and HPC
options out of the flag hash, hashing them separately.
-}

{- Note [Repeated -optP hashing]
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
We invoke fingerprintDynFlags for each compiled module to include
the hash of relevant DynFlags in the resulting interface file.
-optP (preprocessor) flags are part of that hash.
-optP flags can come from multiple places:

  1. -optP flags directly passed on command line.
  2. -optP flags implied by other flags. Eg. -DPROFILING implied by -prof.
  3. -optP flags added with {-# OPTIONS -optP-D__F__ #-} in a file.

When compiling many modules at once with many -optP command line arguments
the work of hashing -optP flags would be repeated. This can get expensive
and as noted on #14697 it can take 7% of time and 14% of allocations on
a real codebase.

The obvious solution is to cache the hash of -optP flags per GHC invocation.
However, one has to be careful there, as the flags that were added in 3. way
have to be accounted for.

The current strategy is as follows:

  1. Lazily compute the hash of sOpt_p in sOpt_P_fingerprint whenever sOpt_p
     is modified. This serves dual purpose. It ensures correctness for when
     we add per file -optP flags and lets us save work for when we don't.
  2. When computing the fingerprint in fingerprintDynFlags use the cached
     value *and* fingerprint the additional implied (see 2. above) -optP flags.
     This is relatively cheap and saves the headache of fingerprinting all
     the -optP flags and tracking all the places that could invalidate the
     cache.
-}