Re: harden-conditionals: detach values before compares

2023-04-27 Thread Richard Biener via Gcc-patches
On Thu, Apr 27, 2023 at 1:48 PM Alexandre Oliva via Gcc-patches wrote: > > > The optimization barriers inserted after compares enable GCC to derive > information about the values from e.g. the taken paths, or the absence > of exceptions. Move them before the original compares, so that the > rever

harden-conditionals: detach values before compares

2023-04-27 Thread Alexandre Oliva via Gcc-patches
The optimization barriers inserted after compares enable GCC to derive information about the values from e.g. the taken paths, or the absence of exceptions. Move them before the original compares, so that the reversed compares test copies of the original operands, without further optimizations.