diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-08 15:11:03 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-08 15:11:03 +0200 |
commit | 52378f0600652a94edcc8c78e4b426243f717a89 (patch) | |
tree | e0f40315d08687a431c73e529b889e2ade032fcd /scheduling | |
parent | 2249f3c7771c285ccd25f6e94478be388a741da5 (diff) | |
download | compcert-kvx-52378f0600652a94edcc8c78e4b426243f717a89.tar.gz compcert-kvx-52378f0600652a94edcc8c78e4b426243f717a89.zip |
Add some tests
Diffstat (limited to 'scheduling')
-rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml index 8e7f0dfa..24fef3e8 100644 --- a/scheduling/RTLpathScheduleraux.ml +++ b/scheduling/RTLpathScheduleraux.ml @@ -17,7 +17,7 @@ let print_superblock (sb: superblock) code = begin debug "{ instructions = "; print_instructions (Array.to_list insts) code; debug "\n"; debug " liveins = "; print_ptree_regset li; debug "\n"; - debug " output_regs = "; print_regset outs; debug "}" + debug " output_regs = "; print_regset outs; debug "\n}" end let print_superblocks lsb code = |