1*9880d681SAndroid Build Coastguard Worker; This used to be invalid, but now it's valid. Ensure the verifier 2*9880d681SAndroid Build Coastguard Worker; doesn't reject it. 3*9880d681SAndroid Build Coastguard Worker; RUN: llvm-as %s -o /dev/null 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdeclare void @doit(i64* inalloca %a) 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerdefine void @a() { 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker %a = alloca inalloca [2 x i32] 10*9880d681SAndroid Build Coastguard Worker %b = bitcast [2 x i32]* %a to i64* 11*9880d681SAndroid Build Coastguard Worker call void @doit(i64* inalloca %b) 12*9880d681SAndroid Build Coastguard Worker ret void 13*9880d681SAndroid Build Coastguard Worker} 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerdefine void @b() { 16*9880d681SAndroid Build Coastguard Workerentry: 17*9880d681SAndroid Build Coastguard Worker %a = alloca inalloca i64 18*9880d681SAndroid Build Coastguard Worker call void @doit(i64* inalloca %a) 19*9880d681SAndroid Build Coastguard Worker call void @doit(i64* inalloca %a) 20*9880d681SAndroid Build Coastguard Worker ret void 21*9880d681SAndroid Build Coastguard Worker} 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workerdefine void @c(i1 %cond) { 24*9880d681SAndroid Build Coastguard Workerentry: 25*9880d681SAndroid Build Coastguard Worker br i1 %cond, label %if, label %else 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerif: 28*9880d681SAndroid Build Coastguard Worker %a = alloca inalloca i64 29*9880d681SAndroid Build Coastguard Worker br label %call 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workerelse: 32*9880d681SAndroid Build Coastguard Worker %b = alloca inalloca i64 33*9880d681SAndroid Build Coastguard Worker br label %call 34*9880d681SAndroid Build Coastguard Worker 35*9880d681SAndroid Build Coastguard Workercall: 36*9880d681SAndroid Build Coastguard Worker %args = phi i64* [ %a, %if ], [ %b, %else ] 37*9880d681SAndroid Build Coastguard Worker call void @doit(i64* inalloca %args) 38*9880d681SAndroid Build Coastguard Worker ret void 39*9880d681SAndroid Build Coastguard Worker} 40