On Wed, 2017-03-01 at 08:14 -0800, Alexander Duyck wrote: > What build flags are you using? With -Os or -O2 I have seen it > convert the /b * c into a single shift. >
Because b & c are unsigned in our case. I presume David tried signed integers, this is why gcc does that.
