| Mehdi Amini | 89bf969 | 2016-12-28 22:30:28 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as <%s -bitcode-mdindex-threshold=0 | llvm-bcanalyzer -dump | FileCheck %s |
| Duncan P. N. Exon Smith | e7a2c97 | 2016-04-23 04:42:39 +0000 | [diff] [blame] | 2 | ; Check that distinct nodes are emitted before uniqued nodes, even if that |
| 3 | ; breaks post-order traversals. |
| 4 | |
| 5 | ; Nodes in this testcase are numbered to match how they are referenced in |
| 6 | ; bitcode. !1 is referenced as opN=1. |
| 7 | |
| 8 | ; CHECK: <DISTINCT_NODE op0=2/> |
| 9 | !1 = distinct !{!2} |
| 10 | |
| 11 | ; CHECK-NEXT: <NODE op0=1/> |
| 12 | !2 = !{!1} |
| 13 | |
| Mehdi Amini | 89bf969 | 2016-12-28 22:30:28 +0000 | [diff] [blame] | 14 | ; Before the named records we emit the index containing the position of the |
| 15 | ; previously emitted records |
| 16 | ; CHECK-NEXT: <INDEX {{.*}} (offset match) |
| 17 | |
| Duncan P. N. Exon Smith | e7a2c97 | 2016-04-23 04:42:39 +0000 | [diff] [blame] | 18 | ; Note: named metadata nodes are not cannot reference null so their operands |
| 19 | ; are numbered off-by-one. |
| 20 | ; CHECK-NEXT: <NAME |
| 21 | ; CHECK-NEXT: <NAMED_NODE op0=1/> |
| 22 | !named = !{!2} |