BundleVec.h

Go to the documentation of this file.

//===- BundleVec.h ----------------------------------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// A vectorizer pass that forms bundles by walking the def-use chain bottom-up
// or top-down, depending on the auxiliary pass argument.
//
 
#ifndef LLVM_TRANSFORMS_VECTORIZE_SANDBOXVECTORIZER_PASSES_BUNDLEVEC_H
#define LLVM_TRANSFORMS_VECTORIZE_SANDBOXVECTORIZER_PASSES_BUNDLEVEC_H
 
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/SandboxIR/Constant.h"
#include "llvm/SandboxIR/Pass.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Vectorize/SandboxVectorizer/InstrMaps.h"
#include "llvm/Transforms/Vectorize/SandboxVectorizer/Legality.h"
#include "llvm/Transforms/Vectorize/SandboxVectorizer/Scheduler.h"
 
namespace llvm::sandboxir {
 
/// This is a simple bottom-up (top-down) vectorizer Region pass.
/// It expects a "seed slice" as an input in the Region's Aux vector.
/// The "seed slice" is a vector of instructions that can be used as a starting
/// point for vectorization, like stores (loads) to consecutive memory
/// addresses. Starting from the seed instructions, it recursively walks up
/// (down) the use-def (def-use) chains, forming a bundle of instructions per
/// operand (user) position, for as long as these bundles can be vectorized.
/// This pass will generate vector code if it can legally vectorize the code,
/// regardless of whether it is profitable or not. For now profitability is
/// checked at the end of the region pass pipeline by a dedicated pass that
/// accepts or rejects the IR transaction, depending on the cost.
class LLVM_ABI BundleVec final : public RegionPass {
private:
  /// Set to true whenever the pass modifies the IR.
  bool Change = false;
  AuxPassArgsRegistry ArgsRegistry;
  AuxPassArg TopDownArg = ArgsRegistry.createArg("top-down");
  AuxPassArg BottomUpArg = ArgsRegistry.createArg("bottom-up");
  /// Direction for vectorization, set from the mandatory aux argument.
  SchedDirection Dir;
  /// Maps scalars to vectors.
  std::unique_ptr<InstrMaps> IMaps;
  /// Counter used for force-stopping the vectorizer after this many
  /// invocations. Used for debugging miscompiles.
  unsigned long InvocationCnt = 0;
 
  VecUtils::DeadInstructionMorgue DeadInstrMorgue;
 
  /// Creates and returns a vector instruction that replaces the instructions in
  /// \p Bndl. \p Operands are the already vectorized operands.
  Value *createVectorInstr(BndlRef<Value *> Bndl, BndlRef<Value *> Operands);
 
  /// Creates a shuffle instruction that shuffles \p VecOp according to \p Mask.
  /// \p UserBB is the block of the user bundle.
  Value *createShuffle(Value *VecOp, const ShuffleMask &Mask,
                       BasicBlock *UserBB);
  /// Packs all elements of \p ToPack into a vector and returns that vector. \p
  /// UserBB is the block of the user bundle.
  Value *createPack(BndlRef<Value *> ToPack, BasicBlock *UserBB);
 
  /// Helper class describing how(if) to vectorize the code.
  class ActionsVector {
  private:
    SmallVector<std::unique_ptr<Action>, 16> Actions;
 
  public:
    auto begin() const { return Actions.begin(); }
    auto end() const { return Actions.end(); }
    void push_back(std::unique_ptr<Action> &&ActPtr) {
      ActPtr->Idx = Actions.size();
      Actions.push_back(std::move(ActPtr));
    }
    void clear() { Actions.clear(); }
#ifndef NDEBUG
    void print(raw_ostream &OS) const;
    void dump() const;
#endif // NDEBUG
  };
  ActionsVector Actions;
  /// Helper counter for debugging. It counts the bundles that we attempt to
  /// vectorize in vectorizeRec().
  unsigned DebugBndlCnt = 0;
 
  /// Recursively try to vectorize \p Bndl. \p UserBndl identifies the
  /// users that this recursive call originates from.
  Action *vectorizeRec(BndlRef<Value *> Bndl, BndlRef<Value *> UserBndl,
                       unsigned Depth, LegalityAnalysis &Legality);
  /// If the values in \p Bndl have external users, then emit unpacks and
  /// connect them to the users. \p Vec is the vectorized form of \p Bndl.
  void emitUnpacksForExternalUses(BndlRef<Value *> Bndl, Value *Vec);
  /// Generate vector instructions based on `Actions` and return the last vector
  /// created.
  Value *emitVectors();
  /// Entry point for vectorization starting from \p Seeds.
  bool tryVectorize(BndlRef<Value *> Seeds, LegalityAnalysis &Legality);
 
public:
  BundleVec(StringRef AuxArg) : RegionPass("bundle-vec") {
    ArgsRegistry.parse(AuxArg);
    if (BottomUpArg) {
      Dir = SchedDirection::BottomUp;
    } else if (TopDownArg) {
      Dir = SchedDirection::TopDown;
    } else {
      std::string ErrStr;
      raw_string_ostream ErrSS(ErrStr);
      ErrSS << "bundle-vec requires either '" << BottomUpArg.getFlagStr()
            << "' or '" << TopDownArg.getFlagStr()
            << "' as its aux argument!\n";
      reportFatalUsageError(ErrStr.c_str());
    }
  }
 
  bool runOnRegion(Region &Rgn, const Analyses &A) final;
};
 
} // namespace llvm::sandboxir
 
#endif // LLVM_TRANSFORMS_VECTORIZE_SANDBOXVECTORIZER_PASSES_BUNDLEVEC_H