test/Transforms/IndVarSimplify/max-pointer.ll

   1 ; RUN: opt < %s -indvars -S > %t
   2 ; RUN: grep {icmp ugt i8\\\*} %t | count 1
   3 ; RUN: grep {icmp sgt i8\\\*} %t | count 1
   4
   5 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"
   6
   7         %struct.CKenCodeCodec = type <{ i8 }>
   8
   9 define void @foo(i8* %str1Ptr, i8* %str2Ptr, i8* %inLastBytePtr) nounwind {
  10 entry:
  11         %0 = icmp ult i8* %str2Ptr, %str1Ptr            ; <i1> [#uses=1]
  12         %str2Ptr_addr.0 = select i1 %0, i8* %str1Ptr, i8* %str2Ptr              ; <i8*> [#uses=1]
  13         br label %bb2
  14
  15 bb2:            ; preds = %bb2, %entry
  16         %str2Ptr_addr.1 = phi i8* [ %str2Ptr_addr.0, %entry ], [ %1, %bb2 ]             ; <i8*> [#uses=1]
  17         %1 = getelementptr i8* %str2Ptr_addr.1, i64 1           ; <i8*> [#uses=2]
  18         %2 = icmp ult i8* %1, %inLastBytePtr            ; <i1> [#uses=0]
  19         br i1 undef, label %bb2, label %return
  20
  21 return:         ; preds = %bb2
  22         ret void
  23 }
  24
  25 define void @sfoo(i8* %str1Ptr, i8* %str2Ptr, i8* %inLastBytePtr) nounwind {
  26 entry:
  27         %0 = icmp slt i8* %str2Ptr, %str1Ptr            ; <i1> [#uses=1]
  28         %str2Ptr_addr.0 = select i1 %0, i8* %str1Ptr, i8* %str2Ptr              ; <i8*> [#uses=1]
  29         br label %bb2
  30
  31 bb2:            ; preds = %bb2, %entry
  32         %str2Ptr_addr.1 = phi i8* [ %str2Ptr_addr.0, %entry ], [ %1, %bb2 ]             ; <i8*> [#uses=1]
  33         %1 = getelementptr i8* %str2Ptr_addr.1, i64 1           ; <i8*> [#uses=2]
  34         %2 = icmp slt i8* %1, %inLastBytePtr            ; <i1> [#uses=0]
  35         br i1 undef, label %bb2, label %return
  36
  37 return:         ; preds = %bb2
  38         ret void
  39 }