From f4d94c05f229f5d09109e1efaaba17a2b725bda2 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Wed, 5 Jun 2024 11:41:58 -0600
Subject: [PATCH] Update dependency: deps/llvm-backend_release (#4422)

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/llvm-backend_release                 | 2 +-
 flake.lock                                | 8 ++++----
 flake.nix                                 | 2 +-
 llvm-backend/src/main/native/llvm-backend | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index 4a3e97d00cd..278cbc8db18 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.42
+0.1.43
diff --git a/flake.lock b/flake.lock
index bd822a54de4..0aa4543dd82 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1717532732,
-        "narHash": "sha256-0VTqGrolstZlxtd6DRmoWnJsYO+BB8i+PniGKenB34I=",
+        "lastModified": 1717604870,
+        "narHash": "sha256-B/0ZUSU0m7rHVsHpa7Aa1Tx7xb9VGIir1gxG0mIQRgM=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "caca83fbec616482760697fbf7620c45e9b560b7",
+        "rev": "6051aaa4f8889aedf8ae09a3fb746bbb331359c0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.42",
+        "ref": "v0.1.43",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 42809dd1d83..e18e9923c34 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.42";
+      url = "github:runtimeverification/llvm-backend/v0.1.43";
       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 caca83fbec6..6051aaa4f88 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit caca83fbec616482760697fbf7620c45e9b560b7
+Subproject commit 6051aaa4f8889aedf8ae09a3fb746bbb331359c0