Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa

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