msyds/qbe-hs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update some haddocks

Browse Source
This commit is contained in:
Francesco Gazzetta
2022-07-03 18:53:49 +02:00
parent 970e85a25c
commit 34642bf965
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/Language/QBE.hs
View File

@@ -219,6 +219,8 @@ instance Pretty Param where
data Variadic = Variadic | NoVariadic data Variadic = Variadic | NoVariadic
deriving (Show, Eq) deriving (Show, Eq)
-- | 'Variadic' → @Just "..."@
-- 'NoVariadic' → @Nothing@
prettyVariadic :: Variadic -> Maybe (Doc a) prettyVariadic :: Variadic -> Maybe (Doc a)
prettyVariadic Variadic = Just "..." prettyVariadic Variadic = Just "..."
prettyVariadic NoVariadic = Nothing prettyVariadic NoVariadic = Nothing
@@ -286,8 +288,8 @@ data Inst
| Store ExtTy Val Val | Store ExtTy Val Val
-- MAYBE collapse all the Loads in a single Load constructor and just discard -- MAYBE collapse all the Loads in a single Load constructor and just discard
-- the intrepr when unused. -- the intrepr when unused.
| Load Assignment BaseTy Val -- ^ @\<ident\> =\<baseTy\> load\<baseTy\> \<val\>@ | Load Assignment BaseTy Val
| LoadW Assignment IntRepr Val -- ^ @\<ident\> =\<baseTy\> load\<intRepr\>w \<val\>@ | LoadW Assignment IntRepr Val
| LoadH Assignment IntRepr Val | LoadH Assignment IntRepr Val
| LoadB Assignment IntRepr Val | LoadB Assignment IntRepr Val
-- Comparisons -- Comparisons
@@ -369,6 +371,7 @@ instance Pretty Inst where
pretty (VaStart argList) = "vastart" <+> pretty argList pretty (VaStart argList) = "vastart" <+> pretty argList
pretty (VaArg assignment argList) = pretty assignment <+> "vaarg" <+> pretty argList pretty (VaArg assignment argList) = pretty assignment <+> "vaarg" <+> pretty argList
-- | Represents the @%x =t@ part of an instruction.
data Assignment = Assignment (Ident 'Temporary) BaseTy data Assignment = Assignment (Ident 'Temporary) BaseTy
deriving (Show, Eq) deriving (Show, Eq)