[Bug tree-optimization/114207] [12/13/14 Regression] modref gets confused by vecotorized code ` -O3 -fno-tree-forwprop` since r12-5439

2024-03-02 Thread jakub at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114207

Jakub Jelinek  changed:

   What|Removed |Added

 CC||hubicka at gcc dot gnu.org,
   ||jakub at gcc dot gnu.org
Summary|[12/13/14 Regression]   |[12/13/14 Regression]
   |modref gets confused by |modref gets confused by
   |vecotorized code ` -O3  |vecotorized code ` -O3
   |-fno-tree-forwprop` |-fno-tree-forwprop` since
   ||r12-5439
   Priority|P3  |P2

--- Comment #2 from Jakub Jelinek  ---
Started with r12-5439-g0f5afb626381d19bfced30bc19cf3b03867fa6f5

[Bug tree-optimization/114207] [12/13/14 Regression] modref gets confused by vecotorized code ` -O3 -fno-tree-forwprop` since r12-5439

2024-03-03 Thread hubicka at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114207

Jan Hubicka  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |hubicka at gcc dot 
gnu.org

--- Comment #3 from Jan Hubicka  ---
mine.

The summary is:
  loads:
  Base 0: alias set 1
Ref 0: alias set 1
  access: Parm 0 param offset:4 offset:0 size:64 max_size:64
  stores:
  Base 0: alias set 1
Ref 0: alias set 1
  access: Parm 0 param offset:0 offset:0 size:64 max_size:64

while with fwprop we get:
  loads:
  Base 0: alias set 1
Ref 0: alias set 1
  access: Parm 0 param offset:0 offset:0 size:64 max_size:64
  stores:
  Base 0: alias set 1
Ref 0: alias set 1
  access: Parm 0 param offset:0 offset:0 size:64 max_size:64

So it seems that offset is misaccounted.