Moduleghc-9.10.3GHC2021

GHC.Types.Cpr

Types for the Constructed Product Result lattice. GHC.Core.Opt.CprAnal and GHC.Core.Opt.WorkWrap.Utils are its primary customers via idCprSig.

4 types
18 values

Packageghc-9.10.3
Exports23
LanguageGHC2021
LicenceBSD-3-Clause
SourceCpr.hs

datadata Cpr

Instances3Eq, Outputable, Binary

Eq CprDefined in ghc-9.10.3 · GHC.Types.Cpr

Outputable CprDefined in ghc-9.10.3 · GHC.Types.Cpr

BNF:

cpr ::= ''                               -- TopCpr
     |  n                                -- FlatConCpr n
     |  n '(' cpr1 ',' cpr2 ',' ... ')'  -- ConCpr n [cpr1,cpr2,...]
     |  'b'                              -- BotCpr

Examples: * `f x = f x` has result CPR b * `1(1,)` is a valid (nested) Cpr denotation for `(I# 42#, f 42)`.

Binary CprDefined in ghc-9.10.3 · GHC.Types.Cpr

patternpattern ConCpr :: ConTag -> [Cpr] -> Cpr

valuetopCpr :: Cpr

valuebotCpr :: Cpr

valueflatConCpr :: ConTag -> Cpr

valueasConCpr :: Cpr -> Maybe (ConTag, [Cpr])

datadata CprType

The abstract domain A_t from the original 'CPR for Haskell' paper.

Constructors

CprType
- ct_arty :: !Arity
  Number of value arguments the denoted expression eats before returning the ct_cpr
- ct_cpr :: !Cpr
  Cpr eventually unleashed when applied to ct_arty arguments

Instances3Eq, Outputable, Binary

Eq CprTypeDefined in ghc-9.10.3 · GHC.Types.Cpr
Outputable CprTypeDefined in ghc-9.10.3 · GHC.Types.Cpr
BNF:
```
cpr_ty ::= cpr               -- short form if arty == 0
        |  '\' arty '.' cpr  -- if arty > 0
```
Examples: * `f x y z = f x y z` has denotation `3.b` * `g !x = (x+1, x+2)` has denotation `1.1(1,1)`.
Binary CprTypeDefined in ghc-9.10.3 · GHC.Types.Cpr

valuetopCprType :: CprType

valuebotCprType :: CprType

valueflatConCprType :: ConTag -> CprType

valuelubCprType :: CprType -> CprType -> CprType

valueapplyCprTy :: CprType -> Arity -> CprType

valueabstractCprTy :: CprType -> CprType

valuetrimCprTy :: CprType -> CprType

datadata UnpackConFieldsResult

The result of unpackConFieldsCpr.

valueunpackConFieldsCpr :: DataCon -> Cpr -> UnpackConFieldsResult

Unpacks a ConCpr-shaped Cpr and returns the field Cprs wrapped in a ForeachField. Otherwise, it returns AllFieldsSame with the appropriate Cpr to assume for each field.

The use of UnpackConFieldsResult allows O(1) space for the common, non-ConCpr case.

newtypenewtype CprSig

The arity of the wrapped CprType is the arity at which it is safe to unleash. See Note [Understanding DmdType and DmdSig] in GHC.Types.Demand

Constructors

CprSig
- getCprSig :: CprType

Instances3Eq, Outputable, Binary

Eq CprSigDefined in ghc-9.10.3 · GHC.Types.Cpr
Outputable CprSigDefined in ghc-9.10.3 · GHC.Types.Cpr
Only print the CPR result
Binary CprSigDefined in ghc-9.10.3 · GHC.Types.Cpr

valuetopCprSig :: CprSig

valueisTopCprSig :: CprSig -> Bool

valuemkCprSigForArity :: Arity -> CprType -> CprSig

Turns a CprType computed for the particular Arity into a CprSig unleashable at that arity. See Note [Understanding DmdType and DmdSig] in GHC.Types.Demand

valuemkCprSig :: Arity -> Cpr -> CprSig

valueseqCprSig :: CprSig -> ()

valueprependArgsCprSig :: Arity -> CprSig -> CprSig

Add extra value args to CprSig