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

[Jack Howarth <howarth at bromo dot med dot uc dot edu>]

On Fri, Nov 12, 2010 at 09:42:38PM +0100, Paolo Bonzini wrote:
> On 11/12/2010 09:39 PM, Jack Howarth wrote:
>> Tobi,
>>     I am still a tad concerned about the ABI change between ppl 0.10.x and
>> 0.11. Is it certain that, for the combination of FSF gcc built against ppl 0.11
>> and cloog-ppl built against ppl 0.10.x, there are no ppl data structures
>> passed on the cloog calls between graphite and cloog? If not, might there
>> be issues if the ABI changes in ppl impacted those data structures?
>
> Hopefully that would fail to link due to multiply-defined names?  Maybe  
> not on Mac OS X due to two-level namespacing, in any case if somebody  
> wants to experiment with this scenario that's welcome.
>
> Paolo

Paolo,
    I did a quick test build of gcc trunk against ppl 0.11 and a legacy cloog-ppl
built against ppl 0.10.2 on x86_64-apple-darwin10. This produced binaries with
linkages of...

[MacPro:gcc/x86_64-apple-darwin10.5.0/4.6.0] howarth% otool -L cc1
cc1:
	/sw/lib/libintl.8.dylib (compatibility version 9.0.0, current version 9.2.0)
	/sw/lib/libiconv.2.dylib (compatibility version 7.0.0, current version 7.0.0)
	/sw/lib/libcloog.0.dylib (compatibility version 1.0.0, current version 1.0.0)
	/sw/lib/libppl_c.4.dylib (compatibility version 5.0.0, current version 5.0.0)
	/sw/lib/libppl.9.dylib (compatibility version 10.0.0, current version 10.0.0)
	/sw/lib/libgmpxx.4.dylib (compatibility version 6.0.0, current version 6.2.0)
	/sw/lib/libmpc.2.dylib (compatibility version 3.0.0, current version 3.0.0)
	/sw/lib/libmpfr.1.dylib (compatibility version 4.0.0, current version 4.2.0)
	/sw/lib/libgmp.3.dylib (compatibility version 9.0.0, current version 9.2.0)
	/usr/lib/libz.1.dylib (compatibility version 1.0.0, current version 1.2.3)
	/sw/lib/gcc4.6/lib/libgcc_s.1.dylib (compatibility version 1.0.0, current version 1.0.0)
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 125.2.1)

and

[MacPro:gcc/x86_64-apple-darwin10.5.0/4.6.0] howarth% otool -L /sw/lib/libcloog.0.dylib
/sw/lib/libcloog.0.dylib:
	/sw/lib/libcloog.0.dylib (compatibility version 1.0.0, current version 1.0.0)
	/sw/lib/libgmp.3.dylib (compatibility version 9.0.0, current version 9.2.0)
	/sw/lib/libppl_c.2.dylib (compatibility version 4.0.0, current version 4.0.0)
	/sw/lib/libppl.7.dylib (compatibility version 9.0.0, current version 9.0.0)
	/sw/lib/libgmpxx.4.dylib (compatibility version 6.0.0, current version 6.2.0)
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 125.2.0)

Executing...

make -k check RUNTESTFLAGS="graphite.exp --target_board=unix'{-m32,-m64}'"

showed no regressions. So either the cloog calls aren't passing ppl data structures
or those haven't changed with the ABI changes.
        Jack