From: Chris Lattner <sabre@nondot.org>
Date: Mon, 15 Mar 2004 04:10:08 +0000 (+0000)
Subject: New testcases to test LICM of call instructions
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=65a88e83e311e49cf0a64ca84e5c28ee9e512744;p=oota-llvm.git

New testcases to test LICM of call instructions


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12414 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Transforms/LICM/call_sink_const_function.ll b/test/Transforms/LICM/call_sink_const_function.ll
new file mode 100644
index 00000000000..92e9244be6b
--- /dev/null
+++ b/test/Transforms/LICM/call_sink_const_function.ll
@@ -0,0 +1,16 @@
+; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | grep -C1 sin | grep Out: 
+declare double %sin(double)
+declare void %foo()
+
+double %test(double %X) {
+	br label %Loop
+
+Loop:
+	call void %foo()    ;; Unknown effects!
+
+	%A = call double %sin(double %X)   ;; Can still hoist/sink call
+	br bool true, label %Loop, label %Out
+
+Out:
+	ret double %A
+}
diff --git a/test/Transforms/LICM/call_sink_pure_function.ll b/test/Transforms/LICM/call_sink_pure_function.ll
new file mode 100644
index 00000000000..d67436948bd
--- /dev/null
+++ b/test/Transforms/LICM/call_sink_pure_function.ll
@@ -0,0 +1,14 @@
+; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | grep -C1 strlen | grep Out: 
+declare int %strlen(sbyte*)
+declare void %foo()
+
+int %test(sbyte* %P) {
+	br label %Loop
+
+Loop:
+	%A = call int %strlen(sbyte* %P)   ;; Can hoist/sink call
+	br bool false, label %Loop, label %Out
+
+Out:
+	ret int %A
+}