diff options
| author | Tobias Grosser <tobias@grosser.es> | 2017-04-27 20:08:16 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2017-04-27 20:08:16 +0000 |
| commit | c96c1d8c87982f2341dba5fb31ee90ae41b31f4c (patch) | |
| tree | dd4764730ce91d79d18c4fbc019837d04c531819 /llvm/lib/Transforms/Utils/ModuleUtils.cpp | |
| parent | 9a98df63f436213d89f4b3df351fb7602c6597ea (diff) | |
| download | llvm-c96c1d8c87982f2341dba5fb31ee90ae41b31f4c.zip llvm-c96c1d8c87982f2341dba5fb31ee90ae41b31f4c.tar.gz llvm-c96c1d8c87982f2341dba5fb31ee90ae41b31f4c.tar.bz2 | |
[ScopInfo] Consider only write-free dereferencable loads as invariant
When we introduced in r297375 support for hoisting loads that are known
to be dereferencable without any conditional guard, we forgot to keep the check
to verify that no other write into the very same location exists. This
change ensures now that dereferencable loads are allowed to access everything,
but can only be hoisted in case no conflicting write exists.
This resolves llvm.org/PR32778
Reported-by: Huihui Zhang <huihuiz@codeaurora.org>
llvm-svn: 301582
Diffstat (limited to 'llvm/lib/Transforms/Utils/ModuleUtils.cpp')
0 files changed, 0 insertions, 0 deletions