use RSB for x = (y << n) - z;

[bgregoir]

Should I add something in the change log?

[vbgl]

Is it necessary (useful?) to have such a complex test case?

[vbgl]

And indeed, a changelog entry would be nice.

[bgregoir]

I think it is as useful x = y + z << n or x = y - z << n;
It is not needed since we can write x = #ADD(y, z << n) or x = #SUB(y, z << n); or x = RSB(z, y << n).
But it is maybe less readable.

[vbgl]

I’m still not convinced by the large test case.

[bgregoir]

Sorry Vincent, I miss understood your message:
" to have such a complex test case?"
I will fix that.

[bgregoir]

Done, I think it is now very simple.
Again sorry for the miss understanding

[vbgl]

No problem. Thanks for your contribution.