Pre-commit debug_scope_distinct.swift LIT test

Author: asavonic

test/IRGen/debug_scope_distinct.swift

@@ -0,0 +1,57 @@
+// 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
+
+// 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: ![[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: ![[SUBPROG]] = distinct !DISubprogram(name: "+", linkageName: "$s4main1TV13TangentVectorV1poiyA2E_AEtFZ"
+
+#if M
+import _Differentiation
+
+public struct S<T> {
+  class C {}
+  let c: C
+  internal var b: Bool
+}
+
+extension S: AdditiveArithmetic {
+  public static var zero: S { fatalError() }
+
+  public static func == (_ lhs: S, _ rhs: S) -> Bool { fatalError() }
+  public static func + (_ lhs: S, _ rhs: S) -> S { fatalError() }
+  public static func - (_ lhs: S, _ rhs: S) -> S { fatalError() }
+}
+
+extension S: Differentiable {
+  public typealias TangentVector = S
+}
+
+#else
+import _Differentiation
+import M
+
+struct T: Differentiable {
+  var u1: U
+  var u2: U
+}
+
+struct U: Differentiable {
+  var s: S<Float>
+  var v: V
+}
+
+struct V: Differentiable {
+  var s: S<Float>
+}
+#endif