Use a stable topological sort instead of std::stable_sort in DIE *DwarfCompileUnit::createScopeChildrenDIE()

[aprantl]

Summary

This addresses review feedback for D42940. The new code is somewhat more heavyweight, but it can now also detect cycles in the dependencies and actually works correctly.

[aprantl]

Initialize the DenseSets with the size of Input.

[vsapsai]

Sorting algorithm looks correct to me and in debugger it works as expected. I don't think we are going to visit DbgVariable more than 3 times so time complexity is reasonable too.

There is a problem with SmallDenseSet size and other than that maybe improve testing? Some of the ideas: make variables in order "array, unrelated, vla_expr" to expose problem with std::stable_sort; have dependencies that aren't local variables (this can be already covered by other tests); have more than 8 local variables that is not a power of 2.

lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp

589–643

Parameter can be const and the line is > 80 characters.

595

It worked on the reduced test case but for a bigger file it failed with

Assertion failed: ((getNumBuckets() & (getNumBuckets()-1)) == 0 && "# initial buckets must be a power of two!"), function initEmpty, file llvm/include/llvm/ADT/DenseMap.h, line 344.

That happened for the Input of size 10.

596

You have a few comments inside the function that start with triple slash. Is this on purpose? Not saying it is wrong, but I would use just 2 slashes inside the function, so maybe it is a chance for me to learn something new.

605

I am unfamiliar with this code so I can be completely wrong. For me, subjectively, N strongly indicates it is a number but in this case it is not. So I need to keep in mind that N is of type DbgVariable. It get's especially confusing when it is next to actual number like {N, 1}. To avoid criticizing without offering alternatives, personally, I would prefer Var and later for dependencies maybe to use LocalVar.

It is a personal readability opinion, it's up to you to decide how well it actually works.

637

What would happen and if it is even possible if Dependency is not a local variable?

And in this case dyn_cast<> should be enough, we don't add nullptr dependencies.

[aprantl]

In D43036#1001124, @vsapsai wrote:

Sorting algorithm looks correct to me and in debugger it works as expected. I don't think we are going to visit DbgVariable more than 3 times so time complexity is reasonable too.

There is a problem with SmallDenseSet size and other than that maybe improve testing? Some of the ideas: make variables in order "array, unrelated, vla_expr" to expose problem with std::stable_sort; have dependencies that aren't local variables (this can be already covered by other tests); have more than 8 local variables that is not a power of 2.

This really difficult because we can only very indirectly influence the order in which variables appear in the LexcicalScopes data structure from LLVM IR input. But I'll try!

[aprantl]

Address most review feedback, still need to come up with a better testcase.

[aprantl]

Added a bunch of interesting test cases, including the one with a global variable as dependency.
Note that none of these testcases trigger a crash in the old stable_sort code, since neither the order of the dbg.values nor the order in the list of local variables in the DIFunction has an effect on the order in which the locals appear in LexicalScopes.

[vsapsai]

Looks good to me and tests I'm running are all passing.

[aprantl]

Thanks! Landed as r324677.

lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp

637

In theory a frontend could produce metadata where the count is a global variable. This doesn't make much sense in practice, but we don't reject it in the verifier, so we might as well handle it gracefully.

[vsapsai]

lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp

637

For those who aren't following the review closely, I think global variables are handled at

// Dependency is in a different lexical scope or a global.
if (!Var)
  continue;

And no need to worry that dependencies loop has no null checks.

lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp

DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV,
                                             const LexicalScope &Scope,
                                             DIE *&ObjectPointer) {
   auto Var = constructVariableDIE(DV, Scope.isAbstractScope());
   if (DV.isObjectPointer())
     ObjectPointer = Var;
   return Var;
 }
 
