1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -globalopt < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; PR6112 - When globalopt does RAUW(@G, %G), the metadata reference should drop 4*9880d681SAndroid Build Coastguard Worker; to null. Function local metadata that references @G from a different function 5*9880d681SAndroid Build Coastguard Worker; to that containing %G should likewise drop to null. 6*9880d681SAndroid Build Coastguard Worker@G = internal global i8** null 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Workerdefine i32 @main(i32 %argc, i8** %argv) norecurse { 9*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @main( 10*9880d681SAndroid Build Coastguard Worker; CHECK: %G = alloca 11*9880d681SAndroid Build Coastguard Worker store i8** %argv, i8*** @G 12*9880d681SAndroid Build Coastguard Worker ret i32 0 13*9880d681SAndroid Build Coastguard Worker} 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerdefine void @foo(i32 %x) { 16*9880d681SAndroid Build Coastguard Worker; Note: these arguments look like MDNodes, but they're really syntactic sugar 17*9880d681SAndroid Build Coastguard Worker; for 'MetadataAsValue::get(ValueAsMetadata::get(Value*))'. When @G drops to 18*9880d681SAndroid Build Coastguard Worker; null, the ValueAsMetadata instance gets replaced by metadata !{}, or 19*9880d681SAndroid Build Coastguard Worker; MDNode::get({}). 20*9880d681SAndroid Build Coastguard Worker call void @llvm.foo(metadata i8*** @G, metadata i32 %x) 21*9880d681SAndroid Build Coastguard Worker; CHECK: call void @llvm.foo(metadata ![[EMPTY:[0-9]+]], metadata i32 %x) 22*9880d681SAndroid Build Coastguard Worker ret void 23*9880d681SAndroid Build Coastguard Worker} 24*9880d681SAndroid Build Coastguard Worker 25*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.foo(metadata, metadata) nounwind readnone 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Worker!named = !{!0} 28*9880d681SAndroid Build Coastguard Worker; CHECK: !named = !{![[NULL:[0-9]+]]} 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Worker!0 = !{i8*** @G} 31*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: ![[NULL]] = !{null} 32*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: ![[EMPTY]] = !{} 33