diff options
Diffstat (limited to 'test/Transforms/GlobalOpt/metadata.ll')
| -rw-r--r-- | test/Transforms/GlobalOpt/metadata.ll | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/test/Transforms/GlobalOpt/metadata.ll b/test/Transforms/GlobalOpt/metadata.ll index ecf3f94..fb60b66 100644 --- a/test/Transforms/GlobalOpt/metadata.ll +++ b/test/Transforms/GlobalOpt/metadata.ll @@ -13,14 +13,20 @@ define i32 @main(i32 %argc, i8** %argv) { } define void @foo(i32 %x) { - call void @llvm.foo(metadata !{i8*** @G, i32 %x}) -; CHECK: call void @llvm.foo(metadata !{null, 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) nounwind readnone +declare void @llvm.foo(metadata, metadata) nounwind readnone !named = !{!0} +; CHECK: !named = !{![[NULL:[0-9]+]]} -!0 = metadata !{i8*** @G} -; CHECK: !0 = metadata !{null} +!0 = !{i8*** @G} +; CHECK-DAG: ![[NULL]] = !{null} +; CHECK-DAG: ![[EMPTY]] = !{} |