From 368f9fc139a24b771b5b3282753544fb087f6b55 Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Thu, 13 Dec 2007 04:08:22 +0000 Subject: [PATCH] Document -ddump-simpl-phases --- docs/users_guide/debugging.xml | 15 +++++++++++++-- docs/users_guide/flags.xml | 6 ++++++ 2 files changed, 19 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 0f1fd18..638ab7a 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -280,14 +280,25 @@ + : + + + + Show the output of each run of the simplifier. Used when even + doesn't cut it. + + + + + : Show the output of each iteration of the simplifier (each run of the simplifier has a maximum - number of iterations, normally 4). Used when even - doesn't cut it. + number of iterations, normally 4). This outputs even more information + than . diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index b191a6c..abcca5d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2082,6 +2082,12 @@ - + + Dump output from each simplifier phase + dynamic + - + + Dump output from each simplifier iteration dynamic -- 1.7.10.4