On Tue, Jan 12, 2021 at 11:19:49PM +0100, Philippe Mathieu-Daudé wrote: > On 1/12/21 10:05 PM, Eduardo Habkost wrote: [...] > >> diff --git a/scripts/decodetree.py b/scripts/decodetree.py > >> index 47aa9caf6d1..b7572589e64 100644 > >> --- a/scripts/decodetree.py > >> +++ b/scripts/decodetree.py > >> @@ -49,7 +49,7 @@ > >> re_arg_ident = '&[a-zA-Z0-9_]*' > >> re_fld_ident = '%[a-zA-Z0-9_]*' > >> re_fmt_ident = '@[a-zA-Z0-9_]*' > >> -re_pat_ident = '[a-zA-Z0-9_]*' > >> +re_pat_ident = '[a-zA-Z0-9_.]*' > > > > If pattern identifiers are going to follow different rules, > > doesn't this need to be documented at docs/devel/decodetree.rst? > > I checked and luckily for me the opcode pattern identifiers is > not documented <:)
The format is not documented, but the specification grammar implies the same rules apply to all identifiers. -- Eduardo