[PATCH] D30477: [SCEV] Compute affine range in another way to avoid bitwidth extending.

[Andrew Trick via Phabricator via llvm-commits]

atrick added a comment.

I haven't fully reviewed the code, but I'm really glad you were able to express the range without extending its width. Thanks for doing this.



================
Comment at: lib/Analysis/ScalarEvolution.cpp:4833
+  APInt StepSMax = StepSRange.getSignedMax();
+  bool CheckBackDirection = false;
+  bool CheckFwdDirection = false;
----------------
This is probably fine:

```
CheckBackDirection = StepSMin.isNegative();
```


https://reviews.llvm.org/D30477