Request for reviews .03 (L): 6814842: Load shortening optimizations

[Christian Thalinger]

On Tue, 2009-05-12 at 10:38 -0700, Vladimir Kozlov wrote:
> It could be solved by using next restriction on indOffset13m7:
> 
>     predicate((-4096L <= (n->get_long())) && ((n->get_long() + 7L) <= 4095L));

Exactly.  I wanted to suggest the same thing.  I will change that and
submit, if you are fine with that.

-- Christian