LLVM M.D.Source codeContentsIndex
MD.Aliasing
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
This module implements the mayAlias relation used by the validator.
Synopsis
type AliasRules = [AliasRule]
data AliasRule = MayAlias Ident Ident
allAlias :: AliasRules
mayAlias :: AliasRules -> Term -> Term -> Bool
Documentation
type AliasRules = [AliasRule]Source
data AliasRule Source
Constructors
MayAlias Ident Ident
allAlias :: AliasRulesSource
The default aliasing rules -- everything aliases.
mayAlias :: AliasRules -> Term -> Term -> BoolSource
The may alias relation parametrized by aliasing information.
Produced by Haddock version 2.6.0