1*9880d681SAndroid Build Coastguard Worker; Do not promote null value because it may be unsafe to do so. 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -licm -S | not grep promoted 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Workerdefine i32 @f(i32 %foo, i32 %bar, i32 %com) { 5*9880d681SAndroid Build Coastguard Workerentry: 6*9880d681SAndroid Build Coastguard Worker %tmp2 = icmp eq i32 %foo, 0 ; <i1> [#uses=1] 7*9880d681SAndroid Build Coastguard Worker br i1 %tmp2, label %cond_next, label %cond_true 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workercond_true: ; preds = %entry 10*9880d681SAndroid Build Coastguard Worker br label %return 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workercond_next: ; preds = %entry 13*9880d681SAndroid Build Coastguard Worker br label %bb 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerbb: ; preds = %bb15, %cond_next 16*9880d681SAndroid Build Coastguard Worker switch i32 %bar, label %bb15 [ 17*9880d681SAndroid Build Coastguard Worker i32 1, label %bb6 18*9880d681SAndroid Build Coastguard Worker ] 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Workerbb6: ; preds = %bb 21*9880d681SAndroid Build Coastguard Worker %tmp8 = icmp eq i32 %com, 0 ; <i1> [#uses=1] 22*9880d681SAndroid Build Coastguard Worker br i1 %tmp8, label %cond_next14, label %cond_true11 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workercond_true11: ; preds = %bb6 25*9880d681SAndroid Build Coastguard Worker br label %return 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workercond_next14: ; preds = %bb6 28*9880d681SAndroid Build Coastguard Worker store i8 0, i8* null 29*9880d681SAndroid Build Coastguard Worker br label %bb15 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workerbb15: ; preds = %cond_next14, %bb 32*9880d681SAndroid Build Coastguard Worker br label %bb 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %cond_true11, %cond_true 35*9880d681SAndroid Build Coastguard Worker %storemerge = phi i32 [ 0, %cond_true ], [ undef, %cond_true11 ] ; <i32> [#uses=1] 36*9880d681SAndroid Build Coastguard Worker ret i32 %storemerge 37*9880d681SAndroid Build Coastguard Worker} 38*9880d681SAndroid Build Coastguard Worker 39*9880d681SAndroid Build Coastguard Workerdefine i32 @kdMain() { 40*9880d681SAndroid Build Coastguard Workerentry: 41*9880d681SAndroid Build Coastguard Worker %tmp1 = call i32 @f( i32 0, i32 1, i32 1 ) ; <i32> [#uses=0] 42*9880d681SAndroid Build Coastguard Worker call void @exit( i32 0 ) 43*9880d681SAndroid Build Coastguard Worker unreachable 44*9880d681SAndroid Build Coastguard Worker} 45*9880d681SAndroid Build Coastguard Worker 46*9880d681SAndroid Build Coastguard Workerdeclare void @exit(i32) 47