[cfe-dev] [Openmp-dev] [llvm-dev] RFC: End-to-end testing

[Roman Lebedev via cfe-dev]

FWIW I'm personally cautiously non-optimistic about this,
but maybe i'm just not seeing the whole picture of the proposal.

Both checking final asm, and checking more than one layer of abstraction
feels overreaching and very prone to breakage/too restrictful.
Even minimal changes to the scheduling for particular CPU can cause many
instructions to reorder.
I'm not sure what effect that will have on middle-end pass development, too.

A change affects these end-to-end tests, what then?
Just blindly regenerate every affected test?
This will be further complicated once clang isn't the only upstream front-end.

Roman.

On Wed, Oct 16, 2019 at 11:00 PM David Greene via cfe-dev
<cfe-dev at lists.llvm.org> wrote:
>
> Renato Golin via Openmp-dev <openmp-dev at lists.llvm.org> writes:
>
> > We already have tests in clang that check for diagnostics, IR and
> > other things. Expanding those can handle 99.9% of what Clang could
> > possibly do without descending into assembly.
>
> I agree that for a great many things this is sufficient.
>
> > Assembly errors are more complicated than just "not generating VADD",
> > and that's easier done in the TS than LIT.
>
> Can you elaborate?  I'm talking about very small tests targeted to
> generate a specific instruction or small number of instructions.
> Vectorization isn't the best example.  Something like verifying FMA
> generation is a better example.
>
>                         -David
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev