[DebugInfo] Emit distinct DILocation for different inline instances

LLVM seems to determine a variable instance as a combination of DILocalVariable
and DILocation. Therefore if multiple llvm.dbg.declare have the same
variable/location parameters, they are considered to be referencing the same
instance of variable.

Swift IRGen emits a set of llvm.dbg.declare calls for every variable
instance (with unique SILDebugScope), so it is important that these calls have
distinct variable/location parameters. Otherwise their DIExpression may be
incorrect when treated as referencing the same variable. For example, if they
have a DIExpression with fragments, we will see this as multiple declarations of
the same fragment. LLVM detects this and crashes with assertion failure:

DwarfExpression.cpp:679: void llvm::DwarfExpression::addFragmentOffset(const
llvm::DIExpression *): Assertion `FragmentOffset >= OffsetInBits &&
"overlapping or duplicate fragments"' failed.

The patch resolves #55703. The LIT test (debug_scope_distinct.swift) is the
reproducer from that issue.

Author: asavonic

lib/IRGen/IRGenDebugInfo.cpp

@@ -413,7 +413,7 @@ class IRGenDebugInfoImpl : public IRGenDebugInfo {
     // Pretend transparent functions don't exist.
     if (!Scope)
       return createInlinedAt(CS);
-    auto InlinedAt = llvm::DILocation::get(
+    auto InlinedAt = llvm::DILocation::getDistinct(
         IGM.getLLVMContext(), L.line, L.column, Scope, createInlinedAt(CS));
     InlinedAtCache.insert({CS, llvm::TrackingMDNodeRef(InlinedAt)});
     return InlinedAt;

test/DebugInfo/inlinedAt.swift

@@ -40,11 +40,11 @@ public func f(_ i : Int) -> Int { // 301
 // CHECK: ![[F:.*]] = distinct !DISubprogram(name: "f",
 // CHECK: ![[G:.*]] = distinct !DISubprogram(name: "g",
 
-// CHECK: ![[L3:.*]] = !DILocation(line: 302, column: 10,
-// CHECK-SAME:                     scope: ![[F:.*]])
+// CHECK: ![[L3:.*]] = distinct !DILocation(line: 302, column: 10,
+// CHECK-SAME:                              scope: ![[F:.*]])
 // CHECK: ![[H:.*]] = distinct !DISubprogram(name: "h",
 // CHECK: ![[L1]] = !DILocation(line: 101, column: 8, scope: ![[H]],
 // CHECK-SAME:                  inlinedAt: ![[L2:.*]])
-// CHECK: ![[L2]] = !DILocation(line: 203, column: 10, scope: ![[G]],
-// CHECK-SAME:                  inlinedAt: ![[L3]])
+// CHECK: ![[L2]] = distinct !DILocation(line: 203, column: 10, scope: ![[G]],
+// CHECK-SAME:                           inlinedAt: ![[L3]])
 

test/DebugInfo/inlinescopes.swift

@@ -26,7 +26,7 @@ func transparent(_ x: Int64) -> Int64 { return noinline(x) }
 func inlined(_ x: Int64) -> Int64 {
   let result = transparent(x)
 // CHECK-DAG: ![[CALL]] = !DILocation(line: [[@LINE-1]], column: {{.*}}, scope: ![[INLINED1:.*]], inlinedAt: ![[INLINEDAT:.*]])
-// CHECK-DAG: ![[INLINEDAT]] = !DILocation({{.*}}scope: ![[INLINEDAT1:[0-9]+]]
+// CHECK-DAG: ![[INLINEDAT]] = distinct !DILocation({{.*}}scope: ![[INLINEDAT1:[0-9]+]]
 // CHECK-DAG: ![[INLINED1]] = distinct !DILexicalBlock(scope: ![[INLINED:[0-9]+]]
 // Check if the inlined and removed function still has the correct linkage name.
 // CHECK-DAG: ![[INLINED]] = distinct !DISubprogram(name: "inlined", linkageName: "$s4main7inlinedys5Int64VADF"

test/IRGen/debug_scope_distinct.swift

@@ -1,20 +1,23 @@
 // RUN: %empty-directory(%t)
 // RUN: %target-swiftc_driver -DM -emit-module -emit-module-path %t/M.swiftmodule %s -module-name M
 // RUN: %target-swiftc_driver -O -g -I %t -c %s -emit-ir -o - | %FileCheck %s
+// RUN: %target-swiftc_driver -O -g -I %t -c %s -o /dev/null
 
 // CHECK: define {{.*}} void @"$s4main1TV13TangentVectorV1poiyA2E_AEtFZTm"
 // CHECK: entry:
 // CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR1:[0-9]+]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC1:[0-9]+]]
 // CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR2:[0-9]+]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC1]]
-// CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR1]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC1]]
-// CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR2]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC1]]
+// CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR1]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC2:[0-9]+]]
+// CHECK-NEXT: call void @llvm.dbg.declare(metadata %TSb* undef, metadata ![[VAR2]], metadata !DIExpression(DW_OP_LLVM_fragment, 192, 8)), !dbg ![[LOC2:[0-9]+]]
 
 // CHECK: ![[VAR1]] = !DILocalVariable(name: "lhs", arg: 1, scope: ![[SCOPE:[0-9]+]]
 // CHECK: ![[VAR2]] = !DILocalVariable(name: "rhs", arg: 2, scope: ![[SCOPE:[0-9]+]]
 
 // CHECK: ![[LOC1]] = !DILocation(line: 0, scope: ![[SCOPE]], inlinedAt: ![[LOCINL1:[0-9]+]])
-// CHECK: ![[LOCINL1]] = !DILocation(line: 0, scope: ![[SUBPROG:[0-9]+]])
+// CHECK: ![[LOCINL1]] = distinct !DILocation(line: 0, scope: ![[SUBPROG:[0-9]+]])
 // CHECK: ![[SUBPROG]] = distinct !DISubprogram(name: "+", linkageName: "$s4main1TV13TangentVectorV1poiyA2E_AEtFZ"
+// CHECK: ![[LOC2]] = !DILocation(line: 0, scope: ![[SCOPE]], inlinedAt: ![[LOCINL2:[0-9]+]])
+// CHECK: ![[LOCINL2]] = distinct !DILocation(line: 0, scope: ![[SUBPROG]])
 
 #if M
 import _Differentiation