diff options
Diffstat (limited to 'llvm/test/Bitcode/mdnodes-distinct-in-post-order.ll')
| -rw-r--r-- | llvm/test/Bitcode/mdnodes-distinct-in-post-order.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/mdnodes-distinct-in-post-order.ll b/llvm/test/Bitcode/mdnodes-distinct-in-post-order.ll new file mode 100644 index 00000000000..6e6ba604235 --- /dev/null +++ b/llvm/test/Bitcode/mdnodes-distinct-in-post-order.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as <%s | llvm-bcanalyzer -dump | FileCheck %s +; Check that distinct nodes are emitted in post-order to avoid unnecessary +; forward references. + +; Nodes in this testcase are numbered to match how they are referenced in +; bitcode. !3 is referenced as opN=3. + +; The leafs should come first (in either order). +; CHECK: <DISTINCT_NODE/> +; CHECK-NEXT: <DISTINCT_NODE/> +!1 = distinct !{} +!2 = distinct !{} + +; CHECK-NEXT: <DISTINCT_NODE op0=1 op1=2/> +!3 = distinct !{!1, !2} + +; CHECK-NEXT: <DISTINCT_NODE op0=1 op1=3 op2=2/> +!4 = distinct !{!1, !3, !2} + +; 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=3/> +!named = !{!4} |
