diff options
| author | Vladimir Makarov <vmakarov@redhat.com> | 2002-06-18 16:18:23 +0000 |
|---|---|---|
| committer | Vladimir Makarov <vmakarov@gcc.gnu.org> | 2002-06-18 16:18:23 +0000 |
| commit | e3c8eb86d193160035cb64e7284e2183cd973792 (patch) | |
| tree | 4a3c915c2ddeb4d69269d349a7cbf16b63b386d8 /gcc/rtl.def | |
| parent | 83b14b884703a989f1ac97df97588fddbc979c5a (diff) | |
| download | gcc-e3c8eb86d193160035cb64e7284e2183cd973792.zip gcc-e3c8eb86d193160035cb64e7284e2183cd973792.tar.gz gcc-e3c8eb86d193160035cb64e7284e2183cd973792.tar.bz2 | |
rtl.def (DEFINE_AUTOMATON): Add description of new options `time' and `v'.
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.
From-SVN: r54748
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 270f1a8..1acbf98 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') |