LCOV - code coverage report
Current view: top level - metalib_isl - isl_map_simplify.c (source / functions) Hit Total Coverage
Test: 2018-10-31_point_maint_greina16.lcov Lines: 508 2424 21.0 %
Date: 2018-11-01 11:27:00 Functions: 42 147 28.6 %

Function Name Sort by function name Hit count Sort by hit count
all_neg 0
all_pairs 328482
alloc_groups 0
basic_map_from_equalities 0
better_div_constraint 0
bmap_eq_involves_unknown_divs 0
check_for_div_constraints 1012353148
coalesce_divs 0
coalesce_or_drop_more_redundant_divs 0
combined_variable_compression 0
compute_elimination_index 6822802
constraint_index_free 1992419621
constraint_index_is_redundant 0
create_constraint_index 1992419621
div_find_coalesce 0
div_is_redundant 0
drop_div_and_try_again 0
drop_equalities 0
drop_inequalities 0
drop_irrelevant_constraints 0
drop_irrelevant_constraints_marked 0
drop_more_redundant_divs 0
drop_redundant_divs_again 0
drop_unrelated_constraints 0
eliminate_div 0
eliminate_divs_eq 16214254561
eliminate_divs_ineq 16214254343
eliminate_unit_divs 16214254343
eliminate_var_using_equality 62338595215
extract_compressed_stride_constraints 0
extract_ineq 0
fix_cst_lower 0
gist_strides 0
has_coef_one 0
has_multiple_var_equality 1129738
hash_index 10103746287
hash_index_ineq 10103746287
int_between_bounds 0
is_opposite 0
is_opposite_except 0
is_opposite_part 0
is_parallel_except 0
is_parallel_part 0
is_related 0
is_zero_or_one 0
isl_basic_map_detect_inequality_pairs 16142
isl_basic_map_drop_constraint_involving_unknown_divs 0
isl_basic_map_drop_redundant_divs 0
isl_basic_map_drop_redundant_divs_ineq 0
isl_basic_map_drop_unrelated_constraints 0
isl_basic_map_eliminate 0
isl_basic_map_eliminate_vars 752725
isl_basic_map_finalize 25838543167
isl_basic_map_gauss 30448899974
isl_basic_map_gauss5 30448952040
isl_basic_map_gist 0
isl_basic_map_gist_domain 0
isl_basic_map_is_disjoint 7182202
isl_basic_map_is_div_constraint 0
isl_basic_map_mark_final 25838543167
isl_basic_map_normalize_constraints 19194043916
isl_basic_map_plain_gist 0
isl_basic_map_plain_is_disjoint 7182202
isl_basic_map_preimage_vars 0
isl_basic_map_reduce_coefficients 2898920016
isl_basic_map_remove_duplicate_constraints 16214282001
isl_basic_map_remove_shifted_constraints 0
isl_basic_map_shift_div 0
isl_basic_map_simplify 12231209136
isl_basic_set_eliminate 0
isl_basic_set_eliminate_vars 0
isl_basic_set_finalize 10625867154
isl_basic_set_gauss 2458845818
isl_basic_set_gist 0
isl_basic_set_is_disjoint 0
isl_basic_set_is_div_constraint 0
isl_basic_set_normalize_constraints 2979789573
isl_basic_set_plain_is_disjoint 0
isl_basic_set_reduce_using_equalities 0
isl_basic_set_simplify 11421529127
isl_map_drop_constraint_involving_unknown_divs 0
isl_map_gist 0
isl_map_gist_basic_map 0
isl_map_gist_domain 0
isl_map_gist_params 0
isl_map_gist_range 0
isl_map_is_disjoint 3023681
isl_map_is_disjoint_aligned 328482
isl_map_plain_gist 0
isl_map_plain_gist_basic_map 0
isl_map_plain_is_disjoint 0
isl_map_plain_is_disjoint_global 3023681
isl_set_gist 0
isl_set_gist_basic_set 0
isl_set_gist_params 0
isl_set_gist_params_basic_set 0
isl_set_is_disjoint 0
isl_set_plain_gist_basic_set 0
isl_set_plain_is_disjoint 0
lower_bound_from_opposite 0
lower_bound_from_parallel 0
lower_bound_is_cst 0
map_gist 0
mark_shifted_constraints 0
n_div_eq 0
n_pure_div_eq 0
needs_reduction 0
normalize_constraint 95064
normalize_div_expression 0
normalize_div_expressions 16214254343
normalize_divs 16214254343
ok_to_eliminate_div 0
ok_to_set_div_from_bound 0
preimage 0
project_onto_involved 0
reduce_coefficient_in_div 0
reduce_div_coefficients 16214254343
reduce_div_coefficients_of_div 0
reduce_stride_constraints 0
reduced_using_equalities 51711391
remove_dependent_vars 1275257
remove_duplicate_divs 16214254343
remove_incomplete_powers 0
remove_redundant_divs 25838543167
remove_shifted_constraints 0
replace_by_disjunct 0
replace_by_universe 0
round_up 1992419621
set_compute_elimination_index 0
set_div_from_eq 0
set_div_from_lower_bound 0
set_eq_and_try_again 0
set_hash_index 0
set_reduced_using_equalities 0
setup_constraint_index 0
single_unknown 0
swap_equality 10848825273
swap_inequality 30940916
test_ineq_data_clear 0
test_ineq_is_satisfied 0
update_groups 0
update_ineq 0
update_ineq_free 0
uset_gist 0
uset_gist_compressed 0
uset_gist_full 0
uset_gist_uncompressed 0

Generated by: LCOV version 1.12