-/// Determine whether a variable appears in a count: expression.
-static bool dependsOn(DbgVariable *A, DbgVariable *B) {
-  auto *Array = dyn_cast<DICompositeType>(A->getType());
+/// Return all DIVariables that appear in count: expressions.
+static SmallVector<const DIVariable *, 2> dependencies(DbgVariable *Var) {
+  SmallVector<const DIVariable *, 2> Result;
+  auto *Array = dyn_cast<DICompositeType>(Var->getType());
   if (!Array || Array->getTag() != dwarf::DW_TAG_array_type)
-    return false;
-  return llvm::any_of(Array->getElements(), [&](DINode *El) {
+    return Result;
+  for (auto *El : Array->getElements()) {
     if (auto *Subrange = dyn_cast<DISubrange>(El)) {
       auto Count = Subrange->getCount();
-      if (auto *Var = Count.dyn_cast<DIVariable *>())
-        return Var == B->getVariable();
+      if (auto *Dependency = Count.dyn_cast<DIVariable *>())
+        Result.push_back(Dependency);
     }
-    return false;
-  });
+  }
+  return Result;
 }
 
 /// Sort local variables so that variables appearing inside of helper
 /// expressions come first.
-static bool sortLocalVars(DbgVariable *A, DbgVariable *B) {
-  return dependsOn(B, A);
+static SmallVector<DbgVariable *, 8>
+sortLocalVars(SmallVectorImpl<DbgVariable *> &Input) {
+  SmallVector<DbgVariable *, 8> Result;
+  SmallVector<PointerIntPair<DbgVariable *, 1>, 8> WorkList;
+  // Map back from a DIVariable to its containing DbgVariable.
+  SmallDenseMap<const DILocalVariable *, DbgVariable *> DbgVar;
+  // Set of DbgVariables in Result.
+  SmallDenseSet<DbgVariable *, 8> Visited;
+  // For cycle detection.
+  SmallDenseSet<DbgVariable *, 8> Visiting;
+
+  // Initialize the worklist and the DIVariable lookup table.
+  for (auto Var : reverse(Input)) {
+    DbgVar.insert({Var->getVariable(), Var});
+    WorkList.push_back({Var, 0});
+  }
+
+  // Perform a stable topological sort by doing a DFS.
+  while (!WorkList.empty()) {
+    auto Item = WorkList.back();
+    DbgVariable *Var = Item.getPointer();
+    bool visitedAllDependencies = Item.getInt();
+    WorkList.pop_back();
+
+    // Dependency is in a different lexical scope or a global.
+    if (!Var)
+      continue;
+
+    // Already handled.
+    if (Visited.count(Var))
+      continue;
+
+    // Add to Result if all dependencies are visited.
+    if (visitedAllDependencies) {
+      Visited.insert(Var);
+      Result.push_back(Var);
+      continue;
+    }
+
+    // Detect cycles.
+    auto Res = Visiting.insert(Var);
+    if (!Res.second) {
+      assert(false && "dependency cycle in local variables");
+      return Result;
+    }
+
+    // Push dependencies and this node onto the worklist, so that this node is
+    // visited again after all of its dependencies are handled.
+    WorkList.push_back({Var, 1});
+    for (auto *Dependency : dependencies(Var)) {
+      auto Dep = dyn_cast_or_null<const DILocalVariable>(Dependency);
+      WorkList.push_back({DbgVar[Dep], 0});
+    }
+  }
+  return Result;
 }
 
 DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope,
                                               SmallVectorImpl<DIE *> &Children,
                                               bool *HasNonScopeChildren) {
   assert(Children.empty());
   DIE *ObjectPointer = nullptr;
 
   // Emit function arguments (order is significant).
   auto Vars = DU->getScopeVariables().lookup(Scope);
   for (auto &DV : Vars.Args)
     Children.push_back(constructVariableDIE(*DV.second, *Scope, ObjectPointer));
 
   // Emit local variables.
-  std::stable_sort(Vars.Locals.begin(), Vars.Locals.end(), sortLocalVars);
-  for (DbgVariable *DV : Vars.Locals)
+  auto Locals = sortLocalVars(Vars.Locals);
+  for (DbgVariable *DV : Locals)
     Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer));
 
   // Skip imported directives in gmlt-like data.
   if (!includeMinimalInlineScopes()) {
     // There is no need to emit empty lexical block DIE.
     for (const auto *IE : ImportedEntities[Scope->getScopeNode()])
       Children.push_back(
           constructImportedEntityDIE(cast<DIImportedEntity>(IE)));

test/DebugInfo/X86/vla-dependencies.ll

 ; RUN: llc -mtriple=x86_64-apple-darwin %s -o - -filetype=obj | llvm-dwarfdump - | FileCheck %s
 ; CHECK:  DW_TAG_subprogram
 ; CHECK:    DW_AT_name  ("h")
 ; CHECK: 0x00000[[VLAEXPR:.*]]:     DW_TAG_variable
-; CHECK-NEXT:                DW_AT_name ("vla_expr")
-;0x000000b1:   DW_TAG_array_type
-;                DW_AT_type (cu + 0x0066 "unsigned char")
+; CHECK-NEXT:    DW_AT_name ("vla_expr")
+; CHECK:        DW_TAG_array_type
+; CHECK-NEXT:     DW_AT_type  {{.*}}"int"
+; CHECK-NOT: DW_TAG
+; CHECK:        DW_TAG_subrange_type
+; CHECK-NEXT:     DW_AT_type {{.*}}"sizetype"
+; CHECK-NEXT:     DW_AT_count (cu + 0x0[[VLAEXPR]])
 ;
-;0x000000b6:     DW_TAG_subrange_type
-;                  DW_AT_type (cu + 0x0079 "sizetype")
-;                  DW_AT_count  (cu + 0x[[VLAEXPR]])
 ;
-;
-; Generated from:
+; Generated from (and then modified):
 ;
 ; #define DECLARE_ARRAY(type, var_name, size) type var_name[size]
 ;  
 ; void h(void);
 ; void k(void *);
 ;  
 ; void g() {
 ;   h();

 define void @g() local_unnamed_addr #0 !dbg !10 {
 entry:
   %vla2.i = alloca [2 x i32], align 16, !dbg !13
   call void @llvm.dbg.declare(metadata [2 x i32]* %vla2.i, metadata !20, metadata !DIExpression(DW_OP_stack_value)), !dbg !13
   %0 = bitcast [2 x i32]* %vla2.i to i8*, !dbg !25
   call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0), !dbg !25
   call void @llvm.dbg.value(metadata i32 2, metadata !16, metadata !DIExpression()) #3, !dbg !25
   call void @llvm.dbg.value(metadata i64 2, metadata !18, metadata !DIExpression()) #3, !dbg !13
+  call void @llvm.dbg.value(metadata i32 2, metadata !16, metadata !DIExpression()) #3, !dbg !25
+  call void @llvm.dbg.value(metadata i64 2, metadata !18, metadata !DIExpression()) #3, !dbg !13
   call void @k(i8* nonnull %0) #3, !dbg !26
   call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0), !dbg !27
   ret void, !dbg !28
 }
 
 ; Function Attrs: nounwind readnone speculatable
 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 

