1; RUN: llc %s -filetype=obj -o - | llvm-dwarfdump -v - | FileCheck %s
2; This tests a fragment that partially covers subregister compositions.
3;
4; Our fragment is 96 bits long and lies in a 128-bit register, which
5; in turn has to be composed out of its two 64-bit subregisters.
6
7; CHECK: .debug_info
8; CHECK: DW_TAG_subprogram
9; CHECK:   DW_AT_name {{.*}}"subscript.get"
10; CHECK:  DW_TAG_formal_parameter
11; CHECK-NEXT: DW_AT_location [DW_FORM_sec_offset]	({{.*}}
12; CHECK-NEXT:  [0x{{.*}}, 0x{{.*}}): DW_OP_regx D16, DW_OP_piece 0x8, DW_OP_regx D17, DW_OP_piece 0x4
13
14source_filename = "simd.ll"
15target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
16target triple = "armv7-apple-ios7.0"
17
18; Function Attrs: nounwind readnone
19declare void @llvm.dbg.value(metadata, metadata, metadata) #0
20
21define <3 x float> @_TFV4simd8float2x3g9subscriptFSiVS_6float3(i32, <3 x float>, <3 x float>) !dbg !5 {
22entry:
23  tail call void @llvm.dbg.value(metadata <3 x float> %1, metadata !8, metadata !9), !dbg !10
24  tail call void @llvm.dbg.value(metadata <3 x float> %2, metadata !8, metadata !11), !dbg !10
25  %3 = icmp eq i32 %0, 0, !dbg !12
26  br i1 %3, label %7, label %4, !dbg !12
27
28; <label>:4:                                      ; preds = %entry
29  %5 = icmp eq i32 %0, 1, !dbg !15
30  br i1 %5, label %7, label %6, !dbg !15
31
32; <label>:6:                                      ; preds = %4
33  unreachable, !dbg !17
34
35; <label>:7:                                      ; preds = %4, %entry
36  %8 = phi <3 x float> [ %1, %entry ], [ %2, %4 ], !dbg !18
37  ret <3 x float> %8, !dbg !18
38}
39
40attributes #0 = { nounwind readnone }
41
42!llvm.dbg.cu = !{!0}
43!llvm.module.flags = !{!3, !4}
44
45!0 = distinct !DICompileUnit(language: DW_LANG_Swift, file: !1, producer: "Swift", isOptimized: false, runtimeVersion: 3, emissionKind: FullDebug, enums: !2, imports: !2)
46!1 = !DIFile(filename: "simd.swift", directory: "/")
47!2 = !{}
48!3 = !{i32 2, !"Dwarf Version", i32 4}
49!4 = !{i32 2, !"Debug Info Version", i32 3}
50!5 = distinct !DISubprogram(name: "subscript.get", linkageName: "_TFV4simd8float2x3g9subscriptFSiVS_6float3", scope: !6, file: !1, type: !7, isLocal: false, isDefinition: true, isOptimized: true, unit: !0, retainedNodes: !2)
51!6 = !DICompositeType(tag: DW_TAG_structure_type, name: "float2x3", scope: !0, file: !1, line: 5824, size: 256, align: 128, elements: !2, runtimeLang: DW_LANG_Swift, identifier: "_TtV4simd8float2x3")
52!7 = !DISubroutineType(types: !2)
53!8 = !DILocalVariable(name: "self", arg: 2, scope: !5, file: !1, line: 5897, type: !6, flags: DIFlagArtificial)
54!9 = !DIExpression(DW_OP_LLVM_fragment, 0, 96)
55!10 = !DILocation(line: 5897, column: 5, scope: !5)
56!11 = !DIExpression(DW_OP_LLVM_fragment, 96, 96)
57!12 = !DILocation(line: 5900, column: 12, scope: !13)
58!13 = distinct !DILexicalBlock(scope: !14, file: !1, line: 5898, column: 7)
59!14 = distinct !DILexicalBlock(scope: !5, file: !1, line: 5897, column: 9)
60!15 = !DILocation(line: 5902, column: 12, scope: !16)
61!16 = distinct !DILexicalBlock(scope: !14, file: !1, line: 5898, column: 7)
62!17 = !DILocation(line: 0, scope: !5)
63!18 = !DILocation(line: 5906, column: 5, scope: !14)
64