[Bug target/82439] Missing (x | y) == x simplifications

2018-01-05 Thread wilco at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 Wilco changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug target/82439] Missing (x | y) == x simplifications

2018-01-05 Thread sudi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 --- Comment #7 from sudi at gcc dot gnu.org --- Author: sudi Date: Fri Jan 5 10:45:37 2018 New Revision: 256275 URL: https://gcc.gnu.org/viewcvs?rev=256275&root=gcc&view=rev Log: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) ==

[Bug target/82439] Missing (x | y) == x simplifications

2018-01-03 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 --- Comment #6 from Marc Glisse --- (In reply to Andrew Pinski from comment #1) > "(x | y) == x" is simpler than "(y & ~x) == 0" on the tree level. 2 gimple > vs 3. We do indeed tend to use the number of stmts to chose canonical forms on gimple,

[Bug target/82439] Missing (x | y) == x simplifications

2018-01-03 Thread sudi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 --- Comment #5 from sudi at gcc dot gnu.org --- Patch submitted https://gcc.gnu.org/ml/gcc-patches/2018-01/msg00139.html

[Bug target/82439] Missing (x | y) == x simplifications

2017-12-29 Thread sudi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 sudi at gcc dot gnu.org changed: What|Removed |Added CC||sudi at gcc dot gnu.org --- Com

[Bug target/82439] Missing (x | y) == x simplifications

2017-10-05 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 --- Comment #3 from Andrew Pinski --- I was thinking more of expand time. We need better expansion time options. Maybe the option for expansion time is something which is parsed things like this: (for op (bit_and bit_ior) (expand (eq (op @0

[Bug target/82439] Missing (x | y) == x simplifications

2017-10-05 Thread wdijkstr at arm dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 Wilco changed: What|Removed |Added CC||wdijkstr at arm dot com --- Comment #2 from Wilc

[Bug target/82439] Missing (x | y) == x simplifications

2017-10-05 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439 Andrew Pinski changed: What|Removed |Added Target||aarch64 Status|UNCONFIRMED