[PATCH][WIP] PR tree-optimization/101808 Boolean comparison simplification

Navid Rahimi navidrahimi@microsoft.com
Tue Nov 23 18:34:00 GMT 2021

Hi GCC community,

I wanted you take a quick look at this patch to solve this bug [1]. This is the code example for the optimization [2] which does include a link to proof of each different optimization.

I think it should be possible to use simpler approach than what Andrew has used here [3].

P.S. Tested and verified on Linux x86_64.

1) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101808 
2) https://compiler-explorer.com/z/Gc448eE3z
3) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101808#c1

Best wishes,
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-PR-tree-optimization-101808.patch
Type: application/octet-stream
Size: 3144 bytes
Desc: 0001-PR-tree-optimization-101808.patch
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20211123/7dfc195a/attachment.obj>

More information about the Gcc-patches mailing list