> The pattern will only be matched if the value is positive. More > specifically if the constant value is 32 (SImode) or 64 (DImode).
I don't mean the constant, but the value subtracted from it. If that's negative, then we have a shift count larger than the wordsize.
