diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 09:11:05 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 09:11:05 +0100 |
commit | 97cf6e66099be0f4d9b2c94e1706ff42121bd17f (patch) | |
tree | 3db41ed4629109f724d8b8d34b0b018541539a8e | |
parent | 92f91660374d8f8053fdae7ddf558190255ee280 (diff) | |
parent | e475cffdd725d17e635a8c74b80780e153369096 (diff) | |
download | compcert-kvx-97cf6e66099be0f4d9b2c94e1706ff42121bd17f.tar.gz compcert-kvx-97cf6e66099be0f4d9b2c94e1706ff42121bd17f.zip |
Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa
-rw-r--r-- | backend/CSE3analysisaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backend/CSE3analysisaux.ml b/backend/CSE3analysisaux.ml index 6e190d35..bd4ca20a 100644 --- a/backend/CSE3analysisaux.ml +++ b/backend/CSE3analysisaux.ml @@ -125,7 +125,8 @@ let refine_invariants let add_todo (pc : RTL.node) = todo := IntSet.add (P.to_int pc) !todo in let update_node (pc : RTL.node) = - Printf.printf "updating node %d\n" (P.to_int pc); + (if !Clflags.option_debug_compcert > 9 + then Printf.printf "updating node %d\n" (P.to_int pc)); if not (peq pc entrypoint) then let cur = PMap.get pc !invariants in |