2012-02-01 03:51:43 +00:00
|
|
|
//===-- Vectorize.h - Vectorization Transformations -------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This header file defines prototypes for accessor functions that expose passes
|
|
|
|
// in the Vectorize transformations library.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_TRANSFORMS_VECTORIZE_H
|
|
|
|
#define LLVM_TRANSFORMS_VECTORIZE_H
|
|
|
|
|
|
|
|
namespace llvm {
|
2012-04-05 08:05:16 +00:00
|
|
|
class BasicBlock;
|
2012-02-01 03:51:43 +00:00
|
|
|
class BasicBlockPass;
|
2012-12-03 16:50:05 +00:00
|
|
|
class Pass;
|
2012-02-01 03:51:43 +00:00
|
|
|
|
2012-04-05 15:46:55 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// @brief Vectorize configuration.
|
|
|
|
struct VectorizeConfig {
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Target architecture related parameters
|
|
|
|
|
|
|
|
/// @brief The size of the native vector registers.
|
|
|
|
unsigned VectorBits;
|
|
|
|
|
2012-06-24 13:28:01 +00:00
|
|
|
/// @brief Vectorize boolean values.
|
|
|
|
bool VectorizeBools;
|
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize integer values.
|
|
|
|
bool VectorizeInts;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize floating-point values.
|
|
|
|
bool VectorizeFloats;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
2012-04-14 07:32:43 +00:00
|
|
|
/// @brief Vectorize pointer values.
|
|
|
|
bool VectorizePointers;
|
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize casting (conversion) operations.
|
|
|
|
bool VectorizeCasts;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize floating-point math intrinsics.
|
|
|
|
bool VectorizeMath;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize the fused-multiply-add intrinsic.
|
|
|
|
bool VectorizeFMA;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
2012-04-13 20:45:45 +00:00
|
|
|
/// @brief Vectorize select instructions.
|
|
|
|
bool VectorizeSelect;
|
|
|
|
|
2012-06-23 21:52:50 +00:00
|
|
|
/// @brief Vectorize comparison instructions.
|
|
|
|
bool VectorizeCmp;
|
|
|
|
|
2012-04-14 07:32:43 +00:00
|
|
|
/// @brief Vectorize getelementptr instructions.
|
|
|
|
bool VectorizeGEP;
|
|
|
|
|
2012-04-07 03:56:23 +00:00
|
|
|
/// @brief Vectorize loads and stores.
|
|
|
|
bool VectorizeMemOps;
|
2012-04-05 15:46:55 +00:00
|
|
|
|
|
|
|
/// @brief Only generate aligned loads and stores.
|
|
|
|
bool AlignedOnly;
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Misc parameters
|
|
|
|
|
|
|
|
/// @brief The required chain depth for vectorization.
|
|
|
|
unsigned ReqChainDepth;
|
|
|
|
|
|
|
|
/// @brief The maximum search distance for instruction pairs.
|
|
|
|
unsigned SearchLimit;
|
|
|
|
|
|
|
|
/// @brief The maximum number of candidate pairs with which to use a full
|
|
|
|
/// cycle check.
|
|
|
|
unsigned MaxCandPairsForCycleCheck;
|
|
|
|
|
|
|
|
/// @brief Replicating one element to a pair breaks the chain.
|
|
|
|
bool SplatBreaksChain;
|
|
|
|
|
|
|
|
/// @brief The maximum number of pairable instructions per group.
|
|
|
|
unsigned MaxInsts;
|
|
|
|
|
BBVectorize: Cap the number of candidate pairs in each instruction group
For some basic blocks, it is possible to generate many candidate pairs for
relatively few pairable instructions. When many (tens of thousands) of these pairs
are generated for a single instruction group, the time taken to generate and
rank the different vectorization plans can become quite large. As a result, we now
cap the number of candidate pairs within each instruction group. This is done by
closing out the group once the threshold is reached (set now at 3000 pairs).
Although this will limit the overall compile-time impact, this may not be the best
way to achieve this result. It might be better, for example, to prune excessive
candidate pairs after the fact the prevent the generation of short, but highly-connected
groups. We can experiment with this in the future.
This change reduces the overall compile-time slowdown of the csa.ll test case in
PR15222 to ~5x. If 5x is still considered too large, a lower limit can be
used as the default.
This represents a functionality change, but only for very large inputs
(thus, there is no regression test).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@175251 91177308-0d34-0410-b5e6-96231b3b80d8
2013-02-15 04:28:42 +00:00
|
|
|
/// @brief The maximum number of candidate instruction pairs per group.
|
|
|
|
unsigned MaxPairs;
|
|
|
|
|
2012-04-05 15:46:55 +00:00
|
|
|
/// @brief The maximum number of pairing iterations.
|
|
|
|
unsigned MaxIter;
|
|
|
|
|
2012-06-28 05:42:42 +00:00
|
|
|
/// @brief Don't try to form odd-length vectors.
|
|
|
|
bool Pow2LenOnly;
|
|
|
|
|
2012-04-05 15:46:55 +00:00
|
|
|
/// @brief Don't boost the chain-depth contribution of loads and stores.
|
|
|
|
bool NoMemOpBoost;
|
|
|
|
|
|
|
|
/// @brief Use a fast instruction dependency analysis.
|
|
|
|
bool FastDep;
|
|
|
|
|
|
|
|
/// @brief Initialize the VectorizeConfig from command line options.
|
|
|
|
VectorizeConfig();
|
|
|
|
};
|
|
|
|
|
2012-02-01 03:51:43 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// BBVectorize - A basic-block vectorization pass.
|
|
|
|
//
|
2012-04-05 15:46:55 +00:00
|
|
|
BasicBlockPass *
|
|
|
|
createBBVectorizePass(const VectorizeConfig &C = VectorizeConfig());
|
2012-02-01 03:51:43 +00:00
|
|
|
|
2012-10-17 18:25:06 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// LoopVectorize - Create a loop vectorization pass.
|
|
|
|
//
|
2012-12-12 19:29:45 +00:00
|
|
|
Pass *createLoopVectorizePass();
|
2012-10-17 18:25:06 +00:00
|
|
|
|
2013-04-09 19:44:35 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// SLPVectorizer - Create a bottom-up SLP vectorizer pass.
|
|
|
|
//
|
|
|
|
Pass *createSLPVectorizerPass();
|
|
|
|
|
2012-04-05 08:05:16 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// @brief Vectorize the BasicBlock.
|
|
|
|
///
|
|
|
|
/// @param BB The BasicBlock to be vectorized
|
|
|
|
/// @param P The current running pass, should require AliasAnalysis and
|
|
|
|
/// ScalarEvolution. After the vectorization, AliasAnalysis,
|
|
|
|
/// ScalarEvolution and CFG are preserved.
|
|
|
|
///
|
|
|
|
/// @return True if the BB is changed, false otherwise.
|
|
|
|
///
|
2012-04-05 15:46:55 +00:00
|
|
|
bool vectorizeBasicBlock(Pass *P, BasicBlock &BB,
|
|
|
|
const VectorizeConfig &C = VectorizeConfig());
|
2012-04-05 08:05:16 +00:00
|
|
|
|
2012-02-01 03:51:43 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
#endif
|