* doc/nolimips.texi (Invoking Nolimips): Here.
---
doc/nolimips.texi | 26 ++++++++++++++++++++++++--
1 file changed, 24 insertions(+), 2 deletions(-)
diff --git a/doc/nolimips.texi b/doc/nolimips.texi
index 7f0e88d..46516b0 100644
--- a/doc/nolimips.texi
+++ b/doc/nolimips.texi
@@ -153,7 +153,7 @@ nolimips @var{options} @var{file}
where @file{file.s} is a simple text file, and @var{options} is any
combination of the following options:
-@table @code
+@table @option
@item -h
@itemx --help
Display a help message and exit successfully.
@@ -207,8 +207,26 @@ Display the read program.
@item --prg-solve
Resolve jump offsets and check bounds of immediates.
+@item --callee-save=@var{num}
+@itemx --caller-save=@var{num}
+@itemx --argument-registers=@var{num}
+Respectively set the maximum number of callee-save, caller-save and
+argument registers to @var{num}, a positive number.
+
@item --check-callee-save
Warn if a callee save register is not preserved across a call.
+
+@item --profile
+Enable program profiling
+
+@item -l @var{library}
+@itemx --system-library=@var{library}
+Specify the builtin system library to use. Accepted @var{library}
+values are @samp{spim} (selected by default and implementing
+@href{http://spimsimulator.sourceforge.net/, SPIM's} behavior),
+@samp{nolimips} (@nolimips{}' own library), and @samp{none} (no
+builtin library).
+
@item -e
@itemx --execute
Execute the program on virtual machine.
@@ -219,7 +237,6 @@ Trace the execution.
@item -i
@itemx --shell
Launch interactive shell.
-
@end table
@@ -278,3 +295,8 @@ registers.
@printindex fn
@bye
+
+@c Local variables:
+@c coding: utf-8
+@c ispell-local-dictionary: "american"
+@c End:
--
1.7.10.4