search for: isprofitable

...smoothly. Actually, we do the same for gather/scatter - vectorizer does not build intrinsics if the Target does not support them. > adds complexity to the optimizer Optimizer should not deal with intrinsics, with this kind of intrinsics at least. The target should be able to answer on question IsProfitable(ORDERED_REDUCTION_FADD, VF) - ordered reductions, for example, are not supported on X86 and the answer will, probably, be "false". In this case we'll stay with plain IR. But SVE will answer "true" and an intrinsic will be created. So, in my opinion, we need reduction intrin...

...possible, I agree. The problem that I see is in adding another kind of complexity to the optimizer that works between the Vectorizer and the Back-end. It should be able to recognize all "obvious" patterns in order to preserve them. >> The target should be able to answer on question IsProfitable(ORDERED_REDUCTION_FADD, VF) - ordered reductions, for example, are not supported on X86 and the answer will, probably, be "false". >> In this case we'll stay with plain IR. >> But SVE will answer "true" and an intrinsic will be created. So, in my opinion, we nee...

+cc Simon who's also interested in reductions for the any_true, all_true predicate vectors. On 31 January 2017 at 20:19, Renato Golin via llvm-dev <llvm-dev at lists.llvm.org> wrote: > Hi Amara, > > We also had some discussions on the SVE side of reductions on the main > SVE thread, but this description is much more detailed than we had > before. > > I don't