1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
// Test to ensure RHS condition of logical operators isn't evaluated more than
// one time when instrumenting RHS counter blocks for branch coverage.
// RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++11 -main-file-name branch-profdup.cpp %s -o - -emit-llvm -fprofile-instrument=clang | FileCheck -allow-deprecated-dag-overlap %s
// CHECK-LABEL: define {{.*}}@_Z5test1b
// CHECK-COUNT-1: = call {{.*}}@_Z5fval1v()
// CHECK-NOT: = call {{.*}}@_Z5fval1v()
extern bool fval1();
bool test1(bool a) {
return (a && fval1());
}
// CHECK-LABEL: define {{.*}}@_Z5test2b
// CHECK-COUNT-1: call {{.*}}_Z5fval2v()
// CHECK-NOT: call {{.*}}_Z5fval2v()
extern bool fval2();
bool test2(bool a) {
return (a || fval2());
}
// CHECK-LABEL: define {{.*}}@_Z5test3v
// CHECK-COUNT-1: call {{.*}}_Z5fval3v()
// CHECK-NOT: call {{.*}}_Z5fval3v()
extern bool fval3();
bool test3() {
return (1 && fval3());
}
// CHECK-LABEL: define {{.*}}@_Z5test4v
// CHECK-COUNT-1: call {{.*}}_Z5fval4v()
// CHECK-NOT: call {{.*}}_Z5fval4v()
extern bool fval4();
bool test4() {
return (0 || fval4());
}
// CHECK-LABEL: define {{.*}}@_Z5test5b
// CHECK-COUNT-1: call {{.*}}_Z5fval5v()
// CHECK-NOT: call {{.*}}_Z5fval5v()
extern bool fval5();
bool test5(bool a) {
if (a && fval5())
return true;
return false;
}
// CHECK-LABEL: define {{.*}}@_Z5test6b
// CHECK-COUNT-1: call {{.*}}_Z5fval6v()
// CHECK-NOT: call {{.*}}_Z5fval6v()
extern bool fval6();
bool test6(bool a) {
if (a || fval6())
return true;
return false;
}
// CHECK-LABEL: define {{.*}}@_Z5test7v
// CHECK-COUNT-1: call {{.*}}_Z5fval7v()
// CHECK-NOT: call {{.*}}_Z5fval7v()
extern bool fval7();
bool test7() {
if (1 && fval7())
return true;
return false;
}
// CHECK-LABEL: define {{.*}}@_Z5test8v
// CHECK-COUNT-1: call {{.*}}_Z5fval8v()
// CHECK-NOT: call {{.*}}_Z5fval8v()
extern bool fval8();
bool test8() {
if (0 || fval8())
return true;
return false;
}
|
