Capture variables from successful combination of submatches

[Declan-ARM]

Hi there,

Hopefully not a silly question, but is there a way to capture the variables of a successful combination of sub-matches?

For example, if I use the following made-up SPIR-V:

    %end = OpVariable %_ptr_Function_int Function
     %15 = OpLoad %int %n
     %16 = OpLoad %int %n
           OpStore %end %16

...the following checks will return false...

const std::string check = R"(
    CHECK:    [[END:%\w+]] = OpVariable
    CHECK: [[LOADED:%\w+]] = OpLoad %int %n
    CHECK:                   OpStore [[END]] [[LOADED]]
)";

...despite OpStore %end %16 being a possibility.

Is there a better syntactical way to capture all possible versions of LOADED and return success if a match is found (instead of stopping after the first match)?

[junyer]

This is... LLVM's FileCheck, yeah? Doesn't that use LLVM's regular expression engine implementation?

[Declan-ARM]

Apologies, this is Google's effcee (re2 is a dependency) - I was hoping there might be a way of using the likes of regex submatches to achieve the desired outcome, but wasn't sure.

If it's better to post there, then apologies - I can close this and post there instead.

[junyer]

Ahh. Yeah, this would be something for that project to consider supporting. It's conceivable that they could collect the multiple values of LOADED and | those values together. It's also conceivable that they could adopt a backtracking approach. It's not possible to solve the problem with a trickier regular expression.

[Declan-ARM]

Perfect.

Thanks, Paul - appreciate the quick replies 👍

[junyer]

You're welcome. Good luck! :)