[llvm] 6600766 - NFC. Add PR44320 IR test case.

[Daniil Suchkov via llvm-commits]

Author: Daniil Suchkov
Date: 2020-01-23T14:17:05+07:00
New Revision: 660076645315c600e7f3da2af1c859db14500a3d

URL: https://github.com/llvm/llvm-project/commit/660076645315c600e7f3da2af1c859db14500a3d
DIFF: https://github.com/llvm/llvm-project/commit/660076645315c600e7f3da2af1c859db14500a3d.diff

LOG: NFC. Add PR44320 IR test case.

Added: 
    llvm/test/Transforms/LCSSA/pr44320.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LCSSA/pr44320.ll b/llvm/test/Transforms/LCSSA/pr44320.ll
new file mode 100644
index 000000000000..a211cf82cc89
--- /dev/null
+++ b/llvm/test/Transforms/LCSSA/pr44320.ll
@@ -0,0 +1,56 @@
+; XFAIL: *
+; RUN: opt -passes="verify<scalar-evolution>,lcssa,verify<scalar-evolution>" -verify-scev-strict -S -disable-output %s
+
+; The first SCEV verification is required because it queries SCEV and populates
+; SCEV caches. Second SCEV verification checks if the caches are in valid state.
+
+; Check that the second SCEV verification doesn't fail.
+define void @test(i32* %arg, i32* %arg1, i1 %arg2, i1 %arg3) {
+bb:
+  br label %bb6
+
+bb5:
+  br label %bb6
+
+bb6:
+  br label %bb7
+
+bb7:
+  %tmp = load i32, i32* %arg
+  %tmp8 = load i32, i32* %arg1
+  %tmp9 = add i32 %tmp8, %tmp
+  %tmp10 = icmp sgt i32 %tmp9, %tmp
+  br i1 %tmp10, label %bb11, label %bb17
+
+bb11:
+  br i1 %arg3, label %bb12, label %bb14
+
+bb12:
+  br label %bb13
+
+bb13:
+  br label %bb17
+
+bb14:
+  br label %bb15
+
+bb15:
+  %tmp16 = add nsw i32 %tmp, 1
+  ret void
+
+bb17:
+  %tmp18 = phi i32 [ 0, %bb7 ], [ %tmp8, %bb13 ]
+  br i1 %arg2, label %bb24, label %bb19
+
+bb19:
+  br label %bb20
+
+bb20:
+  %tmp21 = phi i32 [ %tmp22, %bb20 ], [ 0, %bb19 ]
+  %tmp22 = add nuw nsw i32 %tmp21, 1
+  %tmp23 = icmp slt i32 %tmp22, %tmp18
+  br i1 %tmp23, label %bb20, label %bb5
+
+bb24:
+  ret void
+}