[Bug tree-optimization/108821] [11/12 Regression] LIM reissuing a violatile store when it cannot/should not

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108821

--- Comment #6 from CVS Commits  ---
The releases/gcc-12 branch has been updated by Richard Biener
:

https://gcc.gnu.org/g:dbbbaed64f39aae57f5f167174121c1be9d18282

commit r12-9261-gdbbbaed64f39aae57f5f167174121c1be9d18282
Author: Richard Biener 
Date:   Fri Feb 17 12:36:44 2023 +0100

tree-optimization/108821 - store motion and volatiles

The following fixes store motion to not re-issue volatile stores
to preserve TBAA behavior since that will result in the number
of volatile accesses changing.

PR tree-optimization/108821
* tree-ssa-loop-im.cc (sm_seq_valid_bb): We can also not
move volatile accesses.

* gcc.dg/tree-ssa/ssa-lim-24.c: New testcase.

(cherry picked from commit 4c4f0f7acd6b96ee744ef598cbea5c7046a33654)

[Bug tree-optimization/108821] [11/12 Regression] LIM reissuing a violatile store when it cannot/should not

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108821

Richard Biener  changed:

   What|Removed |Added

Summary|[11/12/13 Regression] LIM   |[11/12 Regression] LIM
   |reissuing a violatile store |reissuing a violatile store
   |when it cannot/should not   |when it cannot/should not
  Known to work||13.0

--- Comment #5 from Richard Biener  ---
Fixed on trunk sofar.