diff --git a/flake.nix b/flake.nix
index c794178d52..45f63fceb9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.80";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.81";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.67";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 5b777507e2..b9dc4ff8d3 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 5b777507e2316bc5a4b097bd38d41126c7c3dc10
+Subproject commit b9dc4ff8d3510f8ffb09cad2e1c80e2a0e9bb132