diff options
| author | Chang-Sun Lin, Jr <chang-sun.lin.jr@intel.com> | 2021-08-02 22:18:13 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-08-02 22:20:17 +0200 |
| commit | b58eda39eb1fcb7df942c8569d031a342fa1308d (patch) | |
| tree | 43527c1ea42f217403ec9b1a30a4c436bd1a64d6 /llvm/lib/Transforms/Utils/LoopUnrollRuntime.cpp | |
| parent | 739efad3f6e36282b7d3a4c76802424473249b41 (diff) | |
| download | llvm-b58eda39eb1fcb7df942c8569d031a342fa1308d.zip llvm-b58eda39eb1fcb7df942c8569d031a342fa1308d.tar.gz llvm-b58eda39eb1fcb7df942c8569d031a342fa1308d.tar.bz2 | |
[ValueTracking] Fix computeConstantRange to use "may" instead of "always" semantics for llvm.assume
ValueTracking should allow for value ranges that may satisfy
llvm.assume, instead of restricting the ranges only to values that
will always satisfy the condition.
Differential Revision: https://reviews.llvm.org/D107298
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUnrollRuntime.cpp')
0 files changed, 0 insertions, 0 deletions