From: janis Date: Mon, 20 Aug 2001 17:40:26 +0000 (+0000) Subject: Test of gcov branch coverage reporting. X-Git-Tag: upstream/4.9.2~92508 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=7259b013d7251fcc59a075de94ca086cd293d194;p=platform%2Fupstream%2Flinaro-gcc.git Test of gcov branch coverage reporting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45058 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/testsuite/gcc.misc-tests/gcov-4b.c b/gcc/testsuite/gcc.misc-tests/gcov-4b.c new file mode 100644 index 0000000..6bc20e0 --- /dev/null +++ b/gcc/testsuite/gcc.misc-tests/gcov-4b.c @@ -0,0 +1,261 @@ +/* Check that execution counts for various C constructs are reported + correctly by gcov. */ + +/* { dg-options "-fprofile-arcs -ftest-coverage" } */ +/* { dg-do run { target native } } */ + +int do_something (int i) +{ + return i; +} + +/* Check for loops. */ + +int for_val1; +int for_val2; +int for_temp; + +int +test_for1 (int n) +{ + int i; + for_temp = 1; + for (i = 0; i < n; i++) /* branch(25) */ + /* branch(end) */ + for_temp++; + return for_temp; +} + +int +test_for2 (int m, int n, int o) +{ + int i, j, k; + for_temp = 1; + for (i = 0; i < n; i++) /* branch(30) */ + /* branch(end) */ + for (j = 0; j < m; j++) /* branch(32) */ + /* branch(end) */ + for (k = 0; k < o; k++) /* branch(27) */ + /* branch(end) */ + for_temp++; + return for_temp; +} + +int +call_for () +{ + for_val1 += test_for1 (0); + for_val1 += test_for1 (2); + for_val1 += test_for1 (7); + + for_val2 += test_for2 (0, 0, 0); + for_val2 += test_for2 (1, 0, 0); + for_val2 += test_for2 (1, 3, 0); + for_val2 += test_for2 (1, 3, 1); + for_val2 += test_for2 (3, 1, 5); + for_val2 += test_for2 (3, 7, 3); +} + +/* Check the use of goto. */ + +int goto_val; + +int +test_goto1 (int f) +{ + if (f) /* branch(50) */ + /* branch(end) */ + goto lab1; + return 1; +lab1: + return 2; +} + +int +test_goto2 (int f) +{ + int i; + for (i = 0; i < 10; i++) /* branch(7) */ + /* branch(end) */ + if (i == f) goto lab2; + return 4; +lab2: + return 8; +} + +void +call_goto () +{ + goto_val += test_goto1 (0); + goto_val += test_goto1 (1); + goto_val += test_goto2 (3); + goto_val += test_goto2 (30); +} + +/* Check nested if-then-else statements. */ + +int ifelse_val1; +int ifelse_val2; +int ifelse_val3; + +int +test_ifelse1 (int i, int j) +{ + int result = 0; + if (i) /* branch(40) */ + /* branch(end) */ + if (j) /* branch(0) */ + /* branch(end) */ + result = do_something (4); + else + result = do_something (1024); + else + if (j) /* branch(50) */ + /* branch(end) */ + result = do_something (1); + else + result = do_something (2); + if (i > j) /* branch(80) */ + /* branch(end) */ + result = do_something (result*2); + if (i > 10) /* branch(80) */ + /* branch(end) */ + if (j > 10) /* branch(100) */ + result = do_something (result*4); + return result; +} + +int +test_ifelse2 (int i) +{ + int result = 0; + if (!i) /* branch(83) */ + /* branch(end) */ + result = do_something (1); + if (i == 1) /* branch(100) */ + /* branch(end) */ + result = do_something (1024); + if (i == 2) /* branch(50) */ + /* branch(end) */ + result = do_something (2); + if (i == 3) /* branch(67) */ + /* branch(end) */ + return do_something (8); + if (i == 4) /* branch(100) */ + /* branch(end) */ + return do_something (2048); + return result; +} + +int +test_ifelse3 (int i, int j) +{ + int result = 1; + if (i > 10 && j > i && j < 20) /* branch(27 50 75) */ + /* branch(end) */ + result = do_something (16); + if (i > 20) /* branch(55) */ + /* branch(end) */ + if (j > i) /* branch(60) */ + /* branch(end) */ + if (j < 30) /* branch(50) */ + /* branch(end) */ + result = do_something (32); + if (i == 3 || j == 47 || i == j) /* branch(9 10 89) */ + /* branch(end) */ + result = do_something (64); + return result; +} + +void +call_ifelse () +{ + ifelse_val1 += test_ifelse1 (0, 2); + ifelse_val1 += test_ifelse1 (0, 0); + ifelse_val1 += test_ifelse1 (1, 2); + ifelse_val1 += test_ifelse1 (10, 2); + ifelse_val1 += test_ifelse1 (11, 11); + + ifelse_val2 += test_ifelse2 (0); + ifelse_val2 += test_ifelse2 (2); + ifelse_val2 += test_ifelse2 (2); + ifelse_val2 += test_ifelse2 (2); + ifelse_val2 += test_ifelse2 (3); + ifelse_val2 += test_ifelse2 (3); + + ifelse_val3 += test_ifelse3 (11, 19); + ifelse_val3 += test_ifelse3 (25, 27); + ifelse_val3 += test_ifelse3 (11, 22); + ifelse_val3 += test_ifelse3 (11, 10); + ifelse_val3 += test_ifelse3 (21, 32); + ifelse_val3 += test_ifelse3 (21, 20); + ifelse_val3 += test_ifelse3 (1, 2); + ifelse_val3 += test_ifelse3 (32, 31); + ifelse_val3 += test_ifelse3 (3, 0); + ifelse_val3 += test_ifelse3 (0, 47); + ifelse_val3 += test_ifelse3 (65, 65); +} + +/* Check switch statements. */ + +int switch_val, switch_m; + +int +test_switch (int i, int j) +{ + int result = 0; + + switch (i) /* branch(80 25) */ + /* branch(end) */ + { + case 1: + result = do_something (2); + break; + case 2: + result = do_something (1024); + break; + case 3: + case 4: + if (j == 2) /* branch(67) */ + /* branch(end) */ + return do_something (4); + result = do_something (8); + break; + default: + result = do_something (32); + switch_m++; + break; + } + return result; +} + +void +call_switch () +{ + switch_val += test_switch (1, 0); + switch_val += test_switch (3, 0); + switch_val += test_switch (3, 2); + switch_val += test_switch (4, 0); + switch_val += test_switch (16, 0); + switch_val += switch_m; +} + +int +main() +{ + call_for (); + call_goto (); + call_ifelse (); + call_switch (); + if ((for_val1 != 12) + || (for_val2 != 87) + || (goto_val != 15) + || (ifelse_val1 != 31) + || (ifelse_val2 != 23) + || (ifelse_val3 != 246) + || (switch_val != 55)) + abort (); + return 0; +} + +/* { dg-final { run-gcov -b gcov-4b.c } } */ diff --git a/gcc/testsuite/gcc.misc-tests/gcov-5b.c b/gcc/testsuite/gcc.misc-tests/gcov-5b.c new file mode 100644 index 0000000..ec59e56 --- /dev/null +++ b/gcc/testsuite/gcc.misc-tests/gcov-5b.c @@ -0,0 +1,34 @@ +/* Check that branch percentages are calculated in variables + that are large enough to hold the count. */ + +/* { dg-options "-fprofile-arcs -ftest-coverage" } */ +/* { dg-do run { target native } } */ + +#define LIMIT1 7000 +#define LIMIT2 7000 + +int count; + +void incr_count () +{ + count++; +} + +void doit (int i, int j) +{ + if (i > j) + incr_count (); +} + +int main () +{ + int i, j; + + for (i = 0; i < LIMIT1; i++) + for (j = 0; j < LIMIT2; j++) + doit (i, j); + + return 0; +} + +/* { dg-final { run-gcov -b gcov-5b.c } } */