Fix profile update after cancelled loop distribution

[thirdparty/gcc.git] / gcc / cfg.h

diff --git a/gcc/cfg.h b/gcc/cfg.h
index 4bf4263ebfc593f98cb76523e1950b51ed0a22dc..a0e944979c8743c2b90912d82f963d11d60cdeca 100644 (file)
--- a/gcc/cfg.h
+++ b/gcc/cfg.h
@@ -127,6 +127,8 @@ extern void set_bb_copy (basic_block, basic_block);
 extern basic_block get_bb_copy (basic_block);
 void set_loop_copy (class loop *, class loop *);
 class loop *get_loop_copy (class loop *);
+void scale_strictly_dominated_blocks (basic_block,
+                                     profile_count, profile_count);
 
 /* Generic RAII class to allocate a bit from storage of integer type T.
    The allocated bit is accessible as mask with the single bit set