Added LICM test cases to:

1) Check that trapping instructionns that are not guaranteed to execute are not hoisted.
2) Check that trapping instructions that are guaranteed to execute are hoisted.

llvm-svn: 7613

2 files changed, 47 insertions, 0 deletions

diff --git a/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstHoist.ll b/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstHoist.ll
new file mode 100644
index 00000000000..67c7d8261d2
--- /dev/null
+++ b/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstHoist.ll
@@ -0,0 +1,27 @@
+; This testcase tests for a problem where LICM hoists 
+; potentially trapping instructions when they are not guaranteed to execute.
+;
+; RUN: as < %s | opt -licm | dis | grep -C 2 "IfUnEqual" | grep div 
+
+%X = global int 0
+declare void %foo()
+
+int %test(bool %c) {
+	%A = load int *%X
+	br label %Loop
+Loop:
+	call void %foo()
+        br bool %c, label %LoopTail, label %IfUnEqual
+
+IfUnEqual:
+	%B1 = div int 4, %A  ;; Should not hoist this div!
+	br label %LoopTail
+
+LoopTail:
+        %B = phi int [ 0, %Loop ], [ %B1, %IfUnEqual] 
+        br bool %c, label %Loop, label %Out
+
+Out:
+	%C = sub int %A, %B
+	ret int %C
+}
diff --git a/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll b/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll
new file mode 100644
index 00000000000..749024b26ba
--- /dev/null
+++ b/llvm/test/Regression/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll
@@ -0,0 +1,20 @@
+; This testcase tests to make sure a trapping instruction is hoisted when
+; it is guaranteed to execute.
+;
+; RUN: as < %s | opt -licm | dis | grep -C 2 "test" | grep div
+
+%X = global int 0
+declare void %foo()
+
+int %test(bool %c) {
+	%A = load int *%X
+	br label %Loop
+Loop:
+	call void %foo()
+	%B = div int 4, %A  ;; Should have hoisted this div!
+        br bool %c, label %Loop, label %Out
+
+Out:
+	%C = sub int %A, %B
+	ret int %C
+}