>>> * I have written test-cases for patterns in match.pd (attached patch), which
>>> result in PASS. Could you review them for me ?
>>
>> Sure. It looks good to me, though you can look at the changed match-1.c
>> testcase on the branch where I've changed the matching to look for the
>> debug output the forwprop pass dumps with -fdump-tree-forwprop1-details,
>> that makes sure no other pass before did the transform (you can also
>> move the individual dg-final lines after the testcase function to more
>> easily associate them with a function).
> Thanks, modified the patch to scan for "gimple_match_and_simplified" instead.
>>
>> At some point the testcase should be split up as well.
>>
>> How do you manage your sources at the moment? Just a svn
>> checkout of the branch with local modifications?
> Yes.
Ok. I have checked in the patch with the following changelog entry
(applied to gcc/ChangeLog.mas):
2014-05-15 Prathamesh Kulkarni <bilbotheelffri...@gmail.com>
* match.pd: Add more cases from tree-ssa-forwprop.c.
testsuite/
* gcc.dg/tree-ssa/match-2.c: New testcase.
Richard.
>>
>> Thanks,
>> Richard.
