1 /* 2 * Copyright (c) 2024 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #ifndef LIBLLVMBACKEND_TRANSFORMS_PASSES_INFER_FLAGS_H 17 #define LIBLLVMBACKEND_TRANSFORMS_PASSES_INFER_FLAGS_H 18 19 #include <llvm/IR/PassManager.h> 20 #include <llvm/Analysis/LoopAnalysisManager.h> 21 #include <llvm/Transforms/Scalar/LoopPassManager.h> 22 23 namespace ark::llvmbackend { 24 struct LLVMCompilerOptions; 25 } // namespace ark::llvmbackend 26 27 namespace ark::llvmbackend { 28 class LLVMArkInterface; 29 } // namespace ark::llvmbackend 30 31 namespace ark::llvmbackend::passes { 32 33 /// Simple pass, that infers "nsw" flag (no signed wrap) to help llvm perform optimizations 34 class InferFlags : public llvm::PassInfoMixin<InferFlags> { 35 public: 36 explicit InferFlags() = default; 37 38 static bool ShouldInsert(const ark::llvmbackend::LLVMCompilerOptions *options); 39 40 // NOLINTNEXTLINE(readability-identifier-naming) 41 llvm::PreservedAnalyses run(llvm::Function &function, llvm::FunctionAnalysisManager &analysisManager); 42 43 private: 44 bool RunOnLoop(llvm::Loop *loop, llvm::ScalarEvolution *scalarEvolution); 45 46 bool RunOnBasicBlock(llvm::Loop *loop, llvm::BasicBlock *basicBlock, llvm::ScalarEvolution *scalarEvolution); 47 48 public: 49 static constexpr llvm::StringRef ARG_NAME = "infer-flags"; 50 }; 51 52 } // namespace ark::llvmbackend::passes 53 54 #endif // LIBLLVMBACKEND_TRANSFORMS_PASSES_INFER_FLAGS_H 55