<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
FONT-SIZE: 10pt;
FONT-FAMILY:Tahoma
}
</style>
</head>
<body class='hmmessage'>The functions are only used if the set doesn't fit in an integer.<BR>
I'll try to look at this today.<BR>
<BR>
- Jay<BR><BR><BR>
<HR id=stopSpelling>
<BR>
> Date: Sun, 27 Jan 2008 18:55:30 +0100<BR>> From: wagner@elegosoft.com<BR>> To: hosking@cs.purdue.edu<BR>> CC: m3devel@elegosoft.com<BR>> Subject: Re: [M3devel] Open CM3 regression tests<BR>> <BR>> Quoting Tony Hosking <hosking@cs.purdue.edu>:<BR>> <BR>> > The set operations are coded in <BR>> > cm3/m3-libs/m3core/src/Csupport/Common/hand.c.<BR>> ><BR>> > I notice Jay has made a number of changes here since September -- I<BR>> > wonder if they have broken something.<BR>> <BR>> I tried different revisions of this file with no difference in the<BR>> test results. I then took the latest version and added some printfs,<BR>> and they got never displayed. So I checked what gets linked, but the<BR>> symbols in question don't occur in the test program:<BR>> <BR>> % nm hand.o<BR>> U __divdi3<BR>> U __moddi3<BR>> 000001e0 R _highbits<BR>> 00000140 R _lowbits<BR>> 00000000 T m3_div<BR>> 000000ac T m3_divL<BR>> 000001d4 T m3_mod<BR>> 0000026c T m3_modL<BR>> U printf<BR>> 00000494 T set_difference<BR>> 00000554 T set_eq<BR>> 0000061c T set_ge<BR>> 000006ac T set_gt<BR>> 00000434 T set_intersection<BR>> 0000077c T set_le<BR>> 0000080c T set_lt<BR>> 000003a8 T set_member<BR>> 000005b8 T set_ne<BR>> 000008d8 T set_range<BR>> 000009d8 T set_singleton<BR>> 000004f4 T set_sym_difference<BR>> 000003d4 T set_union<BR>> <BR>> % nm /usr/local/cm3/pkg/m3core/FreeBSD4/libm3core.so.5 | grep set_<BR>> 000243d0 T set_difference<BR>> 00024490 T set_eq<BR>> 00024558 T set_ge<BR>> 000245fc T set_gt<BR>> 00024370 T set_intersection<BR>> 000246e0 T set_le<BR>> 00024784 T set_lt<BR>> 000242e4 T set_member<BR>> 000244f4 T set_ne<BR>> 00024864 T set_range<BR>> 00024998 T set_singleton<BR>> 00024430 T set_sym_difference<BR>> 00024310 T set_union<BR>> <BR>> % ldd FreeBSD4/p1/p155/FreeBSD4/pgm<BR>> FreeBSD4/p1/p155/FreeBSD4/pgm:<BR>> libtest.so.5 => <BR>> /d/home/wagner/work/cm3/m3-sys/m3tests/FreeBSD4/libtest.so.5 <BR>> (0x28085000)<BR>> libm3.so.5 => /usr/local/cm3/pkg/libm3/FreeBSD4/libm3.so.5 <BR>> (0x28088000)<BR>> libm3core.so.5 => <BR>> /usr/local/cm3/pkg/m3core/FreeBSD4/libm3core.so.5 (0x281aa000)<BR>> libm.so.4 => /lib/libm.so.4 (0x28a2d000)<BR>> libpthread.so.2 => /lib/libpthread.so.2 (0x28a46000)<BR>> libc.so.6 => /lib/libc.so.6 (0x28a6a000)<BR>> <BR>> % nm /usr/local/cm3/pkg/m3core/FreeBSD4/libm3core.so.5 | grep set_<BR>> 000243d0 T set_difference<BR>> 00024490 T set_eq<BR>> 00024558 T set_ge<BR>> 000245fc T set_gt<BR>> 00024370 T set_intersection<BR>> 000246e0 T set_le<BR>> 00024784 T set_lt<BR>> 000242e4 T set_member<BR>> 000244f4 T set_ne<BR>> 00024864 T set_range<BR>> 00024998 T set_singleton<BR>> 00024430 T set_sym_difference<BR>> 00024310 T set_union<BR>> luthien [~/work/cm3/m3-sys/m3tests] wagner<BR>> % ldd FreeBSD4/p1/p155/FreeBSD4/pgm<BR>> FreeBSD4/p1/p155/FreeBSD4/pgm:<BR>> libtest.so.5 => <BR>> /d/home/wagner/work/cm3/m3-sys/m3tests/FreeBSD4/libtest.so.5 <BR>> (0x28085000)<BR>> libm3.so.5 => /usr/local/cm3/pkg/libm3/FreeBSD4/libm3.so.5 <BR>> (0x28088000)<BR>> libm3core.so.5 => <BR>> /usr/local/cm3/pkg/m3core/FreeBSD4/libm3core.so.5 (0x281aa000)<BR>> libm.so.4 => /lib/libm.so.4 (0x28a2d000)<BR>> libpthread.so.2 => /lib/libpthread.so.2 (0x28a46000)<BR>> libc.so.6 => /lib/libc.so.6 (0x28a6a000)<BR>> luthien [~/work/cm3/m3-sys/m3tests] wagner<BR>> % nm -C -u FreeBSD4/p1/p155/FreeBSD4/pgm<BR>> U Main_I3<BR>> U RTHooks_I3<BR>> U RTHooks__CheckLoadTracedRef<BR>> U RTHooks__Concat<BR>> U RTHooks__PopEFrame<BR>> U RTHooks__PushEFrame<BR>> U RTHooks__TextLitGetChar<BR>> U RTHooks__TextLitGetChars<BR>> U RTHooks__TextLitGetWideChar<BR>> U RTHooks__TextLitGetWideChars<BR>> U RTHooks__TextLitInfo<BR>> U RTLinker__AddUnit<BR>> U RTLinker__InitRuntime<BR>> U RTProcess__Exit<BR>> U Stdio_I3<BR>> U Test_I3<BR>> U Test__checkM<BR>> U Test__done<BR>> U Wr_I3<BR>> U Wr__Flush<BR>> U Wr__PutText<BR>> w _Jv_RegisterClasses<BR>> w __deregister_frame_info<BR>> w __register_frame_info<BR>> U _init_tls<BR>> U _setjmp<BR>> U atexit<BR>> U exit<BR>> <BR>> Now I'm rather confused 8-/<BR>> <BR>> Any ideas?<BR>> <BR>> Olaf<BR>> -- <BR>> Olaf Wagner -- elego Software Solutions GmbH<BR>> Gustav-Meyer-Allee 25 / Gebäude 12, 13355 Berlin, Germany<BR>> phone: +49 30 23 45 86 96 mobile: +49 177 2345 869 fax: +49 30 23 45 86 95<BR>> http://www.elegosoft.com | Geschäftsführer: Olaf Wagner | Sitz: Berlin<BR>> Handelregister: Amtsgericht Charlottenburg HRB 77719 | USt-IdNr: DE163214194<BR>> <BR><BR><br /><hr />Need to know the score, the latest news, or you need your Hotmail®-get your "fix". <a href='http://www.msnmobilefix.com/Default.aspx' target='_new'>Check it out.</a></body>
</html>