diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-04-13 15:05:01 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-04-13 15:12:01 +0200 |
commit | 47eaaa2360337ed2b518f276a616529895da63e8 (patch) | |
tree | 4a49ac6b7d0fcc4bb5aba33a8dd5a8e9c3238cad /MenhirLib/Automaton.v | |
parent | d53cc13b6e47843ebaf4b23c8b03dcef34f331f1 (diff) | |
download | compcert-kvx-47eaaa2360337ed2b518f276a616529895da63e8.tar.gz compcert-kvx-47eaaa2360337ed2b518f276a616529895da63e8.zip |
Recording of prediction stats with COMPCERT_PROFILING_STATS environment flag
It only works correctly if both profiling and static prediction are
used: it then compares both and gives stats in COMPCERT_PREDICT_STATS
file.
The stats are of the form:
total correct mispredicts missed
total = number of total CBs encountered
correct = number of correct predictions
mispredicts = times when static prediction did a wrong guess (predicted
the opposite from profiling, or predicted Some _ when profiling said
None)
missed = times when static prediction was not able to give a verdict,
though the profiling gave one
Diffstat (limited to 'MenhirLib/Automaton.v')
0 files changed, 0 insertions, 0 deletions