On Wed, 2009-02-18 at 00:50 -0800, John Rose wrote: > If the type of a load matches that predicate, then you know that the > high-order bit is zero, and loadB can be strength-reduced to loadUB. > > That's the explanation. Thanks. Now it's clear. -- Christian