llvm-pretty 0.13.0.0 → 0.13.1.0

raw patch · 5 files changed

+36/−2 lines, 5 filesnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• llvm-pretty.cabal +2/−2
• src/Text/LLVM.hs +1/−0
• src/Text/LLVM/AST.hs +21/−0
• src/Text/LLVM/PP.hs +8/−0

@@ -1,5 +1,9 @@ # Revision history for llvm-pretty +## 0.13.1.0 (October 2025)++* Add a `FunctionPointerAlign` constructor to `LayoutSpec`.+ ## 0.13.0.0 (March 2025)  * Changed some of the signatures of helper functions in the AST to make them more

@@ -1,6 +1,6 @@ Cabal-version:       2.2 Name:                llvm-pretty-Version:             0.13.0.0+Version:             0.13.1.0 License:             BSD-3-Clause License-file:        LICENSE Author:              Trevor Elliott@@ -13,7 +13,7 @@   Augustsson.  The library provides a monadic interface to a pretty printer,   that allows functions to be defined and called, generating the corresponding   LLVM assembly when run.-tested-with:         GHC==9.8.4, GHC==9.6.6, GHC==9.4.8+tested-with:         GHC==9.10.1, GHC==9.8.4, GHC==9.6.6 extra-doc-files:     CHANGELOG.md, README.md  

@@ -40,6 +40,7 @@      -- * Basic Blocks   , BB()+  , runBB   , freshLabel   , label   , comment

@@ -28,6 +28,7 @@     -- * Data Layout   , DataLayout   , LayoutSpec(..)+  , FunctionPointerAlignType(..)   , Mangling(..)   , parseDataLayout     -- * Inline Assembly@@ -292,9 +293,20 @@   | AggregateSize !Int !Int (Maybe Int) -- ^ size, abi, pref   | NativeIntSize [Int]   | StackAlign    !Int -- ^ size+  | FunctionPointerAlign !FunctionPointerAlignType !Int -- ^ type, abi   | Mangling Mangling     deriving (Data, Eq, Generic, Ord, Show, Typeable) +-- | How should a function pointer be aligned?+data FunctionPointerAlignType+  = IndependentOfFunctionAlign+    -- ^ The alignment of function pointers is independent of the alignment of+    -- functions.+  | MultipleOfFunctionAlign+    -- ^ The alignment of function pointers is a multiple of the explicit+    -- alignment specified on the function.+  deriving (Data, Eq, Enum, Generic, Ord, Show, Typeable)+ data Mangling = ElfMangling               | MipsMangling               | MachOMangling@@ -318,6 +330,7 @@            'E' -> return BigEndian            'e' -> return LittleEndian            'S' -> StackAlign    <$> pInt+           'F' -> FunctionPointerAlign <$> pFunctionPointerAlignType <*> pInt            'p' -> PointerSize   <$> pInt0 <*> pCInt <*> pCInt <*> pPref            'i' -> IntegerSize   <$> pInt <*> pCInt <*> pPref            'v' -> VectorSize    <$> pInt <*> pCInt <*> pPref@@ -340,6 +353,14 @@            'a' -> AggregateSize <$> pInt <*> pCInt <*> pPref            'n' -> NativeIntSize <$> sepBy pInt (char ':')            'm' -> Mangling      <$> (char ':' >> pMangling)+           _   -> mzero++    pFunctionPointerAlignType :: Parser FunctionPointerAlignType+    pFunctionPointerAlignType =+      do c <- letter+         case c of+           'i' -> return IndependentOfFunctionAlign+           'n' -> return MultipleOfFunctionAlign            _   -> mzero      pMangling :: Parser Mangling

@@ -216,6 +216,8 @@     AggregateSize sz abi pref -> char 'a' <> ppLayoutBody sz abi pref     NativeIntSize szs         ->       char 'n' <> hcat (punctuate (char ':') (map int szs))+    FunctionPointerAlign ty abi ->+      char 'F' <> ppFunctionPointerAlignType ty <> int abi     StackAlign a              -> char 'S' <> int a     Mangling m                -> char 'm' <> char ':' <> ppMangling m @@ -226,6 +228,12 @@   pref = case mb of     Nothing -> empty     Just p  -> char ':' <> int p++ppFunctionPointerAlignType :: Fmt FunctionPointerAlignType+ppFunctionPointerAlignType ty =+  case ty of+    IndependentOfFunctionAlign -> char 'i'+    MultipleOfFunctionAlign -> char 'n'  ppMangling :: Fmt Mangling ppMangling ElfMangling         = char 'e'