aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/sparse.1
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-04-06 14:52:08 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-05-19 05:41:19 +0200
commit08958aee2da5abbfbe92b25654eb964844f89c99 (patch)
tree80b738263ae0707e43c9559f276f53a5c462e549 /sparse.1
parentcdf306bbb0efccfe9c75d9042b40452478d2e06e (diff)
downloadsparse-dev-08958aee2da5abbfbe92b25654eb964844f89c99.tar.gz
add support for a new flag: -fdump-linearize[=only]
The effect of this flag is to dump the IR just after the linearization, before any simplification, and to stop further processing if '=only' is given as argument. The motivation of this flag is of course for debugging, to be able to inspect the raw result of the linearization, undisturbed by an simplification. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'sparse.1')
-rw-r--r--sparse.15
1 files changed, 5 insertions, 0 deletions
diff --git a/sparse.1 b/sparse.1
index d55ba7bd..c924b3a5 100644
--- a/sparse.1
+++ b/sparse.1
@@ -346,6 +346,11 @@ normalized GNU triplet. (e.g. i386-linux-gnu).
.
.SH DEBUG OPTIONS
.TP
+.B \-fdump-linearize[=only]
+Dump the IR code of a function directly after its linearization,
+before any simplifications is made. If the argument \fB=only\fR is
+also given no further processing is done on the function.
+.
.B \-fmem-report
Report some statistics about memory allocation used by the tool.
.