summaryrefslogtreecommitdiff
path: root/test/Transforms
diff options
context:
space:
mode:
authorEli Friedman <eli.friedman@gmail.com>2009-07-15 22:48:29 +0000
committerEli Friedman <eli.friedman@gmail.com>2009-07-15 22:48:29 +0000
commit0c77db32dd8ae10b5a26d60718dbe03dc2745888 (patch)
treeaf8267b7432abb96c1db38f1a658bda258450036 /test/Transforms
parentbb2ead6e5f1f901b25cf79b7a8752dce3cfd5c23 (diff)
downloadllvm-0c77db32dd8ae10b5a26d60718dbe03dc2745888.tar.gz
llvm-0c77db32dd8ae10b5a26d60718dbe03dc2745888.tar.bz2
llvm-0c77db32dd8ae10b5a26d60718dbe03dc2745888.tar.xz
Switch invars away from using isTrapping when it really shouldn't be
using it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75852 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r--test/Transforms/IndVarSimplify/sink-trapping.ll19
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/sink-trapping.ll b/test/Transforms/IndVarSimplify/sink-trapping.ll
new file mode 100644
index 0000000000..5382c92e44
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/sink-trapping.ll
@@ -0,0 +1,19 @@
+; RUN: llvm-as < %s | opt -indvars | llvm-dis | FileCheck %s --check-prefix=CHECK
+
+declare i1 @b()
+
+define i32 @a(i32 %x) nounwind {
+for.body.preheader:
+ %y = sdiv i32 10, %x
+ br label %for.body
+
+for.body:
+ %cmp = call i1 @b()
+ br i1 %cmp, label %for.body, label %for.end.loopexit
+
+for.end.loopexit:
+ ret i32 %y
+}
+; CHECK: for.end.loopexit:
+; CHECK: sdiv
+; CHECK: ret