|
| 1 | +; RUN: llc %s -o %t.o -mcpu=gfx1030 -filetype=obj -O0 |
| 2 | +; RUN: llvm-debuginfo-analyzer %t.o --print=all --attribute=all | FileCheck %s |
| 3 | + |
| 4 | +; This test compiles this module with AMDGPU backend under -O0, |
| 5 | +; and makes sure llvm-debuginfo-analyzer works for it. |
| 6 | + |
| 7 | +; Simple checks to make sure llvm-debuginfo-analzyer didn't fail early. |
| 8 | +; CHECK: Logical View: |
| 9 | +; CHECK: {CompileUnit} |
| 10 | +; CHECK-DAG: {Parameter} 'dtid' -> [0x{{[a-f0-9]+}}]'uint3' |
| 11 | +; CHECK-DAG: {Variable} 'my_var2' -> [0x{{[a-f0-9]+}}]'float' |
| 12 | +; CHECK-DAG: {Line} {{.+}}basic_var.hlsl |
| 13 | +; CHECK: {Code} 's_endpgm' |
| 14 | + |
| 15 | +source_filename = "module" |
| 16 | +target triple = "amdgcn-amd-amdpal" |
| 17 | + |
| 18 | +%dx.types.ResRet.f32 = type { float, float, float, float, i32 } |
| 19 | + |
| 20 | +define dllexport amdgpu_cs void @_amdgpu_cs_main(i32 inreg noundef %globalTable, i32 inreg noundef %userdata4, <3 x i32> inreg noundef %WorkgroupId, i32 inreg noundef %MultiDispatchInfo, <3 x i32> noundef %LocalInvocationId) #0 !dbg !14 { |
| 21 | + %LocalInvocationId.i0 = extractelement <3 x i32> %LocalInvocationId, i64 0, !dbg !28 |
| 22 | + %WorkgroupId.i0 = extractelement <3 x i32> %WorkgroupId, i64 0, !dbg !28 |
| 23 | + %pc = call i64 @llvm.amdgcn.s.getpc(), !dbg !28 |
| 24 | + %offset = shl i32 %WorkgroupId.i0, 6, !dbg !28 |
| 25 | + %dtid = add i32 %LocalInvocationId.i0, %offset, !dbg !28 |
| 26 | + #dbg_value(i32 %dtid, !29, !DIExpression(DW_OP_LLVM_fragment, 0, 32), !28) |
| 27 | + %pc_hi = and i64 %pc, -4294967296, !dbg !30 |
| 28 | + %zext = zext i32 %userdata4 to i64, !dbg !30 |
| 29 | + %ptr_val = or disjoint i64 %pc_hi, %zext, !dbg !30 |
| 30 | + %ptr = inttoptr i64 %ptr_val to ptr addrspace(4), !dbg !30 |
| 31 | + call void @llvm.assume(i1 true) [ "align"(ptr addrspace(4) %ptr, i32 4), "dereferenceable"(ptr addrspace(4) %ptr, i32 -1) ], !dbg !30 |
| 32 | + %uav_0 = load <4 x i32>, ptr addrspace(4) %ptr, align 4, !dbg !30, !invariant.load !2 |
| 33 | + %uav_load_1 = call float @llvm.amdgcn.struct.buffer.load.format.f32(<4 x i32> %uav_0, i32 %dtid, i32 0, i32 0, i32 0), !dbg !30 |
| 34 | + #dbg_value(%dx.types.ResRet.f32 poison, !31, !DIExpression(), !32) |
| 35 | + %mul = fmul reassoc arcp contract afn float %uav_load_1, 2.000000e+00, !dbg !33 |
| 36 | + #dbg_value(float %mul, !34, !DIExpression(), !35) |
| 37 | + call void @llvm.assume(i1 true) [ "align"(ptr addrspace(4) %ptr, i32 4), "dereferenceable"(ptr addrspace(4) %ptr, i32 -1) ], !dbg !36 |
| 38 | + %uav_1_ptr = getelementptr i8, ptr addrspace(4) %ptr, i64 32, !dbg !36 |
| 39 | + %.upto01 = insertelement <4 x float> poison, float %mul, i64 0, !dbg !36 |
| 40 | + %filled_vector = shufflevector <4 x float> %.upto01, <4 x float> poison, <4 x i32> zeroinitializer, !dbg !36 |
| 41 | + %uav_1 = load <4 x i32>, ptr addrspace(4) %uav_1_ptr, align 4, !dbg !36, !invariant.load !2 |
| 42 | + call void @llvm.amdgcn.struct.buffer.store.format.v4f32(<4 x float> %filled_vector, <4 x i32> %uav_1, i32 %dtid, i32 0, i32 0, i32 0), !dbg !36 |
| 43 | + ret void, !dbg !37 |
| 44 | +} |
| 45 | + |
| 46 | +declare noundef i64 @llvm.amdgcn.s.getpc() #1 |
| 47 | + |
| 48 | +declare void @llvm.assume(i1 noundef) #2 |
| 49 | + |
| 50 | +declare void @llvm.amdgcn.struct.buffer.store.format.v4f32(<4 x float>, <4 x i32>, i32, i32, i32, i32 immarg) #3 |
| 51 | + |
| 52 | +declare float @llvm.amdgcn.struct.buffer.load.format.f32(<4 x i32>, i32, i32, i32, i32 immarg) #4 |
| 53 | + |
| 54 | +attributes #0 = { memory(readwrite) } |
| 55 | +attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } |
| 56 | +attributes #2 = { nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) } |
| 57 | +attributes #3 = { nocallback nofree nosync nounwind willreturn memory(write) } |
| 58 | +attributes #4 = { nocallback nofree nosync nounwind willreturn memory(read) } |
| 59 | + |
| 60 | +!llvm.dbg.cu = !{!0} |
| 61 | +!llvm.module.flags = !{!12, !13} |
| 62 | + |
| 63 | +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "dxcoob 1.7.2308.16 (52da17e29)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3) |
| 64 | +!1 = !DIFile(filename: "tests\\basic_var.hlsl", directory: "") |
| 65 | +!2 = !{} |
| 66 | +!3 = !{!4, !10} |
| 67 | +!4 = distinct !DIGlobalVariableExpression(var: !5, expr: !DIExpression()) |
| 68 | +!5 = !DIGlobalVariable(name: "u0", linkageName: "\01?u0@@3V?$RWBuffer@M@@A", scope: !0, file: !1, line: 2, type: !6, isLocal: false, isDefinition: true) |
| 69 | +!6 = !DICompositeType(tag: DW_TAG_class_type, name: "RWBuffer<float>", file: !1, line: 2, size: 32, align: 32, elements: !2, templateParams: !7) |
| 70 | +!7 = !{!8} |
| 71 | +!8 = !DITemplateTypeParameter(name: "element", type: !9) |
| 72 | +!9 = !DIBasicType(name: "float", size: 32, align: 32, encoding: DW_ATE_float) |
| 73 | +!10 = distinct !DIGlobalVariableExpression(var: !11, expr: !DIExpression()) |
| 74 | +!11 = !DIGlobalVariable(name: "u1", linkageName: "\01?u1@@3V?$RWBuffer@M@@A", scope: !0, file: !1, line: 3, type: !6, isLocal: false, isDefinition: true) |
| 75 | +!12 = !{i32 2, !"Dwarf Version", i32 5} |
| 76 | +!13 = !{i32 2, !"Debug Info Version", i32 3} |
| 77 | +!14 = distinct !DISubprogram(name: "main", scope: !1, file: !1, line: 7, type: !15, scopeLine: 7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0) |
| 78 | +!15 = !DISubroutineType(types: !16) |
| 79 | +!16 = !{null, !17} |
| 80 | +!17 = !DIDerivedType(tag: DW_TAG_typedef, name: "uint3", file: !1, baseType: !18) |
| 81 | +!18 = !DICompositeType(tag: DW_TAG_class_type, name: "vector<unsigned int, 3>", file: !1, size: 96, align: 32, elements: !19, templateParams: !24) |
| 82 | +!19 = !{!20, !22, !23} |
| 83 | +!20 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !18, file: !1, baseType: !21, size: 32, align: 32, flags: DIFlagPublic) |
| 84 | +!21 = !DIBasicType(name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned) |
| 85 | +!22 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !18, file: !1, baseType: !21, size: 32, align: 32, offset: 32, flags: DIFlagPublic) |
| 86 | +!23 = !DIDerivedType(tag: DW_TAG_member, name: "z", scope: !18, file: !1, baseType: !21, size: 32, align: 32, offset: 64, flags: DIFlagPublic) |
| 87 | +!24 = !{!25, !26} |
| 88 | +!25 = !DITemplateTypeParameter(name: "element", type: !21) |
| 89 | +!26 = !DITemplateValueParameter(name: "element_count", type: !27, value: i32 3) |
| 90 | +!27 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed) |
| 91 | +!28 = !DILocation(line: 7, column: 17, scope: !14) |
| 92 | +!29 = !DILocalVariable(name: "dtid", arg: 1, scope: !14, file: !1, line: 7, type: !17) |
| 93 | +!30 = !DILocation(line: 11, column: 18, scope: !14) |
| 94 | +!31 = !DILocalVariable(name: "my_var", scope: !14, file: !1, line: 11, type: !9) |
| 95 | +!32 = !DILocation(line: 11, column: 9, scope: !14) |
| 96 | +!33 = !DILocation(line: 14, column: 26, scope: !14) |
| 97 | +!34 = !DILocalVariable(name: "my_var2", scope: !14, file: !1, line: 14, type: !9) |
| 98 | +!35 = !DILocation(line: 14, column: 9, scope: !14) |
| 99 | +!36 = !DILocation(line: 17, column: 14, scope: !14) |
| 100 | +!37 = !DILocation(line: 19, column: 1, scope: !14) |
0 commit comments