Skip to content

Commit 692e387

Browse files
committed
[llvm][DebugInfo][test] Add LLVM tests for Objective-C property debug-info
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. (cherry picked from commit dcdf5d6)
1 parent a065505 commit 692e387

File tree

1 file changed

+88
-0
lines changed

1 file changed

+88
-0
lines changed
Lines changed: 88 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,88 @@
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 = !{!7, !8}
54+
!llvm.dbg.cu = !{!13}
55+
56+
!7 = !{i32 7, !"Dwarf Version", i32 5}
57+
!8 = !{i32 2, !"Debug Info Version", i32 3}
58+
!13 = distinct !DICompileUnit(language: DW_LANG_ObjC, file: !14, producer: "hand written", isOptimized: false, runtimeVersion: 2, emissionKind: FullDebug, retainedTypes: !15, splitDebugInlining: false, debugInfoForProfiling: true, nameTableKind: Apple)
59+
!14 = !DIFile(filename: "main.m", directory: "/tmp")
60+
!15 = !{!16}
61+
!16 = !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", scope: !14, file: !14, line: 1, size: 128, flags: DIFlagObjcClassComplete, elements: !17, runtimeLang: DW_LANG_ObjC)
62+
!17 = !{!18, !20, !21, !22, !23, !24, !25, !26, !27, !28, !35, !38, !39, !40, !41, !42, !43}
63+
!18 = !DIObjCProperty(name: "autoSynthProp", file: !14, line: 5, attributes: 2316, type: !19)
64+
!19 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
65+
!20 = !DIObjCProperty(name: "synthProp", file: !14, line: 6, attributes: 2316, type: !19)
66+
!21 = !DIObjCProperty(name: "customGetterProp", file: !14, line: 7, getter: "customGetter", attributes: 2318, type: !19)
67+
!22 = !DIObjCProperty(name: "customSetterProp", file: !14, line: 8, setter: "customSetter:", attributes: 2444, type: !19)
68+
!23 = !DIObjCProperty(name: "customAccessorsProp", file: !14, line: 9, setter: "customSetter:", getter: "customGetter", attributes: 2446, type: !19)
69+
!24 = !DIDerivedType(tag: DW_TAG_member, name: "someBackingIvar", scope: !14, file: !14, line: 2, baseType: !19, size: 32, flags: DIFlagProtected, extraData: !20)
70+
!25 = !DIDerivedType(tag: DW_TAG_member, name: "_autoSynthProp", scope: !14, file: !14, line: 5, baseType: !19, size: 32, flags: DIFlagPrivate, extraData: !18)
71+
!26 = !DIDerivedType(tag: DW_TAG_member, name: "_customGetterProp", scope: !14, file: !14, line: 7, baseType: !19, size: 32, flags: DIFlagPrivate, extraData: !21)
72+
!27 = !DIDerivedType(tag: DW_TAG_member, name: "_customSetterProp", scope: !14, file: !14, line: 8, baseType: !19, size: 32, flags: DIFlagPrivate, extraData: !22)
73+
!28 = !DISubprogram(name: "-[Foo customGetter]", scope: !16, file: !14, line: 19, type: !29, scopeLine: 19, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
74+
!29 = !DISubroutineType(types: !30)
75+
!30 = !{!19, !31, !32}
76+
!31 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !16, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
77+
!32 = !DIDerivedType(tag: DW_TAG_typedef, name: "SEL", file: !14, baseType: !33, flags: DIFlagArtificial)
78+
!33 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !34, size: 64)
79+
!34 = !DICompositeType(tag: DW_TAG_structure_type, name: "objc_selector", file: !14, flags: DIFlagFwdDecl)
80+
!35 = !DISubprogram(name: "-[Foo customSetter:]", scope: !16, file: !14, line: 23, type: !36, scopeLine: 23, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
81+
!36 = !DISubroutineType(types: !37)
82+
!37 = !{null, !31, !32, !19}
83+
!38 = !DISubprogram(name: "-[Foo synthProp]", scope: !16, file: !14, line: 17, type: !29, scopeLine: 17, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
84+
!39 = !DISubprogram(name: "-[Foo setSynthProp:]", scope: !16, file: !14, line: 17, type: !36, scopeLine: 17, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
85+
!40 = !DISubprogram(name: "-[Foo autoSynthProp]", scope: !16, file: !14, line: 5, type: !29, scopeLine: 5, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
86+
!41 = !DISubprogram(name: "-[Foo setAutoSynthProp:]", scope: !16, file: !14, line: 5, type: !36, scopeLine: 5, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
87+
!42 = !DISubprogram(name: "-[Foo setCustomGetterProp:]", scope: !16, file: !14, line: 7, type: !36, scopeLine: 7, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)
88+
!43 = !DISubprogram(name: "-[Foo customSetterProp]", scope: !16, file: !14, line: 8, type: !29, scopeLine: 8, flags: DIFlagArtificial | DIFlagPrototyped, spFlags: DISPFlagLocalToUnit)

0 commit comments

Comments
 (0)