Re: [PATCH] reassoc: Fix up inter-bb range optimization [PR104196]

2022-01-27 Thread Richard Biener via Gcc-patches
On Thu, 27 Jan 2022, Jakub Jelinek wrote: > Hi! > > As mentioned in the PR, reassoc1 miscompiles following testcase. > We have: > if (a.1_1 >= 0) > goto ; [59.00%] > else > goto ; [41.00%] > >[local count: 440234144]: > _3 = -2147483647 - a.1_1; > _9 = a.1_1 != -2147479551;

[PATCH] reassoc: Fix up inter-bb range optimization [PR104196]

2022-01-27 Thread Jakub Jelinek via Gcc-patches
Hi! As mentioned in the PR, reassoc1 miscompiles following testcase. We have: if (a.1_1 >= 0) goto ; [59.00%] else goto ; [41.00%] [local count: 440234144]: _3 = -2147483647 - a.1_1; _9 = a.1_1 != -2147479551; _4 = _3 == 1; _8 = _4 | _9; if (_8 != 0) goto ; [34.51%]