LLVM 19.0.0git
InstCombine.h
Go to the documentation of this file.
1//===- InstCombine.h - InstCombine pass -------------------------*- 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/// \file
9///
10/// This file provides the primary interface to the instcombine pass. This pass
11/// is suitable for use in the new pass manager. For a pass that works with the
12/// legacy pass manager, use \c createInstructionCombiningPass().
13///
14//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_TRANSFORMS_INSTCOMBINE_INSTCOMBINE_H
17#define LLVM_TRANSFORMS_INSTCOMBINE_INSTCOMBINE_H
18
19#include "llvm/IR/Function.h"
20#include "llvm/IR/PassManager.h"
21#include "llvm/Pass.h"
22
23#define DEBUG_TYPE "instcombine"
25
26namespace llvm {
27
28static constexpr unsigned InstCombineDefaultMaxIterations = 1;
29
31 bool UseLoopInfo = false;
32 // Verify that a fix point has been reached after MaxIterations.
33 bool VerifyFixpoint = false;
35
36 InstCombineOptions() = default;
37
40 return *this;
41 }
42
45 return *this;
46 }
47
50 return *this;
51 }
52};
53
54class InstCombinePass : public PassInfoMixin<InstCombinePass> {
55private:
56 InstructionWorklist Worklist;
57 InstCombineOptions Options;
58
59public:
60 explicit InstCombinePass(InstCombineOptions Opts = {});
62 function_ref<StringRef(StringRef)> MapClassName2PassName);
63
65};
66
67/// The legacy pass manager's instcombine pass.
68///
69/// This is a basic whole-function wrapper around the instcombine utility. It
70/// will try to combine all instructions in the function.
72 InstructionWorklist Worklist;
73
74public:
75 static char ID; // Pass identification, replacement for typeid
76
77 explicit InstructionCombiningPass();
78
79 void getAnalysisUsage(AnalysisUsage &AU) const override;
80 bool runOnFunction(Function &F) override;
81};
82
83//===----------------------------------------------------------------------===//
84//
85// InstructionCombining - Combine instructions to form fewer, simple
86// instructions. This pass does not modify the CFG, and has a tendency to make
87// instructions dead, so a subsequent DCE pass is useful.
88//
89// This pass combines things like:
90// %Y = add int 1, %X
91// %Z = add int 1, %Y
92// into:
93// %Z = add int 2, %X
94//
96}
97
98#undef DEBUG_TYPE
99
100#endif
#define F(x, y, z)
Definition: MD5.cpp:55
This header defines various interfaces for pass management in LLVM.
raw_pwrite_stream & OS
A container for analyses that lazily runs them and caches their results.
Definition: PassManager.h:348
Represent the analysis usage information of a pass.
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:311
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
The legacy pass manager's instcombine pass.
Definition: InstCombine.h:71
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
bool runOnFunction(Function &F) override
runOnFunction - Virtual method overriden by subclasses to do the per-function processing of the pass.
InstructionWorklist - This is the worklist management logic for InstCombine and other simplification ...
A set of analyses that are preserved following a run of a transformation pass.
Definition: Analysis.h:109
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
LLVM Value Representation.
Definition: Value.h:74
An efficient, type-erasing, non-owning reference to a callable.
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
FunctionPass * createInstructionCombiningPass()
static constexpr unsigned InstCombineDefaultMaxIterations
Definition: InstCombine.h:28
InstCombineOptions & setMaxIterations(unsigned Value)
Definition: InstCombine.h:48
InstCombineOptions & setVerifyFixpoint(bool Value)
Definition: InstCombine.h:43
InstCombineOptions & setUseLoopInfo(bool Value)
Definition: InstCombine.h:38
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:91