diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 15:58:16 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 15:58:16 +0200 |
| commit | 823d1bd6e3db8e771e3f2aeacfdf86c01648c1a9 (patch) | |
| tree | 0e31b91322ed6d4785b4cdc48e36442a4b72894c /kvx | |
| parent | 5b1071d9f46bbb6083b1e6dd6f7975aaa64d0a9a (diff) | |
| download | compcert-kvx-823d1bd6e3db8e771e3f2aeacfdf86c01648c1a9.tar.gz compcert-kvx-823d1bd6e3db8e771e3f2aeacfdf86c01648c1a9.zip | |
progress on prepass scheduling
Diffstat (limited to 'kvx')
| -rw-r--r-- | kvx/lib/RTLpathScheduleraux.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kvx/lib/RTLpathScheduleraux.ml b/kvx/lib/RTLpathScheduleraux.ml index 97de1a12..ad6f28b4 100644 --- a/kvx/lib/RTLpathScheduleraux.ml +++ b/kvx/lib/RTLpathScheduleraux.ml @@ -127,6 +127,8 @@ let schedule_superblock sb code = debug_flag := true; print_instructions (Array.to_list ins') code; debug_flag := old_flag; + flush stdout; + assert ((Array.length sb.instructions) = (Array.length ins')); (*sb.instructions; *) ins';; |