DI: Require subprogram definitions to be distinct
[oota-llvm.git] / test / Bitcode / DILocalVariable-explicit-tags.ll
1 ; Bitcode compiled with 3.7_rc2.  3.7 had redundant (but mandatory) tag fields
2 ; on DILocalVariable.
3 ;
4 ; RUN: llvm-dis < %s.bc -o - | llvm-as | llvm-dis | FileCheck %s
5
6 ; CHECK: ![[SP:[0-9]+]] = distinct !DISubprogram(name: "foo",{{.*}} variables: ![[VARS:[0-9]+]]
7 ; CHECK: ![[VARS]] = !{![[PARAM:[0-9]+]], ![[AUTO:[0-9]+]]}
8 ; CHECK: ![[PARAM]] = !DILocalVariable(name: "param", arg: 1, scope: ![[SP]])
9 ; CHECK: ![[AUTO]]  = !DILocalVariable(name: "auto", scope: ![[SP]])
10
11 !named = !{!0}
12
13 !0 = distinct !DISubprogram(name: "foo", variables: !1)
14 !1 = !{!2, !3}
15 !2 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "param", arg: 1, scope: !0)
16 !3 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "auto", scope: !0)