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 37
