[Coverage] Support for C++17 switch initializers
Differential Revision: https://reviews.llvm.org/D25539 llvm-svn: 284292
This commit is contained in:
parent
5fe0678bd8
commit
f2a6ec5521
|
@ -458,6 +458,8 @@ struct ComputeRegionCounts : public ConstStmtVisitor<ComputeRegionCounts> {
|
||||||
|
|
||||||
void VisitSwitchStmt(const SwitchStmt *S) {
|
void VisitSwitchStmt(const SwitchStmt *S) {
|
||||||
RecordStmtCount(S);
|
RecordStmtCount(S);
|
||||||
|
if (S->getInit())
|
||||||
|
Visit(S->getInit());
|
||||||
Visit(S->getCond());
|
Visit(S->getCond());
|
||||||
CurrentCount = 0;
|
CurrentCount = 0;
|
||||||
BreakContinueStack.push_back(BreakContinue());
|
BreakContinueStack.push_back(BreakContinue());
|
||||||
|
|
|
@ -813,6 +813,8 @@ struct CounterCoverageMappingBuilder
|
||||||
|
|
||||||
void VisitSwitchStmt(const SwitchStmt *S) {
|
void VisitSwitchStmt(const SwitchStmt *S) {
|
||||||
extendRegion(S);
|
extendRegion(S);
|
||||||
|
if (S->getInit())
|
||||||
|
Visit(S->getInit());
|
||||||
Visit(S->getCond());
|
Visit(S->getCond());
|
||||||
|
|
||||||
BreakContinueStack.push_back(BreakContinue());
|
BreakContinueStack.push_back(BreakContinue());
|
||||||
|
|
|
@ -1,4 +1,5 @@
|
||||||
// RUN: %clang_cc1 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name switch.c %s | FileCheck %s
|
// RUN: %clang_cc1 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -std=c++1z -triple %itanium_abi_triple -main-file-name switch.cpp %s | FileCheck %s
|
||||||
|
|
||||||
// CHECK: foo
|
// CHECK: foo
|
||||||
void foo(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+8]]:2 = #0
|
void foo(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+8]]:2 = #0
|
||||||
switch(i) {
|
switch(i) {
|
||||||
|
@ -10,7 +11,7 @@ void foo(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+8]]:2 = #0
|
||||||
int x = 0; // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:2 = #1
|
int x = 0; // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:2 = #1
|
||||||
}
|
}
|
||||||
|
|
||||||
void nop() {}
|
int nop() { return 0; }
|
||||||
|
|
||||||
// CHECK: bar
|
// CHECK: bar
|
||||||
void bar(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+20]]:2 = #0
|
void bar(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+20]]:2 = #0
|
||||||
|
@ -35,8 +36,16 @@ void bar(int i) { // CHECK-NEXT: File 0, [[@LINE]]:17 -> [[@LINE+20]]:2 = #0
|
||||||
nop(); // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:2 = #6
|
nop(); // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:2 = #6
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// CHECK: baz
|
||||||
|
void baz() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+5]]:2 = #0
|
||||||
|
switch (int i = true ? nop() // CHECK-NEXT: [[@LINE]]:26 -> [[@LINE]]:31 = #2
|
||||||
|
: nop(); // CHECK-NEXT: [[@LINE]]:26 -> [[@LINE]]:31 = (#0 - #2)
|
||||||
|
i) {}
|
||||||
|
nop(); // CHECK-NEXT: [[@LINE]]:3 -> [[@LINE+1]]:2 = #1
|
||||||
|
}
|
||||||
|
|
||||||
// CHECK-NEXT: main
|
// CHECK-NEXT: main
|
||||||
int main() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+34]]:2 = #0
|
int main() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+35]]:2 = #0
|
||||||
int i = 0;
|
int i = 0;
|
||||||
switch(i) {
|
switch(i) {
|
||||||
case 0: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+7]]:10 = #2
|
case 0: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+7]]:10 = #2
|
||||||
|
@ -48,7 +57,7 @@ int main() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+34]]:2 = #0
|
||||||
default: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:10 = #4
|
default: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+1]]:10 = #4
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
switch(i) { // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+22]]:2 = #1
|
switch(i) { // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+23]]:2 = #1
|
||||||
case 0: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+6]]:10 = #6
|
case 0: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+6]]:10 = #6
|
||||||
i = 1;
|
i = 1;
|
||||||
break;
|
break;
|
||||||
|
@ -58,7 +67,7 @@ int main() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+34]]:2 = #0
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
switch(i) { // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+12]]:2 = #5
|
switch(i) { // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+13]]:2 = #5
|
||||||
case 1: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+5]]:11 = #10
|
case 1: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+5]]:11 = #10
|
||||||
case 2: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+4]]:11 = (#10 + #11)
|
case 2: // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+4]]:11 = (#10 + #11)
|
||||||
i = 11;
|
i = 11;
|
||||||
|
@ -67,7 +76,8 @@ int main() { // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE+34]]:2 = #0
|
||||||
i = 99;
|
i = 99;
|
||||||
}
|
}
|
||||||
|
|
||||||
foo(1); // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+2]]:11 = #9
|
foo(1); // CHECK-NEXT: File 0, [[@LINE]]:3 -> [[@LINE+3]]:11 = #9
|
||||||
bar(1);
|
bar(1);
|
||||||
|
baz();
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
|
@ -0,0 +1,17 @@
|
||||||
|
// Tests for instrumentation of C++17 statement initializers
|
||||||
|
|
||||||
|
// RUN: %clang_cc1 -x c++ %s -triple %itanium_abi_triple -main-file-name cxx-stmt-initializers.cpp -std=c++1z -o - -emit-llvm -fprofile-instrument=clang > %tgen
|
||||||
|
// RUN: FileCheck --input-file=%tgen -check-prefix=CHECK -check-prefix=PGOGEN %s
|
||||||
|
|
||||||
|
// PGOGEN: @[[SIC:__profc__Z11switch_initv]] = private global [3 x i64] zeroinitializer
|
||||||
|
|
||||||
|
// Note: We expect counters for the function entry block, the condition in the
|
||||||
|
// switch initializer, and the switch successor block.
|
||||||
|
//
|
||||||
|
// CHECK-LABEL: define {{.*}}void @_Z11switch_initv()
|
||||||
|
// PGOGEN: store {{.*}} @[[SIC]], i64 0, i64 0
|
||||||
|
void switch_init() {
|
||||||
|
switch (int i = true ? 0 : 1; i) {}
|
||||||
|
// PGOGEN: store {{.*}} @[[SIC]], i64 0, i64 2
|
||||||
|
// PGOGEN: store {{.*}} @[[SIC]], i64 0, i64 1
|
||||||
|
}
|
Loading…
Reference in New Issue