// RUN: %target-swift-frontend -Xllvm -sil-full-demangle -profile-generate -profile-coverage-mapping -emit-sil -module-name coverage_toplevel %s | %FileCheck %s

// CHECK: sil_coverage_map{{.*}}__tlcd_line:[[@LINE+2]]:1
// CHECK:  [[@LINE+1]]:1 -> [[@LINE+1]]:11
print("a")

// CHECK: sil_coverage_map{{.*}}// coverage_toplevel.f1
func f1() {}

var i : Int32 = 0

// CHECK: sil_coverage_map{{.*}}__tlcd_line:[[@LINE+2]]:1
// CHECK:  [[@LINE+1]]:7 -> [[@LINE+1]]:15 : (0 + 1)
while (i < 10) {
  i += 1
}