[PATCH] D101260: [LoopVectorize][SVE] Remove assert for scalable vector in InnerLoopVectorizer::fixReduction

[Caroline via Phabricator via llvm-commits]

CarolineConcatto added inline comments.


================
Comment at: llvm/test/Transforms/LoopVectorize/sve-reduction-inloop.ll:12
+; CHECK-NEXT:  %[[ICMP1:.*]] = icmp eq i32 %[[INDEXNEXT]], %{{.*}}
+; CHECK-NEXT:  %[[TRUNC1:.*]] = trunc <vscale x 8 x i32> %{{.*}} to <vscale x 8 x i8>
+; CHECK-NEXT:  %[[ZEXT1:.*]] = zext <vscale x 8 x i8> %[[TRUNC1]] to <vscale x 8 x i32>
----------------
david-arm wrote:
> Hi @CarolineConcatto, I presume this is a truncation of the PHI value? If possible I think it might be nice to have CHECK lines for the PHI values to see them being truncated. I think that ZEXT1 and ZEXT2 will also be the incoming values for the PHI node too.
Hey @david-arm,
I hope I've addressed your comment.
I've run:
../llvm/utils/update_test_checks.py --opt=./bin/opt ../llvm/test/Transforms/LoopVectorize/sve-reduction-inloop.ll and removed some checks that I thought it was not needed.
But I can let the entire output of update_test_checks.py if you find it better.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101260