diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-07-06 15:32:35 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-07-06 15:32:35 +0200 |
commit | af97fca0f1d824f3becf9c6895f44ad234e262f8 (patch) | |
tree | 0c340c6941b9d51a66e0f5dbed9d058cc72d47ff | |
parent | b96a48de58e1969535865b7b345514a24f7178a6 (diff) | |
download | compcert-kvx-af97fca0f1d824f3becf9c6895f44ad234e262f8.tar.gz compcert-kvx-af97fca0f1d824f3becf9c6895f44ad234e262f8.zip |
Add debug info
-rw-r--r-- | scheduling/InstructionScheduler.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index a881df68..4fdc455c 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -502,6 +502,8 @@ let reg_pres_scheduler (problem : problem) : solution option = * flush stdout; *) if avlregs <= regs_thresholds.(i) then ( + if !Clflags.option_debug_compcert > 6 then + DebugPrint.debug "REGPRES: high pres class %d\n" i; let maybe = InstrSet.sched_CSR i ready usages in (* print_string "maybe\n"; * print_int maybe; |