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