This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/65391] missed store motion for conditionally updated pointer in loop
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 01 Aug 2016 11:29:25 +0000
- Subject: [Bug tree-optimization/65391] missed store motion for conditionally updated pointer in loop
- Auto-submitted: auto-generated
- References: <bug-65391-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65391
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note the easiest way out is to use the existing infrastructure to avoid
store-data-races. But that only works when there is no (possibly trapping)
load
as we need to materialize a value for the register on loop entry.
The non-trappingness is currently recorded on a BB basis and not tracked per
reference so it's not easy to fix that part without a major rewrite in that
area.