mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-09-12 16:25:18 +00:00
cbfbb3ee4c
Add a verifier check that `DILocalVariable`s of tag
`DW_TAG_arg_variable` always have a non-zero 'arg:' field, and those of
tag `DW_TAG_auto_variable` always have a zero 'arg:' field. These are
the only configurations that are properly understood by the backend.
(Also, fix the bad examples in LangRef and test/Assembler, and fix the
bug in Kaleidoscope Ch8.)
A large number of testcases seem to have bitrotted their way forward
from some ancient version of the debug info hierarchy that didn't have
`arg:` parameters. If you have out-of-tree testcases that start failing
in the verifier and you don't care enough to get the `arg:` right, you
may have some luck just calling:
sed -e 's/, arg: 0/, arg: 1/'
or some such, but I hand-updated the ones in tree.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@243183 91177308-0d34-0410-b5e6-96231b3b80d8
27 lines
1.3 KiB
LLVM
27 lines
1.3 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
|
|
; RUN: verify-uselistorder %s
|
|
|
|
@foo = global i32 0
|
|
|
|
; CHECK: !named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8}
|
|
!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8}
|
|
|
|
!0 = distinct !DISubprogram()
|
|
!1 = distinct !{}
|
|
!2 = !DIFile(filename: "path/to/file", directory: "/path/to/dir")
|
|
!3 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
|
|
!4 = !DILocation(scope: !0)
|
|
|
|
; CHECK: !5 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "foo", arg: 3, scope: !0, file: !2, line: 7, type: !3, flags: DIFlagArtificial)
|
|
; CHECK: !6 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "foo", scope: !0, file: !2, line: 7, type: !3, flags: DIFlagArtificial)
|
|
!5 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "foo", arg: 3,
|
|
scope: !0, file: !2, line: 7, type: !3,
|
|
flags: DIFlagArtificial)
|
|
!6 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "foo", scope: !0,
|
|
file: !2, line: 7, type: !3, flags: DIFlagArtificial)
|
|
|
|
; CHECK: !7 = !DILocalVariable(tag: DW_TAG_arg_variable, arg: 1, scope: !0)
|
|
; CHECK: !8 = !DILocalVariable(tag: DW_TAG_auto_variable, scope: !0)
|
|
!7 = !DILocalVariable(tag: DW_TAG_arg_variable, scope: !0, arg: 1)
|
|
!8 = !DILocalVariable(tag: DW_TAG_auto_variable, scope: !0)
|