User Config: Add option to specify wall clock CNTPCT.

This commit is contained in:
Fernando Sahmkow 2020-03-21 03:36:01 -04:00 committed by MerryMage
parent 97b9d3e058
commit 41521ed856
5 changed files with 14 additions and 3 deletions

View file

@ -200,6 +200,10 @@ struct UserConfig {
/// definite behaviour for some unpredictable instructions.
bool define_unpredictable_behaviour = false;
/// This tells the translator a wall clock will be used, thus allowing it
/// to avoid writting certain unnecessary code only needed for cycle timers.
bool wall_clock_cntpct = false;
/// This enables the fast dispatcher.
bool enable_fast_dispatch = true;