[llvm-dev] [RFC] Compiled regression tests.

David Greene via llvm-dev llvm-dev at lists.llvm.org
Tue Jul 7 14:10:36 PDT 2020


"Robinson, Paul via llvm-dev" <llvm-dev at lists.llvm.org> writes:

> I believe you can get the effect you want with a pair of DAG directives
> followed by `CHECK: {{$}}`.  The latter will constrain the DAG search
> to be between the previous match point and the next EOL.

I'm sorry, I don't quite understand what you mean.  Can you give an
example?

My use-case is for metadata, where I wanted to do this:

CHECK: %r1 = add %r2, %r3
CHECK-SAME: !some-metadata
CHECK-SAME: !some-other-metadata

where some-metadata and some-other-metadata might be reordered within
the line (because some unrelated metadata got added to the instruction).
In other words, all of these should match:

%r1 = add %r2, %r3, !some-metadata !1, !some-other-metadata !2
%r1 = add %r2, %r3, !some-other-metadata !1, !some-metadata !2
%r1 = add %r2, %r3, !some-other-metadata !1, !some-unrelated-metadata !3, !some-metadata !2

                   -David


More information about the llvm-dev mailing list