| ; RUN: opt -S -globalopt < %s | FileCheck %s | |
| ; PR6112 - When globalopt does RAUW(@G, %G), the metadata reference should drop | |
| ; to null. Function local metadata that references @G from a different function | |
| ; to that containing %G should likewise drop to null. | |
| @G = internal global i8** null | |
| define i32 @main(i32 %argc, i8** %argv) norecurse { | |
| ; CHECK-LABEL: @main( | |
| ; CHECK: %G = alloca | |
| store i8** %argv, i8*** @G | |
| ret i32 0 | |
| } | |
| define void @foo(i32 %x) { | |
| ; Note: these arguments look like MDNodes, but they're really syntactic sugar | |
| ; for 'MetadataAsValue::get(ValueAsMetadata::get(Value*))'. When @G drops to | |
| ; null, the ValueAsMetadata instance gets replaced by metadata !{}, or | |
| ; MDNode::get({}). | |
| call void @llvm.foo(metadata i8*** @G, metadata i32 %x) | |
| ; CHECK: call void @llvm.foo(metadata ![[EMPTY:[0-9]+]], metadata i32 %x) | |
| ret void | |
| } | |
| declare void @llvm.foo(metadata, metadata) nounwind readnone | |
| !named = !{!0} | |
| ; CHECK: !named = !{![[NULL:[0-9]+]]} | |
| !0 = !{i8*** @G} | |
| ; CHECK-DAG: ![[NULL]] = distinct !{null} | |
| ; CHECK-DAG: ![[EMPTY]] = !{} |