On 10/29/18 12:06 PM, Peter Maydell wrote:
> I'm having difficulty figuring out where this check has come from;
> it doesn't seem to match up with the pseudocode and in any case
> I don't think size can ever be > 3. We calculate:
>
> int size = 32 - clz32(immh) - 1;
> where immh is a 4 bit field which we know cannot be all-zeroes.
> So the clz32() return must be in {28,29,30,31} and the resulting
> size is in {0,1,2,3}, so the check above can't ever fire.
Correct.
The check appeared with the initial commit for aa64 support, so perhaps Alex
just trying to be defensive in his coding?
> Am I missing something? As far as I can see we should simply delete
> the can't-happen condition, which will probably satisfy coverity.
Agreed.
r~
