Bug 89754 - Vectorizer cost model check should look at evolution of niter in outer loop(s)
Summary: Vectorizer cost model check should look at evolution of niter in outer loop(s)
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 9.0
: P3 enhancement
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords: missed-optimization
Depends on:
Blocks: vectorizer 87561
  Show dependency tree / graph
 
Reported: 2019-03-18 10:01 UTC by Richard Biener
Modified: 2024-03-20 05:39 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2019-03-18 00:00:00

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Richard Biener 2019-03-18 10:01:47 UTC 
For the testcase in PR87561 which has a loop nest iterating over a triangle
the vectorizer should take the evolution of the inner loop niter in the outer
loop into account for cost modeling and compute a cost model check for the
outer loop also applying cost model versioning to the outer loop instead of
the inner loop.
Comment 1 Richard Biener 2019-03-18 10:02:23 UTC 
If implemented the awkward x86 cost model adjustments might not be neccessary.