bcm5719-llvm/llvm/test/Transforms/IRCE, branch meklort-10.0.1

[SCEV] get more accurate range for AddExpr with wrap flag.

2020-01-08T01:58:04+00:00

Reviewed By: nikic Differential Revision: https://reviews.llvm.org/D64869

[SCEV] Add smin support to getRangeRef

2019-09-12T21:32:27+00:00

We were failing to compute trip counts (both exact and maximum) for any loop which involved a comparison against either an umin or smin. It looks like this simply got missed when we added smin/umin to SCEV. (Note: umin was submitted separately earlier today. Turned out two folks hit this at the same time.) Differential Revision: https://reviews.llvm.org/D67514 llvm-svn: 371776

[SCEV] Pass NoWrapFlags when expanding an AddExpr

2019-06-14T09:19:41+00:00

InsertBinop now accepts NoWrapFlags, so pass them through when expanding a simple add expression. This is the first re-commit of the functional changes from rL362687, which was previously reverted. Differential Revision: https://reviews.llvm.org/D61934 llvm-svn: 363364

Revert "[SCEV] Use wrap flags in InsertBinop"

2019-06-06T12:35:46+00:00

This reverts commit r362687. Miscompiles llvm-profdata during selfhost. llvm-svn: 362699

[SCEV] Use wrap flags in InsertBinop

2019-06-06T08:56:26+00:00

If the given SCEVExpr has no (un)signed flags attached to it, transfer these to the resulting instruction or use them to find an existing instruction. Differential Revision: https://reviews.llvm.org/D61934 llvm-svn: 362687

[SCEV] Add explicit representations of umin/smin

2019-05-07T15:28:47+00:00

Summary: Currently we express umin as `~umax(~x, ~y)`. However, this becomes a problem for operands in non-integral pointer spaces, because `~x` is not something we can compute for `x` non-integral. However, since comparisons are generally still allowed, we are actually able to express `umin(x, y)` directly as long as we don't try to express is as a umax. Support this by adding an explicit umin/smin representation to SCEV. We do this by factoring the existing getUMax/getSMax functions into a new function that does all four. The previous two functions were largely identical. Reviewed By: sanjoy Differential Revision: https://reviews.llvm.org/D50167 llvm-svn: 360159

Revert "Temporarily Revert "Add basic loop fusion pass.""

2019-04-17T04:52:47+00:00

The reversion apparently deleted the test/Transforms directory. Will be re-reverting again. llvm-svn: 358552

Temporarily Revert "Add basic loop fusion pass."

2019-04-17T02:12:23+00:00

As it's causing some bot failures (and per request from kbarton). This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda. llvm-svn: 358546

[IRCE] Support narrow latch condition for wide range checks

2019-01-23T07:20:56+00:00

This patch relaxes restrictions on types of latch condition and range check. In current implementation, they should match. This patch allows to handle wide range checks against narrow condition. The motivating example is the following: int N = ... for (long i = 0; (int) i < N; i++) { if (i >= length) deopt; } In this patch, the option that enables this support is turned off by default. We'll wait until it is switched to true. Differential Revision: https://reviews.llvm.org/D56837 Reviewed By: reames llvm-svn: 351926

[NFC] Remove obsolete enum RangeCheckKind

2019-01-15T10:48:45+00:00

llvm-svn: 351183