test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll

   1 ; RUN: opt < %s -indvars -S -enable-iv-rewrite=false "-default-data-layout=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" | FileCheck %s
   2 ; RUN: opt < %s -indvars -S -enable-iv-rewrite=true  "-default-data-layout=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" | FileCheck %s
   3 ; RUN: opt < %s -indvars -S -enable-iv-rewrite=false "-default-data-layout=e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" | FileCheck %s
   4 ; RUN: opt < %s -indvars -S -enable-iv-rewrite=true  "-default-data-layout=e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" | FileCheck %s
   5 ;
   6 ; PR11279: Assertion !IVLimit->getType()->isPointerTy()
   7 ;
   8 ; Test LinearFunctionTestReplace of a pointer-type loop counter. Note
   9 ; that BECount may or may not be a pointer type. A pointer type
  10 ; BECount doesn't really make sense, but that's what falls out of
  11 ; SCEV. Since it's an i8*, it has unit stride so we never adjust the
  12 ; SCEV expression in a way that would convert it to an integer type.
  13
  14 ; CHECK: @testnullptrptr
  15 ; CHECK: loop:
  16 ; CHECK: icmp ne
  17 define i8 @testnullptrptr(i8* %buf, i8* %end) nounwind {
  18   br label %loopguard
  19
  20 loopguard:
  21   %guard = icmp ult i8* null, %end
  22   br i1 %guard, label %preheader, label %exit
  23
  24 preheader:
  25   br label %loop
  26
  27 loop:
  28   %p.01.us.us = phi i8* [ null, %preheader ], [ %gep, %loop ]
  29   %s = phi i8 [0, %preheader], [%snext, %loop]
  30   %gep = getelementptr inbounds i8* %p.01.us.us, i64 1
  31   %snext = load i8* %gep
  32   %cmp = icmp ult i8* %gep, %end
  33   br i1 %cmp, label %loop, label %exit
  34
  35 exit:
  36   ret i8 %snext
  37 }
  38
  39 ; CHECK: @testptrptr
  40 ; CHECK: loop:
  41 ; CHECK: icmp ne
  42 define i8 @testptrptr(i8* %buf, i8* %end) nounwind {
  43   br label %loopguard
  44
  45 loopguard:
  46   %guard = icmp ult i8* %buf, %end
  47   br i1 %guard, label %preheader, label %exit
  48
  49 preheader:
  50   br label %loop
  51
  52 loop:
  53   %p.01.us.us = phi i8* [ %buf, %preheader ], [ %gep, %loop ]
  54   %s = phi i8 [0, %preheader], [%snext, %loop]
  55   %gep = getelementptr inbounds i8* %p.01.us.us, i64 1
  56   %snext = load i8* %gep
  57   %cmp = icmp ult i8* %gep, %end
  58   br i1 %cmp, label %loop, label %exit
  59
  60 exit:
  61   ret i8 %snext
  62 }
  63
  64 ; CHECK: @testnullptrint
  65 ; CHECK: loop:
  66 ; CHECK: icmp ne
  67 define i8 @testnullptrint(i8* %buf, i8* %end) nounwind {
  68   br label %loopguard
  69
  70 loopguard:
  71   %bi = ptrtoint i8* %buf to i32
  72   %ei = ptrtoint i8* %end to i32
  73   %cnt = sub i32 %ei, %bi
  74   %guard = icmp ult i32 0, %cnt
  75   br i1 %guard, label %preheader, label %exit
  76
  77 preheader:
  78   br label %loop
  79
  80 loop:
  81   %p.01.us.us = phi i8* [ null, %preheader ], [ %gep, %loop ]
  82   %iv = phi i32 [ 0, %preheader ], [ %ivnext, %loop ]
  83   %s = phi i8 [0, %preheader], [%snext, %loop]
  84   %gep = getelementptr inbounds i8* %p.01.us.us, i64 1
  85   %snext = load i8* %gep
  86   %ivnext = add i32 %iv, 1
  87   %cmp = icmp ult i32 %ivnext, %cnt
  88   br i1 %cmp, label %loop, label %exit
  89
  90 exit:
  91   ret i8 %snext
  92 }
  93
  94 ; CHECK: @testptrint
  95 ; CHECK: loop:
  96 ; CHECK: icmp ne
  97 define i8 @testptrint(i8* %buf, i8* %end) nounwind {
  98   br label %loopguard
  99
 100 loopguard:
 101   %bi = ptrtoint i8* %buf to i32
 102   %ei = ptrtoint i8* %end to i32
 103   %cnt = sub i32 %ei, %bi
 104   %guard = icmp ult i32 %bi, %cnt
 105   br i1 %guard, label %preheader, label %exit
 106
 107 preheader:
 108   br label %loop
 109
 110 loop:
 111   %p.01.us.us = phi i8* [ %buf, %preheader ], [ %gep, %loop ]
 112   %iv = phi i32 [ %bi, %preheader ], [ %ivnext, %loop ]
 113   %s = phi i8 [0, %preheader], [%snext, %loop]
 114   %gep = getelementptr inbounds i8* %p.01.us.us, i64 1
 115   %snext = load i8* %gep
 116   %ivnext = add i32 %iv, 1
 117   %cmp = icmp ult i32 %ivnext, %cnt
 118   br i1 %cmp, label %loop, label %exit
 119
 120 exit:
 121   ret i8 %snext
 122 }
 123
 124 ; IV and BECount have two different pointer types here.
 125 define void @testnullptr([512 x i8]* %base) nounwind {
 126 entry:
 127   %add.ptr1603 = getelementptr [512 x i8]* %base, i64 0, i64 512
 128   br label %preheader
 129
 130 preheader:
 131   %cmp1604192 = icmp ult i8* undef, %add.ptr1603
 132   br i1 %cmp1604192, label %for.body, label %for.end1609
 133
 134 for.body:
 135   %r.17193 = phi i8* [ %incdec.ptr1608, %for.body ], [ null, %preheader ]
 136   %incdec.ptr1608 = getelementptr i8* %r.17193, i64 1
 137   %cmp1604 = icmp ult i8* %incdec.ptr1608, %add.ptr1603
 138   br i1 %cmp1604, label %for.body, label %for.end1609
 139
 140 for.end1609:
 141   unreachable
 142 }