diff options
| author | Alina Sbirlea <asbirlea@google.com> | 2019-01-10 21:47:15 +0000 |
|---|---|---|
| committer | Alina Sbirlea <asbirlea@google.com> | 2019-01-10 21:47:15 +0000 |
| commit | e41f4b39e53b024090af3d1e0c132a697d265da4 (patch) | |
| tree | 56cacf503547f6a70f7b26d7f60f0f21f14d09f0 /llvm/lib/Analysis | |
| parent | 9e0feef74a559efb55e528d959ae3fa8debb197e (diff) | |
| download | bcm5719-llvm-e41f4b39e53b024090af3d1e0c132a697d265da4.tar.gz bcm5719-llvm-e41f4b39e53b024090af3d1e0c132a697d265da4.zip | |
[MemorySSA] Disable checkClobberSanity for SkipSelfWalker.
Sanity will fail for this, since we're exploring getting a clobber
further than the sanity check expects.
Ideally we need to teach the sanity check to differentiate between the
two walkers based on the SkipSelf bool in the query.
llvm-svn: 350895
Diffstat (limited to 'llvm/lib/Analysis')
| -rw-r--r-- | llvm/lib/Analysis/MemorySSA.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/MemorySSA.cpp b/llvm/lib/Analysis/MemorySSA.cpp index e471ec7c08c..6a5567ed765 100644 --- a/llvm/lib/Analysis/MemorySSA.cpp +++ b/llvm/lib/Analysis/MemorySSA.cpp @@ -918,7 +918,8 @@ public: } #ifdef EXPENSIVE_CHECKS - checkClobberSanity(Current, Result, Q.StartingLoc, MSSA, Q, AA); + if (!Q.SkipSelfAccess) + checkClobberSanity(Current, Result, Q.StartingLoc, MSSA, Q, AA); #endif return Result; } |
