[PATCH] Add support to FileCheck for out-of-order matching

[Jakob Stoklund Olesen]

On Apr 24, 2013, at 11:35 AM, Michael Liao <michael.liao at intel.com> wrote:

> Here's the revised patch achieving that goal. When a match is deferred,
> we will check whethe that check string has DAG strings and match them
> first. If all of them could match, we will match that check string again
> starting from the end of DAG string matchings. I kept the logic checking
> DAG string once a check string itself could match as it will reduce the
> range to verify for DAG strings. How do you think that? I could remove
> it if we think it's unnecessary.

I think you can do it a lot simpler. You don't have to defer the DAG matches, they should already be topologically ordered in the input file. If you process them in order, all your variables should be defined before use.

Thanks,
/jakob