diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2020-02-09 20:14:35 -0600 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2020-02-10 00:55:10 -0600 |
| commit | 8155439331ac8f85be54adbd053c100567927d7c (patch) | |
| tree | 408cfb9df8622b6545fbe3dd6b27f0b7f7003f30 /llvm/lib/Bitcode | |
| parent | 63adbb9a0ed9a40fc47c72502754d88d04ede1e0 (diff) | |
| download | llvm-8155439331ac8f85be54adbd053c100567927d7c.zip llvm-8155439331ac8f85be54adbd053c100567927d7c.tar.gz llvm-8155439331ac8f85be54adbd053c100567927d7c.tar.bz2 | |
[Attributor] Allow PHI nodes in AAValueConstantRangeFloating
Traversing PHI nodes is natural with the genericValueTraversal but also
a bit tricky. The problem is similar to the ones we have seen in AAAlign
and AADereferenceable, namely that we continue to increase the range in
each iteration. We use a pessimistic approach here to stop the
iterations. Nevertheless, optimistic information can now be propagated
through a PHI node.
Diffstat (limited to 'llvm/lib/Bitcode')
0 files changed, 0 insertions, 0 deletions