search for: pattern_element

Hi, I have question again about modifiers for pattern parameters. Vedant suggested such way. > CHECK-DEFINE-PATTERN: one_or_more(x): x {{+}} But I have some doubts. This should be equal to x+. This approach differs from standard one. In FileCheck I can write CHECK: {{x|y}}{{something}} This line will be equal to regex (x|y)(something). But if I use suggested approach and write same

...;(<Argument>, ...)?]] > > Fleshing this out some more, here is my candidate grammar (see the end of this > email for the current grammar): > > ACTION <- CHECK ':' MATCH '\n' ; > ACTION <- CHECK-DEFINE-PATTERN ':' IDENT PARAMLIST? ':' PATTERN_ELEMENT* '\n' ; > PARAMLIST <- '(' IDENT (',' IDENT)* ')' ; > PATTERN_ELEMENT <- IDENT ; > PATTERN_ELEMENT <- REGEX ; > MATCH <- ; > MATCH <- TEXT MATCH ; > MATCH <- REGEX MATCH ; > MATCH <- VAR MATCH ; > REGEX <- '...

...capturing works. Note that subsequent uses of "MY_CAR" should work as expected (i.e, you can do '[[MY_CAR]]' later in the test). Revised grammar: ACTION <- CHECK ':' MATCH '\n' ; ACTION <- CHECK-DEFINE-PATTERN ':' IDENT PARAMLIST? ':' PATTERN_ELEMENT* '\n' ; PARAMLIST <- '(' IDENT (',' IDENT)* ')' ; PATTERN_ELEMENT <- IDENT | REGEX; MATCH <- (TEXT | REGEX | PATTERN_USE | VAR)* ; REGEX <- '{{' POSIX_REGEX '}}' ; PATTERN_USE <- '[[' '@' IDENT ']]'...

...capturing works. Note that subsequent uses of "MY_CAR" should work as expected (i.e, you can do '[[MY_CAR]]' later in the test). Revised grammar: ACTION <- CHECK ':' MATCH '\n' ; ACTION <- CHECK-DEFINE-PATTERN ':' IDENT PARAMLIST? ':' PATTERN_ELEMENT* '\n' ; PARAMLIST <- '(' IDENT (',' IDENT)* ')' ; PATTERN_ELEMENT <- IDENT | REGEX; MATCH <- (TEXT | REGEX | PATTERN_USE | VAR)* ; REGEX <- '{{' POSIX_REGEX '}}' ; PATTERN_USE <- '[[' '@' IDENT ']]'...

...that subsequent uses of "MY_CAR" should work as expected (i.e, you can do '[[MY_CAR]]' later in the test). > > Revised grammar: > > ACTION <- CHECK ':' MATCH '\n' ; > ACTION <- CHECK-DEFINE-PATTERN ':' IDENT PARAMLIST? ':' PATTERN_ELEMENT* '\n' ; > PARAMLIST <- '(' IDENT (',' IDENT)* ')' ; > PATTERN_ELEMENT <- IDENT | REGEX; > MATCH <- (TEXT | REGEX | PATTERN_USE | VAR)* ; > REGEX <- '{{' POSIX_REGEX '}}' ; > PATTERN_USE <- '[[' '@...

Hi all, Some discussions and comments were made in reviews. Much time has already passed since last comment and uploading changed patches. I made small summary report about features here, because there are some doubts about syntax of some features and changes in patches and it'll be great to know more opinions. 1. FileCheck Enhancement - CHECK-WORD (https://reviews.llvm.org/D22353) I replace