LCOV - code coverage report

Current view: top level - ballet/fiat-crypto - bn254_64.c (source / functions) Hit Total Coverage Test: cov.lcov Lines: 651 1891 34.4 % Date: 2026-07-08 05:20:36 Functions: 58 171 33.9 %

Function Name	Hit count
fd_bn254.c:fiat_bn254_add	45558
fd_bn254.c:fiat_bn254_addcarryx_u64	3782343
fd_bn254.c:fiat_bn254_cmovznz_u64	509610
fd_bn254.c:fiat_bn254_divstep	0
fd_bn254.c:fiat_bn254_divstep_precomp	0
fd_bn254.c:fiat_bn254_from_bytes	0
fd_bn254.c:fiat_bn254_from_montgomery	36279
fd_bn254.c:fiat_bn254_msat	0
fd_bn254.c:fiat_bn254_mul	0
fd_bn254.c:fiat_bn254_mulx_u64	2254320
fd_bn254.c:fiat_bn254_nonzero	0
fd_bn254.c:fiat_bn254_opp	0
fd_bn254.c:fiat_bn254_selectznz	0
fd_bn254.c:fiat_bn254_set_one	0
fd_bn254.c:fiat_bn254_square	0
fd_bn254.c:fiat_bn254_sub	12402
fd_bn254.c:fiat_bn254_subborrowx_u64	671118
fd_bn254.c:fiat_bn254_to_bytes	0
fd_bn254.c:fiat_bn254_to_montgomery	42465
fd_bn254_field.c:fiat_bn254_add	0
fd_bn254_field.c:fiat_bn254_addcarryx_u64	0
fd_bn254_field.c:fiat_bn254_cmovznz_u64	0
fd_bn254_field.c:fiat_bn254_divstep	0
fd_bn254_field.c:fiat_bn254_divstep_precomp	0
fd_bn254_field.c:fiat_bn254_from_bytes	0
fd_bn254_field.c:fiat_bn254_from_montgomery	0
fd_bn254_field.c:fiat_bn254_msat	0
fd_bn254_field.c:fiat_bn254_mul	0
fd_bn254_field.c:fiat_bn254_mulx_u64	0
fd_bn254_field.c:fiat_bn254_nonzero	0
fd_bn254_field.c:fiat_bn254_opp	0
fd_bn254_field.c:fiat_bn254_selectznz	0
fd_bn254_field.c:fiat_bn254_set_one	0
fd_bn254_field.c:fiat_bn254_square	0
fd_bn254_field.c:fiat_bn254_sub	0
fd_bn254_field.c:fiat_bn254_subborrowx_u64	0
fd_bn254_field.c:fiat_bn254_to_bytes	0
fd_bn254_field.c:fiat_bn254_to_montgomery	0
fd_bn254_field_ext.c:fiat_bn254_add	6081345
fd_bn254_field_ext.c:fiat_bn254_addcarryx_u64	44022852
fd_bn254_field_ext.c:fiat_bn254_cmovznz_u64	29237274
fd_bn254_field_ext.c:fiat_bn254_divstep	0
fd_bn254_field_ext.c:fiat_bn254_divstep_precomp	0
fd_bn254_field_ext.c:fiat_bn254_from_bytes	0
fd_bn254_field_ext.c:fiat_bn254_from_montgomery	0
fd_bn254_field_ext.c:fiat_bn254_msat	0
fd_bn254_field_ext.c:fiat_bn254_mul	0
fd_bn254_field_ext.c:fiat_bn254_mulx_u64	49896
fd_bn254_field_ext.c:fiat_bn254_nonzero	0
fd_bn254_field_ext.c:fiat_bn254_opp	4851
fd_bn254_field_ext.c:fiat_bn254_selectznz	0
fd_bn254_field_ext.c:fiat_bn254_set_one	0
fd_bn254_field_ext.c:fiat_bn254_square	0
fd_bn254_field_ext.c:fiat_bn254_sub	4901499
fd_bn254_field_ext.c:fiat_bn254_subborrowx_u64	50039055
fd_bn254_field_ext.c:fiat_bn254_to_bytes	0
fd_bn254_field_ext.c:fiat_bn254_to_montgomery	1386
fd_bn254_final_exp.c:fiat_bn254_add	11394999
fd_bn254_final_exp.c:fiat_bn254_addcarryx_u64	62020728
fd_bn254_final_exp.c:fiat_bn254_cmovznz_u64	49690179
fd_bn254_final_exp.c:fiat_bn254_divstep	0
fd_bn254_final_exp.c:fiat_bn254_divstep_precomp	0
fd_bn254_final_exp.c:fiat_bn254_from_bytes	0
fd_bn254_final_exp.c:fiat_bn254_from_montgomery	0
fd_bn254_final_exp.c:fiat_bn254_msat	0
fd_bn254_final_exp.c:fiat_bn254_mul	0
fd_bn254_final_exp.c:fiat_bn254_mulx_u64	0
fd_bn254_final_exp.c:fiat_bn254_nonzero	0
fd_bn254_final_exp.c:fiat_bn254_opp	29106
fd_bn254_final_exp.c:fiat_bn254_selectznz	0
fd_bn254_final_exp.c:fiat_bn254_set_one	0
fd_bn254_final_exp.c:fiat_bn254_square	0
fd_bn254_final_exp.c:fiat_bn254_sub	4081077
fd_bn254_final_exp.c:fiat_bn254_subborrowx_u64	73415727
fd_bn254_final_exp.c:fiat_bn254_to_bytes	0
fd_bn254_final_exp.c:fiat_bn254_to_montgomery	0
fd_bn254_fp12.c:fiat_bn254_add	7377312
fd_bn254_fp12.c:fiat_bn254_addcarryx_u64	57588096
fd_bn254_fp12.c:fiat_bn254_cmovznz_u64	36528960
fd_bn254_fp12.c:fiat_bn254_divstep	0
fd_bn254_fp12.c:fiat_bn254_divstep_precomp	0
fd_bn254_fp12.c:fiat_bn254_from_bytes	0
fd_bn254_fp12.c:fiat_bn254_from_montgomery	0
fd_bn254_fp12.c:fiat_bn254_msat	0
fd_bn254_fp12.c:fiat_bn254_mul	0
fd_bn254_fp12.c:fiat_bn254_mulx_u64	0
fd_bn254_fp12.c:fiat_bn254_nonzero	0
fd_bn254_fp12.c:fiat_bn254_opp	0
fd_bn254_fp12.c:fiat_bn254_selectznz	0
fd_bn254_fp12.c:fiat_bn254_set_one	0
fd_bn254_fp12.c:fiat_bn254_square	0
fd_bn254_fp12.c:fiat_bn254_sub	7019712
fd_bn254_fp12.c:fiat_bn254_subborrowx_u64	64965408
fd_bn254_fp12.c:fiat_bn254_to_bytes	0
fd_bn254_fp12.c:fiat_bn254_to_montgomery	0
fd_bn254_g1.c:fiat_bn254_add	46089180
fd_bn254_g1.c:fiat_bn254_addcarryx_u64	340162518
fd_bn254_g1.c:fiat_bn254_cmovznz_u64	219412569
fd_bn254_g1.c:fiat_bn254_divstep	0
fd_bn254_g1.c:fiat_bn254_divstep_precomp	0
fd_bn254_g1.c:fiat_bn254_from_bytes	0
fd_bn254_g1.c:fiat_bn254_from_montgomery	120330
fd_bn254_g1.c:fiat_bn254_msat	0
fd_bn254_g1.c:fiat_bn254_mul	0
fd_bn254_g1.c:fiat_bn254_mulx_u64	15462072
fd_bn254_g1.c:fiat_bn254_nonzero	0
fd_bn254_g1.c:fiat_bn254_opp	0
fd_bn254_g1.c:fiat_bn254_selectznz	0
fd_bn254_g1.c:fiat_bn254_set_one	0
fd_bn254_g1.c:fiat_bn254_square	0
fd_bn254_g1.c:fiat_bn254_sub	33123921
fd_bn254_g1.c:fiat_bn254_subborrowx_u64	365356494
fd_bn254_g1.c:fiat_bn254_to_bytes	0
fd_bn254_g1.c:fiat_bn254_to_montgomery	362652
fd_bn254_g2.c:fiat_bn254_add	3438606
fd_bn254_g2.c:fiat_bn254_addcarryx_u64	43600008
fd_bn254_g2.c:fiat_bn254_cmovznz_u64	20005932
fd_bn254_g2.c:fiat_bn254_divstep	0
fd_bn254_g2.c:fiat_bn254_divstep_precomp	0
fd_bn254_g2.c:fiat_bn254_from_bytes	0
fd_bn254_g2.c:fiat_bn254_from_montgomery	121344
fd_bn254_g2.c:fiat_bn254_msat	0
fd_bn254_g2.c:fiat_bn254_mul	0
fd_bn254_g2.c:fiat_bn254_mulx_u64	4718208
fd_bn254_g2.c:fiat_bn254_nonzero	0
fd_bn254_g2.c:fiat_bn254_opp	31824
fd_bn254_g2.c:fiat_bn254_selectznz	0
fd_bn254_g2.c:fiat_bn254_set_one	0
fd_bn254_g2.c:fiat_bn254_square	0
fd_bn254_g2.c:fiat_bn254_sub	5479716
fd_bn254_g2.c:fiat_bn254_subborrowx_u64	40164150
fd_bn254_g2.c:fiat_bn254_to_bytes	0
fd_bn254_g2.c:fiat_bn254_to_montgomery	63648
fd_bn254_g2_check.c:fiat_bn254_add	247308
fd_bn254_g2_check.c:fiat_bn254_addcarryx_u64	15134472
fd_bn254_g2_check.c:fiat_bn254_cmovznz_u64	2321262
fd_bn254_g2_check.c:fiat_bn254_divstep	0
fd_bn254_g2_check.c:fiat_bn254_divstep_precomp	0
fd_bn254_g2_check.c:fiat_bn254_from_bytes	0
fd_bn254_g2_check.c:fiat_bn254_from_montgomery	0
fd_bn254_g2_check.c:fiat_bn254_msat	0
fd_bn254_g2_check.c:fiat_bn254_mul	0
fd_bn254_g2_check.c:fiat_bn254_mulx_u64	8817120
fd_bn254_g2_check.c:fiat_bn254_nonzero	0
fd_bn254_g2_check.c:fiat_bn254_opp	7848
fd_bn254_g2_check.c:fiat_bn254_selectznz	0
fd_bn254_g2_check.c:fiat_bn254_set_one	0
fd_bn254_g2_check.c:fiat_bn254_square	0
fd_bn254_g2_check.c:fiat_bn254_sub	344502
fd_bn254_g2_check.c:fiat_bn254_subborrowx_u64	3870540
fd_bn254_g2_check.c:fiat_bn254_to_bytes	0
fd_bn254_g2_check.c:fiat_bn254_to_montgomery	244920
fd_bn254_pairing.c:fiat_bn254_add	1422624
fd_bn254_pairing.c:fiat_bn254_addcarryx_u64	16619472
fd_bn254_pairing.c:fiat_bn254_cmovznz_u64	8422740
fd_bn254_pairing.c:fiat_bn254_divstep	0
fd_bn254_pairing.c:fiat_bn254_divstep_precomp	0
fd_bn254_pairing.c:fiat_bn254_from_bytes	0
fd_bn254_pairing.c:fiat_bn254_from_montgomery	0
fd_bn254_pairing.c:fiat_bn254_msat	0
fd_bn254_pairing.c:fiat_bn254_mul	0
fd_bn254_pairing.c:fiat_bn254_mulx_u64	0
fd_bn254_pairing.c:fiat_bn254_nonzero	0
fd_bn254_pairing.c:fiat_bn254_opp	181332
fd_bn254_pairing.c:fiat_bn254_selectznz	0
fd_bn254_pairing.c:fiat_bn254_set_one	0
fd_bn254_pairing.c:fiat_bn254_square	0
fd_bn254_pairing.c:fiat_bn254_sub	2550912
fd_bn254_pairing.c:fiat_bn254_subborrowx_u64	18042096
fd_bn254_pairing.c:fiat_bn254_to_bytes	0
fd_bn254_pairing.c:fiat_bn254_to_montgomery	0

Generated by: LCOV version 1.14