[llvm] 69653d4 - Return "[Test] Add failing test for PR49087"

[Max Kazantsev via llvm-commits]

Author: Max Kazantsev
Date: 2021-02-09T11:36:13+07:00
New Revision: 69653d44de872d60211fc7563583f63527e490e0

URL: https://github.com/llvm/llvm-project/commit/69653d44de872d60211fc7563583f63527e490e0
DIFF: https://github.com/llvm/llvm-project/commit/69653d44de872d60211fc7563583f63527e490e0.diff

LOG: Return "[Test] Add failing test for PR49087"

Another attempt, this time with tripple fix.

Added: 
    llvm/test/CodeGen/X86/pr49087.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/X86/pr49087.ll b/llvm/test/CodeGen/X86/pr49087.ll
new file mode 100644
index 000000000000..258ea352d1f9
--- /dev/null
+++ b/llvm/test/CodeGen/X86/pr49087.ll
@@ -0,0 +1,30 @@
+; RUN: llc -mtriple=x86_64-unknown-linux-gnu -o - -global-isel < %s 2>&1 | FileCheck %s
+; REQUIRES: asserts
+; XFAIL: *
+
+define i32 @test_01(i32* %p, i64 %len, i32 %x) {
+; CHECK-LABEL: test_01
+
+entry:
+  %scevgep = getelementptr i32, i32* %p, i64 -1
+  br label %loop
+
+loop:                                             ; preds = %backedge, %entry
+  %iv = phi i64 [ %iv.next, %backedge ], [ %len, %entry ]
+  %iv.next = add i64 %iv, -1
+  %cond_1 = icmp eq i64 %iv, 0
+  br i1 %cond_1, label %exit, label %backedge
+
+backedge:                                         ; preds = %loop
+  %scevgep1 = getelementptr i32, i32* %scevgep, i64 %iv
+  %loaded = load atomic i32, i32* %scevgep1 unordered, align 4
+  %cond_2 = icmp eq i32 %loaded, %x
+  br i1 %cond_2, label %failure, label %loop
+
+exit:                                             ; preds = %loop
+  ret i32 -1
+
+failure:
+  unreachable
+}
+