LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: project_test.lcov Lines: 1635 2221 73.6 % Date: 2018-11-06 13:10:25 Functions: 119 135 88.1 %

Function Name	Hit count
check_table	0
con_drop_entries	0
drop_eq	0
gauss_if_shared	0
isl_tab_allocate_var	0
isl_tab_cone_is_bounded	0
isl_tab_dump	0
isl_tab_print_internal	0
isl_tab_push_basis	0
isl_tab_shift_var	0
isl_tab_sign_of_max	0
isl_tab_swap_constraints	0
restore_basis	0
rotate_constraints	0
swap_eq	0
update_con_after_move	0
unrelax	38
isl_tab_relax	65
sign_of_min	535
isl_tab_is_constant	744
ununrestrict	847
isl_tab_detect_constants	848
isl_tab_unrestrict	848
isl_tab_clear_undo	1146
isl_tab_need_undo	1146
isl_tab_mark_rational	1234
isl_tab_product	1242
tab_mat_product	1242
isl_tab_select_facet	1315
isl_tab_make_equalities_explicit	1580
add_zero_row	5994
detect_constant_with_tmp	6347
get_constant	6369
is_constant	6369
isl_tab_add_eq	6443
var_reaches	8497
isl_tab_init_samples	10693
reached	11677
isl_tab_from_recession_cone	30253
isl_tab_track_bset	30253
update_index1	30680
update_index2	30680
cut_to_hyperplane	32071
drop_last_con_in_row	32071
separation_type	41132
isl_tab_add_valid_eq	46127
to_col	49984
row_is_manifestly_zero	52570
at_least_zero	64231
isl_basic_set_update_from_tab	89647
add_eq	130535
drop_samples_since	136010
isl_tab_dup	136010
isl_tab_push_callback	136010
isl_tab_save_samples	146703
isl_tab_min	154411
get_rounded_sample_value	156112
isl_tab_ineq_type	183111
isl_tab_add_sample	213522
isl_tab_peek_bset	302001
isl_tab_restore_redundant	366304
isl_tab_drop_sample	385819
isl_tab_add_div	432152
add_div_constraints	463343
div_is_nonneg	463343
ineq_for_div	463343
isl_tab_insert_div	463343
drop_bmap_div	466343
drop_col	467087
var_drop_entry	467087
isl_tab_extend_vars	498930
isl_tab_insert_var	498930
var_insert_entry	498930
isl_tab_detect_redundant	544802
isl_tab_get_sample_value	645790
row_is_big	1676974
con_is_redundant	1689588
row_at_most_neg_one	1716599
isl_tab_min_at_most_neg_one	2285077
isl_tab_track_bmap	3008625
extract_integer_sample	3379675
isl_tab_from_basic_set	3421899
isl_tab_sample_is_integer	3729550
isl_tab_detect_implicit_equalities	3803028
isl_basic_map_update_from_tab	3828730
isl_tab_from_basic_map	7180445
isl_tab_alloc	7221391
free_undo	7359789
isl_tab_free	7385285
isl_tab_rollback	7400786
isl_tab_extend_cons	7674611
min_is_manifestly_unbounded	8459753
restore_last_redundant	8511602
at_least_one	8567565
isl_tab_mark_empty	8771765
swap_cols	9622839
close_row	11612756
tab_is_manifestly_empty	11612756
isl_tab_snap	12570388
isl_tab_kill_col	12634019
isl_tab_check_con	15079105
isl_tab_is_redundant	15079105
drop_row	18526086
sign_of_max	20183035
to_row	21287503
isl_tab_push	24138149
select_marked	24997732
max_is_manifestly_unbounded	32209952
isl_tab_is_equality	38203287
swap_rows	39149816
isl_tab_mark_redundant	41404408
row_cmp	46226555
isl_tab_freeze_constraint	50495221
row_is_manifestly_non_integral	56449980
pivot_row	56963456
isl_tab_get_ctx	58195569
isl_tab_pivot	58195569
update_row_sign	58195569
row_sgn	67147886
find_pivot	71776998
isl_tab_add_ineq	79557146
isl_tab_add_row	80418930
isl_tab_allocate_con	80456859
restore_row	82443238
may_be_equality	83817619
row_is_neg	91788910
perform_undo_var	95361284
perform_undo	119994727
free_undo_record	121034131
isl_tab_push_var	250013033
push_union	274433895
isl_tab_row_is_redundant	419605706
var_from_col	526218978
isl_tab_var_from_row	1382830212
var_from_index	2004410474

Generated by: LCOV version 1.12