Add a test that shows that SSI is working correctly.
authorNick Lewycky <nicholas@mxc.ca>
Mon, 17 Aug 2009 07:32:08 +0000 (07:32 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 17 Aug 2009 07:32:08 +0000 (07:32 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79230 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/SSI/ssiphi.ll [new file with mode: 0644]

diff --git a/test/Transforms/SSI/ssiphi.ll b/test/Transforms/SSI/ssiphi.ll
new file mode 100644 (file)
index 0000000..bdee6fe
--- /dev/null
@@ -0,0 +1,22 @@
+; RUN: llvm-as < %s | opt -ssi-everything | llvm-dis | FileCheck %s
+
+declare void @use(i32)
+declare i32 @create()
+
+define i32 @foo() {
+entry:
+  %x = call i32 @create()
+  %y = icmp slt i32 %x, 10
+  br i1 %y, label %T, label %F
+T:
+; CHECK: SSI_sigma 
+  call void @use(i32 %x)
+  br label %join
+F:
+; CHECK: SSI_sigma
+  call void @use(i32 %x)
+  br label %join
+join:
+; CHECK: SSI_phi
+  ret i32 %x
+}