[Bug tree-optimization/55334] mgrid regression (ipa-cp disables vectorization)

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-16 12:05:44 UTC ---
Restrict is one thing, not figuring out that disjoint accesses to the same
array don't overlap is another (i.e. the #c5 testcase).  Cast restrict is hard
to do reliably, as the referenced PR documents, while figuring out that say
Creating dr for *_7
analyze_innermost: success.
        base_address: &mem
        offset from base address: 0
        constant offset from base address: 4096
        step: 4
        aligned to: 128
        base_object: *(const float *) &mem
        Access function 0: {4096B, +, 4}_1
and
Creating dr for *_6
analyze_innermost: success.
        base_address: &mem
        offset from base address: 0
        constant offset from base address: 0
        step: 4
        aligned to: 128
        base_object: MEM[(float *)&mem]
        Access function 0: {0B, +, 4}_1
for 1024 iterations would be really nice.