Debug Info: improve the verifier to check field types.
[oota-llvm.git] / test / DebugInfo / 2009-11-03-InsertExtractValue.ll
1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2
3 !dbg = !{!0}
4 !0 = metadata !{i32 786478, metadata !4, metadata !1, metadata !"bar", metadata !"bar", metadata !"_ZN3foo3barEv", i32 3, metadata !2, i1 false, i1 false, i32 0, i32 0, null, i32 258, i1 false, null, null, i32 0, metadata !1, i32 3} ; [ DW_TAG_subprogram ]
5 !1 = metadata !{i32 41, metadata !4} ; [ DW_TAG_file_type ]
6 !2 = metadata !{i32 21, metadata !4, metadata !1, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !3, i32 0, null} ; [ DW_TAG_subroutine_type ]
7 !3 = metadata !{null}
8 !4 = metadata !{metadata !"/foo", metadata !"bar.cpp"}
9
10 define <{i32, i32}> @f1() {
11 ; CHECK: !dbgx ![[NUMBER:[0-9]+]]
12   %r = insertvalue <{ i32, i32 }> zeroinitializer, i32 4, 1, !dbgx !1
13 ; CHECK: !dbgx ![[NUMBER]]
14   %e = extractvalue <{ i32, i32 }> %r, 0, !dbgx !1
15   ret <{ i32, i32 }> %r
16 }
17
18 ; CHECK: [protected]