Adapt to Load gaining an explicit load type

This bumps the `llvm-pretty` submodule to bring in the changes to the `Load` data constructor from GaloisInc/llvm-pretty#110 and adapts the code in `llvm-pretty-bc-parser` accordingly. This is necessary in order to `load` from an opaque pointer. See #177. A test case will be added in a subsequent commit.
GaloisInc · May 30, 2023 · 6349a78 · 6349a78
1 parent 4c857a8
commit 6349a78
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/llvm-pretty b/llvm-pretty
diff --git a/src/Data/LLVM/BitCode/IR/Function.hs b/src/Data/LLVM/BitCode/IR/Function.hs
@@ -621,7 +621,7 @@ parseFunctionBlockEntry _ t d (fromEntry -> Just r) = case recordCode r of
     aval    <- parseField r ix' numeric
     let align | aval > 0  = Just (bit aval `shiftR` 1)
               | otherwise = Nothing
-    result ret (Load (tv { typedType = PtrTo ret }) Nothing align) d
+    result ret (Load ret tv Nothing align) d
 
   -- 21 is unused
   -- 22 is unused
@@ -825,7 +825,7 @@ parseFunctionBlockEntry _ t d (fromEntry -> Just r) = case recordCode r of
     when (ordval /= Nothing && align == Nothing)
          (fail "Invalid record")
 
-    result ret (Load (tv { typedType = PtrTo ret }) ordval align) d
+    result ret (Load ret tv ordval align) d
 
 
   -- [ptrty, ptr, val, align, vol, ordering, synchscope]