1; RUN: llc -O0 -mtriple=amdgcn-amd-amdhsa -mcpu=fiji -verify-machineinstrs -filetype=obj < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s
2
3; LLVM IR generated with the following command and OpenCL source:
4;
5; $clang -cl-std=CL2.0 -g -O0 -target amdgcn-amd-amdhsa -S -emit-llvm <path-to-file>
6;
7; global int GlobA;
8; global int GlobB;
9;
10; kernel void kernel1(unsigned int ArgN, global int *ArgA, global int *ArgB) {
11;   ArgA[ArgN] += ArgB[ArgN];
12; }
13
14declare void @llvm.dbg.declare(metadata, metadata, metadata)
15
16; CHECK: {{.*}}DW_TAG_variable
17; CHECK-NEXT: DW_AT_name {{.*}}"GlobA"
18; CHECK-NEXT: DW_AT_type
19; CHECK-NEXT: DW_AT_external
20; CHECK-NEXT: DW_AT_decl_file
21; CHECK-NEXT: DW_AT_decl_line
22; CHECK-NEXT: DW_AT_location [DW_FORM_block1] (DW_OP_addr 0x0)
23@GlobA = common addrspace(1) global i32 0, align 4, !dbg !0
24
25; CHECK: {{.*}}DW_TAG_variable
26; CHECK-NEXT: DW_AT_name {{.*}}"GlobB"
27; CHECK-NEXT: DW_AT_type
28; CHECK-NEXT: DW_AT_external
29; CHECK-NEXT: DW_AT_decl_file
30; CHECK-NEXT: DW_AT_decl_line
31; CHECK-NEXT: DW_AT_location [DW_FORM_block1] (DW_OP_addr 0x0)
32@GlobB = common addrspace(1) global i32 0, align 4, !dbg !6
33
34define amdgpu_kernel void @kernel1(
35; CHECK: {{.*}}DW_TAG_formal_parameter
36; CHECK-NEXT: DW_AT_location [DW_FORM_block1] (DW_OP_fbreg +4, DW_OP_constu 0x1, DW_OP_swap, DW_OP_xderef)
37; CHECK-NEXT: DW_AT_name {{.*}}"ArgN"
38    i32 %ArgN,
39; CHECK: {{.*}}DW_TAG_formal_parameter
40; CHECK-NEXT: DW_AT_location [DW_FORM_block1] (DW_OP_fbreg +8, DW_OP_constu 0x1, DW_OP_swap, DW_OP_xderef)
41; CHECK-NEXT: DW_AT_name {{.*}}"ArgA"
42    i32 addrspace(1)* %ArgA,
43; CHECK: {{.*}}DW_TAG_formal_parameter
44; CHECK-NEXT: DW_AT_location [DW_FORM_block1] (DW_OP_fbreg +16, DW_OP_constu 0x1, DW_OP_swap, DW_OP_xderef)
45; CHECK-NEXT: DW_AT_name {{.*}}"ArgB"
46    i32 addrspace(1)* %ArgB) !dbg !13 {
47entry:
48  %ArgN.addr = alloca i32, align 4
49  %ArgA.addr = alloca i32 addrspace(1)*, align 4
50  %ArgB.addr = alloca i32 addrspace(1)*, align 4
51  store i32 %ArgN, i32* %ArgN.addr, align 4
52  call void @llvm.dbg.declare(metadata i32* %ArgN.addr, metadata !22, metadata !23), !dbg !24
53  store i32 addrspace(1)* %ArgA, i32 addrspace(1)** %ArgA.addr, align 4
54  call void @llvm.dbg.declare(metadata i32 addrspace(1)** %ArgA.addr, metadata !25, metadata !23), !dbg !26
55  store i32 addrspace(1)* %ArgB, i32 addrspace(1)** %ArgB.addr, align 4
56  call void @llvm.dbg.declare(metadata i32 addrspace(1)** %ArgB.addr, metadata !27, metadata !23), !dbg !28
57  %0 = load i32 addrspace(1)*, i32 addrspace(1)** %ArgB.addr, align 4, !dbg !29
58  %1 = load i32, i32* %ArgN.addr, align 4, !dbg !30
59  %idxprom = zext i32 %1 to i64, !dbg !29
60  %arrayidx = getelementptr inbounds i32, i32 addrspace(1)* %0, i64 %idxprom, !dbg !29
61  %2 = load i32, i32 addrspace(1)* %arrayidx, align 4, !dbg !29
62  %3 = load i32 addrspace(1)*, i32 addrspace(1)** %ArgA.addr, align 4, !dbg !31
63  %4 = load i32, i32* %ArgN.addr, align 4, !dbg !32
64  %idxprom1 = zext i32 %4 to i64, !dbg !31
65  %arrayidx2 = getelementptr inbounds i32, i32 addrspace(1)* %3, i64 %idxprom1, !dbg !31
66  %5 = load i32, i32 addrspace(1)* %arrayidx2, align 4, !dbg !33
67  %add = add nsw i32 %5, %2, !dbg !33
68  store i32 %add, i32 addrspace(1)* %arrayidx2, align 4, !dbg !33
69  ret void, !dbg !34
70}
71
72!llvm.dbg.cu = !{!2}
73!opencl.ocl.version = !{!9}
74!llvm.module.flags = !{!10, !11}
75!llvm.ident = !{!12}
76
77!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
78!1 = distinct !DIGlobalVariable(name: "GlobA", scope: !2, file: !3, line: 1, type: !8, isLocal: false, isDefinition: true)
79!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 5.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
80!3 = !DIFile(filename: "variable-locations.cl", directory: "/some/random/directory")
81!4 = !{}
82!5 = !{!0, !6}
83!6 = !DIGlobalVariableExpression(var: !7, expr: !DIExpression())
84!7 = distinct !DIGlobalVariable(name: "GlobB", scope: !2, file: !3, line: 2, type: !8, isLocal: false, isDefinition: true)
85!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
86!9 = !{i32 2, i32 0}
87!10 = !{i32 2, !"Dwarf Version", i32 2}
88!11 = !{i32 2, !"Debug Info Version", i32 3}
89!12 = !{!"clang version 5.0.0"}
90!13 = distinct !DISubprogram(name: "kernel1", scope: !3, file: !3, line: 4, type: !14, isLocal: false, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped, isOptimized: false, unit: !2, variables: !4)
91!14 = !DISubroutineType(types: !15)
92!15 = !{null, !16, !17, !17}
93!16 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)
94!17 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)
95!18 = !{i32 0, i32 1, i32 1}
96!19 = !{!"none", !"none", !"none"}
97!20 = !{!"uint", !"int*", !"int*"}
98!21 = !{!"", !"", !""}
99!22 = !DILocalVariable(name: "ArgN", arg: 1, scope: !13, file: !3, line: 4, type: !16)
100!23 = !DIExpression(DW_OP_constu, 1, DW_OP_swap, DW_OP_xderef)
101!24 = !DILocation(line: 4, column: 34, scope: !13)
102!25 = !DILocalVariable(name: "ArgA", arg: 2, scope: !13, file: !3, line: 4, type: !17)
103!26 = !DILocation(line: 4, column: 52, scope: !13)
104!27 = !DILocalVariable(name: "ArgB", arg: 3, scope: !13, file: !3, line: 4, type: !17)
105!28 = !DILocation(line: 4, column: 70, scope: !13)
106!29 = !DILocation(line: 5, column: 17, scope: !13)
107!30 = !DILocation(line: 5, column: 22, scope: !13)
108!31 = !DILocation(line: 5, column: 3, scope: !13)
109!32 = !DILocation(line: 5, column: 8, scope: !13)
110!33 = !DILocation(line: 5, column: 14, scope: !13)
111!34 = !DILocation(line: 6, column: 1, scope: !13)
112