[PATCH] D144050: [SCEV] Strengthen nowrap flags via ranges for ARs on construction.
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Feb 17 07:23:09 PST 2023
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
More information about the llvm-commits
mailing list