diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2016-12-31 17:37:01 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2016-12-31 17:37:01 +0000 |
| commit | 7fd779f09f00b04fbd59c15ce28614cdeea1e0b4 (patch) | |
| tree | 3e26487867ab1e7ef7bba2e11b3a727dedadbe81 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 21711c451e83efa8d83d3d202525ea3b2b2ca4c8 (diff) | |
| download | bcm5719-llvm-7fd779f09f00b04fbd59c15ce28614cdeea1e0b4.tar.gz bcm5719-llvm-7fd779f09f00b04fbd59c15ce28614cdeea1e0b4.zip | |
[ValueTracking] make dominator tree requirement explicit for isKnownNonNullFromDominatingCondition(); NFCI
I don't think this hole is currently exposed, but I crashed regression tests for
jump-threading and loop-vectorize after I added calls to isKnownNonNullAt() in
InstSimplify as part of trying to solve PR28430:
https://llvm.org/bugs/show_bug.cgi?id=28430
That's because they call into value tracking with a context instruction, but no
other parts of the query structure filled in.
For more background, see the discussion in:
https://reviews.llvm.org/D27855
llvm-svn: 290786
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions
