On 13 January 2017 at 12:16, Bin.Cheng <[email protected]> wrote:
> On Fri, Jan 13, 2017 at 9:46 AM, Richard Biener <[email protected]> wrote:
>>
>> The following is an attempt to change those testcases to be less dependent
>> on previous passes. The original motivation of the testcases seems to be
>> testing SCEV capabilities and in turn IVOPTs decisions, thus the testcases
>> are changed to check the IVO dump, use the GIMPLE FE feeding the loop
>> pipeline directly and skip lowering/store-motion we meanwhile do to
>> the testcase.
>>
>> To avoid some existing issue with CFG construction after GIMPLE parsing
>> we need to be able to add GIMPLE_NOPs which the patch enables to generate
>> from empty stmts (previously those resulted in parse errors).
>>
>> Tested the testcases on x86_64 with {,-m32} sofar I'll appreciate
>> testing on more targets.
> I checked aarch64-elf/aarch64-linux with default configuration, all
> passed with this change.
>
For me, the testcases don't compile with this patch:
gcc.dg/tree-ssa/scev-3.c: In function 'f':
gcc.dg/tree-ssa/scev-3.c:30:3: error: '__MEM' undeclared (first use in
this function)
gcc.dg/tree-ssa/scev-3.c:30:3: note: each undeclared identifier is
reported only once for each function it appears in
gcc.dg/tree-ssa/scev-3.c:30:9: error: expected '=' before '<' token
Did I misapply the patch?
> Thanks,
> bin
>>
>> Full bootstrap / regtest running on x86_64-unknown-linux-gnu.
>>
>> Richard.
>>
>
>> - }
>> }
>>
>> -/* { dg-final { scan-tree-dump-times "&a" 1 "optimized" } } */
>> +/* { dg-final { scan-tree-dump-times "&a" 1 "ivopts" } } */
