InstCombine.h revision db125cfaf57cc83e7dd7453de2d509bc8efd0e5e
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"
14562b84b3aea359d1f918184e355da82bf05eb290Jay Foad#include "llvm/Operator.h"
15ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Pass.h"
16ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Analysis/ValueTracking.h"
17ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/IRBuilder.h"
18ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/InstVisitor.h"
19ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/TargetFolder.h"
20ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
21ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnernamespace llvm {
22ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class CallSite;
23ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class TargetData;
2443fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class DbgDeclareInst;
2543fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class MemIntrinsic;
2643fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class MemSetInst;
27ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
28ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// SelectPatternFlavor - We can match a variety of different patterns for
29ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// select operations.
30ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerenum SelectPatternFlavor {
31ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_UNKNOWN = 0,
32ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMIN, SPF_UMIN,
33ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMAX, SPF_UMAX
34ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //SPF_ABS - TODO.
35ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
3602446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner
3702446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner/// getComplexity:  Assign a complexity or rank value to LLVM Values...
3802446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner///   0 -> undef, 1 -> Const, 2 -> Other, 3 -> Arg, 3 -> Unary, 4 -> OtherInst
3902446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattnerstatic inline unsigned getComplexity(Value *V) {
4002446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  if (isa<Instruction>(V)) {
4102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner    if (BinaryOperator::isNeg(V) ||
4202446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner        BinaryOperator::isFNeg(V) ||
4302446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner        BinaryOperator::isNot(V))
4402446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner      return 3;
4502446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner    return 4;
4602446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  }
4702446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  if (isa<Argument>(V)) return 3;
4802446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  return isa<Constant>(V) ? (isa<UndefValue>(V) ? 0 : 1) : 2;
4902446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner}
50ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
51ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
52ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombineIRInserter - This is an IRBuilder insertion helper that works
53ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// just like the normal insertion helper, but also adds any new instructions
54ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// to the instcombine worklist.
5516d8f8bd919b72866e687d99f3aa94a140137c59Duncan Sandsclass LLVM_LIBRARY_VISIBILITY InstCombineIRInserter
56ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    : public IRBuilderDefaultInserter<true> {
57ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist &Worklist;
58ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
59ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineIRInserter(InstCombineWorklist &WL) : Worklist(WL) {}
60ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
61ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  void InsertHelper(Instruction *I, const Twine &Name,
62ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                    BasicBlock *BB, BasicBlock::iterator InsertPt) const {
63ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    IRBuilderDefaultInserter<true>::InsertHelper(I, Name, BB, InsertPt);
64ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(I);
65ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
66ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
67ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
68ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombiner - The -instcombine pass.
6916d8f8bd919b72866e687d99f3aa94a140137c59Duncan Sandsclass LLVM_LIBRARY_VISIBILITY InstCombiner
70ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                             : public FunctionPass,
71ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                               public InstVisitor<InstCombiner, Instruction*> {
72ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  TargetData *TD;
73ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MadeIRChange;
74ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
75ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Worklist - All of the instructions that need to be simplified.
76ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist Worklist;
77ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
78ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Builder - This is an IRBuilder that automatically inserts new
79ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// instructions into the worklist when they are created.
80ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  typedef IRBuilder<true, TargetFolder, InstCombineIRInserter> BuilderTy;
81ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  BuilderTy *Builder;
82ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
83ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  static char ID; // Pass identification, replacement for typeid
84081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson  InstCombiner() : FunctionPass(ID), TD(0), Builder(0) {
85081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson    initializeInstCombinerPass(*PassRegistry::getPassRegistry());
86081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson  }
87ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
88ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
89ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  virtual bool runOnFunction(Function &F);
90ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
91ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool DoOneIteration(Function &F, unsigned ItNum);
92ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
93e0b4b721aa82796c6ee5cf501ecd85f4974732eeChris Lattner  virtual void getAnalysisUsage(AnalysisUsage &AU) const;
94e0b4b721aa82796c6ee5cf501ecd85f4974732eeChris Lattner
95ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  TargetData *getTargetData() const { return TD; }
96ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
97ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Visitation implementation - Implement instruction combining for different
98ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction types.  The semantics are as follows:
99ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Return Value:
100ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //    null        - No change was made
101ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //     I          - Change was made, I is still valid, I may be dead though
102ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //   otherwise    - Change was made, replace I with returned instruction
103ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
104ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAdd(BinaryOperator &I);
105ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFAdd(BinaryOperator &I);
106db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *OptimizePointerDifference(Value *LHS, Value *RHS, Type *Ty);
107ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSub(BinaryOperator &I);
108ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFSub(BinaryOperator &I);
109ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitMul(BinaryOperator &I);
110ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFMul(BinaryOperator &I);
111ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitURem(BinaryOperator &I);
112ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSRem(BinaryOperator &I);
113ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFRem(BinaryOperator &I);
114ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDivRemOfSelect(BinaryOperator &I);
115ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonRemTransforms(BinaryOperator &I);
116ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIRemTransforms(BinaryOperator &I);
117ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonDivTransforms(BinaryOperator &I);
118ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIDivTransforms(BinaryOperator &I);
119ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUDiv(BinaryOperator &I);
120ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSDiv(BinaryOperator &I);
12131726c154dafa9fef08b1bcac9822c2a4618ec19Frits van Bommel  Instruction *visitFDiv(BinaryOperator &I);
122f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfICmps(ICmpInst *LHS, ICmpInst *RHS);
123f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
124ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAnd(BinaryOperator &I);
125f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfICmps(ICmpInst *LHS, ICmpInst *RHS);
126f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
127ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOrWithConstants(BinaryOperator &I, Value *Op,
128ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   Value *A, Value *B, Value *C);
129ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitOr (BinaryOperator &I);
130ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitXor(BinaryOperator &I);
131ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShl(BinaryOperator &I);
132ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAShr(BinaryOperator &I);
133ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLShr(BinaryOperator &I);
134ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonShiftTransforms(BinaryOperator &I);
135ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldFCmp_IntToFP_Cst(FCmpInst &I, Instruction *LHSI,
136ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    Constant *RHSC);
137ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldCmpLoadFromIndexedGlobal(GetElementPtrInst *GEP,
138ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            GlobalVariable *GV, CmpInst &ICI,
139ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            ConstantInt *AndCst = 0);
140ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFCmpInst(FCmpInst &I);
141ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInst(ICmpInst &I);
142ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithCastAndCast(ICmpInst &ICI);
143ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithInstAndIntCst(ICmpInst &ICI,
144ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              Instruction *LHS,
145ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              ConstantInt *RHS);
146ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpDivCst(ICmpInst &ICI, BinaryOperator *DivI,
147ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              ConstantInt *DivRHS);
14874542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner  Instruction *FoldICmpShrCst(ICmpInst &ICI, BinaryOperator *DivI,
14974542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner                              ConstantInt *DivRHS);
150ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpAddOpCst(ICmpInst &ICI, Value *X, ConstantInt *CI,
151ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                ICmpInst::Predicate Pred, Value *TheAdd);
152ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldGEPICmp(GEPOperator *GEPLHS, Value *RHS,
153ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                           ICmpInst::Predicate Cond, Instruction &I);
154ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldShiftByConstant(Value *Op0, ConstantInt *Op1,
155ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   BinaryOperator &I);
156ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonCastTransforms(CastInst &CI);
157ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonPointerCastTransforms(CastInst &CI);
158ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitTrunc(TruncInst &CI);
159ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitZExt(ZExtInst &CI);
160ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSExt(SExtInst &CI);
161ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPTrunc(FPTruncInst &CI);
162ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPExt(CastInst &CI);
163ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToUI(FPToUIInst &FI);
164ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToSI(FPToSIInst &FI);
165ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUIToFP(CastInst &CI);
166ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSIToFP(CastInst &CI);
167ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPtrToInt(PtrToIntInst &CI);
168ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitIntToPtr(IntToPtrInst &CI);
169ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBitCast(BitCastInst &CI);
170ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectOpOp(SelectInst &SI, Instruction *TI,
171ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              Instruction *FI);
172ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectIntoOp(SelectInst &SI, Value*, Value*);
173ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSPFofSPF(Instruction *Inner, SelectPatternFlavor SPF1,
174ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            Value *A, Value *B, Instruction &Outer,
175ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            SelectPatternFlavor SPF2, Value *C);
176ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInst(SelectInst &SI);
177ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInstWithICmp(SelectInst &SI, ICmpInst *ICI);
178ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallInst(CallInst &CI);
179ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInvokeInst(InvokeInst &II);
180ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
181ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SliceUpIllegalIntegerPHI(PHINode &PN);
182ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPHINode(PHINode &PN);
183ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitGetElementPtrInst(GetElementPtrInst &GEP);
184ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAllocaInst(AllocaInst &AI);
1851d9b973fd7e60e4149678a03aac762551c846f13Duncan Sands  Instruction *visitMalloc(Instruction &FI);
186916973706d9b2559c7f88cef8b0f4e40a6450c06Gabor Greif  Instruction *visitFree(CallInst &FI);
187ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLoadInst(LoadInst &LI);
188ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitStoreInst(StoreInst &SI);
189ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBranchInst(BranchInst &BI);
190ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSwitchInst(SwitchInst &SI);
191ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInsertElementInst(InsertElementInst &IE);
192ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractElementInst(ExtractElementInst &EI);
193ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShuffleVectorInst(ShuffleVectorInst &SVI);
194ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractValueInst(ExtractValueInst &EV);
195ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
196ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // visitInstruction - Specify what to return for unhandled instructions...
197ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInstruction(Instruction &I) { return 0; }
198ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
199ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
200db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  bool ShouldChangeType(Type *From, Type *To) const;
20102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  Value *dyn_castNegVal(Value *V) const;
202d12c27ce0079ba14e73e0c422a30dac68c631a23Chris Lattner  Value *dyn_castFNegVal(Value *V) const;
203db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Type *FindElementAtOffset(Type *Ty, int64_t Offset,
20480f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner                                  SmallVectorImpl<Value*> &NewIndices);
20580f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner  Instruction *FoldOpIntoSelect(Instruction &Op, SelectInst *SI);
20680f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner
2078c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// ShouldOptimizeCast - Return true if the cast from "V to Ty" actually
2088c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// results in any code being generated and is interesting to optimize out. If
2098c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// the cast can be eliminated by some other simple transformation, we prefer
2108c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// to do the simplification first.
2118c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  bool ShouldOptimizeCast(Instruction::CastOps opcode,const Value *V,
212db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner                          Type *Ty);
21302446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner
214ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallSite(CallSite CS);
21527ceaa13f820e33c44e29adc2095dd3e1e69d09fEric Christopher  Instruction *tryOptimizeCall(CallInst *CI, const TargetData *TD);
216ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool transformConstExprCastCall(CallSite CS);
217ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformCallThroughTrampoline(CallSite CS);
218ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformZExtICmp(ICmpInst *ICI, Instruction &CI,
219ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 bool DoXform = true);
2200a30c42008f88c3fba64127da8d73ba2fcd16fd6Benjamin Kramer  Instruction *transformSExtICmp(ICmpInst *ICI, Instruction &CI);
221ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool WillNotOverflowSignedAdd(Value *LHS, Value *RHS);
22202446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  Value *EmitGEPOffset(User *GEP);
223ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
224ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
225ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // InsertNewInstBefore - insert an instruction New before instruction Old
226ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // in the program.  Add the new instruction to the worklist.
227ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
228ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *InsertNewInstBefore(Instruction *New, Instruction &Old) {
229ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(New && New->getParent() == 0 &&
230ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner           "New instruction already inserted into a basic block!");
231ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BasicBlock *BB = Old.getParent();
232ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BB->getInstList().insert(&Old, New);  // Insert inst
233ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(New);
234ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return New;
235ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
2366fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
2376fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  // InsertNewInstWith - same as InsertNewInstBefore, but also sets the
2386fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  // debug loc.
2396fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  //
2406fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  Instruction *InsertNewInstWith(Instruction *New, Instruction &Old) {
2416fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    New->setDebugLoc(Old.getDebugLoc());
2426fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    return InsertNewInstBefore(New, Old);
2436fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  }
2446fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
245ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // ReplaceInstUsesWith - This method is to be used when an instruction is
246ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // found to be dead, replacable with another preexisting expression.  Here
247ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // we add all uses of I to the worklist, replace all uses of I with the new
248ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // value, then return I, so that the inst combiner will know that I was
249ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // modified.
250ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
251ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *ReplaceInstUsesWith(Instruction &I, Value *V) {
252ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.AddUsersToWorkList(I);   // Add all modified instrs to worklist.
253ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
254ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // If we are replacing the instruction with itself, this must be in a
255ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // segment of unreachable code, so just clobber the instruction.
256ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (&I == V)
257ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      V = UndefValue::get(I.getType());
258f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
259f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel    DEBUG(errs() << "IC: Replacing " << I << "\n"
260f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel                    "    with " << *V << '\n');
261f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
262ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.replaceAllUsesWith(V);
263ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return &I;
264ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
265ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
266ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // EraseInstFromFunction - When dealing with an instruction that has side
267ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // effects or produces a void value, we can't rely on DCE to delete the
268ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction.  Instead, visit methods should return the value returned by
269ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // this function.
270ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *EraseInstFromFunction(Instruction &I) {
271ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    DEBUG(errs() << "IC: ERASE " << I << '\n');
272ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
273ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(I.use_empty() && "Cannot erase instruction that is used!");
274ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // Make sure that we reprocess all operands now that we reduced their
275ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // use counts.
276ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (I.getNumOperands() < 8) {
277ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      for (User::op_iterator i = I.op_begin(), e = I.op_end(); i != e; ++i)
278ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner        if (Instruction *Op = dyn_cast<Instruction>(*i))
279ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner          Worklist.Add(Op);
280ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    }
281ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Remove(&I);
282ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.eraseFromParent();
283ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    MadeIRChange = true;
284ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return 0;  // Don't do anything with FI
285ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
286ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
287ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  void ComputeMaskedBits(Value *V, const APInt &Mask, APInt &KnownZero,
288ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         APInt &KnownOne, unsigned Depth = 0) const {
289ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::ComputeMaskedBits(V, Mask, KnownZero, KnownOne, TD, Depth);
290ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
291ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
292ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MaskedValueIsZero(Value *V, const APInt &Mask,
293ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         unsigned Depth = 0) const {
294ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::MaskedValueIsZero(V, Mask, TD, Depth);
295ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
296ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  unsigned ComputeNumSignBits(Value *Op, unsigned Depth = 0) const {
297ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::ComputeNumSignBits(Op, TD, Depth);
298ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
299ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
300ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
301ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
302096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// SimplifyAssociativeOrCommutative - This performs a few simplifications for
303096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// operators which are associative or commutative.
304096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  bool SimplifyAssociativeOrCommutative(BinaryOperator &I);
305ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
30637bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// SimplifyUsingDistributiveLaws - This tries to simplify binary operations
30737bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// which some other binary operation distributes over either by factorizing
30837bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// out common terms (eg "(A*B)+(A*C)" -> "A*(B+C)") or expanding out if this
30937bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// results in simplifications (eg: "A & (B | C) -> (A&B) | (A&C)" if this is
31037bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// a win).  Returns the simplified value, or null if it didn't simplify.
31137bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  Value *SimplifyUsingDistributiveLaws(BinaryOperator &I);
3125057f381418ddc8c96699c40479ead993cd62e7bDuncan Sands
313ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedUseBits - Attempts to replace V with a simpler value
314ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// based on the demanded bits.
315ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedUseBits(Value *V, APInt DemandedMask,
316ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 APInt& KnownZero, APInt& KnownOne,
317ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 unsigned Depth);
318ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedBits(Use &U, APInt DemandedMask,
319ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            APInt& KnownZero, APInt& KnownOne,
320ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            unsigned Depth=0);
321ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
322ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedInstructionBits - Inst is an integer instruction that
323ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedBits knows about.  See if the instruction has any
324ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// properties that allow us to simplify its operands.
325ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedInstructionBits(Instruction &Inst);
326ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
327ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
328ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    APInt& UndefElts, unsigned Depth = 0);
329ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
330ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldOpIntoPhi - Given a binary operator, cast instruction, or select
331ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // which has a PHI node as operand #0, see if we can fold the instruction
332ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // into the PHI (which is only possible if all operands to the PHI are
333ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // constants).
334ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
3359922ccf4b483ce37524047879f9b2f9bb73e3ccbChris Lattner  Instruction *FoldOpIntoPhi(Instruction &I);
336ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
337ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldPHIArgOpIntoPHI - If all operands to a PHI node are the same "unary"
338ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // operator and they all are only used by the PHI, PHI together their
339ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // inputs, and do the operation once, to the result of the PHI.
340ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgOpIntoPHI(PHINode &PN);
341ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgBinOpIntoPHI(PHINode &PN);
342ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgGEPIntoPHI(PHINode &PN);
343ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgLoadIntoPHI(PHINode &PN);
344ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
345ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
346ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *OptAndOp(Instruction *Op, ConstantInt *OpRHS,
347ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                        ConstantInt *AndRHS, BinaryOperator &TheAnd);
348ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
349ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *FoldLogicalPlusAnd(Value *LHS, Value *RHS, ConstantInt *Mask,
350ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            bool isSub, Instruction &I);
351f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *InsertRangeTest(Value *V, Constant *Lo, Constant *Hi,
352f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner                         bool isSigned, bool Inside);
353ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *PromoteCastOfAllocation(BitCastInst &CI, AllocaInst &AI);
354ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *MatchBSwap(BinaryOperator &I);
355ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyStoreAtEndOfBlock(StoreInst &SI);
356ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemTransfer(MemIntrinsic *MI);
357ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemSet(MemSetInst *MI);
358ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
359ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
360db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *EvaluateInDifferentType(Value *V, Type *Ty, bool isSigned);
361ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
362ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
363ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
364ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
365ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner} // end namespace llvm.
366ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
367ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#endif
368