diff --git a/cbits/malloc.c b/cbits/malloc.c
--- a/cbits/malloc.c
+++ b/cbits/malloc.c
@@ -19,12 +19,10 @@
   return y;
 };
 
-__inline__
 size_t lcm(size_t x, size_t y) {
   return x*(y/gcd(x,y));
 };
 
-__inline__
 size_t round_down_multiple(size_t x, size_t y) {
   return x - (x%y);
 };
diff --git a/llvm-tf.cabal b/llvm-tf.cabal
--- a/llvm-tf.cabal
+++ b/llvm-tf.cabal
@@ -1,5 +1,5 @@
 Name:          llvm-tf
-Version:       9.2.0.1
+Version:       12.0
 License:       BSD3
 License-File:  LICENSE
 Synopsis:      Bindings to the LLVM compiler toolkit using type families.
@@ -37,7 +37,7 @@
   Location: http://code.haskell.org/~thielema/llvm-tf/
 
 Source-Repository this
-  Tag:      9.2.0.1
+  Tag:      12.0
   Type:     darcs
   Location: http://code.haskell.org/~thielema/llvm-tf/
 
@@ -53,9 +53,9 @@
 Library private
   Default-Language: Haskell98
   Build-Depends:
-    llvm-ffi >=9.1 && <9.2,
+    llvm-ffi >=9.1 && <14.0,
     tfp >=1.0 && <1.1,
-    transformers >=0.3 && <0.6,
+    transformers >=0.3 && <0.7,
     storable-record >=0.0.2 && <0.1,
     enumset >=0.0.5 && <0.2,
     fixed-length >=0.2 && <0.3,
diff --git a/private/LLVM/Core/Util.hs b/private/LLVM/Core/Util.hs
--- a/private/LLVM/Core/Util.hs
+++ b/private/LLVM/Core/Util.hs
@@ -34,7 +34,7 @@
     showTypeOf, getValueNameU, getObjList, annotateValueList,
     isConstant, isIntrinsic,
     -- * Transformation passes
-    addCFGSimplificationPass, addConstantPropagationPass, addDemoteMemoryToRegisterPass,
+    addCFGSimplificationPass, addDemoteMemoryToRegisterPass,
     addGVNPass, addInstructionCombiningPass, addPromoteMemoryToRegisterPass, addReassociatePass,
     ) where
 
@@ -365,10 +365,6 @@
 -- | Add a control flow graph simplification pass to the manager.
 addCFGSimplificationPass :: PassManager -> IO ()
 addCFGSimplificationPass pm = withPassManager pm FFI.addCFGSimplificationPass
-
--- | Add a constant propagation pass to the manager.
-addConstantPropagationPass :: PassManager -> IO ()
-addConstantPropagationPass pm = withPassManager pm FFI.addConstantPropagationPass
 
 addDemoteMemoryToRegisterPass :: PassManager -> IO ()
 addDemoteMemoryToRegisterPass pm = withPassManager pm FFI.addDemoteMemoryToRegisterPass