[PATCH] D144050: [SCEV] Strengthen nowrap flags via ranges for ARs on construction.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I think ideally we'd want this to happen in getOrCreateAddRec(), so we always infer these flags, even if the addrec is not created from IR. But a naive approach to that would probably run into issues because BE count calculation will need the addrec in the first place. So I think this patch is a reasonable starting point for now, and gets most of the test diff out of the way.

Note that there is a failing polly test.



================
Comment at: llvm/test/Analysis/ScalarEvolution/range-signedness.ll:1
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
 ; RUN: opt -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s
----------------
Broken test


================
Comment at: llvm/test/CodeGen/Thumb2/mve-laneinterleaving-reduct.ll:4
 
-define arm_aapcs_vfpcc i16 @reduce_v16i16_shift_mul(<16 x i8> %s0, <16 x i8> %s1) {
-; CHECK-LABEL: reduce_v16i16_shift_mul:
----------------
Why did these tests get deleted?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144050/new/

https://reviews.llvm.org/D144050