summaryrefslogtreecommitdiffstats
path: root/llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll')
-rw-r--r--llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll18
1 files changed, 18 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll b/llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll
new file mode 100644
index 00000000000..1d146817e6b
--- /dev/null
+++ b/llvm/test/Bitcode/mdnodes-distinct-nodes-first.ll
@@ -0,0 +1,18 @@
+; RUN: llvm-as <%s | llvm-bcanalyzer -dump | FileCheck %s
+; Check that distinct nodes are emitted before uniqued nodes, even if that
+; breaks post-order traversals.
+
+; Nodes in this testcase are numbered to match how they are referenced in
+; bitcode. !1 is referenced as opN=1.
+
+; CHECK: <DISTINCT_NODE op0=2/>
+!1 = distinct !{!2}
+
+; CHECK-NEXT: <NODE op0=1/>
+!2 = !{!1}
+
+; Note: named metadata nodes are not cannot reference null so their operands
+; are numbered off-by-one.
+; CHECK-NEXT: <NAME
+; CHECK-NEXT: <NAMED_NODE op0=1/>
+!named = !{!2}
OpenPOWER on IntegriCloud