[PATCH] D49168: [LV] Add a new reduction pattern match

[Hideki Saito via Phabricator via llvm-commits]

hsaito accepted this revision.
hsaito added a comment.
This revision is now accepted and ready to land.

LGTM. Please wait for a few days to give others time to respond if they'd like to.



================
Comment at: test/Transforms/LoopVectorize/if-reduction.ll:1
+; RUN: opt -S -loop-vectorize -instcombine -force-vector-width=4 -force-vector-interleave=1 < %s | FileCheck %s
+
----------------
My preference is to have vectorization/non-vectorization checked by itself and then have another RUN line to check the expected optimization by InstCombine. That way, we'll quickly know which part changed when the test fails. I don't insist, though.



================
Comment at: test/Transforms/LoopVectorize/if-reduction.ll:583
+; CHECK-LABEL: @fcmp_fadd_fmul(
+; CHECK-NOT: <float> x float>
+define float @fcmp_fadd_fmul(float* nocapture readonly %a, i32 %n) nounwind readonly {
----------------
Is this the correct check here?


https://reviews.llvm.org/D49168