xref: /freebsd-src/contrib/llvm-project/llvm/include/llvm/Transforms/Scalar/Scalarizer.h (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
10b57cec5SDimitry Andric //===- Scalarizer.h --- Scalarize vector operations -----------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric /// \file
10*06c3fb27SDimitry Andric /// This pass converts vector operations into scalar operations (or, optionally,
11*06c3fb27SDimitry Andric /// operations on smaller vector widths), in order to expose optimization
12*06c3fb27SDimitry Andric /// opportunities on the individual scalar operations.
130b57cec5SDimitry Andric /// It is mainly intended for targets that do not have vector units, but it
140b57cec5SDimitry Andric /// may also be useful for revectorizing code to different vector widths.
150b57cec5SDimitry Andric //
160b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
170b57cec5SDimitry Andric 
180b57cec5SDimitry Andric #ifndef LLVM_TRANSFORMS_SCALAR_SCALARIZER_H
190b57cec5SDimitry Andric #define LLVM_TRANSFORMS_SCALAR_SCALARIZER_H
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric #include "llvm/IR/PassManager.h"
22bdd1243dSDimitry Andric #include <optional>
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric namespace llvm {
250b57cec5SDimitry Andric 
2681ad6265SDimitry Andric class Function;
2781ad6265SDimitry Andric 
2881ad6265SDimitry Andric struct ScalarizerPassOptions {
29*06c3fb27SDimitry Andric   // These options correspond 1:1 to cl::opt options defined in
3081ad6265SDimitry Andric   // Scalarizer.cpp. When the cl::opt are specified, they take precedence.
31*06c3fb27SDimitry Andric   // When the cl::opt are not specified, the present optional values allow to
3281ad6265SDimitry Andric   // override the cl::opt's default values.
33bdd1243dSDimitry Andric   std::optional<bool> ScalarizeVariableInsertExtract;
34bdd1243dSDimitry Andric   std::optional<bool> ScalarizeLoadStore;
35*06c3fb27SDimitry Andric   std::optional<unsigned> ScalarizeMinBits;
3681ad6265SDimitry Andric };
3781ad6265SDimitry Andric 
380b57cec5SDimitry Andric class ScalarizerPass : public PassInfoMixin<ScalarizerPass> {
3981ad6265SDimitry Andric   ScalarizerPassOptions Options;
4081ad6265SDimitry Andric 
410b57cec5SDimitry Andric public:
42*06c3fb27SDimitry Andric   ScalarizerPass() = default;
ScalarizerPass(const ScalarizerPassOptions & Options)43*06c3fb27SDimitry Andric   ScalarizerPass(const ScalarizerPassOptions &Options) : Options(Options) {}
44*06c3fb27SDimitry Andric 
450b57cec5SDimitry Andric   PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
4681ad6265SDimitry Andric 
setScalarizeVariableInsertExtract(bool Value)4781ad6265SDimitry Andric   void setScalarizeVariableInsertExtract(bool Value) {
4881ad6265SDimitry Andric     Options.ScalarizeVariableInsertExtract = Value;
4981ad6265SDimitry Andric   }
setScalarizeLoadStore(bool Value)5081ad6265SDimitry Andric   void setScalarizeLoadStore(bool Value) { Options.ScalarizeLoadStore = Value; }
setScalarizeMinBits(unsigned Value)51*06c3fb27SDimitry Andric   void setScalarizeMinBits(unsigned Value) { Options.ScalarizeMinBits = Value; }
520b57cec5SDimitry Andric };
530b57cec5SDimitry Andric }
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric #endif /* LLVM_TRANSFORMS_SCALAR_SCALARIZER_H */
56