This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Support official CLooG.org versions.

On 11/12/2010 10:08 AM, Sven Verdoolaege wrote:
On Fri, Nov 12, 2010 at 09:59:45AM +0100, Paolo Bonzini wrote:
On 11/12/2010 09:43 AM, Sven Verdoolaege wrote:
On Fri, Nov 12, 2010 at 09:26:00AM +0100, Paolo Bonzini wrote: 
Also, if I understood correctly ISL and PPL are different ways to
"do the same thing", and they should cause no differences in code
generation.  I assumed this because the patch didn't require any
testsuite adjustment.  Is this the case?


Semantically, the results should be the same, but there may
be syntactic differences.  Perhaps no such syntactic differences
occur for the gcc testsuite.


What does "semantic" and "syntactic" mean?  I suppose you mean that
the produced code should be correct in any case (of course) but the
GCC assembly language output may change?

Exactly.

That's bad. Sebastian, please revert the patch. It would also be appreciated to compile SPEC with both backends, and see how many different decisions are taken.

Paolo

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]