DDC.Core.Llvm.Metadata.Tbaa

Documentation

data MDSuper

Metadata for a supercombinator.

Constructors

MDSuper

Fields

nameMap :: MDEnv

decls :: [MDecl]

Instances

Show MDSuper

Pretty MDSuper

deriveMD

Arguments

:: BindStruct (Exp ())

=> String

Sanitized name of super

-> Exp () Name

Super to derive from

-> LlvmM MDSuper

Metadata encoding witness information

Generate tbaa metadata for a top-level Salt supercombinator.

annot

Arguments

:: (BindStruct c, Show (c 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.