[InstCombine] Signed saturation patterns
[llvm-core.git] / include / llvm / Transforms / Scalar / GuardWidening.h
blob06dc9ac97bec70a9bc70149889a7aef45f68d6d1
1 //===- GuardWidening.h - ----------------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Guard widening is an optimization over the @llvm.experimental.guard intrinsic
10 // that (optimistically) combines multiple guards into one to have fewer checks
11 // at runtime.
13 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_TRANSFORMS_SCALAR_GUARD_WIDENING_H
17 #define LLVM_TRANSFORMS_SCALAR_GUARD_WIDENING_H
19 #include "llvm/Analysis/LoopInfo.h"
20 #include "llvm/IR/PassManager.h"
21 #include "llvm/Transforms/Scalar/LoopPassManager.h"
23 namespace llvm {
25 class Function;
27 struct GuardWideningPass : public PassInfoMixin<GuardWideningPass> {
28 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
29 PreservedAnalyses run(Loop &L, LoopAnalysisManager &AM,
30 LoopStandardAnalysisResults &AR, LPMUpdater &U);
35 #endif // LLVM_TRANSFORMS_SCALAR_GUARD_WIDENING_H