* doc/porting.texi: Document #:trace, #:diag options to cload.

diff --git a/cgen/ChangeLog b/cgen/ChangeLog
index 4bb2424..95110a6 100644 (file)
--- a/cgen/ChangeLog
+++ b/cgen/ChangeLog
@@ -16,7 +16,8 @@
        New arg isa, all callers updated.  Do some basic validation of the
        ifield list if requested.
        * mach.scm (/sanity-check-insns): Improve error message text.
-       * doc/running.text: Document -w option.
+       * doc/running.texi: Document -w option.
+       * doc/porting.texi: Document #:trace, #:diag options to cload.
 
        * ifield.scm (/multi-ifield-parse): Initialize bitrange.
 

diff --git a/cgen/doc/porting.texi b/cgen/doc/porting.texi
index bc48079..e668653 100644 (file)
--- a/cgen/doc/porting.texi
+++ b/cgen/doc/porting.texi
@@ -954,7 +954,9 @@ CPU description files are loaded into an interactive guile session with
 (cload #:arch "cpu-file-path"
        [#:machs "mach-list"]
        [#:isas "isa-list"]
-       [#:options "option-list"])
+       [#:options "option-list"]
+       [#:trace "trace-list"]
+       [#:diag "diagnostic-list"])
 @end example
 
 Only the @code{#:arch} argument is mandatory.
@@ -966,6 +968,13 @@ Only the @code{#:arch} argument is mandatory.
 @samp{isa-list} is a comma separated string of isas to keep.
 
 @samp{options} is a space separated string of options for the application.
+What the acceptable values are depends on the application.
+
+@samp{trace} is a comma separated string of tracing options.
+@xref{t}.
+
+@samp{diag} is a comma separated string of diagnostic options.
+@xref{w}.
 
 @node Doing an opcodes port
 @section Doing an opcodes port