summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/LoopIndexSplit
diff options
context:
space:
mode:
authorDevang Patel <dpatel@apple.com>2008-11-10 19:48:34 +0000
committerDevang Patel <dpatel@apple.com>2008-11-10 19:48:34 +0000
commitd0ce981372eb2518091f14a9f71150ad2c69bb29 (patch)
tree8fd08f2a539af9d0b6b6c67bc7c71c6c15aa51ee /llvm/test/Transforms/LoopIndexSplit
parentddacbb39ab958d79026a63ddc8af7523b750b1c4 (diff)
downloadbcm5719-llvm-d0ce981372eb2518091f14a9f71150ad2c69bb29.tar.gz
bcm5719-llvm-d0ce981372eb2518091f14a9f71150ad2c69bb29.zip
If the sign of exit condition and split condition does not match
then do not split loop index. llvm-svn: 58995
Diffstat (limited to 'llvm/test/Transforms/LoopIndexSplit')
-rw-r--r--llvm/test/Transforms/LoopIndexSplit/2008-11-10-Sign.ll69
1 files changed, 69 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopIndexSplit/2008-11-10-Sign.ll b/llvm/test/Transforms/LoopIndexSplit/2008-11-10-Sign.ll
new file mode 100644
index 00000000000..11ee0f5c452
--- /dev/null
+++ b/llvm/test/Transforms/LoopIndexSplit/2008-11-10-Sign.ll
@@ -0,0 +1,69 @@
+; RUN: llvm-as < %s | opt -loop-index-split -stats | not grep "loop-index-split"
+; PR3029
+
+@g_138 = common global i32 0 ; <i32*> [#uses=3]
+@g_188 = common global i32 0 ; <i32*> [#uses=4]
+@g_207 = common global i32 0 ; <i32*> [#uses=3]
+@"\01LC" = internal constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1]
+@g_102 = common global i32 0 ; <i32*> [#uses=0]
+
+define i32 @func_119() nounwind {
+entry:
+ %0 = volatile load i32* @g_138, align 4 ; <i32> [#uses=1]
+ ret i32 %0
+}
+
+define void @func_110(i32 %p_111) nounwind {
+entry:
+ %0 = load i32* @g_188, align 4 ; <i32> [#uses=1]
+ %1 = icmp ugt i32 %0, -1572397472 ; <i1> [#uses=1]
+ br i1 %1, label %bb, label %bb1
+
+bb: ; preds = %entry
+ %2 = volatile load i32* @g_138, align 4 ; <i32> [#uses=0]
+ ret void
+
+bb1: ; preds = %entry
+ store i32 1, i32* @g_207, align 4
+ ret void
+}
+
+define void @func_34() nounwind {
+entry:
+ store i32 0, i32* @g_188
+ %g_188.promoted = load i32* @g_188 ; <i32> [#uses=1]
+ br label %bb
+
+bb: ; preds = %func_110.exit, %entry
+ %g_188.tmp.0 = phi i32 [ %g_188.promoted, %entry ], [ %2, %func_110.exit ] ; <i32> [#uses=2]
+ %0 = icmp ugt i32 %g_188.tmp.0, -1572397472 ; <i1> [#uses=1]
+ br i1 %0, label %bb.i, label %bb1.i
+
+bb.i: ; preds = %bb
+ %1 = volatile load i32* @g_138, align 4 ; <i32> [#uses=0]
+ br label %func_110.exit
+
+bb1.i: ; preds = %bb
+ store i32 1, i32* @g_207, align 4
+ br label %func_110.exit
+
+func_110.exit: ; preds = %bb.i, %bb1.i
+ %2 = add i32 %g_188.tmp.0, 1 ; <i32> [#uses=3]
+ %3 = icmp sgt i32 %2, 1 ; <i1> [#uses=1]
+ br i1 %3, label %return, label %bb
+
+return: ; preds = %func_110.exit
+ %.lcssa = phi i32 [ %2, %func_110.exit ] ; <i32> [#uses=1]
+ store i32 %.lcssa, i32* @g_188
+ ret void
+}
+
+define i32 @main() nounwind {
+entry:
+ call void @func_34() nounwind
+ %0 = load i32* @g_207, align 4 ; <i32> [#uses=1]
+ %1 = call i32 (i8*, ...)* @printf(i8* getelementptr ([4 x i8]* @"\01LC", i32 0, i32 0), i32 %0) nounwind ; <i32> [#uses=0]
+ ret i32 0
+}
+
+declare i32 @printf(i8*, ...) nounwind
OpenPOWER on IntegriCloud