diff options
Diffstat (limited to 'test/Transforms/LoopStrengthReduce/2011-10-14-IntPtr.ll')
| -rw-r--r-- | test/Transforms/LoopStrengthReduce/2011-10-14-IntPtr.ll | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/Transforms/LoopStrengthReduce/2011-10-14-IntPtr.ll b/test/Transforms/LoopStrengthReduce/2011-10-14-IntPtr.ll new file mode 100644 index 0000000000..60cc7a5163 --- /dev/null +++ b/test/Transforms/LoopStrengthReduce/2011-10-14-IntPtr.ll @@ -0,0 +1,27 @@ +; RUN: opt -loop-reduce -S < %s | FileCheck %s +; +; Test SCEVExpander reusing a phi->gep->phi IV when SCEV "wrongly" +; reports the expression as an IntegerTy. + +target triple = "x86_64-apple-darwin" + +; CHECK: @test +; CHECK: phi +; CHECK-NOT: phi +define void @test(i32 %rowStride) ssp align 2 { +entry: + %cond = select i1 undef, i32 %rowStride, i32 4 + br label %for.end + +for.end.critedge: ; preds = %for.end + br label %for.end + +for.end: ; preds = %for.end.critedge, %entry + br i1 undef, label %for.body83, label %for.end.critedge + +for.body83: ; preds = %for.body83, %for.end + %ptr.0157 = phi i8* [ %add.ptr96, %for.body83 ], [ null, %for.end ] + store i8 undef, i8* %ptr.0157, align 1 + %add.ptr96 = getelementptr inbounds i8* %ptr.0157, i32 %cond + br label %for.body83 +} |