test/DebugInfo/X86/vla-global.ll

+; RUN: llc -mtriple=x86_64-apple-darwin %s -o - -filetype=obj | llvm-dwarfdump - | FileCheck %s
+; CHECK: 0x00000[[G:.*]]:     DW_TAG_variable
+; CHECK-NEXT:                DW_AT_name ("g")
+; CHECK: DW_TAG_array_type
+; CHECK-NEXT:  DW_AT_type (cu + {{.*}} "int")
+; CHECK-NOT: DW_TAG
+; CHECK:       DW_TAG_subrange_type
+; CHECK-NEXT:     DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:      DW_AT_count  (cu + 0x0[[G]])
+; Test that a VLA referring to a global variable is handled correctly.
+; Clang doesn't generate this, but the verifier allows it.
+source_filename = "/tmp/test.c"
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.13.0"
+
+@g = common local_unnamed_addr global i32 0, align 4, !dbg !0
+
+define void @f() !dbg !12 {
+entry:
+  %0 = load i32, i32* @g, align 4, !dbg !22
+  %1 = zext i32 %0 to i64, !dbg !22
+  %vla = alloca i32, i64 %1, align 16, !dbg !22
+  call void @llvm.dbg.declare(metadata i32* %vla, metadata !16, metadata !DIExpression()), !dbg !22
+  call void @llvm.dbg.value(metadata i32 2, metadata !21, metadata !DIExpression()), !dbg !22
+  %call = call i32 (i32*, ...) bitcast (i32 (...)* @use to i32 (i32*, ...)*)(i32* nonnull %vla), !dbg !22
+  ret void, !dbg !22
+}
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #0
+
+declare i32 @use(...) local_unnamed_addr
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.value(metadata, metadata, metadata) #0
+
+attributes #0 = { nounwind readnone speculatable }
+
+!llvm.dbg.cu = !{!2}
+!llvm.module.flags = !{!7, !8, !9, !10}
+!llvm.ident = !{!11}
+
+!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
+!1 = distinct !DIGlobalVariable(name: "g", scope: !2, file: !3, line: 1, type: !6, isLocal: false, isDefinition: true)
+!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 7.0.0 (trunk 324259) (llvm/trunk 324261)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
+!3 = !DIFile(filename: "/tmp/test.c", directory: "/")
+!4 = !{}
+!5 = !{!0}
+!6 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned)
+!7 = !{i32 2, !"Dwarf Version", i32 4}
+!8 = !{i32 2, !"Debug Info Version", i32 3}
+!9 = !{i32 1, !"wchar_size", i32 4}
+!10 = !{i32 7, !"PIC Level", i32 2}
+!11 = !{!"clang version 7.0.0 (trunk 324259) (llvm/trunk 324261)"}
+!12 = distinct !DISubprogram(name: "f", scope: !3, file: !3, line: 3, type: !13, isLocal: false, isDefinition: true, scopeLine: 3, isOptimized: true, unit: !2, variables: !15)
+!13 = !DISubroutineType(types: !14)
+!14 = !{null}
+!15 = !{!16, !21}
+!16 = !DILocalVariable(name: "array", scope: !12, file: !3, line: 4, type: !17)
+!17 = !DICompositeType(tag: DW_TAG_array_type, baseType: !18, elements: !19)
+!18 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+!19 = !{!20}
+!20 = !DISubrange(count: !1)
+!21 = !DILocalVariable(name: "count", scope: !12, file: !3, line: 5, type: !18)
+!22 = !DILocation(line: 7, column: 1, scope: !12)

