diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index 0665a48efd5..c892edde544 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.50
+0.1.51
diff --git a/flake.lock b/flake.lock
index 4059105ce23..582046fbfd3 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1718737220,
-        "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=",
+        "lastModified": 1718910118,
+        "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "a7e321383372ba625173d4064836ab4f8cebef85",
+        "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.50",
+        "ref": "v0.1.51",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 7f6b7996349..f346567f8dd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "llvm-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
     llvm-backend = {
-      url = "github:runtimeverification/llvm-backend/v0.1.50";
+      url = "github:runtimeverification/llvm-backend/v0.1.51";
       inputs.utils.follows = "flake-utils";
     };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index a7e32138337..6671fe4b8de 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit a7e321383372ba625173d4064836ab4f8cebef85
+Subproject commit 6671fe4b8de164ac2d141dcce869a06b628ed560