[PATCH] D152091: [InstCombine] precommit test for D152068(NFC)

Kohei Asano via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Jun 4 07:23:40 PDT 2023


khei4 added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/addsub-constant-folding.ll:175
+}
+
 define i32 @add_const_const_sub_extrause(i32 %arg) {
----------------
nikic wrote:
> It would be good to have a test with non-splat vector constants (one with and one without overflow), as this fold supports them.
Thank you for a good catch! I could find currently, i.e. `C = <i8 1, i8 3>`, `C2 = <i8 -127, i8 -125>`,  `bool WillNotSOV = willNotOverflowSignedSub(C, C2, I);` would be false because [[ https://github.com/llvm/llvm-project/blob/main/llvm/lib/Analysis/ValueTracking.cpp#L6201-L6206 | computeOverflowForSignedSub ]] can't check correctly, but each vector's maximum and minimum element range??


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

https://reviews.llvm.org/D152091



More information about the llvm-commits mailing list