On Thu, Oct 13, 2016 at 3:51 PM, Bernd Schmidt <bschm...@redhat.com> wrote:
> On 10/13/2016 03:49 PM, Richard Biener wrote:
>>
>> Does it really run a single pass only? Thus you can't do a { dg-do run }
>> test
>> with __RTL?
>
>
> I think that's really not the intended use-case. To my mind this is for
> unit-testing: ensuring that a given rtl pass performs the expected
> transformation on an input.
Ok, so at least for the GIMPLE FE side I thought it's useful to allow
a correctness verification with something simpler than pattern matching
on the pass output. By means of doing runtime verification of an expected
result (this necessarily includes running followup passes as we have to
generate code). I don't see why this shouldn't apply to __RTL -- it might
be more difficult to get __RTL testcases to the point where they emit
assembly of course.
OTOH the question then still is what's the default behavior if you do _not_
specify a "single pass to run".
Richard.
>
> Bernd
