InstCombine.h revision bbc7016c60bfe319f4d3bbc525547596e85c9aad
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"
1406cb8ed00696eb14d1b831921452e50ec0568ea2Chandler Carruth#include "llvm/IRBuilder.h"
154a544a79bd735967f1d33fe675ae4566dbd17813Duncan Sands#include "llvm/IntrinsicInst.h"
16562b84b3aea359d1f918184e355da82bf05eb290Jay Foad#include "llvm/Operator.h"
17ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Pass.h"
18ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Analysis/ValueTracking.h"
19ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/InstVisitor.h"
20ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Support/TargetFolder.h"
215e8904576a5260cfd5b14596e338a4bb25b9817eMeador Inge#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
22ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
23ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnernamespace llvm {
24ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  class CallSite;
253574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow  class DataLayout;
2600737bdb488cc7157ca5f7a40d6cd8467ad09a79Chad Rosier  class TargetLibraryInfo;
2743fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class DbgDeclareInst;
2843fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class MemIntrinsic;
2943fd9017a69a6314fb780f87083b1e57a0981287Chris Lattner  class MemSetInst;
30ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
31ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// SelectPatternFlavor - We can match a variety of different patterns for
32ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// select operations.
33ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerenum SelectPatternFlavor {
34ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_UNKNOWN = 0,
35ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMIN, SPF_UMIN,
36ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_SMAX, SPF_UMAX
37ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //SPF_ABS - TODO.
38ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
3902446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner
4002446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner/// getComplexity:  Assign a complexity or rank value to LLVM Values...
4102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner///   0 -> undef, 1 -> Const, 2 -> Other, 3 -> Arg, 3 -> Unary, 4 -> OtherInst
4202446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattnerstatic inline unsigned getComplexity(Value *V) {
4302446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  if (isa<Instruction>(V)) {
4402446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner    if (BinaryOperator::isNeg(V) ||
4502446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner        BinaryOperator::isFNeg(V) ||
4602446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner        BinaryOperator::isNot(V))
4702446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner      return 3;
4802446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner    return 4;
4902446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  }
5002446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  if (isa<Argument>(V)) return 3;
5102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  return isa<Constant>(V) ? (isa<UndefValue>(V) ? 0 : 1) : 2;
5202446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner}
53ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
54ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
55ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombineIRInserter - This is an IRBuilder insertion helper that works
56ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// just like the normal insertion helper, but also adds any new instructions
57ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// to the instcombine worklist.
5816d8f8bd919b72866e687d99f3aa94a140137c59Duncan Sandsclass LLVM_LIBRARY_VISIBILITY InstCombineIRInserter
59ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    : public IRBuilderDefaultInserter<true> {
60ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist &Worklist;
61ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
62ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineIRInserter(InstCombineWorklist &WL) : Worklist(WL) {}
63ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
64ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  void InsertHelper(Instruction *I, const Twine &Name,
65ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                    BasicBlock *BB, BasicBlock::iterator InsertPt) const {
66ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    IRBuilderDefaultInserter<true>::InsertHelper(I, Name, BB, InsertPt);
67ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(I);
68ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
69ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
70ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
71ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombiner - The -instcombine pass.
7216d8f8bd919b72866e687d99f3aa94a140137c59Duncan Sandsclass LLVM_LIBRARY_VISIBILITY InstCombiner
73ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                             : public FunctionPass,
74ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                               public InstVisitor<InstCombiner, Instruction*> {
753574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow  DataLayout *TD;
7600737bdb488cc7157ca5f7a40d6cd8467ad09a79Chad Rosier  TargetLibraryInfo *TLI;
77ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MadeIRChange;
785e8904576a5260cfd5b14596e338a4bb25b9817eMeador Inge  LibCallSimplifier *Simplifier;
79ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
80ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Worklist - All of the instructions that need to be simplified.
81ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist Worklist;
82ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
83ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Builder - This is an IRBuilder that automatically inserts new
84ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// instructions into the worklist when they are created.
85ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  typedef IRBuilder<true, TargetFolder, InstCombineIRInserter> BuilderTy;
86ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  BuilderTy *Builder;
87ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
88ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  static char ID; // Pass identification, replacement for typeid
89081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson  InstCombiner() : FunctionPass(ID), TD(0), Builder(0) {
90081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson    initializeInstCombinerPass(*PassRegistry::getPassRegistry());
91081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson  }
92ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
93ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
94ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  virtual bool runOnFunction(Function &F);
95ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
96ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool DoOneIteration(Function &F, unsigned ItNum);
97ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
98e0b4b721aa82796c6ee5cf501ecd85f4974732eeChris Lattner  virtual void getAnalysisUsage(AnalysisUsage &AU) const;
9900737bdb488cc7157ca5f7a40d6cd8467ad09a79Chad Rosier
1003574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow  DataLayout *getDataLayout() const { return TD; }
101ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
102aab8e28d5e470711d80276bbf717408c3ab966fdChad Rosier  TargetLibraryInfo *getTargetLibraryInfo() const { return TLI; }
103aab8e28d5e470711d80276bbf717408c3ab966fdChad Rosier
104ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Visitation implementation - Implement instruction combining for different
105ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction types.  The semantics are as follows:
106ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Return Value:
107ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //    null        - No change was made
108ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //     I          - Change was made, I is still valid, I may be dead though
109ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //   otherwise    - Change was made, replace I with returned instruction
110ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
111ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAdd(BinaryOperator &I);
112ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFAdd(BinaryOperator &I);
113db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *OptimizePointerDifference(Value *LHS, Value *RHS, Type *Ty);
114ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSub(BinaryOperator &I);
115ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFSub(BinaryOperator &I);
116ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitMul(BinaryOperator &I);
117ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFMul(BinaryOperator &I);
118ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitURem(BinaryOperator &I);
119ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSRem(BinaryOperator &I);
120ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFRem(BinaryOperator &I);
121ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDivRemOfSelect(BinaryOperator &I);
122ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonRemTransforms(BinaryOperator &I);
123ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIRemTransforms(BinaryOperator &I);
124ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonDivTransforms(BinaryOperator &I);
125ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIDivTransforms(BinaryOperator &I);
126ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUDiv(BinaryOperator &I);
127ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSDiv(BinaryOperator &I);
12831726c154dafa9fef08b1bcac9822c2a4618ec19Frits van Bommel  Instruction *visitFDiv(BinaryOperator &I);
129f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfICmps(ICmpInst *LHS, ICmpInst *RHS);
130f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
131ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAnd(BinaryOperator &I);
132f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfICmps(ICmpInst *LHS, ICmpInst *RHS);
133f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
134ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldOrWithConstants(BinaryOperator &I, Value *Op,
135ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   Value *A, Value *B, Value *C);
136ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitOr (BinaryOperator &I);
137ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitXor(BinaryOperator &I);
138ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShl(BinaryOperator &I);
139ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAShr(BinaryOperator &I);
140ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLShr(BinaryOperator &I);
141ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonShiftTransforms(BinaryOperator &I);
142ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldFCmp_IntToFP_Cst(FCmpInst &I, Instruction *LHSI,
143ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    Constant *RHSC);
144ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldCmpLoadFromIndexedGlobal(GetElementPtrInst *GEP,
145ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            GlobalVariable *GV, CmpInst &ICI,
146ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            ConstantInt *AndCst = 0);
147ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFCmpInst(FCmpInst &I);
148ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInst(ICmpInst &I);
149ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithCastAndCast(ICmpInst &ICI);
150ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithInstAndIntCst(ICmpInst &ICI,
151ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              Instruction *LHS,
152ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              ConstantInt *RHS);
153ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpDivCst(ICmpInst &ICI, BinaryOperator *DivI,
154ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              ConstantInt *DivRHS);
15574542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner  Instruction *FoldICmpShrCst(ICmpInst &ICI, BinaryOperator *DivI,
15674542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner                              ConstantInt *DivRHS);
157ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpAddOpCst(ICmpInst &ICI, Value *X, ConstantInt *CI,
158ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                ICmpInst::Predicate Pred, Value *TheAdd);
159ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldGEPICmp(GEPOperator *GEPLHS, Value *RHS,
160ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                           ICmpInst::Predicate Cond, Instruction &I);
161ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldShiftByConstant(Value *Op0, ConstantInt *Op1,
162ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   BinaryOperator &I);
163ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonCastTransforms(CastInst &CI);
164ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonPointerCastTransforms(CastInst &CI);
165ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitTrunc(TruncInst &CI);
166ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitZExt(ZExtInst &CI);
167ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSExt(SExtInst &CI);
168ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPTrunc(FPTruncInst &CI);
169ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPExt(CastInst &CI);
170ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToUI(FPToUIInst &FI);
171ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToSI(FPToSIInst &FI);
172ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUIToFP(CastInst &CI);
173ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSIToFP(CastInst &CI);
174ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPtrToInt(PtrToIntInst &CI);
175ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitIntToPtr(IntToPtrInst &CI);
176ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBitCast(BitCastInst &CI);
177ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectOpOp(SelectInst &SI, Instruction *TI,
178ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              Instruction *FI);
179ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSelectIntoOp(SelectInst &SI, Value*, Value*);
180ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSPFofSPF(Instruction *Inner, SelectPatternFlavor SPF1,
181ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            Value *A, Value *B, Instruction &Outer,
182ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            SelectPatternFlavor SPF2, Value *C);
183ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInst(SelectInst &SI);
184ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInstWithICmp(SelectInst &SI, ICmpInst *ICI);
185ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallInst(CallInst &CI);
186ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInvokeInst(InvokeInst &II);
187ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
188ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SliceUpIllegalIntegerPHI(PHINode &PN);
189ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPHINode(PHINode &PN);
190ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitGetElementPtrInst(GetElementPtrInst &GEP);
191ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAllocaInst(AllocaInst &AI);
19278f8ef42173a3a9867ed789073d4ddc652fb7ff2Nuno Lopes  Instruction *visitAllocSite(Instruction &FI);
193916973706d9b2559c7f88cef8b0f4e40a6450c06Gabor Greif  Instruction *visitFree(CallInst &FI);
194ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLoadInst(LoadInst &LI);
195ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitStoreInst(StoreInst &SI);
196ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBranchInst(BranchInst &BI);
197ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSwitchInst(SwitchInst &SI);
198ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInsertElementInst(InsertElementInst &IE);
199ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractElementInst(ExtractElementInst &EI);
200ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShuffleVectorInst(ShuffleVectorInst &SVI);
201ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractValueInst(ExtractValueInst &EV);
2020ad7b6e773b33f4c4fd3c82c8a5c10ac0597792cDuncan Sands  Instruction *visitLandingPadInst(LandingPadInst &LI);
203ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
204ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // visitInstruction - Specify what to return for unhandled instructions...
205ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInstruction(Instruction &I) { return 0; }
206ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
207ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
208db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  bool ShouldChangeType(Type *From, Type *To) const;
20902446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  Value *dyn_castNegVal(Value *V) const;
210d12c27ce0079ba14e73e0c422a30dac68c631a23Chris Lattner  Value *dyn_castFNegVal(Value *V) const;
211db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Type *FindElementAtOffset(Type *Ty, int64_t Offset,
21280f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner                                  SmallVectorImpl<Value*> &NewIndices);
21380f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner  Instruction *FoldOpIntoSelect(Instruction &Op, SelectInst *SI);
21480f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner
2158c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// ShouldOptimizeCast - Return true if the cast from "V to Ty" actually
2168c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// results in any code being generated and is interesting to optimize out. If
2178c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// the cast can be eliminated by some other simple transformation, we prefer
2188c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// to do the simplification first.
2198c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  bool ShouldOptimizeCast(Instruction::CastOps opcode,const Value *V,
220db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner                          Type *Ty);
22102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner
222ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallSite(CallSite CS);
2233574eca1b02600bac4e625297f4ecf745f4c4f32Micah Villmow  Instruction *tryOptimizeCall(CallInst *CI, const DataLayout *TD);
224ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool transformConstExprCastCall(CallSite CS);
2254a544a79bd735967f1d33fe675ae4566dbd17813Duncan Sands  Instruction *transformCallThroughTrampoline(CallSite CS,
2264a544a79bd735967f1d33fe675ae4566dbd17813Duncan Sands                                              IntrinsicInst *Tramp);
227ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformZExtICmp(ICmpInst *ICI, Instruction &CI,
228ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 bool DoXform = true);
2290a30c42008f88c3fba64127da8d73ba2fcd16fd6Benjamin Kramer  Instruction *transformSExtICmp(ICmpInst *ICI, Instruction &CI);
230ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool WillNotOverflowSignedAdd(Value *LHS, Value *RHS);
2315c525b59d5e0036a778d278eeff4832edfd41357Nuno Lopes  Value *EmitGEPOffset(User *GEP);
232ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
233ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
234ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // InsertNewInstBefore - insert an instruction New before instruction Old
235ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // in the program.  Add the new instruction to the worklist.
236ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
237ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *InsertNewInstBefore(Instruction *New, Instruction &Old) {
238ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(New && New->getParent() == 0 &&
239ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner           "New instruction already inserted into a basic block!");
240ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BasicBlock *BB = Old.getParent();
241ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BB->getInstList().insert(&Old, New);  // Insert inst
242ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(New);
243ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return New;
244ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
2456fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
2466fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  // InsertNewInstWith - same as InsertNewInstBefore, but also sets the
2476fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  // debug loc.
2486fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  //
2496fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  Instruction *InsertNewInstWith(Instruction *New, Instruction &Old) {
2506fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    New->setDebugLoc(Old.getDebugLoc());
2516fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    return InsertNewInstBefore(New, Old);
2526fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  }
2536fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
254ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // ReplaceInstUsesWith - This method is to be used when an instruction is
255ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // found to be dead, replacable with another preexisting expression.  Here
256ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // we add all uses of I to the worklist, replace all uses of I with the new
257ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // value, then return I, so that the inst combiner will know that I was
258ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // modified.
259ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
260ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *ReplaceInstUsesWith(Instruction &I, Value *V) {
261ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.AddUsersToWorkList(I);   // Add all modified instrs to worklist.
262ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
263ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // If we are replacing the instruction with itself, this must be in a
264ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // segment of unreachable code, so just clobber the instruction.
265ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (&I == V)
266ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      V = UndefValue::get(I.getType());
267f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
268f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel    DEBUG(errs() << "IC: Replacing " << I << "\n"
269f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel                    "    with " << *V << '\n');
270f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
271ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.replaceAllUsesWith(V);
272ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return &I;
273ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
274ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
275ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // EraseInstFromFunction - When dealing with an instruction that has side
276ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // effects or produces a void value, we can't rely on DCE to delete the
277ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction.  Instead, visit methods should return the value returned by
278ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // this function.
279ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *EraseInstFromFunction(Instruction &I) {
280ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    DEBUG(errs() << "IC: ERASE " << I << '\n');
281ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
282ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(I.use_empty() && "Cannot erase instruction that is used!");
283ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // Make sure that we reprocess all operands now that we reduced their
284ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // use counts.
285ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (I.getNumOperands() < 8) {
286ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      for (User::op_iterator i = I.op_begin(), e = I.op_end(); i != e; ++i)
287ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner        if (Instruction *Op = dyn_cast<Instruction>(*i))
288ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner          Worklist.Add(Op);
289ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    }
290ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Remove(&I);
291ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.eraseFromParent();
292ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    MadeIRChange = true;
293ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return 0;  // Don't do anything with FI
294ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
295ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
29626c8dcc692fb2addd475446cfff24d6a4e958bcaRafael Espindola  void ComputeMaskedBits(Value *V, APInt &KnownZero,
297ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         APInt &KnownOne, unsigned Depth = 0) const {
29826c8dcc692fb2addd475446cfff24d6a4e958bcaRafael Espindola    return llvm::ComputeMaskedBits(V, KnownZero, KnownOne, TD, Depth);
299ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
300ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
301ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MaskedValueIsZero(Value *V, const APInt &Mask,
302ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         unsigned Depth = 0) const {
303ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::MaskedValueIsZero(V, Mask, TD, Depth);
304ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
305ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  unsigned ComputeNumSignBits(Value *Op, unsigned Depth = 0) const {
306ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return llvm::ComputeNumSignBits(Op, TD, Depth);
307ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
308ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
309ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
310ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
311096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// SimplifyAssociativeOrCommutative - This performs a few simplifications for
312096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// operators which are associative or commutative.
313096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  bool SimplifyAssociativeOrCommutative(BinaryOperator &I);
314ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
31537bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// SimplifyUsingDistributiveLaws - This tries to simplify binary operations
31637bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// which some other binary operation distributes over either by factorizing
31737bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// out common terms (eg "(A*B)+(A*C)" -> "A*(B+C)") or expanding out if this
31837bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// results in simplifications (eg: "A & (B | C) -> (A&B) | (A&C)" if this is
31937bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// a win).  Returns the simplified value, or null if it didn't simplify.
32037bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  Value *SimplifyUsingDistributiveLaws(BinaryOperator &I);
3215057f381418ddc8c96699c40479ead993cd62e7bDuncan Sands
322ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedUseBits - Attempts to replace V with a simpler value
323ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// based on the demanded bits.
324ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedUseBits(Value *V, APInt DemandedMask,
325ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 APInt& KnownZero, APInt& KnownOne,
326ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 unsigned Depth);
327ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedBits(Use &U, APInt DemandedMask,
328ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            APInt& KnownZero, APInt& KnownOne,
329ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            unsigned Depth=0);
330ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
331ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedInstructionBits - Inst is an integer instruction that
332ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedBits knows about.  See if the instruction has any
333ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// properties that allow us to simplify its operands.
334ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedInstructionBits(Instruction &Inst);
335ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
336ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
337ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    APInt& UndefElts, unsigned Depth = 0);
338ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
339ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldOpIntoPhi - Given a binary operator, cast instruction, or select
340ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // which has a PHI node as operand #0, see if we can fold the instruction
341ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // into the PHI (which is only possible if all operands to the PHI are
342ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // constants).
343ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
3449922ccf4b483ce37524047879f9b2f9bb73e3ccbChris Lattner  Instruction *FoldOpIntoPhi(Instruction &I);
345ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
346ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldPHIArgOpIntoPHI - If all operands to a PHI node are the same "unary"
347ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // operator and they all are only used by the PHI, PHI together their
348ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // inputs, and do the operation once, to the result of the PHI.
349ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgOpIntoPHI(PHINode &PN);
350ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgBinOpIntoPHI(PHINode &PN);
351ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgGEPIntoPHI(PHINode &PN);
352ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgLoadIntoPHI(PHINode &PN);
353ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
354ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
355ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *OptAndOp(Instruction *Op, ConstantInt *OpRHS,
356ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                        ConstantInt *AndRHS, BinaryOperator &TheAnd);
357ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
358ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *FoldLogicalPlusAnd(Value *LHS, Value *RHS, ConstantInt *Mask,
359ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            bool isSub, Instruction &I);
360f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *InsertRangeTest(Value *V, Constant *Lo, Constant *Hi,
361f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner                         bool isSigned, bool Inside);
362ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *PromoteCastOfAllocation(BitCastInst &CI, AllocaInst &AI);
363ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *MatchBSwap(BinaryOperator &I);
364ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyStoreAtEndOfBlock(StoreInst &SI);
365ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemTransfer(MemIntrinsic *MI);
366ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemSet(MemSetInst *MI);
367ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
368ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
369db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *EvaluateInDifferentType(Value *V, Type *Ty, bool isSigned);
370bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands
371bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  /// Descale - Return a value X such that Val = X * Scale, or null if none.  If
372bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  /// the multiplication is known not to overflow then NoSignedWrap is set.
373bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  Value *Descale(Value *Val, APInt Scale, bool &NoSignedWrap);
374ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
375ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
376ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
377ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
378ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner} // end namespace llvm.
379ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
380ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#endif
381