testcases (was: [tree-ssa] Support for scanning tree-dumps in testsuite)

[Dan Nicolaescu]

law@redhat.com writes:

  > This is the first cut at scanning tree dumps in the testsuite.  This allows
  > us to do things like verify that dead code is properly removed, redundant
  > expressions are eliminated and the like.

As Diego was saying in a message, I was working on the same thing, and
took the same approach. So now that your code is in the tree I ported
the testcases to your framework.

The idea was to scan the dumps for a function call that should be
optimized away by the optimizers. Each file contains a few tests, but if
more than one of them fails it shows in the testsuite as a single
failure. Is that OK? 

The total number of failures for the new tests can be found by doing:

> grep -c link_error *.ccp
ssa-ccp-1.c.t12.ccp:0
ssa-ccp-2.c.t12.ccp:8
ssa-ccp-3.c.t12.ccp:32
ssa-ccp-4.c.t12.ccp:5
ssa-ccp-5.c.t12.ccp:1
ssa-ccp-6.c.t12.ccp:3
ssa-ccp-7.c.t12.ccp:1
ssa-ccp-8.c.t12.ccp:8

The tests are for CCP, testing if either the propagation works or if
some expressions are evaluated as constants. 


-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-1.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-2.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0001.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-3.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0002.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-4.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0003.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-5.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0004.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-6.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0005.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-7.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0006.c>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ssa-ccp-8.c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030616/4c4edaf2/attachment-0007.c>