diff options
| author | vmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-06-18 16:18:23 +0000 |
|---|---|---|
| committer | vmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-06-18 16:18:23 +0000 |
| commit | 0644a91ed1ea1cafb4c537174bc589433bcadc2d (patch) | |
| tree | 4a3c915c2ddeb4d69269d349a7cbf16b63b386d8 /gcc/rtl.def | |
| parent | 33927c59260e808face2a5db7c07812dc4c3dc75 (diff) | |
| download | gcc-0644a91ed1ea1cafb4c537174bc589433bcadc2d.tar.gz | |
2002-06-18 Vladimir Makarov <vmakarov@redhat.com>
* rtl.def (DEFINE_AUTOMATON): Add description of new options
`time' and `v'. Fix incorrect description of option `w'.
* doc/md.texi: Ditto.
* genautomata.c (TIME_OPTION, V_OPTION): New macros.
(gen_automata_option): Process the new options.
(transform_2, transform_3): Initialize some variables.
(initiate_automaton_gen): Use the new macros.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@54748 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/rtl.def')
| -rw-r--r-- | gcc/rtl.def | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/rtl.def b/gcc/rtl.def index 270f1a842ac..1acbf983589 100644 --- a/gcc/rtl.def +++ b/gcc/rtl.def @@ -419,8 +419,15 @@ DEF_RTL_EXPR(DEFINE_AUTOMATON, "define_automaton", "s", 'x') is only worth to do when we are going to query CPU functional unit reservations in an automaton state. - o "w" which means generation of file describing the result - automaton. The file can be used for the description verification. + o "time" which means printing additional time statistics about + generation of automata. + + o "v" which means generation of file describing the result + automata. The file has suffix `.dfa' and can be used for the + description verification and debugging. + + o "w" which means generation of warning instead of error for + non-critical errors. o "ndfa" which makes nondeterministic finite state automata. */ DEF_RTL_EXPR(AUTOMATA_OPTION, "automata_option", "s", 'x') |