1; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 < %s | FileCheck -check-prefix=GCN %s 2; Make sure dbg_value reports something for argument registers when they are split into multiple registers 3 4define hidden <4 x float> @split_v4f32_arg(<4 x float> returned %arg) local_unnamed_addr #0 !dbg !7 { 5; GCN-LABEL: split_v4f32_arg: 6; GCN: .Lfunc_begin0: 7; GCN-NEXT: .file 0 8; GCN-NEXT: .loc 0 3 0 ; /tmp/dbg.cl:3:0 9; GCN-NEXT: ; %bb.0: 10; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 96 32] $vgpr3 11; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 64 32] $vgpr2 12; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 13; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 14; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 15; GCN-NEXT: .Ltmp0: 16; GCN-NEXT: .loc 0 4 5 prologue_end ; /tmp/dbg.cl:4:5 17; GCN-NEXT: s_setpc_b64 s[30:31] 18; GCN-NEXT: .Ltmp1: 19 call void @llvm.dbg.value(metadata <4 x float> %arg, metadata !18, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !19 20 ret <4 x float> %arg, !dbg !20 21} 22 23define hidden <4 x float> @split_v4f32_multi_arg(<4 x float> %arg0, <2 x float> %arg1) local_unnamed_addr #0 !dbg !21 { 24; GCN-LABEL: split_v4f32_multi_arg: 25; GCN: .Lfunc_begin1: 26; GCN-NEXT: .loc 0 7 0 ; /tmp/dbg.cl:7:0 27; GCN-NEXT: ; %bb.0: 28; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg1 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr5 29; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg1 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr4 30; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg0 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 96 32] $vgpr3 31; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg0 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 64 32] $vgpr2 32; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg0 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 33; GCN-NEXT: ;DEBUG_VALUE: split_v4f32_multi_arg:arg0 <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 34; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 35; GCN-NEXT: .Ltmp2: 36; GCN-NEXT: .loc 0 8 17 prologue_end ; /tmp/dbg.cl:8:17 37; GCN-NEXT: v_add_f32_e32 v0, v4, v0 38; GCN-NEXT: .Ltmp3: 39; GCN-NEXT: v_add_f32_e32 v1, v5, v1 40; GCN-NEXT: .Ltmp4: 41; GCN-NEXT: v_add_f32_e32 v2, v4, v2 42; GCN-NEXT: .Ltmp5: 43; GCN-NEXT: v_add_f32_e32 v3, v5, v3 44; GCN-NEXT: .Ltmp6: 45; GCN-NEXT: .loc 0 8 5 is_stmt 0 ; /tmp/dbg.cl:8:5 46; GCN-NEXT: s_setpc_b64 s[30:31] 47; GCN-NEXT: .Ltmp7: 48 call void @llvm.dbg.value(metadata <4 x float> %arg0, metadata !29, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !31 49 call void @llvm.dbg.value(metadata <2 x float> %arg1, metadata !30, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !31 50 %tmp = shufflevector <2 x float> %arg1, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>, !dbg !32 51 %add = fadd <4 x float> %tmp, %arg0, !dbg !33 52 ret <4 x float> %add, !dbg !34 53} 54 55define hidden <4 x half> @split_v4f16_arg(<4 x half> returned %arg) local_unnamed_addr #0 !dbg !35 { 56; GCN-LABEL: split_v4f16_arg: 57; GCN: .Lfunc_begin2: 58; GCN-NEXT: .loc 0 11 0 is_stmt 1 ; /tmp/dbg.cl:11:0 59; GCN-NEXT: ; %bb.0: 60; GCN-NEXT: ;DEBUG_VALUE: split_v4f16_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 61; GCN-NEXT: ;DEBUG_VALUE: split_v4f16_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 62; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 63; GCN-NEXT: .Ltmp8: 64; GCN-NEXT: .loc 0 12 5 prologue_end ; /tmp/dbg.cl:12:5 65; GCN-NEXT: s_setpc_b64 s[30:31] 66; GCN-NEXT: .Ltmp9: 67 call void @llvm.dbg.value(metadata <4 x half> %arg, metadata !42, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !43 68 ret <4 x half> %arg, !dbg !44 69} 70 71define hidden double @split_f64_arg(double returned %arg) local_unnamed_addr #0 !dbg !45 { 72; GCN-LABEL: split_f64_arg: 73; GCN: .Lfunc_begin3: 74; GCN-NEXT: .loc 0 15 0 ; /tmp/dbg.cl:15:0 75; GCN-NEXT: ; %bb.0: 76; GCN-NEXT: ;DEBUG_VALUE: split_f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 77; GCN-NEXT: ;DEBUG_VALUE: split_f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 78; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 79; GCN-NEXT: .Ltmp10: 80; GCN-NEXT: .loc 0 16 5 prologue_end ; /tmp/dbg.cl:16:5 81; GCN-NEXT: s_setpc_b64 s[30:31] 82; GCN-NEXT: .Ltmp11: 83 call void @llvm.dbg.value(metadata double %arg, metadata !50, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !51 84 ret double %arg, !dbg !52 85} 86 87define hidden <2 x double> @split_v2f64_arg(<2 x double> returned %arg) local_unnamed_addr #0 !dbg !53 { 88; GCN-LABEL: split_v2f64_arg: 89; GCN: .Lfunc_begin4: 90; GCN-NEXT: .loc 0 19 0 ; /tmp/dbg.cl:19:0 91; GCN-NEXT: ; %bb.0: 92; GCN-NEXT: ;DEBUG_VALUE: split_v2f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 96 32] $vgpr3 93; GCN-NEXT: ;DEBUG_VALUE: split_v2f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 64 32] $vgpr2 94; GCN-NEXT: ;DEBUG_VALUE: split_v2f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 95; GCN-NEXT: ;DEBUG_VALUE: split_v2f64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 96; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 97; GCN-NEXT: .Ltmp12: 98; GCN-NEXT: .loc 0 20 5 prologue_end ; /tmp/dbg.cl:20:5 99; GCN-NEXT: s_setpc_b64 s[30:31] 100; GCN-NEXT: .Ltmp13: 101 call void @llvm.dbg.value(metadata <2 x double> %arg, metadata !59, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !60 102 ret <2 x double> %arg, !dbg !61 103} 104 105define hidden i64 @split_i64_arg(i64 returned %arg) local_unnamed_addr #0 !dbg !62 { 106; GCN-LABEL: split_i64_arg: 107; GCN: .Lfunc_begin5: 108; GCN-NEXT: .loc 0 23 0 ; /tmp/dbg.cl:23:0 109; GCN-NEXT: ; %bb.0: 110; GCN-NEXT: ;DEBUG_VALUE: split_i64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 111; GCN-NEXT: ;DEBUG_VALUE: split_i64_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 112; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 113; GCN-NEXT: .Ltmp14: 114; GCN-NEXT: .loc 0 24 5 prologue_end ; /tmp/dbg.cl:24:5 115; GCN-NEXT: s_setpc_b64 s[30:31] 116; GCN-NEXT: .Ltmp15: 117 call void @llvm.dbg.value(metadata i64 %arg, metadata !67, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !68 118 ret i64 %arg, !dbg !69 119} 120 121define hidden i8 addrspace(1)* @split_ptr_arg(i8 addrspace(1)* readnone returned %arg) local_unnamed_addr #0 !dbg !70 { 122; GCN-LABEL: split_ptr_arg: 123; GCN: .Lfunc_begin6: 124; GCN-NEXT: .loc 0 27 0 ; /tmp/dbg.cl:27:0 125; GCN-NEXT: ; %bb.0: 126; GCN-NEXT: ;DEBUG_VALUE: split_ptr_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 32 32] $vgpr1 127; GCN-NEXT: ;DEBUG_VALUE: split_ptr_arg:arg <- [DW_OP_constu 1, DW_OP_swap, DW_OP_xderef, DW_OP_LLVM_fragment 0 32] $vgpr0 128; GCN-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) 129; GCN-NEXT: .Ltmp16: 130; GCN-NEXT: .loc 0 28 5 prologue_end ; /tmp/dbg.cl:28:5 131; GCN-NEXT: s_setpc_b64 s[30:31] 132; GCN-NEXT: .Ltmp17: 133 call void @llvm.dbg.value(metadata i8 addrspace(1)* %arg, metadata !76, metadata !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)), !dbg !77 134 ret i8 addrspace(1)* %arg, !dbg !78 135} 136 137declare void @llvm.dbg.value(metadata, metadata, metadata) #1 138 139attributes #0 = { norecurse nounwind readnone } 140attributes #1 = { nounwind readnone speculatable } 141 142!llvm.dbg.cu = !{!0} 143!llvm.module.flags = !{!3, !4, !5, !6} 144 145!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 9.0.0 (trunk 365209) (llvm/trunk 365206)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None) 146!1 = !DIFile(filename: "/tmp/dbg.cl", directory: "/Users/matt/src/llvm", checksumkind: CSK_MD5, checksum: "0f834f91e91489a5ff6308040ddbd175") 147!2 = !{} 148!3 = !{i32 2, !"Dwarf Version", i32 5} 149!4 = !{i32 2, !"Debug Info Version", i32 3} 150!5 = !{i32 1, !"wchar_size", i32 4} 151!6 = !{i32 7, !"PIC Level", i32 1} 152!7 = distinct !DISubprogram(name: "split_v4f32_arg", scope: !8, file: !8, line: 3, type: !9, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !17) 153!8 = !DIFile(filename: "/tmp/dbg.cl", directory: "", checksumkind: CSK_MD5, checksum: "0f834f91e91489a5ff6308040ddbd175") 154!9 = !DISubroutineType(types: !10) 155!10 = !{!11, !11} 156!11 = !DIDerivedType(tag: DW_TAG_typedef, name: "float4", file: !12, line: 107, baseType: !13) 157!12 = !DIFile(filename: "build_debug/lib/clang/9.0.0/include/opencl-c-base.h", directory: "/Users/matt/src/llvm", checksumkind: CSK_MD5, checksum: "9526a66ac52220225f05e11186d7e461") 158!13 = !DICompositeType(tag: DW_TAG_array_type, baseType: !14, size: 128, flags: DIFlagVector, elements: !15) 159!14 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float) 160!15 = !{!16} 161!16 = !DISubrange(count: 4) 162!17 = !{!18} 163!18 = !DILocalVariable(name: "arg", arg: 1, scope: !7, file: !8, line: 3, type: !11) 164!19 = !DILocation(line: 0, scope: !7) 165!20 = !DILocation(line: 4, column: 5, scope: !7) 166!21 = distinct !DISubprogram(name: "split_v4f32_multi_arg", scope: !8, file: !8, line: 7, type: !22, scopeLine: 7, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !28) 167!22 = !DISubroutineType(types: !23) 168!23 = !{!11, !11, !24} 169!24 = !DIDerivedType(tag: DW_TAG_typedef, name: "float2", file: !12, line: 105, baseType: !25) 170!25 = !DICompositeType(tag: DW_TAG_array_type, baseType: !14, size: 64, flags: DIFlagVector, elements: !26) 171!26 = !{!27} 172!27 = !DISubrange(count: 2) 173!28 = !{!29, !30} 174!29 = !DILocalVariable(name: "arg0", arg: 1, scope: !21, file: !8, line: 7, type: !11) 175!30 = !DILocalVariable(name: "arg1", arg: 2, scope: !21, file: !8, line: 7, type: !24) 176!31 = !DILocation(line: 0, scope: !21) 177!32 = !DILocation(line: 8, column: 19, scope: !21) 178!33 = !DILocation(line: 8, column: 17, scope: !21) 179!34 = !DILocation(line: 8, column: 5, scope: !21) 180!35 = distinct !DISubprogram(name: "split_v4f16_arg", scope: !8, file: !8, line: 11, type: !36, scopeLine: 11, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !41) 181!36 = !DISubroutineType(types: !37) 182!37 = !{!38, !38} 183!38 = !DIDerivedType(tag: DW_TAG_typedef, name: "half4", file: !12, line: 114, baseType: !39) 184!39 = !DICompositeType(tag: DW_TAG_array_type, baseType: !40, size: 64, flags: DIFlagVector, elements: !15) 185!40 = !DIBasicType(name: "half", size: 16, encoding: DW_ATE_float) 186!41 = !{!42} 187!42 = !DILocalVariable(name: "arg", arg: 1, scope: !35, file: !8, line: 11, type: !38) 188!43 = !DILocation(line: 0, scope: !35) 189!44 = !DILocation(line: 12, column: 5, scope: !35) 190!45 = distinct !DISubprogram(name: "split_f64_arg", scope: !8, file: !8, line: 15, type: !46, scopeLine: 15, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !49) 191!46 = !DISubroutineType(types: !47) 192!47 = !{!48, !48} 193!48 = !DIBasicType(name: "double", size: 64, encoding: DW_ATE_float) 194!49 = !{!50} 195!50 = !DILocalVariable(name: "arg", arg: 1, scope: !45, file: !8, line: 15, type: !48) 196!51 = !DILocation(line: 0, scope: !45) 197!52 = !DILocation(line: 16, column: 5, scope: !45) 198!53 = distinct !DISubprogram(name: "split_v2f64_arg", scope: !8, file: !8, line: 19, type: !54, scopeLine: 19, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !58) 199!54 = !DISubroutineType(types: !55) 200!55 = !{!56, !56} 201!56 = !DIDerivedType(tag: DW_TAG_typedef, name: "double2", file: !12, line: 122, baseType: !57) 202!57 = !DICompositeType(tag: DW_TAG_array_type, baseType: !48, size: 128, flags: DIFlagVector, elements: !26) 203!58 = !{!59} 204!59 = !DILocalVariable(name: "arg", arg: 1, scope: !53, file: !8, line: 19, type: !56) 205!60 = !DILocation(line: 0, scope: !53) 206!61 = !DILocation(line: 20, column: 5, scope: !53) 207!62 = distinct !DISubprogram(name: "split_i64_arg", scope: !8, file: !8, line: 23, type: !63, scopeLine: 23, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !66) 208!63 = !DISubroutineType(types: !64) 209!64 = !{!65, !65} 210!65 = !DIBasicType(name: "long int", size: 64, encoding: DW_ATE_signed) 211!66 = !{!67} 212!67 = !DILocalVariable(name: "arg", arg: 1, scope: !62, file: !8, line: 23, type: !65) 213!68 = !DILocation(line: 0, scope: !62) 214!69 = !DILocation(line: 24, column: 5, scope: !62) 215!70 = distinct !DISubprogram(name: "split_ptr_arg", scope: !8, file: !8, line: 27, type: !71, scopeLine: 27, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !75) 216!71 = !DISubroutineType(types: !72) 217!72 = !{!73, !73} 218!73 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !74, size: 64) 219!74 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char) 220!75 = !{!76} 221!76 = !DILocalVariable(name: "arg", arg: 1, scope: !70, file: !8, line: 27, type: !73) 222!77 = !DILocation(line: 0, scope: !70) 223!78 = !DILocation(line: 28, column: 5, scope: !70) 224