diff options
author | Andrew Trick <atrick@apple.com> | 2011-11-02 00:02:45 +0000 |
---|---|---|
committer | Andrew Trick <atrick@apple.com> | 2011-11-02 00:02:45 +0000 |
commit | 3129da8d1a15a263a9af10b618478344db9eeddf (patch) | |
tree | 4d961a1873447f39eba28ee9b9854fcb0a633323 /test/Transforms/IndVarSimplify | |
parent | 064e48a3dce1fd29a35b4b1b01a8c4b67e29c74a (diff) | |
download | llvm-3129da8d1a15a263a9af10b618478344db9eeddf.tar.gz llvm-3129da8d1a15a263a9af10b618478344db9eeddf.tar.bz2 llvm-3129da8d1a15a263a9af10b618478344db9eeddf.tar.xz |
Broaden an assert to handle enable-iv-rewrite=true following r143183.
Narrowest possible fix for PR11279.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143522 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify')
-rw-r--r-- | test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll b/test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll new file mode 100644 index 0000000000..050c169a2a --- /dev/null +++ b/test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll @@ -0,0 +1,38 @@ +; RUN: opt < %s -indvars -S -enable-iv-rewrite=true | FileCheck %s +; +; PR11279: Assertion !IVLimit->getType()->isPointerTy() +; +; Test a non-integer BECount. It doesn't make sense, but that's what +; falls out of SCEV. Since it's an i8*, we never adjust in a way that +; would convert it to an integer type. +; +; enable-iv-rewrite=false does not currently perform LFTR when the the +; taken count is a pointer expression, but that will change son. + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-apple-darwin" + +; CHECK: @test8 +; CHECK: loop: +; CHECK: icmp ne +define i8 @test8(i8* %buf, i8* %end) nounwind { + br label %loopguard + +loopguard: + %guard = icmp ult i8* %buf, %end + br i1 %guard, label %preheader, label %exit + +preheader: + br label %loop + +loop: + %p.01.us.us = phi i8* [ %buf, %preheader ], [ %gep, %loop ] + %s = phi i8 [0, %preheader], [%snext, %loop] + %gep = getelementptr inbounds i8* %p.01.us.us, i64 1 + %snext = load i8* %gep + %cmp = icmp ult i8* %gep, %end + br i1 %cmp, label %loop, label %exit + +exit: + ret i8 %snext +} |