Print 2 digits after decimal delimiter for BB frequencies
authorMartin Liska <mliska@suse.cz>
Wed, 14 Dec 2016 10:33:10 +0000 (11:33 +0100)
committerMartin Liska <marxin@gcc.gnu.org>
Wed, 14 Dec 2016 10:33:10 +0000 (10:33 +0000)
commite19ef86d01cee1e094ab518951862ddf77ccb03d
tree915109f7f0b7da8436662144444cbb5ffc9bd381
parentca3b6071596b4c48d7b4c3eaf624dad449efd207
Print 2 digits after decimal delimiter for BB frequencies

* gimple-pretty-print.c (dump_probability): New function.
(dump_edge_probability): Use the function.
(dump_gimple_label): Likewise.
(dump_gimple_bb_header): Likewise.
* gcc.dg/tree-ssa/20040703-1.c: Update scanned pattern.
* gcc.dg/tree-ssa/dump-2.c: Likewise.

From-SVN: r243643
gcc/ChangeLog
gcc/gimple-pretty-print.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/20040703-1.c
gcc/testsuite/gcc.dg/tree-ssa/dump-2.c