From 6ef6e656d4204e002b405c8c1df21b0b1c6bbd71 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 4 Jun 2024 02:42:53 -0600
Subject: [PATCH] Update dependency: deps/llvm-backend_release (#4408)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Roberto Rosmaninho <robertogomes@dcc.ufmg.br>
---
 deps/llvm-backend_release                     |   2 +-
 flake.lock                                    |   8 ++++----
 flake.nix                                     |   2 +-
 .../proof-instrumentation/input.test.out      | Bin 1302 -> 1246 bytes
 llvm-backend/src/main/native/llvm-backend     |   2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index db7a480479e..9dd1793304c 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.31
+0.1.34
diff --git a/flake.lock b/flake.lock
index fb9b17b7a15..a7895e1e32c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1716543761,
-        "narHash": "sha256-YQIrz7KjDiwLtHMzRYxzt1+rcCUdeGDmBQl+zWOq5us=",
+        "lastModified": 1717429336,
+        "narHash": "sha256-Xw+apIyKhYMw8AE0scVq9mQCS8Etoc6xC5eYTJTVARc=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "0b0bdaeaf5acfed9034c40bec68b285dc5fac4dc",
+        "rev": "ff7f89bdd103ae9e919fa3def6f397d6f121c578",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.31",
+        "ref": "v0.1.34",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 71dbc0068c0..a9923579eaf 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.31";
+      url = "github:runtimeverification/llvm-backend/v0.1.34";
       inputs.utils.follows = "flake-utils";
     };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
diff --git a/k-distribution/tests/regression-new/proof-instrumentation/input.test.out b/k-distribution/tests/regression-new/proof-instrumentation/input.test.out
index 5469b98b9bd12ca3926c36f2230a249c08a7988d..88097b814331bea346d8a2548a5a95987a2bf019 100644
GIT binary patch
delta 51
zcmbQnb&r$P!_zN>dn2nA)8vzk{FB3&Vu3XG=3`83j6jCO<TuRulapDTCa-0YntYzc
F9ssE#5dZ)H

delta 123
zcmcb|IgN|e!_zN>Ya^=_6UP}Sm~79K1LtgB%_PVO=S|+j+>YQlvp8wNG=(J=sfXsJ
f6sx=BmjKy@4E5eYMvQ?B3=A+8ljpP8!}S6H<|01)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 0b0bdaeaf5a..ff7f89bdd10 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 0b0bdaeaf5acfed9034c40bec68b285dc5fac4dc
+Subproject commit ff7f89bdd103ae9e919fa3def6f397d6f121c578