Re: [PATCH] reassoc: Fix up optimize_range_tests_to_bit_test [PR118915]

On Mon, 24 Feb 2025, Jakub Jelinek wrote: > Hi! > > The following testcase is miscompiled due to a bug in > optimize_range_tests_to_bit_test. It is trying to optimize > check for a in [-34,-34] or [-26,-26] or [-6,-6] or [-4,inf] ranges. > Another reassoc optimization folds the the test for the

[PATCH] reassoc: Fix up optimize_range_tests_to_bit_test [PR118915]

Hi! The following testcase is miscompiled due to a bug in optimize_range_tests_to_bit_test. It is trying to optimize check for a in [-34,-34] or [-26,-26] or [-6,-6] or [-4,inf] ranges. Another reassoc optimization folds the the test for the first two ranges into (a + 34U) & ~8U in [0U,0U] range,