diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-25 09:53:45 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-25 09:53:45 +0000 |
| commit | 024b18aca7c57c15aa3faf0e650c52b2f7e21ae5 (patch) | |
| tree | 068f6afb0a236c25f0e59f5e15c5ef70293dfe93 /llvm/lib/Object/Object.cpp | |
| parent | 17367b0d895d9d886ea8cc647c8f732f41ce3d7a (diff) | |
| download | llvm-024b18aca7c57c15aa3faf0e650c52b2f7e21ae5.zip llvm-024b18aca7c57c15aa3faf0e650c52b2f7e21ae5.tar.gz llvm-024b18aca7c57c15aa3faf0e650c52b2f7e21ae5.tar.bz2 | |
[LVI][CVP] Calculate with.overflow result range
In LVI, calculate the range of extractvalue(op.with.overflow(%x, %y), 0)
as the range of op(%x, %y). This is mainly useful in conjunction with
D60650: If the result of the operation is extracted in a branch guarded
against overflow, then the value of %x will be appropriately constrained
and the result range of the operation will be calculated taking that
into account.
Differential Revision: https://reviews.llvm.org/D60656
llvm-svn: 361693
Diffstat (limited to 'llvm/lib/Object/Object.cpp')
0 files changed, 0 insertions, 0 deletions