forked from OSchip/llvm-project
7ff57705ba
We have a vector compare reduction problem seen in PR39665 comment 2: https://bugs.llvm.org/show_bug.cgi?id=39665#c2 Or slightly reduced here: define i1 @cmp2(<2 x double> %a0) { %a = fcmp ogt <2 x double> %a0, <double 1.0, double 1.0> %b = extractelement <2 x i1> %a, i32 0 %c = extractelement <2 x i1> %a, i32 1 %d = and i1 %b, %c ret i1 %d } SLP would not attempt to turn this into a vector reduction because there is an artificial lower limit on that transform. We can not completely remove that limit without inducing regressions though, so this patch just hacks an extra attempt at creating a 2-way reduction to the end of the analysis. As shown in the test file, we are still not getting some of the motivating cases, so follow-on patches will be needed to solve those cases. Differential Revision: https://reviews.llvm.org/D59710 |
||
|---|---|---|
| .. | ||
| CMakeLists.txt | ||
| LLVMBuild.txt | ||
| LoadStoreVectorizer.cpp | ||
| LoopVectorizationLegality.cpp | ||
| LoopVectorizationPlanner.h | ||
| LoopVectorize.cpp | ||
| SLPVectorizer.cpp | ||
| VPRecipeBuilder.h | ||
| VPlan.cpp | ||
| VPlan.h | ||
| VPlanDominatorTree.h | ||
| VPlanHCFGBuilder.cpp | ||
| VPlanHCFGBuilder.h | ||
| VPlanHCFGTransforms.cpp | ||
| VPlanHCFGTransforms.h | ||
| VPlanLoopInfo.h | ||
| VPlanPredicator.cpp | ||
| VPlanPredicator.h | ||
| VPlanSLP.cpp | ||
| VPlanValue.h | ||
| VPlanVerifier.cpp | ||
| VPlanVerifier.h | ||
| Vectorize.cpp | ||