InstCombine.h revision ac8f2fd2e217d063d7ef57b8698894739f707431
1ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//===- InstCombine.h - Main InstCombine pass definition -------------------===//
2ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//
3ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//                     The LLVM Compiler Infrastructure
4ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//
5ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner// This file is distributed under the University of Illinois Open Source
6ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner// License. See LICENSE.TXT for details.
7ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//
8ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner//===----------------------------------------------------------------------===//
9ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
10ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#ifndef INSTCOMBINE_INSTCOMBINE_H
11ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#define INSTCOMBINE_INSTCOMBINE_H
12ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
13ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "InstCombineWorklist.h"
14ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Pass.h"
15ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Analysis/ValueTracking.h"
16ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/IRBuilder.h"
17ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/InstVisitor.h"
18ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/TargetFolder.h"
19ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
20ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnernamespace llvm {
21ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class CallSite;
22ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class TargetData;
23ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class DbgDeclareInst;
24ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class MemIntrinsic;
25ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class MemSetInst;
26ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
27ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// SelectPatternFlavor - We can match a variety of different patterns for
28ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// select operations.
29ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerenum SelectPatternFlavor {
30ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_UNKNOWN = 0,
31ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMIN, SPF_UMIN,
32ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMAX, SPF_UMAX
33ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //SPF_ABS - TODO.
34ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
35ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
36ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
37ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombineIRInserter - This is an IRBuilder insertion helper that works
38ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// just like the normal insertion helper, but also adds any new instructions
39ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// to the instcombine worklist.
40ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerclass VISIBILITY_HIDDEN InstCombineIRInserter
41ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    : public IRBuilderDefaultInserter<true> {
42ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist &Worklist;
43ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
44ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineIRInserter(InstCombineWorklist &WL) : Worklist(WL) {}
45ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
46ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  void InsertHelper(Instruction *I, const Twine &Name,
47ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                    BasicBlock *BB, BasicBlock::iterator InsertPt) const {
48ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    IRBuilderDefaultInserter<true>::InsertHelper(I, Name, BB, InsertPt);
49ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(I);
50ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
51ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
52ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
53ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombiner - The -instcombine pass.
54ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerclass VISIBILITY_HIDDEN InstCombiner
55ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                             : public FunctionPass,
56ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                               public InstVisitor<InstCombiner, Instruction*> {
57ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  TargetData *TD;
58ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MustPreserveLCSSA;
59ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MadeIRChange;
60ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
61ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Worklist - All of the instructions that need to be simplified.
62ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist Worklist;
63ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
64ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Builder - This is an IRBuilder that automatically inserts new
65ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// instructions into the worklist when they are created.
66ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  typedef IRBuilder<true, TargetFolder, InstCombineIRInserter> BuilderTy;
67ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  BuilderTy *Builder;
68ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
69ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  static char ID; // Pass identification, replacement for typeid
70ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombiner() : FunctionPass(&ID), TD(0), Builder(0) {}
71ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
72ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
73ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  virtual bool runOnFunction(Function &F);
74ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
75ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool DoOneIteration(Function &F, unsigned ItNum);
76ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
77ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  virtual void getAnalysisUsage(AnalysisUsage &AU) const {
78ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    AU.addPreservedID(LCSSAID);
79ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    AU.setPreservesCFG();
80ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
81ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
82ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  TargetData *getTargetData() const { return TD; }
83ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
84ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Visitation implementation - Implement instruction combining for different
85ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction types.  The semantics are as follows:
86ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Return Value:
87ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //    null        - No change was made
88ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //     I          - Change was made, I is still valid, I may be dead though
89ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //   otherwise    - Change was made, replace I with returned instruction
90ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
91ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAdd(BinaryOperator &I);
92ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFAdd(BinaryOperator &I);
93ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *OptimizePointerDifference(Value *LHS, Value *RHS, const Type *Ty);
94ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSub(BinaryOperator &I);
95ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFSub(BinaryOperator &I);
96ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitMul(BinaryOperator &I);
97ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFMul(BinaryOperator &I);
98ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitURem(BinaryOperator &I);
99ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSRem(BinaryOperator &I);
100ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFRem(BinaryOperator &I);
101ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDivRemOfSelect(BinaryOperator &I);
102ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonRemTransforms(BinaryOperator &I);
103ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIRemTransforms(BinaryOperator &I);
104ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonDivTransforms(BinaryOperator &I);
105ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIDivTransforms(BinaryOperator &I);
106ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUDiv(BinaryOperator &I);
107ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSDiv(BinaryOperator &I);
108ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFDiv(BinaryOperator &I);
109ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldAndOfICmps(Instruction &I, ICmpInst *LHS, ICmpInst *RHS);
110ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldAndOfFCmps(Instruction &I, FCmpInst *LHS, FCmpInst *RHS);
111ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAnd(BinaryOperator &I);
112ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOrOfICmps(Instruction &I, ICmpInst *LHS, ICmpInst *RHS);
113ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOrOfFCmps(Instruction &I, FCmpInst *LHS, FCmpInst *RHS);
114ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOrWithConstants(BinaryOperator &I, Value *Op,
115ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   Value *A, Value *B, Value *C);
116ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitOr (BinaryOperator &I);
117ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitXor(BinaryOperator &I);
118ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShl(BinaryOperator &I);
119ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAShr(BinaryOperator &I);
120ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLShr(BinaryOperator &I);
121ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonShiftTransforms(BinaryOperator &I);
122ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldFCmp_IntToFP_Cst(FCmpInst &I, Instruction *LHSI,
123ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    Constant *RHSC);
124ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldCmpLoadFromIndexedGlobal(GetElementPtrInst *GEP,
125ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            GlobalVariable *GV, CmpInst &ICI,
126ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            ConstantInt *AndCst = 0);
127ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFCmpInst(FCmpInst &I);
128ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInst(ICmpInst &I);
129ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithCastAndCast(ICmpInst &ICI);
130ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithInstAndIntCst(ICmpInst &ICI,
131ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              Instruction *LHS,
132ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              ConstantInt *RHS);
133ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpDivCst(ICmpInst &ICI, BinaryOperator *DivI,
134ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              ConstantInt *DivRHS);
135ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpAddOpCst(ICmpInst &ICI, Value *X, ConstantInt *CI,
136ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                ICmpInst::Predicate Pred, Value *TheAdd);
137ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldGEPICmp(GEPOperator *GEPLHS, Value *RHS,
138ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                           ICmpInst::Predicate Cond, Instruction &I);
139ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldShiftByConstant(Value *Op0, ConstantInt *Op1,
140ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   BinaryOperator &I);
141ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonCastTransforms(CastInst &CI);
142ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIntCastTransforms(CastInst &CI);
143ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonPointerCastTransforms(CastInst &CI);
144ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitTrunc(TruncInst &CI);
145ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitZExt(ZExtInst &CI);
146ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSExt(SExtInst &CI);
147ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPTrunc(FPTruncInst &CI);
148ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPExt(CastInst &CI);
149ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToUI(FPToUIInst &FI);
150ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToSI(FPToSIInst &FI);
151ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUIToFP(CastInst &CI);
152ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSIToFP(CastInst &CI);
153ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPtrToInt(PtrToIntInst &CI);
154ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitIntToPtr(IntToPtrInst &CI);
155ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBitCast(BitCastInst &CI);
156ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectOpOp(SelectInst &SI, Instruction *TI,
157ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              Instruction *FI);
158ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectIntoOp(SelectInst &SI, Value*, Value*);
159ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSPFofSPF(Instruction *Inner, SelectPatternFlavor SPF1,
160ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            Value *A, Value *B, Instruction &Outer,
161ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            SelectPatternFlavor SPF2, Value *C);
162ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInst(SelectInst &SI);
163ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInstWithICmp(SelectInst &SI, ICmpInst *ICI);
164ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallInst(CallInst &CI);
165ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInvokeInst(InvokeInst &II);
166ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
167ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SliceUpIllegalIntegerPHI(PHINode &PN);
168ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPHINode(PHINode &PN);
169ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitGetElementPtrInst(GetElementPtrInst &GEP);
170ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAllocaInst(AllocaInst &AI);
171ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFree(Instruction &FI);
172ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLoadInst(LoadInst &LI);
173ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitStoreInst(StoreInst &SI);
174ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBranchInst(BranchInst &BI);
175ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSwitchInst(SwitchInst &SI);
176ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInsertElementInst(InsertElementInst &IE);
177ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractElementInst(ExtractElementInst &EI);
178ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShuffleVectorInst(ShuffleVectorInst &SVI);
179ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractValueInst(ExtractValueInst &EV);
180ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
181ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // visitInstruction - Specify what to return for unhandled instructions...
182ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInstruction(Instruction &I) { return 0; }
183ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
184ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
185ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallSite(CallSite CS);
186ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool transformConstExprCastCall(CallSite CS);
187ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformCallThroughTrampoline(CallSite CS);
188ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformZExtICmp(ICmpInst *ICI, Instruction &CI,
189ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 bool DoXform = true);
190ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool WillNotOverflowSignedAdd(Value *LHS, Value *RHS);
191ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  DbgDeclareInst *hasOneUsePlusDeclare(Value *V);
192ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
193ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
194ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
195ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // InsertNewInstBefore - insert an instruction New before instruction Old
196ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // in the program.  Add the new instruction to the worklist.
197ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
198ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *InsertNewInstBefore(Instruction *New, Instruction &Old) {
199ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(New && New->getParent() == 0 &&
200ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner           "New instruction already inserted into a basic block!");
201ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BasicBlock *BB = Old.getParent();
202ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BB->getInstList().insert(&Old, New);  // Insert inst
203ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(New);
204ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return New;
205ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
206ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
207ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // ReplaceInstUsesWith - This method is to be used when an instruction is
208ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // found to be dead, replacable with another preexisting expression.  Here
209ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // we add all uses of I to the worklist, replace all uses of I with the new
210ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // value, then return I, so that the inst combiner will know that I was
211ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // modified.
212ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
213ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *ReplaceInstUsesWith(Instruction &I, Value *V) {
214ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.AddUsersToWorkList(I);   // Add all modified instrs to worklist.
215ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
216ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // If we are replacing the instruction with itself, this must be in a
217ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // segment of unreachable code, so just clobber the instruction.
218ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (&I == V)
219ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      V = UndefValue::get(I.getType());
220ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
221ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.replaceAllUsesWith(V);
222ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return &I;
223ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
224ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
225ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // EraseInstFromFunction - When dealing with an instruction that has side
226ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // effects or produces a void value, we can't rely on DCE to delete the
227ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction.  Instead, visit methods should return the value returned by
228ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // this function.
229ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *EraseInstFromFunction(Instruction &I) {
230ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    DEBUG(errs() << "IC: ERASE " << I << '\n');
231ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
232ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(I.use_empty() && "Cannot erase instruction that is used!");
233ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // Make sure that we reprocess all operands now that we reduced their
234ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // use counts.
235ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (I.getNumOperands() < 8) {
236ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      for (User::op_iterator i = I.op_begin(), e = I.op_end(); i != e; ++i)
237ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner        if (Instruction *Op = dyn_cast<Instruction>(*i))
238ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner          Worklist.Add(Op);
239ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    }
240ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Remove(&I);
241ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.eraseFromParent();
242ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    MadeIRChange = true;
243ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return 0;  // Don't do anything with FI
244ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
245ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
246ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  void ComputeMaskedBits(Value *V, const APInt &Mask, APInt &KnownZero,
247ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         APInt &KnownOne, unsigned Depth = 0) const {
248ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::ComputeMaskedBits(V, Mask, KnownZero, KnownOne, TD, Depth);
249ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
250ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
251ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MaskedValueIsZero(Value *V, const APInt &Mask,
252ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         unsigned Depth = 0) const {
253ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::MaskedValueIsZero(V, Mask, TD, Depth);
254ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
255ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  unsigned ComputeNumSignBits(Value *Op, unsigned Depth = 0) const {
256ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::ComputeNumSignBits(Op, TD, Depth);
257ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
258ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
259ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
260ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
261ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyCommutative - This performs a few simplifications for
262ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// commutative operators.
263ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyCommutative(BinaryOperator &I);
264ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
265ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedUseBits - Attempts to replace V with a simpler value
266ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// based on the demanded bits.
267ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedUseBits(Value *V, APInt DemandedMask,
268ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 APInt& KnownZero, APInt& KnownOne,
269ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 unsigned Depth);
270ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedBits(Use &U, APInt DemandedMask,
271ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            APInt& KnownZero, APInt& KnownOne,
272ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            unsigned Depth=0);
273ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
274ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedInstructionBits - Inst is an integer instruction that
275ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedBits knows about.  See if the instruction has any
276ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// properties that allow us to simplify its operands.
277ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedInstructionBits(Instruction &Inst);
278ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
279ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
280ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    APInt& UndefElts, unsigned Depth = 0);
281ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
282ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldOpIntoPhi - Given a binary operator, cast instruction, or select
283ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // which has a PHI node as operand #0, see if we can fold the instruction
284ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // into the PHI (which is only possible if all operands to the PHI are
285ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // constants).
286ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
287ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // If AllowAggressive is true, FoldOpIntoPhi will allow certain transforms
288ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // that would normally be unprofitable because they strongly encourage jump
289ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // threading.
290ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOpIntoPhi(Instruction &I, bool AllowAggressive = false);
291ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
292ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldPHIArgOpIntoPHI - If all operands to a PHI node are the same "unary"
293ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // operator and they all are only used by the PHI, PHI together their
294ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // inputs, and do the operation once, to the result of the PHI.
295ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgOpIntoPHI(PHINode &PN);
296ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgBinOpIntoPHI(PHINode &PN);
297ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgGEPIntoPHI(PHINode &PN);
298ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgLoadIntoPHI(PHINode &PN);
299ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
300ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
301ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *OptAndOp(Instruction *Op, ConstantInt *OpRHS,
302ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                        ConstantInt *AndRHS, BinaryOperator &TheAnd);
303ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
304ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *FoldLogicalPlusAnd(Value *LHS, Value *RHS, ConstantInt *Mask,
305ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            bool isSub, Instruction &I);
306ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *InsertRangeTest(Value *V, Constant *Lo, Constant *Hi,
307ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                               bool isSigned, bool Inside, Instruction &IB);
308ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *PromoteCastOfAllocation(BitCastInst &CI, AllocaInst &AI);
309ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *MatchBSwap(BinaryOperator &I);
310ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyStoreAtEndOfBlock(StoreInst &SI);
311ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemTransfer(MemIntrinsic *MI);
312ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemSet(MemSetInst *MI);
313ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
314ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
315ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *EvaluateInDifferentType(Value *V, const Type *Ty, bool isSigned);
316ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
317ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool CanEvaluateInDifferentType(Value *V, const Type *Ty,
318ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                  unsigned CastOpc, int &NumCastsRemoved);
319ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  unsigned GetOrEnforceKnownAlignment(Value *V,
320ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                      unsigned PrefAlign = 0);
321ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
322ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
323ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
324ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
325ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
326ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner} // end namespace llvm.
327ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
328ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#endif
329