Support parsing freeze instructions

This bumps the llvm-pretty submodule to include GaloisInc/llvm-pretty#85. Fixes #165.
GaloisInc · Sep 13, 2021 · d18507a · d18507a
1 parent d1a6057
commit d18507a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
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
@@ -982,6 +982,16 @@ parseFunctionBlockEntry _ t d (fromEntry -> Just r) = case recordCode r of
     mkInstr <- field ix unop
     result (typedType v) (mkInstr v) d
 
+  -- [attr, cc, norm, transfs,
+  --  fnty, fnid, args...]
+  57 -> label "FUNC_CODE_INST_CALLBR" $ do
+    notImplemented
+
+  -- [opty, opval]
+  58 -> label "FUNC_CODE_INST_FREEZE" $ do
+    (v,_) <- getValueTypePair t r 0
+    result (typedType v) (Freeze v) d
+
 
   -- [opty,opval,opval,pred]
   code