Trivial testcase that LCSSA can already handle.
authorOwen Anderson <resistor@mac.com>
Fri, 26 May 2006 21:59:20 +0000 (21:59 +0000)
committerOwen Anderson <resistor@mac.com>
Fri, 26 May 2006 21:59:20 +0000 (21:59 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28508 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/LCSSA/basictest.ll [new file with mode: 0644]
test/Transforms/LCSSA/dg.exp [new file with mode: 0644]

diff --git a/test/Transforms/LCSSA/basictest.ll b/test/Transforms/LCSSA/basictest.ll
new file mode 100644 (file)
index 0000000..163a3ef
--- /dev/null
@@ -0,0 +1,25 @@
+; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%lcssa = phi int"
+
+void %lcssa(bool %S2) {
+entry:
+       br label %loop.interior
+
+loop.interior:         ; preds = %entry
+       br bool %S2, label %if.true, label %if.false
+       
+if.true:
+       %X1 = add int 0, 0
+       br label %post.if
+
+if.false:
+       %X2 = add int 0, 1
+       br label %post.if
+
+post.if:
+       %X3 = phi int [%X1, %if.true], [%X2, %if.false]
+       br bool %S2, label %loop.exit, label %loop.interior
+
+loop.exit:
+       %X4 = add int 3, %X3
+       ret void
+}
\ No newline at end of file
diff --git a/test/Transforms/LCSSA/dg.exp b/test/Transforms/LCSSA/dg.exp
new file mode 100644 (file)
index 0000000..142de8a
--- /dev/null
@@ -0,0 +1,3 @@
+load_lib llvm-dg.exp
+
+llvm-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] $objdir $srcdir $subdir $target_triplet $llvmgcc $llvmgxx $prcontext $llvmgcc_version