When removing a function from the function set and adding it to deferred, we
[llvm.git] / test / Transforms / IndVarSimplify / max-pointer.ll
blobf18f968f595d53eb6f1eeb843fc583d25db811b6
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
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"
7         %struct.CKenCodeCodec = type <{ i8 }>
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
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
21 return:         ; preds = %bb2
22         ret void
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
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
37 return:         ; preds = %bb2
38         ret void