diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-09 18:12:31 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 12:02:00 +0200 |
commit | fb1142481a55e005969e2d89b11776f4d841c249 (patch) | |
tree | 5a6bee247cf160dcf67a55965c673559784a2b11 | |
parent | 862235699034fdde439a336fa919a1b0a45fa900 (diff) | |
download | compcert-kvx-fb1142481a55e005969e2d89b11776f4d841c249.tar.gz compcert-kvx-fb1142481a55e005969e2d89b11776f4d841c249.zip |
Remise des exécutions à x1000
-rw-r--r-- | test/monniaux/PostpassSchedulingOracle.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/PostpassSchedulingOracle.patch b/test/monniaux/PostpassSchedulingOracle.patch index 71c44350..747dfa69 100644 --- a/test/monniaux/PostpassSchedulingOracle.patch +++ b/test/monniaux/PostpassSchedulingOracle.patch @@ -21,7 +21,7 @@ index 2fc561e..d3748e8 100644 + in let sched = real_do_schedule bb + in let refer = ref sched + in begin -+ for i = 1 to 100-1 do ++ for i = 1 to 1000-1 do + refer := (if i > 0 then real_do_schedule bb else real_do_schedule bb); + done; + Printf.printf "%Ld: %f\n" nb_instructions ((Unix.times ()).Unix.tms_utime -. start_time); |