bug report x86-64 code: je / jbe

[Iain Buclaw]

On Monday, 19 June 2023 at 09:54:32 UTC, Iain Buclaw wrote:
> On Sunday, 18 June 2023 at 02:55:32 UTC, Cecil Ward wrote:
>> On Friday, 16 June 2023 at 13:12:06 UTC, Iain Buclaw wrote:
>>>
>>> Redundant jump? Yes, arguably. Leads to wrong runtime? 
>>> Doesn't look that way.
>>
>> Completely agree with Iain, it’s not incorrect code, I wasn’t 
>> intending to suggest that. I’d just say suboptimal, and not 
>> the very best code generation possible.
>
> By the way, I suspect it's related to this problem report.
>
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96435
>

Fix has been committed in time for 13.2 release.