diff options
| author | Philip Reames <listmail@philipreames.com> | 2018-05-04 21:35:00 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2018-05-04 21:35:00 +0000 |
| commit | 5b39acd111e082e2ba91eb83de7ecb9763f76115 (patch) | |
| tree | 523b7404a40150c719aabf6d6154fdeb9a903efb /clang/lib/StaticAnalyzer/Core/Store.cpp | |
| parent | a2e053638bbfea50b29a29ee687f1bdd6abd427f (diff) | |
| download | bcm5719-llvm-5b39acd111e082e2ba91eb83de7ecb9763f76115.tar.gz bcm5719-llvm-5b39acd111e082e2ba91eb83de7ecb9763f76115.zip | |
[LICM] Compute a must execute property for the prefix of the header as we go
Computing this property within the existing walk ensures that the cost is linear with the size of the block. If we did this from within isGuaranteedToExecute, it would be quadratic without some very fancy caching.
This allows us to reliably catch a hoistable instruction within a header which may throw at some point *after* our hoistable instruction. It doesn't do anything for non-header cases, but given how common single block loops are, this seems very worthwhile.
llvm-svn: 331557
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Store.cpp')
0 files changed, 0 insertions, 0 deletions
