blob: 2e7e773e5c3941d1e260d5b1943a5b3b3c595079 [file] [log] [blame]
// Test visualization of general branch constructs in C.
void simple_loops() {
int i;
for (i = 0; i < 100; ++i) {
}
while (i > 0)
i--;
do {} while (i++ < 75);
}
void conditionals() {
for (int i = 0; i < 100; ++i) {
if (i % 2) {
if (i) {}
} else if (i % 3) {
if (i) {}
} else {
if (i) {}
}
if (1 && i) {}
if (0 || i) {}
}
}
void early_exits() {
int i = 0;
if (i) {}
while (i < 100) {
i++;
if (i > 50)
break;
if (i % 2)
continue;
}
if (i) {}
do {
if (i > 75)
return;
else
i++;
} while (i < 100);
if (i) {}
}
void jumps() {
int i;
for (i = 0; i < 2; ++i) {
goto outofloop;
// Never reached -> no weights
if (i) {}
}
outofloop:
if (i) {}
goto loop1;
while (i) {
loop1:
if (i) {}
}
goto loop2;
first:
second:
third:
i++;
if (i < 3)
goto loop2;
while (i < 3) {
loop2:
switch (i) {
case 0:
goto first;
case 1:
goto second;
case 2:
goto third;
}
}
for (i = 0; i < 10; ++i) {
goto withinloop;
// never reached -> no weights
if (i) {}
withinloop:
if (i) {}
}
}
void switches() {
static int weights[] = {1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5};
// No cases -> no weights
switch (weights[0]) {
default:
break;
}
for (int i = 0, len = sizeof(weights) / sizeof(weights[0]); i < len; ++i) {
switch (i[weights]) {
case 1:
if (i) {}
// fallthrough
case 2:
if (i) {}
break;
case 3:
if (i) {}
continue;
case 4:
if (i) {}
switch (i) {
case 6 ... 9:
if (i) {}
continue;
}
default:
if (i == len - 1)
return;
}
}
// Never reached -> no weights
if (weights[0]) {}
}
void big_switch() {
for (int i = 0; i < 32; ++i) {
switch (1 << i) {
case (1 << 0):
if (i) {}
// fallthrough
case (1 << 1):
if (i) {}
break;
case (1 << 2) ... (1 << 12):
if (i) {}
break;
// The branch for the large case range above appears after the case body.
case (1 << 13):
if (i) {}
break;
case (1 << 14) ... (1 << 28):
if (i) {}
break;
// The branch for the large case range above appears after the case body.
case (1 << 29) ... ((1 << 29) + 1):
if (i) {}
break;
default:
if (i) {}
break;
}
}
}
void boolean_operators() {
int v;
for (int i = 0; i < 100; ++i) {
v = i % 3 || i;
v = i % 3 && i;
v = i % 3 || i % 2 || i;
v = i % 2 && i % 3 && i;
}
}
void boolop_loops() {
int i = 100;
while (i && i > 50)
i--;
while ((i % 2) || (i > 0))
i--;
for (i = 100; i && i > 50; --i);
for (; (i % 2) || (i > 0); --i);
}
void conditional_operator() {
int i = 100;
int j = i < 50 ? i : 1;
int k = i ?: 0;
}
void do_fallthrough() {
for (int i = 0; i < 10; ++i) {
int j = 0;
do {
// The number of exits out of this do-loop via the break statement
// exceeds the counter value for the loop (which does not include the
// fallthrough count). Make sure that does not violate any assertions.
if (i < 8) break;
j++;
} while (j < 2);
}
}
static void static_func() {
for (int i = 0; i < 10; ++i) {
}
}
int main(int argc, const char *argv[]) {
simple_loops();
conditionals();
early_exits();
jumps();
switches();
big_switch();
boolean_operators();
boolop_loops();
conditional_operator();
do_fallthrough();
static_func();
extern void __llvm_profile_write_file();
__llvm_profile_write_file();
return 0;
}