mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 04:30:12 +00:00
d397a52305
Fix testcases that don't pass the verifier after a WIP patch to check
`MDSubprogram` operands more effectively. I found the following issues:
- When `isDefinition: false`, the `variables:` field might point at
`!{i32 786468}`, or at a tuple that pointed at an empty tuple with
the comment "previously: invalid DW_TAG_base_type" (I vaguely recall
adding those comments during an upgrade script). In these cases, I
just dropped the array.
- The `variables:` field might point at something like `!{!{!8}}`,
where `!8` was an `MDLocation`. I removed the extra layer of
indirection.
- Invalid `type:` (not an `MDSubroutineType`).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233466 91177308-0d34-0410-b5e6-96231b3b80d8
24 lines
931 B
LLVM
24 lines
931 B
LLVM
; RUN: llvm-as < %s | llvm-dis | FileCheck %s
|
|
|
|
!llvm.dbg.sp = !{!0}
|
|
!llvm.dbg.cu = !{!5}
|
|
!llvm.module.flags = !{!6}
|
|
|
|
!0 = !MDSubprogram(name: "bar", linkageName: "_ZN3foo3barEv", line: 3, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagProtected | DIFlagPrototyped, isOptimized: false, scopeLine: 3, file: !4, scope: !1, type: !2)
|
|
!1 = !MDFile(filename: "/foo", directory: "bar.cpp")
|
|
!2 = !MDSubroutineType(types: !3)
|
|
!3 = !{null}
|
|
!4 = !MDFile(filename: "/foo", directory: "bar.cpp")
|
|
!5 = !MDCompileUnit(language: DW_LANG_C99, isOptimized: true, emissionKind: 0, file: !4, enums: !{}, retainedTypes: !{})
|
|
|
|
define <{i32, i32}> @f1() {
|
|
; CHECK: !dbgx ![[NUMBER:[0-9]+]]
|
|
%r = insertvalue <{ i32, i32 }> zeroinitializer, i32 4, 1, !dbgx !1
|
|
; CHECK: !dbgx ![[NUMBER]]
|
|
%e = extractvalue <{ i32, i32 }> %r, 0, !dbgx !1
|
|
ret <{ i32, i32 }> %r
|
|
}
|
|
|
|
; CHECK: DIFlagProtected
|
|
!6 = !{i32 1, !"Debug Info Version", i32 3}
|