[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 Martin Liška changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 --- Comment #5 from Martin Liška --- Author: marxin Date: Thu Jun 6 07:55:51 2019 New Revision: 271991 URL: https://gcc.gnu.org/viewcvs?rev=271991&root=gcc&view=rev Log: Simplify mult where both arguments are 0 or 1 (PR tree-optimization/87954)

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 Martin Liška changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 --- Comment #2 from Richard Biener --- (In reply to Aldy Hernandez from comment #1) > Indeed, if you compile imul() with -fdump-tree-all-details-alias -O2 and > look at the vrp1 dump, one can see: > > # RANGE [0, 1] NONZERO 1 > is_rec_12 = (

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 --- Comment #3 from Martin Liška --- Marc, are you planning to implement that in the future?

[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87954 --- Comment #4 from Marc Glisse --- (In reply to Martin Liška from comment #3) > Marc, are you planning to implement that in the future? Not in the near future, no. It is all yours if you want it ;-)