Initial version of LLVM syntax

lwb/metalang/llvm/llvm.spoofax2/metaborg.yaml

@@ -42,5 +42,49 @@ language:
   statix:
     mode: traditional
 exports:
+# syntax
+- language: ATerm
+  directory: src-gen/syntax
+- language: TemplateLang
+  directory: syntax
+  includes: "**/*.sdf3"
+- language: SDF
+  directory: src-gen/syntax
+  includes: "**/*.sdf"
+# stratego injections (needed for syntax)
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "injections/llvm/**/*.str"
+# stratego pretty-printer (needed for syntax)
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "pp/**/*.str"
+# stratego completion (needed for syntax)
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "completion/llvm/**/*.str"
+# stratego signatures
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "signatures/llvm/**/*.str"
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "signatures/llvm-sig.str"
+- language: Stratego-Sugar
+  directory: src-gen
+  includes: "signatures/permissive-water-sig.str"
+# esv (colors)
+- language: EditorService
+  directory: editor
+  includes: "editor/llvm/**/*.esv"
+# statix signatures
+# todo: disabled due to lack of re-exporting of statix specs, manually copied TExp signature
+# - language: StatixLang
+#   directory: src-gen/statix
+#  includes: "signatures/**/*.stx"
 - language: ATerm
   directory: src-gen/statix
+# pretty printing helper
+- language: Stratego-Sugar
+  directory: trans
+  includes: "llvm/pp.str"

lwb/metalang/llvm/llvm.spoofax2/syntax/Atoms.sdf3

@@ -0,0 +1,51 @@
+module Atoms
+
+imports
+
+  Common
+  Attributes
+
+context-free sorts
+
+  Parameter
+  Type
+  Atom
+  Literal
+  Constant
+  Variable
+  TypedAtom
+
+context-free syntax
+
+  Parameter.ParamUnnamed = <<Type> <ParameterAttribute*>>
+  Parameter.ParamNamed = <<Type> <Variable> <ParameterAttribute*>>
+  Parameter.Vararg = <...>
+
+  Type.Int64 = <i64>
+  Type.Int8 = <i8>
+  Type.Bool = <i1>
+  Type.Pointer = <ptr>
+  Type.Array = <[<POSINT> x <Type>]>
+  Type.Label = <label>
+  Type.Void = <void>
+  Type.Function = <<Type> (<{Parameter ", "}*>)>
+
+  Atom.Literal = <<Literal>>
+  Atom.ConstAtom = <<Constant>>
+  Atom.VarAtom = <<Variable>>
+  Atom.PtrToInt = <ptrtoint (ptr <Constant> to <Type>)>
+
+  Literal.Int = <<INT>>
+  Literal.String = <c<STRING>>
+
+  TypedAtom.TypedAtom = <<Type> <Atom>>
+
+syntax
+
+  Variable-CF.Variable = "%" ID-CF
+  Constant-CF.Constant = "@" ID-CF
+
+template options
+
+  keyword -/- [a-zA-Z0-9\_]
+  ID = keyword {reject}

lwb/metalang/llvm/llvm.spoofax2/syntax/Attributes.sdf3

@@ -0,0 +1,54 @@
+module Attributes
+
+imports
+
+  Common
+
+context-free sorts
+
+  ParameterAttribute
+  Linkage
+  CallConv
+  GlobalAttribute
+  FunctionAttribute
+  ArithAttribute
+  TailAttribute
+
+context-free syntax
+
+  ParameterAttribute.NoCapture = <nocapture>
+  ParameterAttribute.NoFree = <nofree>
+  ParameterAttribute.ZeroExt = <zeroext>
+  ParameterAttribute.SignExt = <signext>
+
+  CallConv.DefaultCConv = <>
+  CallConv.CCConv = <ccc>
+  CallConv.TailCConv = <tailcc>
+
+  Linkage.Private = <private>
+  Linkage.Weak = <weak>
+  Linkage.DefaultLinkage = <>
+
+  GlobalAttribute.UnnamedAddr = <unnamed_addr>
+  GlobalAttribute.Global = <global>
+  GlobalAttribute.Constant = <constant>
+
+  FunctionAttribute.NoUnwind = <nounwind>
+  FunctionAttribute.NoReturn = <noreturn>
+  FunctionAttribute.InaccessibleMemOnly = <inaccessiblememonly>
+  FunctionAttribute.AllocKind = <allockind(<STRING>)>
+  FunctionAttribute.AllocSize = <allocsize(<INT>)>
+  FunctionAttribute.AllocFamily = <"alloc-family"=<STRING>>
+
+  ArithAttribute.NoSignedWrap = <nsw>
+  ArithAttribute.Exact = <exact>
+
+  TailAttribute.Tail = <tail>
+  TailAttribute.MustTail = <musttail>
+  TailAttribute.NoTail = <notail>
+  TailAttribute.DefaultTail = <>
+
+template options
+
+  keyword -/- [a-zA-Z]
+  ID = keyword {reject}

lwb/metalang/llvm/llvm.spoofax2/syntax/Common.sdf3

@@ -1,24 +1,21 @@
 module Common
 
 lexical sorts
-  ID INT STRING
+  ID INT POSINT STRING
   STRING_CHAR BACKSLASH_CHAR
-  COMMENT_CHAR INSIDE_COMMENT
   NEWLINE_EOF EOF
 
 lexical syntax
 
-  ID               = [a-zA-Z] [a-zA-Z0-9]*
+  ID               = [a-zA-Z0-9\_\.]*
   INT              = "-"? [0-9]+
