forked from OSchip/llvm-project
0aaf8c16ac
Clamp function was too optimistic when choosing signed or unsigned min/max function for calculations. In fact, `!IsSignedPredicate` guarantees us that `Smallest` and `Greatest` can be compared safely using unsigned predicates, but we did not check this for `S` which can in theory be negative. This patch makes Clamp use signed min/max for cases when it fails to prove `S` being non-negative, and it adds a test where such situation may lead to incorrect conditions calculation. Differential Revision: https://reviews.llvm.org/D36873 llvm-svn: 311205 |
||
|---|---|---|
| .. | ||
| add-metadata-pre-post-loops.ll | ||
| bad-loop-structure.ll | ||
| bug-loop-varying-upper-limit.ll | ||
| bug-mismatched-types.ll | ||
| clamp.ll | ||
| conjunctive-checks.ll | ||
| correct-loop-info.ll | ||
| decrementing-loop.ll | ||
| eq_ne.ll | ||
| low-becount.ll | ||
| multiple-access-no-preloop.ll | ||
| not-likely-taken.ll | ||
| only-lower-check.ll | ||
| only-upper-check.ll | ||
| pre_post_loops.ll | ||
| single-access-no-preloop.ll | ||
| single-access-with-preloop.ll | ||
| skip-profitability-checks.ll | ||
| stride_more_than_1.ll | ||
| unhandled.ll | ||
| unsigned_comparisons_ugt.ll | ||
| unsigned_comparisons_ult.ll | ||
| with-parent-loops.ll | ||