From 76735e82ac79e2d029b3617add56725aea4b7e0b Mon Sep 17 00:00:00 2001 From: Francesco Gazzetta Date: Sun, 10 Jul 2022 22:27:32 +0200 Subject: [PATCH] Instr haddocks --- src/Language/QBE.hs | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/Language/QBE.hs b/src/Language/QBE.hs index d50104c..c94aa2a 100644 --- a/src/Language/QBE.hs +++ b/src/Language/QBE.hs @@ -382,12 +382,17 @@ data Inst = BinaryOp Assignment BinaryOp Val Val -- ^ Binary arithmetic and bit operations | Neg Assignment Val -- ^ @neg@ -- Memory + -- | @stored@/@stores@/@storel@/@storew@/@storeh@/@storeb@ | Store ExtTy Val Val -- MAYBE collapse all the Loads in a single Load constructor and just discard -- the intrepr when unused. + -- | @loadw@/@loadl@/@loads@/@loadd@ | Load Assignment BaseTy Val + -- | @loadsw@/@loaduw@ | LoadW Assignment IntRepr Val + -- | @loadsh@/@loaduh@ | LoadH Assignment IntRepr Val + -- | @loadsb@/@loadub@ | LoadB Assignment IntRepr Val -- Comparisons | Compare Assignment Comparison BaseTy Val Val @@ -413,13 +418,17 @@ data Inst -- | @sltof@/@ultof@ | LtoF Assignment IntRepr Val -- Cast and Copy + -- | @cast@ | Cast Assignment Val + -- | @copy@ | Copy Assignment Val -- Calls - -- | the fields are: assignment, function name, environment, arguments, variadic arguments + -- | @call@. The fields are: assignment, function name, environment, arguments, variadic arguments | Call (Maybe (Ident 'Temporary, AbiTy)) Val (Maybe Val) [Arg] [Arg] -- Variadic + -- | @vastart@, initializes a variable argument list | VaStart (Ident 'Temporary) + -- | @vaarg@, fetches the next argument from a variable argument list | VaArg Assignment (Ident 'Temporary) deriving (Show, Eq)