Skip to content

Commit 7e1f460

Browse files
Michael137Debadri Basak
authored andcommitted
[llvm][DebugInfo][test] Add LLVM tests for Objective-C property debug-info (llvm#165373)
The IR->DWARF pipeline was not properly tested before. This patch adds a test to generate DWARF for various `DIObjCProperty` constructions. This caught a couple of bugs: 1. The `DW_AT_APPLE_property_getter` and `DW_AT_APPLE_property_setter` properties were emitted the wrong way around. 2. The `DW_TAG_member` ivars were not linking back to the property that they back. These will be fixed in follow-up patches.
1 parent ab5828c commit 7e1f460

File tree

1 file changed

+89
-0
lines changed

1 file changed

+89
-0
lines changed
Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
; RUN: llc -filetype=obj -o - %s | llvm-dwarfdump --debug-info - | FileCheck %s
2+
3+
; CHECK: DW_TAG_structure_type
4+
; CHECK: DW_AT_name ("Foo")
5+
;
6+
; CHECK: DW_TAG_APPLE_property
7+
; CHECK: DW_AT_APPLE_property_name ("autoSynthProp")
8+
; CHECK: DW_AT_APPLE_property_attribute
9+
; CHECK-SAME: DW_APPLE_PROPERTY_assign, DW_APPLE_PROPERTY_readwrite,
10+
; CHECK-SAME: DW_APPLE_PROPERTY_atomic, DW_APPLE_PROPERTY_unsafe_unretained
11+
;
12+
; CHECK: DW_TAG_APPLE_property
13+
; CHECK: DW_AT_APPLE_property_name ("synthProp")
14+
; CHECK: DW_AT_APPLE_property_attribute
15+
; CHECK-SAME: DW_APPLE_PROPERTY_assign, DW_APPLE_PROPERTY_readwrite,
16+
; CHECK-SAME: DW_APPLE_PROPERTY_atomic, DW_APPLE_PROPERTY_unsafe_unretained
17+
;
18+
; FIXME: this should have a DW_AT_APPLE_property_getter tag
19+
; CHECK: DW_TAG_APPLE_property
20+
; CHECK: DW_AT_APPLE_property_name ("customGetterProp")
21+
; CHECK: DW_AT_APPLE_property_setter ("customGetter")
22+
; CHECK: DW_AT_APPLE_property_attribute
23+
; CHECK-SAME: DW_APPLE_PROPERTY_getter, DW_APPLE_PROPERTY_assign, DW_APPLE_PROPERTY_readwrite,
24+
; CHECK-SAME: DW_APPLE_PROPERTY_atomic, DW_APPLE_PROPERTY_unsafe_unretained
25+
;
26+
; FIXME: this should have a DW_AT_APPLE_property_setter tag
27+
; CHECK: DW_TAG_APPLE_property
28+
; CHECK: DW_AT_APPLE_property_name ("customSetterProp")
29+
; CHECK: DW_AT_APPLE_property_getter ("customSetter:")
30+
; CHECK: DW_AT_APPLE_property_attribute
31+
; CHECK-SAME: DW_APPLE_PROPERTY_assign, DW_APPLE_PROPERTY_readwrite,
32+
; CHECK-SAME: DW_APPLE_PROPERTY_setter, DW_APPLE_PROPERTY_atomic, DW_APPLE_PROPERTY_unsafe_unretained
33+
;
34+
; FIXME: the DW_AT_APPLE_property_(getter|setter) values are inverted
35+
; CHECK: DW_TAG_APPLE_property
36+
; CHECK: DW_AT_APPLE_property_name ("customAccessorsProp")
37+
; CHECK: DW_AT_APPLE_property_getter ("customSetter:")
38+
; CHECK: DW_AT_APPLE_property_setter ("customGetter")
39+
; CHECK: DW_AT_APPLE_property_attribute
40+
; CHECK-SAME: DW_APPLE_PROPERTY_getter, DW_APPLE_PROPERTY_assign, DW_APPLE_PROPERTY_readwrite,
41+
; CHECK-SAME: DW_APPLE_PROPERTY_setter, DW_APPLE_PROPERTY_atomic, DW_APPLE_PROPERTY_unsafe_unretained
42+
;
43+
; FIXME: missing link between DW_TAG_member and the associated DW_TAG_APPLE_property
44+
; CHECK: DW_TAG_member
45+
; CHECK-NOT: DW_AT_APPLE_property
46+
; CHECK: DW_TAG_member
47+
; CHECK-NOT: DW_AT_APPLE_property
48+
; CHECK: DW_TAG_member
49+
; CHECK-NOT: DW_AT_APPLE_property
50+
; CHECK: DW_TAG_member
51+
; CHECK-NOT: DW_AT_APPLE_property
52+
53+
!llvm.module.flags = !{!0, !1}
54+
!llvm.dbg.cu = !{!2}
55+
56+
!0 = !{i32 7, !"Dwarf Version", i32 5}
57+
!1 = !{i32 2, !"Debug Info Version", i32 3}
58+
!2 = distinct !DICompileUnit(language: DW_LANG_ObjC, file: !3, producer: "hand written", isOptimized: false, runtimeVersion: 2, emissionKind: FullDebug, retainedTypes: !4, splitDebugInlining: false, debugInfoForProfiling: true, nameTableKind: Apple)
59+
!3 = !DIFile(filename: "main.m", directory: "/tmp")
60+
!4 = !{!5}
61+
!5 = !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", scope: !3, file: !3, line: 1, size: 128, flags: DIFlagObjcClassComplete, elements: !6, runtimeLang: DW_LANG_ObjC)
62+
!6 = !{!7, !9, !10, !11, !12, !13, !14, !15, !16, !17, !24, !27, !28, !29, !30, !31, !32}
63+
!7 = !DIObjCProperty(name: "autoSynthProp", file: !3, line: 5, attributes: 2316, type: !8)
64+
!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
65+
!9 = !DIObjCProperty(name: "synthProp", file: !3, line: 6, attributes: 2316, type: !8)
66+
!10 = !DIObjCProperty(name: "customGetterProp", file: !3, line: 7, getter: "customGetter", attributes: 2318, type: !8)
67+
!11 = !DIObjCProperty(name: "customSetterProp", file: !3, line: 8, setter: "customSetter:", attributes: 2444, type: !8)
68+
!12 = !DIObjCProperty(name: "customAccessorsProp", file: !3, line: 9, setter: "customSetter:", getter: "customGetter", attributes: 2446, type: !8)
69+
!13 = !DIDerivedType(tag: DW_TAG_member, name: "someBackingIvar", scope: !3, file: !3, line: 2, baseType: !8, size: 32, flags: DIFlagProtected, extraData: !9)
70+
!14 = !DIDerivedType(tag: DW_TAG_member, name: "_autoSynthProp", scope: !3, file: !3, line: 5, baseType: !8, size: 32, flags: DIFlagPrivate, extraData: !7)
71+
!15 = !DIDerivedType(tag: DW_TAG_member, name: "_customGetterProp", scope: !3, file: !3, line: 7, baseType: !8, size: 32, flags: DIFlagPrivate, extraData: !10)
72+
!16 = !DIDerivedType(tag: DW_TAG_member, name: "_customSetterProp", scope: !3, file: !3, line: 8, baseType: !8, size: 32, flags: DIFlagPrivate, extraData: !11)
73+
!17 = !DISubprogram(name: "-[Foo customGetter]", scope: !5, file: !3, line: 19, type: !18, scopeLine: 19, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
74+
!18 = !DISubroutineType(types: !19)
75+
!19 = !{!8, !20, !21}
76+
!20 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !5, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
77+
!21 = !DIDerivedType(tag: DW_TAG_typedef, name: "SEL", file: !3, baseType: !22, flags: DIFlagArtificial)
78+
!22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !23, size: 64)
79+
!23 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_selector", file: !3, flags: DIFlagFwdDecl)
80+
!24 = !DISubprogram(name: "-[Foo customSetter:]", scope: !5, file: !3, line: 23, type: !25, scopeLine: 23, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
81+
!25 = !DISubroutineType(types: !26)
82+
!26 = !{null, !20, !21, !8}
83+
!27 = !DISubprogram(name: "-[Foo synthProp]", scope: !5, file: !3, line: 17, type: !18, scopeLine: 17, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
84+
!28 = !DISubprogram(name: "-[Foo setSynthProp:]", scope: !5, file: !3, line: 17, type: !25, scopeLine: 17, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
85+
!29 = !DISubprogram(name: "-[Foo autoSynthProp]", scope: !5, file: !3, line: 5, type: !18, scopeLine: 5, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
86+
!30 = !DISubprogram(name: "-[Foo setAutoSynthProp:]", scope: !5, file: !3, line: 5, type: !25, scopeLine: 5, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
87+
!31 = !DISubprogram(name: "-[Foo setCustomGetterProp:]", scope: !5, file: !3, line: 7, type: !25, scopeLine: 7, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
88+
!32 = !DISubprogram(name: "-[Foo customSetterProp]", scope: !5, file: !3, line: 8, type: !18, scopeLine: 8, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
89+

0 commit comments

Comments
 (0)