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

// CHECK-LABEL: sil_coverage_map {{.*}}// coverage_label.foo
func foo() { // CHECK-DAG: [[@LINE]]:12 -> [[@LINE+19]]:2 : 0
  var x : Int32 = 0

  label1: do { // CHECK-DAG: [[@LINE]]:14 -> [[@LINE+4]]:4 : 0
    x += 1
    break label1
    x += 2     // CHECK-DAG: [[@LINE]]:5 -> [[@LINE+1]]:4 : zero
  }

  label2: do { // CHECK-DAG: [[@LINE]]:14 -> [[@LINE+7]]:4 : 0
    x += 3         // CHECK-DAG: [[@LINE+1]]:11 -> [[@LINE+1]]:17 : 0
    while (true) { // CHECK-DAG: [[@LINE]]:18 -> [[@LINE+3]]:6 : 1
      x += 4
      break label2 // Note: This exit affects the condition counter expr @ L15.
    }              // CHECK-DAG: [[@LINE]]:6 -> [[@LINE+2]]:4 : (0 - 1)
    x += 5
  }

  x += 6
}

foo()