averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

InstrProf: Optionally generate coverage maps when profiling

Browse Source 
This adds the -profile-coverage-mapping option to swift, and teaches
SILGenProfiling to generate mappings from source ranges to counters.

Swift SVN r25266
This commit is contained in:
Justin Bogner
2015-02-13 08:42:15 +00:00
parent 186f03346a
commit d44090d29e
13 changed files with 614 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
test/SILGen/coverage_switch.swift Normal file
View File

@@ -0,0 +1,47 @@
// RUN: %target-swift-frontend -profile-generate -profile-coverage-mapping -emit-sorted-sil -emit-sil -module-name coverage_switch %s | FileCheck %s
// CHECK-LABEL: sil_coverage_map {{.*}}// coverage_switch.f1
func f1(x : Int32) {
switch (x) {
case 1: // CHECK: [[@LINE]]:3 -> [[@LINE+1]]:10 : 2
break
case 2: // CHECK: [[@LINE]]:3 -> [[@LINE+1]]:16 : 3
fallthrough
default: // CHECK: [[@LINE]]:3 -> [[@LINE+1]]:14 : (3 + 4)
f1(x - 1)
} // CHECK: [[@LINE]]:4 -> [[@LINE+3]]:2 : 1
var y = x
}
enum Algebraic {
case Type1(Int32, Int32)
case Type2(Bool)
case Type3
case Type4(Bool)
}
func nop() {}
// CHECK-LABEL: sil_coverage_map {{.*}}// coverage_switch.f2
func f2(x : Algebraic) -> Int32 {
switch(x) {
case let .Type1(y, z): // CHECK: [[@LINE]]:3 -> [[@LINE+1]]:10 : 2
nop()
case .Type2(let b): // CHECK: [[@LINE]]:3 -> [[@LINE+2]]:16 : 3
nop()
fallthrough
case .Type3: // CHECK: [[@LINE]]:3 -> [[@LINE+3]]:6 : (3 + 4)
if (false) { // CHECK: [[@LINE]]:16 -> [[@LINE+2]]:6 : 5
fallthrough
}
case .Type4: // CHECK: [[@LINE]]:3 -> [[@LINE+1]]:10 : (5 + 6)
break
} // CHECK: [[@LINE]]:4 -> [[@LINE+1]]:11 : 1
return 0
}
f1(3)
f2(Algebraic.Type1(1, 1))
f2(Algebraic.Type2(false))
f2(Algebraic.Type3)