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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
-- | The stg to cmm code generator configuration
module GHC.StgToCmm.Config
( StgToCmmConfig(..)
, stgToCmmPlatform
) where
import GHC.Platform
import GHC.Platform.Profile
import GHC.Platform.Profile.Class
import GHC.StgToCmm.Ticky.Config
import GHC.Unit.Module
import GHC.Utils.Outputable
import GHC.Utils.TmpFs
import GHC.Prelude
-- This config is static and contains information only passed *downwards* by StgToCmm.Monad
data StgToCmmConfig = StgToCmmConfig
----------------------------- General Settings --------------------------------
{ stgToCmmProfile :: !Profile -- ^ Current profile
, stgToCmmThisModule :: Module -- ^ The module being compiled. This field kept lazy for
-- Cmm/Parser.y which preloads it with a panic
, stgToCmmTmpDir :: !TempDir -- ^ Temp Dir for files used in compilation
, stgToCmmContext :: !SDocContext -- ^ Context for StgToCmm phase
, stgToCmmEmitDebugInfo :: !Bool -- ^ Whether we wish to output debug information
, 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.
, stgToCmmMaxInlAllocSize :: !Int -- ^ Max size, in bytes, of inline array allocations.
---------------------------------- Flags --------------------------------------
, stgToCmmTickyCfg :: !CmmTickyConfig -- ^ Flags related to ticky
, stgToCmmLoopification :: !Bool -- ^ Loopification enabled (cf @-floopification@)
, stgToCmmAlignCheck :: !Bool -- ^ Insert alignment check (cf @-falignment-sanitisation@)
, stgToCmmOptHpc :: !Bool -- ^ perform code generation for code coverage
, stgToCmmFastPAPCalls :: !Bool -- ^
, stgToCmmSCCProfiling :: !Bool -- ^ Check if cost-centre profiling is enabled
, stgToCmmEagerBlackHole :: !Bool -- ^
, stgToCmmInfoTableMap :: !Bool -- ^ true means generate C Stub for IPE map, See note [Mapping
-- Info Tables to Source Positions]
, stgToCmmOmitYields :: !Bool -- ^ true means omit heap checks when no allocation is performed
, stgToCmmOmitIfPragmas :: !Bool -- ^ true means don't generate interface programs (implied by -O0)
, stgToCmmPIC :: !Bool -- ^ true if @-fPIC@
, stgToCmmPIE :: !Bool -- ^ true if @-fPIE@
, stgToCmmExtDynRefs :: !Bool -- ^ true if @-fexternal-dynamic-refs@, meaning generate
-- code for linking against dynamic libraries
, stgToCmmDoBoundsCheck :: !Bool -- ^ decides whether to check array bounds in StgToCmm.Prim
-- or not
, stgToCmmDoTagCheck :: !Bool -- ^ Verify tag inference predictions.
------------------------------ Backend Flags ----------------------------------
, stgToCmmAllowBigArith :: !Bool -- ^ Allowed to emit larger than native size arithmetic (only LLVM and C backends)
, stgToCmmAllowQuotRemInstr :: !Bool -- ^ Allowed to generate QuotRem instructions
, stgToCmmAllowQuotRem2 :: !Bool -- ^ Allowed to generate QuotRem
, stgToCmmAllowExtendedAddSubInstrs :: !Bool -- ^ Allowed to generate AddWordC, SubWordC, Add2, etc.
, stgToCmmAllowIntMul2Instr :: !Bool -- ^ Allowed to generate IntMul2 instruction
, stgToCmmTickyAP :: !Bool -- ^ Disable use of precomputed standard thunks.
------------------------------ 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.
, stgToCmmVecInstrsErr :: Maybe String -- ^ Error (if any) to raise when vector instructions are
-- used, see @StgToCmm.Prim.checkVecCompatibility@
, stgToCmmAvx :: !Bool -- ^ check for Advanced Vector Extensions
, stgToCmmAvx2 :: !Bool -- ^ check for Advanced Vector Extensions 2
, stgToCmmAvx512f :: !Bool -- ^ check for Advanced Vector 512-bit Extensions
}
stgToCmmPlatform :: StgToCmmConfig -> Platform
stgToCmmPlatform = profilePlatform . stgToCmmProfile
instance ContainsPlatformProfile StgToCmmConfig where
platformProfile = stgToCmmProfile
instance ContainsCmmTickyConfig StgToCmmConfig where
cmmTickyConfig = stgToCmmTickyCfg
|
