1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: load 4*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: phi 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine i8* @cat(i8* %s1, ...) nounwind { 7*9880d681SAndroid Build Coastguard Workerentry: 8*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb, label %bb3 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Workerbb: ; preds = %entry 11*9880d681SAndroid Build Coastguard Worker unreachable 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerbb3: ; preds = %entry 14*9880d681SAndroid Build Coastguard Worker store i8* undef, i8** undef, align 4 15*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb5, label %bb6 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Workerbb5: ; preds = %bb3 18*9880d681SAndroid Build Coastguard Worker unreachable 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Workerbb6: ; preds = %bb3 21*9880d681SAndroid Build Coastguard Worker br label %bb12 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workerbb8: ; preds = %bb12 24*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb9, label %bb10 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Workerbb9: ; preds = %bb8 27*9880d681SAndroid Build Coastguard Worker %0 = load i8*, i8** undef, align 4 ; <i8*> [#uses=0] 28*9880d681SAndroid Build Coastguard Worker %1 = load i8*, i8** undef, align 4 ; <i8*> [#uses=0] 29*9880d681SAndroid Build Coastguard Worker br label %bb11 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workerbb10: ; preds = %bb8 32*9880d681SAndroid Build Coastguard Worker br label %bb11 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Workerbb11: ; preds = %bb10, %bb9 35*9880d681SAndroid Build Coastguard Worker br label %bb12 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Workerbb12: ; preds = %bb11, %bb6 38*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb8, label %bb13 39*9880d681SAndroid Build Coastguard Worker 40*9880d681SAndroid Build Coastguard Workerbb13: ; preds = %bb12 41*9880d681SAndroid Build Coastguard Worker ret i8* undef 42*9880d681SAndroid Build Coastguard Worker} 43