1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -S | grep strlen | count 2 2*9880d681SAndroid Build Coastguard Workertarget datalayout = "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" 3*9880d681SAndroid Build Coastguard Workertarget triple = "i386-apple-darwin9" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine i32 @test(i32 %g, i8* %P) nounwind { 6*9880d681SAndroid Build Coastguard Workerentry: 7*9880d681SAndroid Build Coastguard Worker %tmp2 = call i32 @strlen( i8* %P ) nounwind readonly ; <i32> [#uses=1] 8*9880d681SAndroid Build Coastguard Worker %tmp3 = icmp eq i32 %tmp2, 100 ; <i1> [#uses=1] 9*9880d681SAndroid Build Coastguard Worker %tmp34 = zext i1 %tmp3 to i8 ; <i8> [#uses=1] 10*9880d681SAndroid Build Coastguard Worker %toBool = icmp ne i8 %tmp34, 0 ; <i1> [#uses=1] 11*9880d681SAndroid Build Coastguard Worker br i1 %toBool, label %bb, label %bb6 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerbb: ; preds = %entry 14*9880d681SAndroid Build Coastguard Worker br label %bb27 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerbb6: ; preds = %entry 17*9880d681SAndroid Build Coastguard Worker %tmp8 = add i32 %g, 42 ; <i32> [#uses=2] 18*9880d681SAndroid Build Coastguard Worker %tmp10 = call i32 @strlen( i8* %P ) nounwind readonly ; <i32> [#uses=1] 19*9880d681SAndroid Build Coastguard Worker %tmp11 = icmp eq i32 %tmp10, 100 ; <i1> [#uses=1] 20*9880d681SAndroid Build Coastguard Worker %tmp1112 = zext i1 %tmp11 to i8 ; <i8> [#uses=1] 21*9880d681SAndroid Build Coastguard Worker %toBool13 = icmp ne i8 %tmp1112, 0 ; <i1> [#uses=1] 22*9880d681SAndroid Build Coastguard Worker br i1 %toBool13, label %bb14, label %bb16 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerbb14: ; preds = %bb6 25*9880d681SAndroid Build Coastguard Worker br label %bb27 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerbb16: ; preds = %bb6 28*9880d681SAndroid Build Coastguard Worker %tmp18 = mul i32 %tmp8, 2 ; <i32> [#uses=1] 29*9880d681SAndroid Build Coastguard Worker %tmp20 = call i32 @strlen( i8* %P ) nounwind readonly ; <i32> [#uses=1] 30*9880d681SAndroid Build Coastguard Worker %tmp21 = icmp eq i32 %tmp20, 100 ; <i1> [#uses=1] 31*9880d681SAndroid Build Coastguard Worker %tmp2122 = zext i1 %tmp21 to i8 ; <i8> [#uses=1] 32*9880d681SAndroid Build Coastguard Worker %toBool23 = icmp ne i8 %tmp2122, 0 ; <i1> [#uses=1] 33*9880d681SAndroid Build Coastguard Worker br i1 %toBool23, label %bb24, label %bb26 34*9880d681SAndroid Build Coastguard Worker 35*9880d681SAndroid Build Coastguard Workerbb24: ; preds = %bb16 36*9880d681SAndroid Build Coastguard Worker br label %bb27 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Workerbb26: ; preds = %bb16 39*9880d681SAndroid Build Coastguard Worker br label %bb27 40*9880d681SAndroid Build Coastguard Worker 41*9880d681SAndroid Build Coastguard Workerbb27: ; preds = %bb26, %bb24, %bb14, %bb 42*9880d681SAndroid Build Coastguard Worker %tmp.0 = phi i32 [ 11, %bb26 ], [ %tmp18, %bb24 ], [ %tmp8, %bb14 ], [ %g, %bb ] ; <i32> [#uses=1] 43*9880d681SAndroid Build Coastguard Worker br label %return 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %bb27 46*9880d681SAndroid Build Coastguard Worker ret i32 %tmp.0 47*9880d681SAndroid Build Coastguard Worker} 48*9880d681SAndroid Build Coastguard Worker 49*9880d681SAndroid Build Coastguard Workerdeclare i32 @strlen(i8*) nounwind readonly 50