From 8200fdb41f268a875044c18dda5dd206e5435d16 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 21 Sep 2023 09:25:11 -0600
Subject: [PATCH] Update dependency: llvm-backend/src/main/native/llvm-backend
 (#3635)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Guy Repta <50716988+gtrepta@users.noreply.github.com>
---
 flake.lock                                     | 18 +++++++++---------
 .../1_k/4_imp++/lesson_6/tests/spawn.imp.out   | 16 ++++++++--------
 llvm-backend/src/main/native/llvm-backend      |  2 +-
 3 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/flake.lock b/flake.lock
index 81dcae0dbb4..dfe25c9fae6 100644
--- a/flake.lock
+++ b/flake.lock
@@ -314,11 +314,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1692799911,
-        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
+        "lastModified": 1694529238,
+        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
+        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
         "type": "github"
       },
       "original": {
@@ -784,11 +784,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1692976793,
-        "narHash": "sha256-ytl8wuFYYx9NAaIBLjil/UgZcK9fBgXDspDE1y+gNHM=",
+        "lastModified": 1695238986,
+        "narHash": "sha256-z/pK5vTyXUIvVk/UaqxJq3xOa08MBOyemeQSwg2+kfY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "f3e29231a9a8bc4373fbbc74866f96df454cbc7e",
+        "rev": "c603ac78f4c1e08ab90ca9083c1841399e236bf8",
         "type": "github"
       },
       "original": {
@@ -1227,11 +1227,11 @@
     },
     "nixpkgs_5": {
       "locked": {
-        "lastModified": 1694048570,
-        "narHash": "sha256-PEQptwFCVaJ+jLFJgrZll2shQ9VI/7xVhrCYkJo8iIw=",
+        "lastModified": 1694937365,
+        "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "4f77ea639305f1de0a14d9d41eef83313360638c",
+        "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02",
         "type": "github"
       },
       "original": {
diff --git a/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out b/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out
index 7552e7a23a0..eba23e61a03 100644
--- a/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out
+++ b/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out
@@ -1,13 +1,13 @@
     {
       Out:String
     #Equals
-      "x = 21\n"
+      "x = 11\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 21
+      0 |-> 11
     }
 #Or
     {
@@ -19,7 +19,7 @@
     {
       Store:Map
     #Equals
-      0 |-> 11
+      0 |-> 21
     }
 #Or
     {
@@ -31,31 +31,31 @@
     {
       Store:Map
     #Equals
-      0 |-> 21
+      0 |-> 33
     }
 #Or
     {
       Out:String
     #Equals
-      "x = 11\n"
+      "x = 16\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 33
+      0 |-> 16
     }
 #Or
     {
       Out:String
     #Equals
-      "x = 16\n"
+      "x = 21\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 16
+      0 |-> 21
     }
 #Or
     {
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index f3e29231a9a..c603ac78f4c 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit f3e29231a9a8bc4373fbbc74866f96df454cbc7e
+Subproject commit c603ac78f4c1e08ab90ca9083c1841399e236bf8