On Tuesday, 23 May 2017 at 15:37:39 UTC, Stefan Koch wrote:
The compiler does indeed seem to optimize the code somewhat.
Although the generated asm still looks wired.
The jbe (jump-below-equal)
does check the overflow flag (and redundantly the zero-flag) here
and sets the bool which represents overflow to one.