riscv-symbolic: dump CLI

Author: Your Name

macaw-riscv-symbolic/macaw-riscv-symbolic.cabal

@@ -112,6 +112,19 @@ library
     Data.Macaw.RISCV.Symbolic.Panic
     Data.Macaw.RISCV.Symbolic.Repeat
 
+executable macaw-riscv-dump
+  hs-source-dirs: tools
+  main-is: Dump.hs
+  default-language: Haskell2010
+  ghc-options: -Wall -Wcompat
+  build-depends:
+    base,
+    containers,
+    macaw-dump,
+    macaw-riscv,
+    macaw-riscv-symbolic,
+    macaw-symbolic
+
 test-suite macaw-riscv-symbolic-tests
   import: shared
 

macaw-riscv-symbolic/tools/Dump.hs

@@ -0,0 +1,18 @@
+{-# LANGUAGE ImportQualifiedPost #-}
+{-# LANGUAGE TypeApplications #-}
+
+module Main (main) where
+
+import Data.Macaw.Dump qualified as MD
+import Data.Macaw.RISCV qualified as MR
+import Data.Macaw.RISCV.Symbolic ()
+import Data.Macaw.Symbolic qualified as MS
+import Data.Proxy (Proxy(..))
+
+main :: IO ()
+main = do
+  archVals <-
+    case MS.archVals (Proxy @MR.RISCV) Nothing of
+      Just archVals -> pure archVals
+      Nothing -> error "impossible"
+  MD.main MR.riscv_info archVals MR.riscvPLTStubInfo