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 idCprInfo.

Documentation

data Cpr where

Bundled Patterns

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

Instances

Eq Cpr

Defined in GHC.Types.Cpr

Methods

(==) :: Cpr -> Cpr -> Bool

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

Outputable Cpr

BNF: ``` cpr ::= '' -- TopCpr | n -- FlatConCpr n | n '(' cpr1 ',' cpr2 ',' ... ')' -- ConCpr n [cpr1,cpr2,...] | b -- BotCpr ``` Examples: * `f x = f x` has denotation b * `1(1,)` is a valid (nested) Cpr denotation for `(I, f 42)`.

Defined in GHC.Types.Cpr

Methods

ppr :: Cpr -> SDoc

Binary Cpr

Defined in GHC.Types.Cpr

Methods

put_ :: BinHandle -> Cpr -> IO ()

put :: BinHandle -> Cpr -> IO (Bin Cpr)

get :: BinHandle -> IO Cpr

topCpr :: Cpr

botCpr :: Cpr

flatConCpr :: ConTag -> Cpr

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

data CprType

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

Constructors

CprType

Fields

• 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

Instances

Eq CprType

Defined in GHC.Types.Cpr

Methods

(==) :: CprType -> CprType -> Bool

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

Outputable CprType

Defined in GHC.Types.Cpr

Methods

ppr :: CprType -> SDoc

Binary CprType

Defined in GHC.Types.Cpr

Methods

put_ :: BinHandle -> CprType -> IO ()

put :: BinHandle -> CprType -> IO (Bin CprType)

get :: BinHandle -> IO CprType

topCprType :: CprType

botCprType :: CprType

flatConCprType :: ConTag -> CprType

lubCprType :: CprType -> CprType -> CprType

applyCprTy :: CprType -> Arity -> CprType

abstractCprTy :: CprType -> CprType

trimCprTy :: CprType -> CprType

data UnpackConFieldsResult

The result of unpackConFieldsCpr.

Constructors

AllFieldsSame !Cpr

ForeachField ![Cpr]

unpackConFieldsCpr :: 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.

newtype CprSig

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

Constructors

CprSig

Fields

• getCprSig :: CprType

Instances

Eq CprSig

Defined in GHC.Types.Cpr

Methods

(==) :: CprSig -> CprSig -> Bool

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

Outputable CprSig

Only print the CPR result

Defined in GHC.Types.Cpr

Methods

ppr :: CprSig -> SDoc

Binary CprSig

Defined in GHC.Types.Cpr

Methods

put_ :: BinHandle -> CprSig -> IO ()

put :: BinHandle -> CprSig -> IO (Bin CprSig)

get :: BinHandle -> IO CprSig

topCprSig :: CprSig

isTopCprSig :: CprSig -> Bool

mkCprSigForArity :: Arity -> CprType -> CprSig

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

mkCprSig :: Arity -> Cpr -> CprSig

seqCprSig :: CprSig -> ()