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.