Instr haddocks

This commit is contained in:
Francesco Gazzetta
2022-07-10 22:27:32 +02:00
parent 2c4bbf659f
commit 76735e82ac

View File

@@ -382,12 +382,17 @@ data Inst
= BinaryOp Assignment BinaryOp Val Val -- ^ Binary arithmetic and bit operations = BinaryOp Assignment BinaryOp Val Val -- ^ Binary arithmetic and bit operations
| Neg Assignment Val -- ^ @neg@ | Neg Assignment Val -- ^ @neg@
-- Memory -- Memory
-- | @stored@/@stores@/@storel@/@storew@/@storeh@/@storeb@
| 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.
-- | @loadw@/@loadl@/@loads@/@loadd@
| Load Assignment BaseTy Val | Load Assignment BaseTy Val
-- | @loadsw@/@loaduw@
| LoadW Assignment IntRepr Val | LoadW Assignment IntRepr Val
-- | @loadsh@/@loaduh@
| LoadH Assignment IntRepr Val | LoadH Assignment IntRepr Val
-- | @loadsb@/@loadub@
| LoadB Assignment IntRepr Val | LoadB Assignment IntRepr Val
-- Comparisons -- Comparisons
| Compare Assignment Comparison BaseTy Val Val | Compare Assignment Comparison BaseTy Val Val
@@ -413,13 +418,17 @@ data Inst
-- | @sltof@/@ultof@ -- | @sltof@/@ultof@
| LtoF Assignment IntRepr Val | LtoF Assignment IntRepr Val
-- Cast and Copy -- Cast and Copy
-- | @cast@
| Cast Assignment Val | Cast Assignment Val
-- | @copy@
| Copy Assignment Val | Copy Assignment Val
-- Calls -- 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] | Call (Maybe (Ident 'Temporary, AbiTy)) Val (Maybe Val) [Arg] [Arg]
-- Variadic -- Variadic
-- | @vastart@, initializes a variable argument list
| VaStart (Ident 'Temporary) | VaStart (Ident 'Temporary)
-- | @vaarg@, fetches the next argument from a variable argument list
| VaArg Assignment (Ident 'Temporary) | VaArg Assignment (Ident 'Temporary)
deriving (Show, Eq) deriving (Show, Eq)