+  POSINT           = [0-9]+
   STRING           = "\"" STRING_CHAR* "\""
   STRING_CHAR      = ~[\\\"\n]
   STRING_CHAR      = "\\" [\\\"]
+  STRING_CHAR      = "\\" [0-9a-fA-F] [0-9a-fA-F]
   LAYOUT           = [\ \t\n\r]
-  COMMENT_CHAR     = [\*]
-  LAYOUT           = "/*" INSIDE_COMMENT* "*/"
-  INSIDE_COMMENT   = ~[\*]
-  INSIDE_COMMENT   = COMMENT_CHAR
-  LAYOUT           = "//" ~[\n\r]* NEWLINE_EOF
+  LAYOUT           = ";" ~[\n\r]* NEWLINE_EOF
   NEWLINE_EOF      = [\n\r]
   NEWLINE_EOF      = EOF
   EOF              =
@@ -27,7 +24,6 @@ lexical restrictions
 
   // Ensure greedy matching for lexicals
 
-  COMMENT_CHAR    -/- [\/]
   INT             -/- [0-9]
   ID              -/- [a-zA-Z0-9\_]
 

lwb/metalang/llvm/llvm.spoofax2/syntax/Statements.sdf3

@@ -0,0 +1,64 @@
+module Statements
+
+imports
+
+  Common
+  Attributes
+  Atoms
+
+context-free sorts
+
+  Block
+  Label
+  Terminator
+  Statement
+  Expression
+  Operation
+  Condition
+
+context-free syntax
+
+  Block.Block = <
+<lbl:Label>
+  <stmts:Statement*>
+  <end:Terminator>> {layout(pp-indent lbl stmts && pp-align-list stmts && pp-align stmts end)}
+
+  Label.Label = <<ID>:>
+  Label.NoLabel = <>
+  Statement.Hello = <hello>
+
+  Terminator.Ret = <ret <TypedAtom>>
+  Terminator.RetVoid = <ret void>
+  Terminator.BrCond = <br <TypedAtom>, label <Atom>, label <Atom>>
+  Terminator.Br = <br label <Atom>>
+  Terminator.Switch = <switch <TypedAtom>, <TypedAtom> [<{TypedAtom ", "}*>]>
+  Terminator.Unreachable = <unreachable>
+
+  Statement.Assign = <<Variable> = <Expression>>
+  Statement.Expression = <<Expression>>
+
+  Expression.BinaryOp = <<Operation> <ArithAttribute*> <Type> <Atom>, <Atom>>
+  Expression.ICmp = <icmp <Condition> <Type> <Atom>, <Atom>>
+  Expression.IntToPtr = <inttoptr <TypedAtom> to <Type>>
+  Expression.PtrToInt = <ptrtoint <TypedAtom> to <Type>>
+  Expression.Call = <<TailAttribute> call <Type> <CallConv> <Constant>(<{TypedAtom ", "}*>)>
+  Expression.Load = <load <Type>, <TypedAtom>>
+  Expression.Store = <store <TypedAtom>, <TypedAtom>>
+  Expression.GetElementPtr = <getelementptr <Type>, <{TypedAtom ", "}*>>
+
+  Operation.Add = <add>
+  Operation.Sub = <sub>
+  Operation.Mul = <mul>
+  Operation.SDiv = <sdiv>
+
+  Condition.Equal = <eq>
+  Condition.NotEqual = <neq>
+  Contition.SignedGreaterThan = <sgt>
+  Contition.SignedGreaterEqual = <sge>
+  Contition.SignedLessThan = <slt>
+  Contition.SignedLessEqual = <sle>
+
+template options
+
+  keyword -/- [a-zA-Z0-9\_]
+  ID = keyword {reject}

lwb/metalang/llvm/llvm.spoofax2/syntax/llvm.sdf3

@@ -3,6 +3,9 @@ module llvm
 imports
 
   Common
+  Attributes
+  Statements
+  Atoms
 
 context-free start-symbols
 
@@ -11,7 +14,22 @@ context-free start-symbols
 context-free sorts
 
   Start
+  Definition
 
 context-free syntax
 
-  Start.LLVMEmpty = <>
+  Start.LLVMProgram = <<defs:Definition*>> {layout(pp-align-list defs)}
+
+  Definition.TargetTriple = <target triple = <STRING>>
+  Definition.GlobalDef = <<Constant> = <Linkage> <GlobalAttribute*> <Type> <Literal>>
+  Definition.FunDecl = <declare <Linkage> <Type> <CallConv> <Constant>(<{Parameter ", "}*>) <FunctionAttribute*>>
+  Definition.FunDef = <
+define <Linkage> <Type> <CallConv> <Constant>(<{Parameter ", "}*>) <FunctionAttribute*> {
+  <blks:Block*>
+}> {layout(pp-align-list blks)}
+
+template options
+
+  keyword -/- [a-zA-Z0-9\_]
+  ID = keyword {reject}
+

lwb/metalang/tim/tim.spoofax2/metaborg.yaml

@@ -11,6 +11,7 @@ dependencies:
   source:
   - org.metaborg:meta.lib.spoofax:${metaborgVersion}
   - org.metaborg:statix.runtime:${metaborgVersion}
+  - org.metaborg:llvm:0.1.0-SNAPSHOT
 pardonedLanguages:
 - EditorService
 - Stratego-Sugar

lwb/metalang/tim/tim.spoofax2/trans/compile/select-instructions.str

@@ -4,6 +4,7 @@ imports
 
   signatures/tim/-
   signatures/tim-sig
+  signatures/llvm-sig
   compile/explicate-globals
   compile/string