From 726ee671befd06b18fec90a01dabf2eca96b2d02 Mon Sep 17 00:00:00 2001
From: joachimschmidt557 <joachim.schmidt557@outlook.com>
Date: Thu, 30 Dec 2021 13:07:53 +0100
Subject: [PATCH] stage2 x86_64: add regression test for #7187

---
 test/stage2/x86_64.zig | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/test/stage2/x86_64.zig b/test/stage2/x86_64.zig
index 3bb4aa01eb..ecc00bf499 100644
--- a/test/stage2/x86_64.zig
+++ b/test/stage2/x86_64.zig
@@ -1663,6 +1663,27 @@ pub fn addCases(ctx: *TestContext) !void {
             );
         }
     }
+
+    {
+        var case = ctx.exe("issue 7187: miscompilation with bool return type", linux_x64);
+        case.addCompareOutput(
+            \\pub fn main() void {
+            \\    var x: usize = 1;
+            \\    var y: bool = getFalse();
+            \\    _ = y;
+            \\
+            \\    assert(x == 1);
+            \\}
+            \\
+            \\fn getFalse() bool {
+            \\    return false;
+            \\}
+            \\
+            \\fn assert(ok: bool) void {
+            \\    if (!ok) unreachable;
+            \\}
+        , "");
+    }
 }
 
 fn addLinuxTestCases(ctx: *TestContext) !void {