search for: pattern_use

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

...39;:' 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 ']]' ; > VAR <- '[[' IDENT ':' POSIX_REGEX ']]' ; > VAR <- '[[' IDENT '@' IDENT ARGLIST? ']]' ; >...

...N <- 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 ']]' ; VAR <- '[[' IDENT ':' POSIX_REGEX ']]' ; VAR <- '[[' IDENT '@' IDENT ARGLIST? ']]' ; ARGLIST <- '...

...N <- 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 ']]' ; VAR <- '[[' IDENT ':' POSIX_REGEX ']]' ; VAR <- '[[' IDENT '@' IDENT ARGLIST? ']]' ; ARGLIST <- '...

> On Aug 24, 2016, at 4:46 PM, Vedant Kumar via llvm-dev <llvm-dev at lists.llvm.org> wrote: > >> >> On Aug 24, 2016, at 2:04 AM, Elena Lepilkina <Elena.Lepilkina at synopsys.com> wrote: >> >> Hi all, >> >> Some discussions and comments were made in reviews. Much time has already passed since last comment and uploading changed patches. I