LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: 2018-10-31_point_maint_greina16.lcov Lines: 1453 2221 65.4 % Date: 2018-11-01 11:27:00 Functions: 105 135 77.8 %

Function Name	Hit count
add_div_constraints	0
check_table	0
div_is_nonneg	0
drop_bmap_div	0
drop_col	0
drop_samples_since	0
ineq_for_div	0
isl_tab_add_div	0
isl_tab_add_sample	0
isl_tab_allocate_var	0
isl_tab_clear_undo	0
isl_tab_drop_sample	0
isl_tab_dump	0
isl_tab_dup	0
isl_tab_extend_vars	0
isl_tab_init_samples	0
isl_tab_insert_div	0
isl_tab_insert_var	0
isl_tab_is_constant	0
isl_tab_need_undo	0
isl_tab_print_internal	0
isl_tab_push_basis	0
isl_tab_push_callback	0
isl_tab_save_samples	0
isl_tab_shift_var	0
isl_tab_sign_of_max	0
isl_tab_track_bset	0
restore_basis	0
var_drop_entry	0
var_insert_entry	0
isl_tab_mark_rational	11179
add_zero_row	24347
isl_tab_add_eq	33256
con_drop_entries	49454
drop_eq	49454
gauss_if_shared	52565
isl_tab_swap_constraints	63502
swap_eq	63502
rotate_constraints	345222
unrelax	370821
isl_tab_relax	380231
isl_tab_select_facet	384257
ununrestrict	687508
isl_tab_detect_constants	688378
isl_tab_unrestrict	688378
isl_tab_cone_is_bounded	909813
isl_tab_from_recession_cone	909813
isl_basic_set_update_from_tab	1065652
isl_tab_peek_bset	1123714
update_con_after_move	1544746
cut_to_hyperplane	3262293
drop_last_con_in_row	3262293
isl_tab_product	3362105
tab_mat_product	3362105
detect_constant_with_tmp	3526349
get_constant	3946123
is_constant	3946123
var_reaches	4267838
reached	5792930
isl_tab_get_sample_value	46597212
isl_tab_restore_redundant	48749036
isl_tab_track_bmap	55812133
isl_tab_from_basic_set	66139487
extract_integer_sample	68904148
update_index1	81892547
update_index2	81892547
row_is_big	96541618
to_col	102701979
isl_tab_add_valid_eq	104008423
row_is_manifestly_zero	104041679
get_rounded_sample_value	147512582
isl_tab_sample_is_integer	188854843
at_least_one	245410099
close_row	387194228
tab_is_manifestly_empty	387194228
isl_tab_min_at_most_neg_one	582862086
sign_of_max	670044224
isl_tab_mark_empty	805460820
row_at_most_neg_one	836082677
to_row	1171567299
select_marked	1237786113
max_is_manifestly_unbounded	1294877277
isl_tab_is_redundant	1624665066
isl_tab_check_con	1624792070
isl_tab_is_equality	1694280552
row_is_manifestly_non_integral	1840570125
isl_tab_min	2560315470
isl_tab_make_equalities_explicit	2904988922
isl_tab_detect_redundant	3001868136
isl_tab_detect_implicit_equalities	3051342963
isl_basic_map_update_from_tab	3069314595
may_be_equality	4077465203
isl_tab_push	4579631649
restore_last_redundant	5314195918
isl_tab_from_basic_map	5455020296
isl_tab_alloc	5455930109
free_undo	5459292214
isl_tab_free	5459467163
pivot_row	5707718385
separation_type	7196337328
at_least_zero	7208278280
isl_tab_mark_redundant	7292744120
swap_rows	7469002579
swap_cols	9032103822
isl_tab_add_ineq	9871784566
isl_tab_freeze_constraint	10910083355
sign_of_min	11417362933
con_is_redundant	12000225019
min_is_manifestly_unbounded	12817740870
row_sgn	12998964181
restore_row	13286314264
row_is_neg	14699681607
isl_tab_ineq_type	18712039164
add_eq	18822658257
isl_tab_kill_col	19128236403
isl_tab_extend_cons	19534137986
row_cmp	21161341164
isl_tab_rollback	22138649812
isl_tab_snap	22975919148
isl_tab_pivot	24716205376
update_row_sign	24716205376
isl_tab_get_ctx	24716208471
drop_row	25065482622
find_pivot	27492068353
perform_undo_var	47883103905
isl_tab_add_row	50070910073
isl_tab_allocate_con	50070934420
perform_undo	52372576986
free_undo_record	53023335647
isl_tab_push_var	80049571913
push_union	84629203562
isl_tab_row_is_redundant	108850795620
var_from_col	154485730977
isl_tab_var_from_row	317585930297
var_from_index	519954765179

Generated by: LCOV version 1.12