[InstCombine] Signed saturation patterns
[llvm-core.git] / test / DebugInfo / Generic / ptrsize.ll
blob60d36e47da6c6a27013c9c8a597049941e7685df
1 ; REQUIRES: object-emission
3 ; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t
4 ; RUN: llvm-dwarfdump -v %t | FileCheck %s
6 ; Check that pointers and references get emitted without size information in
7 ; DWARF, even if they are so specified in the IR
9 ; CHECK: 0x[[O1:[0-9a-f]+]]:   DW_TAG_pointer_type
10 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4]
11 ; CHECK-NOT: DW_AT_byte_size
12 ; CHECK: 0x[[O2:[0-9a-f]+]]:   DW_TAG_
14 ; CHECK: 0x[[O3:[0-9a-f]+]]:   DW_TAG_reference_type
15 ; CHECK-NEXT: DW_AT_type [DW_FORM_ref4]
16 ; CHECK-NOT: DW_AT_byte_size
18 define i32 @foo() !dbg !4 {
19 entry:
20   ret i32 0, !dbg !13
23 define i32 @bar() !dbg !5 {
24 entry:
25   ret i32 0, !dbg !16
28 !llvm.dbg.cu = !{!0}
29 !llvm.module.flags = !{!11, !12}
31 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !2, globals: !2, imports: !2)
32 !1 = !DIFile(filename: "dwarf-test.c", directory: "test")
33 !2 = !{}
34 !4 = distinct !DISubprogram(name: "foo", scope: !0, file: !1, line: 6, type: !6, isLocal: false, isDefinition: true, scopeLine: 6, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
35 !5 = distinct !DISubprogram(name: "bar", scope: !0, file: !1, line: 6, type: !15, isLocal: false, isDefinition: true, scopeLine: 6, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
36 !6 = !DISubroutineType(types: !7)
37 !7 = !{!9}
38 !8 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
39 !9 = !DIDerivedType(tag: DW_TAG_pointer_type, scope: !0, baseType: !8, size: 64, align: 64)
40 !10 = !DIDerivedType(tag: DW_TAG_reference_type, scope: !0, baseType: !8, size: 64, align: 64)
41 !11 = !{i32 2, !"Dwarf Version", i32 3}
42 !12 = !{i32 1, !"Debug Info Version", i32 3}
43 !13 = !DILocation(line: 7, scope: !4)
44 !14 = !{!10}
45 !15 = !DISubroutineType(types: !14)
46 !16 = !DILocation(line: 7, scope: !5)