Pre-commit debug_scope_distinct.swift LIT test

Author: asavonic

test/IRGen/debug_scope_distinct.swift

@@ -0,0 +1,69 @@
+// 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 @"$s4main1TV4move2byyAC13TangentVectorV_tF"
+// call void @llvm.dbg.value(metadata {{.*}}, metadata !225, metadata !DIExpression(DW_OP_LLVM_fragment, 0, 64)), !dbg !220
+
+// CHECK: %[[ARG0_GEP:.*]] = getelementptr inbounds %T4main1TV13TangentVectorV, %T4main1TV13TangentVectorV* %0, i64 0, i32 0, i32 0, i32 0
+// CHECK: %[[ARG0:.*]] = load {{.*}} %[[ARG0_GEP]]
+// CHECK: call void @llvm.dbg.value(metadata {{.*}} %[[ARG0]], metadata ![[VAR1:[0-9]+]], metadata !DIExpression(DW_OP_LLVM_fragment, 0, 64)), !dbg ![[LOC1:[0-9]+]]
+// CHECK: %[[ARG1_GEP:.*]] = getelementptr inbounds %T4main1TV13TangentVectorV, %T4main1TV13TangentVectorV* %0, i64 0, i32 0, i32 0, i32 1, i32 0
+// CHECK: %[[ARG1:.*]] = load {{.*}} %[[ARG1_GEP]]
+// CHECK: call void @llvm.dbg.value(metadata {{.*}} %[[ARG1]], metadata ![[VAR1]], metadata !DIExpression(DW_OP_LLVM_fragment, 64, 8)), !dbg ![[LOC1]]
+//
+// CHECK: %[[ARG2_GEP:.*]] = getelementptr inbounds %T4main1TV13TangentVectorV, %T4main1TV13TangentVectorV* %0, i64 0, i32 2, i32 0, i32 0
+// CHECK: %[[ARG2:.*]] = load {{.*}} %[[ARG2_GEP]]
+// CHECK: call void @llvm.dbg.value(metadata {{.*}} %[[ARG2]], metadata ![[VAR1]], metadata !DIExpression(DW_OP_LLVM_fragment, 0, 64)), !dbg ![[LOC1]]
+// CHECK: %[[ARG3_GEP:.*]] = getelementptr inbounds %T4main1TV13TangentVectorV, %T4main1TV13TangentVectorV* %0, i64 0, i32 2, i32 0, i32 1, i32 0
+// CHECK: %[[ARG3:.*]] = load {{.*}} %[[ARG3_GEP]]
+// CHECK: call void @llvm.dbg.value(metadata {{.*}} %[[ARG3]], metadata ![[VAR1]], metadata !DIExpression(DW_OP_LLVM_fragment, 64, 8)), !dbg ![[LOC1]]
+
+// CHECK-DAG: ![[VAR1]] = !DILocalVariable(name: "offset", arg: 1, scope: ![[SCOPE:[0-9]+]]
+
+// CHECK-DAG: ![[LOC1]] = !DILocation(line: 0, scope: ![[SCOPE]], inlinedAt: ![[LOCINL1:[0-9]+]])
+// CHECK-DAG: ![[LOCINL1]] = !DILocation(line: 0, scope: ![[SUBPROG:[0-9]+]])
+// CHECK-DAG: ![[SUBPROG]] = distinct !DISubprogram(name: "move", linkageName: "$s4main1TV4move2byyAC13TangentVectorV_tF"
+
+#if M
+import _Differentiation
+
+public struct S<T> {
+  class C {}
+  let c: C
+  internal var b: Int8
+  init(_ initb: Int8) {
+    b = initb;
+    c = C();
+  }
+}
+
+extension S: AdditiveArithmetic {
+  public static var zero: S { let ret = S(0); return ret; }
+  public static func == (_ lhs: S, _ rhs: S) -> Bool { return lhs.b == rhs.b; }
+  public static func + (_ lhs: S, _ rhs: S) -> S { var ret = lhs; ret.b += rhs.b; return ret; }
+  public static func - (_ lhs: S, _ rhs: S) -> S { var ret = lhs; ret.b -= rhs.b; return ret; }
+}
+
+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