test/DebugInfo/X86/vla-multi.ll

+; RUN: llc -mtriple=x86_64-apple-darwin %s -o - -filetype=obj | llvm-dwarfdump - | FileCheck %s
+; Test debug info for multidimensional arrays.
+;
+; void f(int i, int j, int k, int r) {
+;  int tensor1[i][j][k][r];
+;  int tensor2[i][j][k][r];
+;  use(tensor1, tensor2);
+;}
+;
+; CHECK:        DW_TAG_array_type
+; CHECK-NEXT:     DW_AT_type  (cu + 0x00f8 "int")
+; CHECK-NOT: TAG      
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}}"sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK:        DW_TAG_array_type
+; CHECK-NEXT:     DW_AT_type  (cu + 0x00f8 "int")
+; CHECK-NOT: TAG      
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}}"sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+; CHECK-NOT: TAG
+; CHECK:          DW_TAG_subrange_type
+; CHECK-NEXT:       DW_AT_type  (cu + {{.*}} "sizetype")
+; CHECK-NEXT:       DW_AT_count (cu + {{.*}})
+
+
+source_filename = "/tmp/test.c"
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.13.0"
+
+define void @f(i32 %i, i32 %j, i32 %k, i32 %r) !dbg !8 {
+entry:
+  call void @llvm.dbg.value(metadata i32 %i, metadata !39, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %j, metadata !38, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %k, metadata !37, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %r, metadata !36, metadata !DIExpression()), !dbg !40
+  %0 = zext i32 %i to i64, !dbg !40
+  %1 = zext i32 %j to i64, !dbg !40
+  %2 = zext i32 %k to i64, !dbg !40
+  %3 = zext i32 %r to i64, !dbg !40
+  %4 = mul nuw i64 %1, %0, !dbg !40
+  %5 = mul nuw i64 %4, %2, !dbg !40
+  %6 = mul nuw i64 %5, %3, !dbg !40
+  %vla = alloca i32, i64 %6, align 16, !dbg !40
+  call void @llvm.dbg.declare(metadata i32* %vla, metadata !25, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.declare(metadata i32* %vla4, metadata !13, metadata !DIExpression()), !dbg !40
+  %vla4 = alloca i32, i64 %6, align 16, !dbg !40
+  call void @llvm.dbg.value(metadata i32 %i, metadata !29, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %j, metadata !31, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %k, metadata !33, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %r, metadata !35, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %i, metadata !17, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %j, metadata !20, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i32 %k, metadata !22, metadata !DIExpression()), !dbg !40
+  call void @llvm.dbg.value(metadata i64 %3, metadata !24, metadata !DIExpression()), !dbg !40
+  %call = call i32 (i32*, i32*, ...) bitcast (i32 (...)* @use to i32 (i32*, i32*, ...)*)(i32* nonnull %vla, i32* nonnull %vla4) #1, !dbg !40
+  ret void, !dbg !40
+}
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #0
+
+declare i32 @use(...) local_unnamed_addr
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.value(metadata, metadata, metadata) #0
+
+attributes #0 = { nounwind readnone speculatable }
+attributes #1 = { minsize nounwind optsize }
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!3, !4, !5, !6}
+!llvm.ident = !{!7}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 7.0.0 (trunk 324259) (llvm/trunk 324261)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
+!1 = !DIFile(filename: "/tmp/test.c", directory: "/")
+!2 = !{}
+!3 = !{i32 2, !"Dwarf Version", i32 4}
+!4 = !{i32 2, !"Debug Info Version", i32 3}
+!5 = !{i32 1, !"wchar_size", i32 4}
+!6 = !{i32 7, !"PIC Level", i32 2}
+!7 = !{!"clang version 7.0.0 (trunk 324259) (llvm/trunk 324261)"}
+!8 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 1, type: !9, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !12)
+!9 = !DISubroutineType(types: !10)
+!10 = !{null, !11, !11, !11, !11}
+!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+!12 = !{!13, !24, !22, !20, !17, !25, !35, !33, !31, !29, !36, !37, !38, !39}
+!13 = !DILocalVariable(name: "tensor2", scope: !8, file: !1, line: 3, type: !14)
+!14 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, elements: !15)
+!15 = !{!16, !19, !21, !23}
+!16 = !DISubrange(count: !17)
+!17 = !DILocalVariable(name: "vla_expr5", scope: !8, file: !1, line: 3, type: !18)
+!18 = !DIBasicType(name: "long unsigned int", size: 64, encoding: DW_ATE_unsigned)
+!19 = !DISubrange(count: !20)
+!20 = !DILocalVariable(name: "vla_expr6", scope: !8, file: !1, line: 3, type: !18)
+!21 = !DISubrange(count: !22)
+!22 = !DILocalVariable(name: "vla_expr7", scope: !8, file: !1, line: 3, type: !18)
+!23 = !DISubrange(count: !24)
+!24 = !DILocalVariable(name: "vla_expr8", scope: !8, file: !1, line: 3, type: !18)
+!25 = !DILocalVariable(name: "tensor1", scope: !8, file: !1, line: 2, type: !26)
+!26 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, elements: !27)
+!27 = !{!28, !30, !32, !34}
+!28 = !DISubrange(count: !29)
+!29 = !DILocalVariable(name: "vla_expr", scope: !8, file: !1, line: 2, type: !18)
+!30 = !DISubrange(count: !31)
+!31 = !DILocalVariable(name: "vla_expr1", scope: !8, file: !1, line: 2, type: !18)
+!32 = !DISubrange(count: !33)
+!33 = !DILocalVariable(name: "vla_expr2", scope: !8, file: !1, line: 2, type: !18)
+!34 = !DISubrange(count: !35)
+!35 = !DILocalVariable(name: "vla_expr3", scope: !8, file: !1, line: 2, type: !18)
+!36 = !DILocalVariable(name: "r", arg: 4, scope: !8, file: !1, line: 1, type: !11)
+!37 = !DILocalVariable(name: "k", arg: 3, scope: !8, file: !1, line: 1, type: !11)
+!38 = !DILocalVariable(name: "j", arg: 2, scope: !8, file: !1, line: 1, type: !11)
+!39 = !DILocalVariable(name: "i", arg: 1, scope: !8, file: !1, line: 1, type: !11)
+!40 = !DILocation(line: 2, column: 3, scope: !8)