[llvm-dev] RFC: FileCheck Enhancements

Elena Lepilkina via llvm-dev llvm-dev at lists.llvm.org
Mon Sep 12 05:57:43 PDT 2016


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 string in pattern CHECK-DEFINE-PATTERN: example: {{x|y}}{{something}}, it will be equal to (x|ysomething).
As user I expected behavior as in first check.

Thanks, Elena.

More information about the llvm-dev mailing list