https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82676
Bug ID: 82676
Summary: GRAPHITE doesn't handle niter with may_be_zero
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Blocks: 59859
Target Milestone: ---
$summary. It should use number_of_iterations_exit and only reject assumptions
(even that could go into a versioning condition). may_be_zero can be added
as an additional constraint on the domain.
Needs some refactoring for handling of condition / constraint generation for
conditions.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59859
[Bug 59859] [meta-bug] GRAPHITE issues
