test/Analysis/ScalarEvolution/scev-expander-reuse-gep.ll

   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