Parsing target triples

llvm-pretty.cabal

@@ -1,12 +1,12 @@
+Cabal-version:       2.2
 Name:                llvm-pretty
 Version:             0.11.0
-License:             BSD3
+License:             BSD-3-Clause
 License-file:        LICENSE
 Author:              Trevor Elliott
 Maintainer:          [email protected]
 Category:            Text
 Build-type:          Simple
-Cabal-version:       >=1.16
 Synopsis:            A pretty printing library inspired by the llvm binding.
 Description:
   A pretty printing library that was inspired by the LLVM binding by Lennart
@@ -20,8 +20,13 @@ source-repository head
   type:                 git
   location:             http://github.com/elliottt/llvm-pretty
 
-Library
+common common
   Default-language:    Haskell2010
+  Ghc-options:
+    -Wall
+
+Library
+  Import:              common
 
   Hs-source-dirs:      src
   Exposed-modules:     Text.LLVM
@@ -32,7 +37,13 @@ Library
                        Text.LLVM.Parser
                        Text.LLVM.PP
                        Text.LLVM.DebugUtils
-  Other-modules:       Text.LLVM.Util
+                       Text.LLVM.Triple
+                       Text.LLVM.Triple.AST
+                       Text.LLVM.Triple.Parse
+                       Text.LLVM.Triple.Print
+  Other-modules:       Text.LLVM.Triple.Parse.ARM
+                       Text.LLVM.Triple.Parse.LookupTable
+                       Text.LLVM.Util
 
   Build-depends:       base             >= 4.9 && < 5,
                        containers       >= 0.4,
@@ -44,4 +55,17 @@ Library
                        template-haskell >= 2.7,
                        th-abstraction   >= 0.3.1 && <0.5
 
-  Ghc-options:         -Wall
+Test-suite llvm-pretty-test
+  Import: common
+  Type: exitcode-stdio-1.0
+  Main-is: Main.hs
+  Other-modules:
+    Triple
+  Hs-source-dirs: test
+  Ghc-options:
+    -threaded
+  Build-depends:
+    llvm-pretty,
+    base,
+    tasty,
+    tasty-hunit

src/Text/LLVM/AST.hs

@@ -23,11 +23,14 @@ import Language.Haskell.TH.Syntax (Lift)
 import Text.Parsec
 import Text.Parsec.String
 
+import Text.LLVM.Triple.AST (TargetTriple)
+
 
 -- Modules ---------------------------------------------------------------------
 
 data Module = Module
   { modSourceName :: Maybe String
+  , modTriple     :: TargetTriple  -- ^ target triple
   , modDataLayout :: DataLayout    -- ^ type size and alignment information
   , modTypes      :: [TypeDecl]    -- ^ top-level type aliases
   , modNamedMd    :: [NamedMd]
@@ -40,9 +43,11 @@ data Module = Module
   , modAliases    :: [GlobalAlias]
   } deriving (Data, Eq, Ord, Generic, Show, Typeable)
 
+-- | Combines fields pointwise.
 instance Sem.Semigroup Module where
   m1 <> m2 = Module
     { modSourceName = modSourceName m1 `mplus`   modSourceName m2
+    , modTriple     = modTriple m1     <> modTriple     m2
     , modDataLayout = modDataLayout m1 <> modDataLayout m2
     , modTypes      = modTypes      m1 <> modTypes      m2
     , modUnnamedMd  = modUnnamedMd  m1 <> modUnnamedMd  m2
@@ -62,6 +67,7 @@ instance Monoid Module where
 emptyModule :: Module
 emptyModule  = Module
   { modSourceName = mempty
+  , modTriple     = mempty
   , modDataLayout = mempty
   , modTypes      = mempty
   , modNamedMd    = mempty

src/Text/LLVM/Triple.hs

@@ -0,0 +1,17 @@
+{- |
+Module      : Text.LLVM.Triple
+Description : AST, parsing, and printing of LLVM target triples.
+License     : BSD3
+Maintainer  : Langston Barrett
+Stability   : experimental
+-}
+
+module Text.LLVM.Triple
+  ( module Text.LLVM.Triple.AST
+  , module Text.LLVM.Triple.Parse
+  , module Text.LLVM.Triple.Print
+  ) where
+
+import Text.LLVM.Triple.AST
+import Text.LLVM.Triple.Parse
+import Text.LLVM.Triple.Print