Wei Mi | 2466239 | 2016-09-14 04:39:50 +0000 | [diff] [blame] | 1 | ; PR30213. Check scev expand will generate correct code if the value |
| 2 | ; in ValueOffsetPair is of pointer type. |
| 3 | ; RUN: opt -mtriple=i386-apple-macosx10.12.0 < %s -loop-reduce -S | FileCheck %s |
| 4 | |
| 5 | ; CHECK: %ptr4.ptr1 = select i1 %cmp.i, i8* %ptr4, i8* %ptr1 |
| 6 | ; CHECK-NEXT: %scevgep = getelementptr i8, i8* %ptr4.ptr1, i32 1 |
| 7 | ; CHECK-NEXT: br label %while.cond.i |
| 8 | |
| 9 | target datalayout = "e-m:o-p:32:32-f64:32:64-f80:128-n8:16:32-S128" |
| 10 | target triple = "i386-apple-macosx10.12.0" |
| 11 | |
| 12 | ; Function Attrs: nounwind optsize ssp |
| 13 | define void @Foo() { |
| 14 | entry: |
| 15 | switch i2 undef, label %sw.epilog102 [ |
| 16 | i2 -2, label %sw.bb28 |
| 17 | ] |
| 18 | |
| 19 | sw.bb28: ; preds = %entry |
| 20 | %0 = load i8*, i8** undef, align 2 |
| 21 | %ptr1 = getelementptr inbounds i8, i8* undef, i32 -1 |
| 22 | %ptr4 = getelementptr inbounds i8, i8* %0, i32 -1 |
| 23 | %cmp.i = icmp ult i8* undef, %0 |
| 24 | %ptr4.ptr1 = select i1 %cmp.i, i8* %ptr4, i8* %ptr1 |
| 25 | br label %while.cond.i |
| 26 | |
| 27 | while.cond.i: ; preds = %while.cond.i, %sw.bb28 |
| 28 | %currPtr.1.i = phi i8* [ %incdec.ptr.i, %while.cond.i ], [ %ptr4.ptr1, %sw.bb28 ] |
| 29 | %incdec.ptr.i = getelementptr inbounds i8, i8* %currPtr.1.i, i32 1 |
| 30 | %1 = load i8, i8* %incdec.ptr.i, align 1 |
| 31 | br label %while.cond.i |
| 32 | |
| 33 | sw.epilog102: ; preds = %entry |
| 34 | unreachable |
| 35 | } |
| 36 | |