| # Tests for compatibility between llvm-cov and gcov. These work by |
| # comparing llvm-cov against reference outputs generated by gcov 4.2. |
| |
| # Test fails on Windows where internal shell is used due to path separator |
| # mismatches. |
| REQUIRES: shell |
| |
| RUN: rm -rf %t |
| RUN: mkdir %t |
| RUN: cd %t |
| RUN: cp %p/Inputs/test* . |
| |
| # Basic behaviour with no flags |
| RUN: llvm-cov gcov test.c 2> %t.err | FileCheck %s --check-prefixes=OUT,OUTFILE --match-full-lines --strict-whitespace |
| RUN: FileCheck %s --check-prefix=C --match-full-lines --strict-whitespace < test.cpp.gcov |
| RUN: diff -ub test_no_options.h.gcov test.h.gcov |
| RUN: count 0 < %t.err |
| |
| # Same, but specifying the object directory |
| RUN: mkdir -p %t/objdir |
| RUN: cp test.gcno test.gcda %t/objdir |
| RUN: llvm-cov gcov -o objdir test.c | FileCheck %s --check-prefixes=OUT,OUTFILE |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefix=OBJDIR |
| OBJDIR: 0:Graph:objdir/test.gcno |
| OBJDIR-NEXT: 0:Data:objdir/test.gcda |
| |
| # Specifying an object file |
| RUN: llvm-cov gcov -o objdir/test.o test.c |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefix=OBJDIR |
| |
| # Specifying an object file that could be ambiguous with a directory |
| RUN: llvm-cov gcov -o objdir/test test.c |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefix=OBJDIR |
| |
| # With gcov output disabled |
| RUN: llvm-cov gcov -n test.c | FileCheck %s --check-prefix=OUT |
| |
| # Print to stdout. |
| RUN: llvm-cov gcov -t test.c > stdout |
| RUN: llvm-cov gcov --stdout test.c | cmp stdout - |
| RUN: cat test_no_options.cpp.gcov test_no_options.h.gcov | diff -u - stdout |
| RUN: llvm-cov gcov -n -t test.c | count 0 |
| |
| RUN: llvm-cov gcov test_paths.cpp 2>/dev/null | FileCheck %s --check-prefix=MISSING |
| RUN: ls a.c.gcov |
| MISSING: File 'src/./n/../a.c' |
| MISSING: Creating 'a.c.gcov' |
| |
| # Preserve paths. This mangles the output filenames. |
| RUN: llvm-cov gcov -p test_paths.cpp 2>/dev/null | FileCheck %s --check-prefix=PRESERVE |
| RUN: ls src#n#^#a.c.gcov |
| PRESERVE: File 'src/./n/../a.c' |
| PRESERVE: Creating 'src#n#^#a.c.gcov' |
| |
| # Long file names. |
| RUN: llvm-cov gcov -l test_paths.cpp |
| RUN: ls test_paths.cpp##a.c.gcov |
| |
| # Long file names and preserve paths. |
| RUN: mkdir -p src && llvm-cov gcov -lp -gcno test_paths.gcno -gcda test_paths.gcda src/../test_paths.cpp |
| RUN: ls src#^#test_paths.cpp##src#n#^#a.c.gcov |
| |
| # Hash pathnames. |
| RUN: llvm-cov gcov -x -gcno test_paths.gcno -gcda test_paths.gcda src/../test_paths.cpp |
| RUN: ls a.c##4784150e272908907eaa7380ca3eced8.gcov |
| |
| # Function summaries. This changes stdout, but not the gcov files. |
| RUN: llvm-cov gcov test.c -f | FileCheck %s --check-prefixes=OUT,OUTFILE,OUT-F |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefix=C |
| RUN: FileCheck --input-file=test.h.gcov %s --check-prefix=H |
| |
| # All blocks. This doesn't affect stdout, only the gcov files. |
| RUN: llvm-cov gcov test.c -a | FileCheck %s --check-prefixes=OUT,OUTFILE |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefixes=C,C-A |
| RUN: FileCheck --input-file=test.h.gcov %s --check-prefixes=H,H-A |
| |
| # Branch probabilities. |
| RUN: llvm-cov gcov test.c -a -b | FileCheck %s --check-prefixes=OUT,OUTFILE,OUT-B |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefixes=C,C-A,C-B |
| RUN: FileCheck --input-file=test.h.gcov %s --check-prefixes=H,H-A,H-B |
| |
| # Function summaries including branch probabilities. |
| RUN: llvm-cov gcov test.c -a -b -f | FileCheck %s --check-prefixes=OUT,OUTFILE,OUT-F,OUT-B,OUT-FB --match-full-lines --strict-whitespace |
| RUN: FileCheck %s --check-prefixes=C,C-A,C-B --match-full-lines --strict-whitespace < test.cpp.gcov |
| RUN: FileCheck %s --check-prefixes=H,H-A,H-B --match-full-lines --strict-whitespace < test.h.gcov |
| |
| OUT-F:Function '_ZN1A1BEv' |
| OUT-F-NEXT:Lines executed:100.00% of 1 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z7uselessv' |
| OUT-F-NEXT:Lines executed:0.00% of 1 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z12more_uselessv' |
| OUT-F-NEXT:Lines executed:0.00% of 2 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z3foov' |
| OUT-F-NEXT:Lines executed:100.00% of 3 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z3barv' |
| OUT-F-NEXT:Lines executed:0.00% of 3 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z6assignii' |
| OUT-F-NEXT:Lines executed:100.00% of 3 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_Z15initialize_gridv' |
| OUT-F-NEXT:Lines executed:100.00% of 5 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function 'main' |
| OUT-F-NEXT:Lines executed:92.00% of 25 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT-F-NEXT:Function '_ZN1AC2Ev' |
| OUT-F-NEXT:Lines executed:100.00% of 1 |
| OUT-FB-NEXT:No branches |
| OUT-FB-NEXT:No calls |
| OUT-F-EMPTY: |
| OUT:File 'test.cpp' |
| OUT-NEXT:Lines executed:81.40% of 43 |
| OUT-B-NEXT:Branches executed:100.00% of 15 |
| OUT-B-NEXT:Taken at least once:86.67% of 15 |
| OUT-B-NEXT:No calls |
| OUTFILE-NEXT:Creating 'test.cpp.gcov' |
| OUT-EMPTY: |
| OUT-NEXT:File './test.h' |
| OUT-NEXT:Lines executed:100.00% of 1 |
| OUT-B-NEXT:No branches |
| OUT-B-NEXT:No calls |
| OUTFILE-NEXT:Creating 'test.h.gcov' |
| |
| # Summarize unconditional branches too. |
| RUN: llvm-cov gcov test.c -a -b -u | FileCheck %s --check-prefixes=OUT,OUTFILE,OUT-B |
| RUN: FileCheck --input-file=test.cpp.gcov %s --check-prefixes=C,C-A,C-B,C-U |
| RUN: FileCheck --input-file=test.h.gcov %s --check-prefixes=H,H-A,H-B,H-U |
| |
| # Absolute counts for branches. |
| RUN: llvm-cov gcov test.c -a -b -c -u |
| RUN: FileCheck --input-file=test.h.gcov %s --check-prefix=H-C |
| H-C: unconditional 0 taken 1 |
| |
| # Missing gcda file just gives 0 counts. |
| RUN: llvm-cov gcov test.c -gcda=no_such_gcda_file | FileCheck %s --check-prefix=NO-GCDA |
| RUN: diff -ub test_no_gcda.cpp.gcov test.cpp.gcov |
| RUN: diff -ub test_no_gcda.h.gcov test.h.gcov |
| NO-GCDA: File 'test.cpp' |
| NO-GCDA-NEXT: Lines executed:0.00% of 43 |
| NO-GCDA-NEXT: Creating 'test.cpp.gcov' |
| NO-GCDA-EMPTY: |
| NO-GCDA-NEXT: File './test.h' |
| NO-GCDA-NEXT: Lines executed:0.00% of 1 |
| NO-GCDA-NEXT: Creating 'test.h.gcov' |
| |
| # Invalid gcno file. |
| RUN: llvm-cov gcov test.c -gcno=test_read_fail.gcno |
| |
| # Not a .gcda file. Error but keep the .gcov output. |
| RUN: echo invalid > not.gcda |
| RUN: llvm-cov gcov test.c -gcda=not.gcda 2> %t.err | FileCheck %s --check-prefix=NO-GCDA |
| RUN: FileCheck %s --check-prefix=NOT-GCDA < %t.err |
| NOT-GCDA: not.gcda:not a gcov data file |
| |
| # Bad file checksum on gcda. |
| RUN: llvm-cov gcov test.c -gcda=test_file_checksum_fail.gcda 2> %t.err | FileCheck %s --check-prefix=NO-GCDA |
| |
| # Bad function checksum on gcda |
| RUN: llvm-cov gcov test.c -gcda=test_func_checksum_fail.gcda 2> %t.err | FileCheck %s --check-prefix=NO-GCDA |
| |
| # Has arcs from exit blocks |
| RUN-DISABLED: llvm-cov gcov test_exit_block_arcs.c 2>&1 | FileCheck %s -check-prefix=EXIT_BLOCK_ARCS |
| EXIT_BLOCK_ARCS: (main) has arcs from exit block. |
| |
| |
| C: -: 0:Source:test.cpp |
| C-NEXT: -: 0:Graph:test.gcno |
| C-NEXT: -: 0:Data:test.gcda |
| C-NEXT: -: 0:Runs:1 |
| C-NEXT: -: 0:Programs:1 |
| C-NEXT: -: 1:#include "test.h" |
| C-NEXT: -: 2:#include <cstdlib> |
| C-NEXT: -: 3: |
| C-NEXT: -: 4:bool on = false; |
| C-NEXT: -: 5:int len = 42; |
| C-NEXT: -: 6:double grid[10][10] = {0}; |
| C-NEXT: -: 7:const char * hello = "world"; |
| C-NEXT: -: 8:const char * world = "hello"; |
| C-NEXT: -: 9: |
| C-B:function _ZN1A1BEv called 4294967296 returned 100% blocks executed 100% |
| C-NEXT:4294967296: 10:void A::B() {} |
| C-A:4294967296: 10-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A:4294967296: 10-block 1 |
| C-U:unconditional 1 taken 100% |
| C-NEXT: -: 11: |
| C-B:function _Z7uselessv called 0 returned 0% blocks executed 0% |
| C-NEXT: #####: 12:void useless() {} |
| C-A: $$$$$: 12-block 0 |
| C-U:unconditional 0 never executed |
| C-A: $$$$$: 12-block 1 |
| C-U:unconditional 1 never executed |
| C-NEXT: -: 13: |
| C-B:function _Z12more_uselessv called 0 returned 0% blocks executed 0% |
| C-NEXT: #####: 14:double more_useless() { |
| C-NEXT: #####: 15: return 0; |
| C-A: $$$$$: 15-block 0 |
| C-U:unconditional 0 never executed |
| C-A: $$$$$: 15-block 1 |
| C-U:unconditional 1 never executed |
| C-NEXT: -: 16:} |
| C-NEXT: -: 17: |
| C-B:function _Z3foov called 1 returned 100% blocks executed 100% |
| C-NEXT: 1: 18:int foo() { |
| C-NEXT: 1: 19: on = true; |
| C-A: 1: 19-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: 1: 20: return 3; |
| C-A: 1: 20-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 21:} |
| C-NEXT: -: 22: |
| C-B:function _Z3barv called 0 returned 0% blocks executed 0% |
| C-NEXT: #####: 23:int bar() { |
| C-NEXT: #####: 24: len--; |
| C-A: $$$$$: 24-block 0 |
| C-U:unconditional 0 never executed |
| C-NEXT: #####: 25: return foo() + 45; |
| C-A: $$$$$: 25-block 0 |
| C-U:unconditional 0 never executed |
| C-NEXT: -: 26:} |
| C-NEXT: -: 27: |
| C-B:function _Z6assignii called 4 returned 100% blocks executed 100% |
| C-NEXT: 4: 28:void assign(int ii, int jj) { |
| C-A: 4: 28-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: 4: 29: grid[ii][jj] = (ii+1) * (jj+1); |
| C-NEXT: 4: 30:} |
| C-A: 4: 30-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 31: |
| C-B:function _Z15initialize_gridv called 1 returned 100% blocks executed 100% |
| C-NEXT: 1: 32:void initialize_grid() { |
| C-NEXT: 3: 33: for (int ii = 0; ii < 2; ii++) |
| C-A: 1: 33-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A: 1: 33-block 1 |
| C-U:unconditional 1 taken 100% |
| C-A: 3: 33-block 2 |
| C-B:branch {{[02]}} taken 67% |
| C-B:branch {{[13]}} taken 33% |
| C-A: 2: 33-block 3 |
| C-U:unconditional 4 taken 100% |
| C-NEXT: 6: 34: for (int jj = 0; jj < 2; jj++) |
| C-A: 2: 34-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A: 6: 34-block 1 |
| C-B:branch {{[01]}} taken 67% |
| C-B:branch {{[12]}} taken 33% |
| C-A: 4: 34-block 2 |
| C-U:unconditional 3 taken 100% |
| C-NEXT: 6: 35: assign(ii, jj); |
| C-A: 4: 35-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A: 2: 35-block 1 |
| C-U:unconditional 1 taken 100% |
| C-NEXT: 1: 36:} |
| C-A: 1: 36-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 37: |
| C-B:function main called 1 returned 100% blocks executed 94% |
| C-NEXT: 1: 38:int main() { |
| C-A: 1: 38-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: 1: 39: initialize_grid(); |
| C-NEXT: -: 40: |
| C-NEXT: 1: 41: int a = 2; |
| C-NEXT: 1: 42: on = rand() % 2; |
| C-NEXT: 1: 43: if (on) { |
| C-A: 1: 43-block 0 |
| C-B:branch 0 taken 100% |
| C-B:branch 1 taken 0% |
| C-NEXT: 1: 44: foo(); |
| C-NEXT: 1: 45: ++a; |
| C-NEXT: 1: 46: } else { |
| C-A: 1: 46-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: #####: 47: bar(); |
| C-NEXT: #####: 48: a += rand(); |
| C-A: $$$$$: 48-block 0 |
| C-U:unconditional 0 never executed |
| C-NEXT: -: 49: } |
| C-NEXT: -: 50: |
| C-NEXT: 11: 51: for (int ii = 0; ii < 10; ++ii) { |
| C-A: 1: 51-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A: 11: 51-block 1 |
| C-B:branch {{[01]}} taken 91% |
| C-B:branch {{[12]}} taken 9% |
| C-A: 10: 51-block 2 |
| C-U:unconditional 3 taken 100% |
| C-NEXT: 10: 52: switch (rand() % 5) { |
| C-A: 10: 52-block 0 |
| C-B:branch 0 taken 10% |
| C-B:branch 1 taken 20% |
| C-B:branch 2 taken 0% |
| C-B:branch 3 taken 40% |
| C-B:branch 4 taken 30% |
| C-NEXT: -: 53: case 0: |
| C-NEXT: 2: 54: a += rand(); |
| C-NEXT: 2: 55: break; |
| C-A: 2: 55-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 56: case 1: |
| C-NEXT: -: 57: case 2: |
| C-NEXT: 4: 58: a += rand() / rand(); |
| C-NEXT: 4: 59: break; |
| C-A: 4: 59-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 60: case 3: |
| C-NEXT: 3: 61: a -= rand(); |
| C-NEXT: 3: 62: break; |
| C-A: 3: 62-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 63: default: |
| C-NEXT: 1: 64: a = -1; |
| C-NEXT: 1: 65: } |
| C-A: 1: 65-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: 10: 66: } |
| C-A: 10: 66-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 67: |
| C-NEXT: 1: 68: A thing; |
| C-NEXT:4294967297: 69: for (uint64_t ii = 0; ii < 4294967296; ++ii) |
| C-A: 1: 69-block 0 |
| C-U:unconditional 0 taken 100% |
| C-A:4294967297: 69-block 1 |
| C-B:branch {{[01]}} taken 99% |
| C-B:branch {{[12]}} taken 1% |
| C-A:4294967296: 69-block 2 |
| C-U:unconditional 3 taken 100% |
| C-NEXT:4294967296: 70: thing.B(); |
| C-A:4294967296: 70-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 71: |
| C-NEXT: 1: 72: return a + 8 + grid[2][3] + len; |
| C-A: 1: 72-block 0 |
| C-U:unconditional 0 taken 100% |
| C-NEXT: -: 73: return more_useless(); |
| C-NEXT: -: 74:} |
| |
| H: -: 0:Source:./test.h |
| H-NEXT: -: 0:Graph:test.gcno |
| H-NEXT: -: 0:Data:test.gcda |
| H-NEXT: -: 0:Runs:1 |
| H-NEXT: -: 0:Programs:1 |
| H-NEXT: -: 1:#include <stdint.h> |
| H-B:function _ZN1AC2Ev called 1 returned 100% blocks executed 100% |
| H-NEXT: 1: 2:struct A { |
| H-A: 1: 2-block 0 |
| H-U:unconditional 0 taken 100% |
| H-NEXT: -: 3: virtual void B(); |
| H-NEXT: -: 4:}; |
