Implement new syntactic-sugar for skip_to(). Allows specifying the offset directly on a register

1 files changed, 7 insertions, 0 deletions

diff --git a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
index a4f98e3..0e4894e 100644
--- a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
+++ b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
@@ -50,6 +50,7 @@ module Language.Fiddle.Ast.Internal.SyntaxTree
     EnumBody (..),
     EnumConstantDecl (..),
     PackageBody (..),
+    RegisterPosition(..),
     -- Helper Functions
     regSzToBits,
     mapDirected,
@@ -507,6 +508,9 @@ data ObjType stage f a where
     ObjType stage f a
   deriving (Typeable, Generic, Alter, Annotated, Typeable, Walk)
 
+newtype RegisterPosition = RegisterPosition (Maybe Text)
+  deriving newtype (Eq, Ord, Show, Generic, FromJSON, ToJSON)
+
 -- | Represents a declaration inside an object type, such as a register, an
 --   assertion, or a substructure.
 data ObjTypeDecl stage f a where
@@ -557,6 +561,9 @@ data ObjTypeDecl stage f a where
       regIdent :: Guaranteed (stage .>= Qualified) (Identifier f a),
       -- | Size of the register.
       regSize :: Variant (stage .>= Qualified) RegSz (Expression Bits stage f a),
+      -- | Declared register position. This gets turned into a "skip-to"
+      -- statement during expansion.
+      regPos :: When (stage .< Expanded) RegisterPosition,
       -- | Optional register body.
       regBody :: Maybe (RegisterBody stage f a),
       -- | Annotation for the register declaration.