[Xsb-development] tagging in XSB

[David S. W. <wa...@cs...>]

Folks,

After that recent question about overflow, I went and looked at the
tagging in cell_xsb.h and noticed that for BIG_MEM which was supposed
to allow for memory addresses up to 1G, in fact only allowed memory up
to 512M.  A shift that was intended to be unsigned got inadvertantly
turned into a signed shift, so we lost one more bit.  I've fixed it
and it passes (except for perl/regmatch, as almost always on my
machine, and a wttest, which is Terry's problem, right?) the test
suite, so I'll commit it.

At the same time, I noticed (again) that none of the other tagging
schemes (for other than BIG_MEM, WIN_NT, LINUX_ELF), have been updated 
for the fact that we now only use 3 tag bits instead of 4.  I'm
willing to change them, but can't really test them.  Is anyone running 
on one of those nonBIG_MEM machines and would like to double their
address space?

-David