DDC.Core.Llvm.Metadata.Tbaa

Documentation

data MDSuper

Metadata for a supercombinator.

Constructors

MDSuper

Fields

• nameMap :: MDEnv
• decls :: [MDecl]

Instances

Show MDSuper

Methods

showsPrec :: Int -> MDSuper -> ShowS

show :: MDSuper -> String

showList :: [MDSuper] -> ShowS

Pretty MDSuper

Associated Types

data PrettyMode MDSuper :: *

Methods

pprDefaultMode :: PrettyMode MDSuper

ppr :: MDSuper -> Doc

pprPrec :: Int -> MDSuper -> Doc

pprModePrec :: PrettyMode MDSuper -> Int -> MDSuper -> Doc

deriveMD

Arguments

:: BindStruct Exp Name

=> String

Sanitized name of super

-> Exp

Super to derive from

-> ConvertM MDSuper

Metadata encoding witness information

Generate tbaa metadata for a top-level Salt supercombinator.

annot

Arguments

:: BindStruct (c Name) Name

=> KindEnv Name

-> MDSuper

Metadata

-> [c Name]

Things to lookup for Meta data.

-> Instr

Instruction to annotate

-> AnnotInstr

Attach relevant metadata to instructions

lookup :: Bound Name -> MDSuper -> Maybe [MDecl]

Lookup the metadata for a name, from the metadata tree attached to a supecombinator.

lookups :: [Bound Name] -> MDSuper -> [Maybe [MDecl]]

Like lookup but lookup metadata for several names at once.