SPARC: unsigned vs. signed int loads

[Christian Thalinger]

On Tue, 2009-02-17 at 20:38 -0800, John Rose wrote:
> On Feb 17, 2009, at 8:11 PM, Tom Rodriguez wrote:
> >
> >  predicate(n->bottom_type() == TypeInt::BOOL);
> >
> 
> Or more generally, n->bottom_type()->as_int()->_lo >= 0.

Sorry, I don't understand.  What does this predicate (or both) check
for?  And where should it be, in loadB or loadUB?

-- Christian