| Current view: | top level - metalib_isl - isl_map_subtract.c (source / functions) | Hit | Total | Coverage | ||
| Test: | 2018-11-01_10-31_merged3.lcov | Lines: | 319 | 483 | 66.0 % | |
| Date: | 2018-11-01 12:23:03 | Functions: | 23 | 31 | 74.2 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
| Function Name |
Hit count  |
| basic_map_collect_diff | 43531990 |
| basic_map_diff_is_empty | 17931445 |
| basic_map_is_empty_add | 0 |
| basic_map_subtract | 25600545 |
| basic_map_subtract_add | 88529006 |
| expand_constraint | 20718582330 |
| isl_basic_map_plain_is_singleton | 36668 |
| isl_map_complement | 5771733 |
| isl_map_is_subset | 462740 |
| isl_map_make_disjoint | 0 |
| isl_map_plain_is_singleton | 453520 |
| isl_map_subtract | 8762859 |
| isl_map_subtract_domain | 0 |
| isl_map_subtract_range | 0 |
| isl_set_complement | 5771733 |
| isl_set_is_subset | 0 |
| isl_set_make_disjoint | 0 |
| isl_set_subtract | 2991126 |
| map_diff_is_empty | 453476 |
| map_is_singleton_subset | 44 |
| map_is_subset | 462740 |
| map_subtract | 8762859 |
| map_subtract_domain | 0 |
| map_subtract_range | 0 |
| n_non_redundant | 157157940 |
| replace_pair_by_empty | 1439085 |
| singleton_extract_point | 44 |
| tab_add_constraint | 309139112 |
| tab_add_constraints | 6970386802 |
| tab_add_divs | 6970386802 |
| tab_freeze_constraints | 6970386802 |
|
| Generated by: LCOV version 1.12 |