1; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s 2; Test that metadata only used by a single function is serialized in that 3; function instead of in the global pool. 4; 5; In order to make the bitcode records easy to follow, nodes in this testcase 6; are named after the ids they are given in the bitcode. Nodes local to a 7; function have offsets of 100 or 200 (depending on the function) so that they 8; remain unique within this textual IR. 9 10; Check for strings in the global pool. 11; CHECK: <METADATA_BLOCK 12; CHECK-NEXT: <STRINGS 13; CHECK-SAME: /> num-strings = 3 { 14; CHECK-NEXT: 'named' 15; CHECK-NEXT: 'named and foo' 16; CHECK-NEXT: 'foo and bar' 17; CHECK-NEXT: } 18 19; Each node gets a new number. Bottom-up traversal of nodes. 20!named = !{!6} 21 22; CHECK-NEXT: <NODE op0=1/> 23!4 = !{!"named"} 24 25; CHECK-NEXT: <NODE op0=2/> 26!5 = !{!"named and foo"} 27 28; CHECK-NEXT: <NODE op0=1 op1=4 op2=5/> 29!6 = !{!"named", !4, !5} 30 31; CHECK-NEXT: <NODE op0=3/> 32!7 = !{!"foo and bar"} 33 34; CHECK-NOT: <NODE 35; CHECK: </METADATA_BLOCK 36 37; Look at metadata local to @foo, starting with strings. 38; CHECK: <FUNCTION_BLOCK 39; CHECK: <METADATA_BLOCK 40; CHECK-NEXT: <STRINGS 41; CHECK-SAME: /> num-strings = 1 { 42; CHECK-NEXT: 'foo' 43; CHECK-NEXT: } 44 45; Function-local nodes start at 9 (strings at 8). 46; CHECK-NEXT: <NODE op0=8/> 47!109 = !{!"foo"} 48 49; CHECK-NEXT: <NODE op0=8 op1=3 op2=9 op3=7 op4=5/> 50!110 = !{!"foo", !"foo and bar", !109, !7, !5} 51 52; CHECK-NEXT: </METADATA_BLOCK 53define void @foo() !foo !110 { 54 unreachable 55} 56 57; Look at metadata local to @bar, starting with strings. 58; CHECK: <FUNCTION_BLOCK 59; CHECK: <METADATA_BLOCK 60; CHECK-NEXT: <STRINGS 61; CHECK-SAME: /> num-strings = 1 { 62; CHECK-NEXT: 'bar' 63; CHECK-NEXT: } 64 65; Function-local nodes start at 9 (strings at 8). 66; CHECK-NEXT: <NODE op0=8/> 67!209 = !{!"bar"} 68 69; CHECK-NEXT: <NODE op0=8 op1=3 op2=9 op3=7/> 70!210 = !{!"bar", !"foo and bar", !209, !7} 71 72; CHECK-NEXT: </METADATA_BLOCK 73define void @bar() { 74 unreachable, !bar !210 75} 76