diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-17 16:57:42 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-17 16:57:42 +0000 |
| commit | 203958100289f8273bf4bce1a7239cba9e707264 (patch) | |
| tree | 2c5f8bd87ce2f2468394f6be19ff7876778894a7 /llvm/lib/ProfileData/InstrProfReader.cpp | |
| parent | 394d0a163714ee544266f31536e7bdd81fdb2fc0 (diff) | |
| download | bcm5719-llvm-203958100289f8273bf4bce1a7239cba9e707264.tar.gz bcm5719-llvm-203958100289f8273bf4bce1a7239cba9e707264.zip | |
[LVI][CVP] Constrain values in with.overflow branches
If a branch is conditional on extractvalue(op.with.overflow(%x, C), 1)
then we can constrain the value of %x inside the branch based on
makeGuaranteedNoWrapRegion(). We do this by extending the edge-value
handling in LVI. This allows CVP to then fold comparisons against %x,
as illustrated in the tests.
Differential Revision: https://reviews.llvm.org/D60650
llvm-svn: 358597
Diffstat (limited to 'llvm/lib/ProfileData/InstrProfReader.cpp')
0 files changed, 0 insertions, 0 deletions
