163f3ca5da75a614c603c04757edeaac123879d39Matt Arsenault//===- InstCombine.h - Main InstCombine pass definition ---------*- C++ -*-===//
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"
1436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Analysis/TargetFolder.h"
15a1514e24cc24b050f53a12650e047799358833a1Chandler Carruth#include "llvm/Analysis/ValueTracking.h"
160b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/IRBuilder.h"
1736b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/InstVisitor.h"
180b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/IntrinsicInst.h"
190b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Operator.h"
20ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#include "llvm/Pass.h"
215e8904576a5260cfd5b14596e338a4bb25b9817eMeador Inge#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
22ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
23dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#define DEBUG_TYPE "instcombine"
24dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
25ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnernamespace llvm {
26dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass CallSite;
27dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass DataLayout;
28dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass TargetLibraryInfo;
29dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass DbgDeclareInst;
30dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass MemIntrinsic;
31dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesclass MemSetInst;
32e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
33ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// SelectPatternFlavor - We can match a variety of different patterns for
34ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// select operations.
35ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerenum SelectPatternFlavor {
36ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  SPF_UNKNOWN = 0,
37dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  SPF_SMIN,
38dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  SPF_UMIN,
39dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  SPF_SMAX,
40cd81d94322a39503e4a3e87b6ee03d4fcb3465fbStephen Hines  SPF_UMAX,
41cd81d94322a39503e4a3e87b6ee03d4fcb3465fbStephen Hines  SPF_ABS,
42cd81d94322a39503e4a3e87b6ee03d4fcb3465fbStephen Hines  SPF_NABS
43ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
44e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
4502446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner/// getComplexity:  Assign a complexity or rank value to LLVM Values...
4602446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner///   0 -> undef, 1 -> Const, 2 -> Other, 3 -> Arg, 3 -> Unary, 4 -> OtherInst
4702446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattnerstatic inline unsigned getComplexity(Value *V) {
4802446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  if (isa<Instruction>(V)) {
49dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    if (BinaryOperator::isNeg(V) || BinaryOperator::isFNeg(V) ||
5002446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner        BinaryOperator::isNot(V))
5102446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner      return 3;
5202446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner    return 4;
5302446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  }
54dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  if (isa<Argument>(V))
55dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    return 3;
5602446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  return isa<Constant>(V) ? (isa<UndefValue>(V) ? 0 : 1) : 2;
5702446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner}
58ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
5936b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines/// AddOne - Add one to a Constant
6036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hinesstatic inline Constant *AddOne(Constant *C) {
6136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  return ConstantExpr::getAdd(C, ConstantInt::get(C->getType(), 1));
6236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines}
6336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines/// SubOne - Subtract one from a Constant
6436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hinesstatic inline Constant *SubOne(Constant *C) {
6536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  return ConstantExpr::getSub(C, ConstantInt::get(C->getType(), 1));
6636b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines}
6736b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines
68ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombineIRInserter - This is an IRBuilder insertion helper that works
69ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// just like the normal insertion helper, but also adds any new instructions
70ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// to the instcombine worklist.
71e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszakclass LLVM_LIBRARY_VISIBILITY InstCombineIRInserter
72ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    : public IRBuilderDefaultInserter<true> {
73ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist &Worklist;
74dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
75ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
76ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineIRInserter(InstCombineWorklist &WL) : Worklist(WL) {}
77e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
78dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  void InsertHelper(Instruction *I, const Twine &Name, BasicBlock *BB,
79dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                    BasicBlock::iterator InsertPt) const {
80ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    IRBuilderDefaultInserter<true>::InsertHelper(I, Name, BB, InsertPt);
81ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(I);
82ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
83ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
84e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
85ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner/// InstCombiner - The -instcombine pass.
8616d8f8bd919b72866e687d99f3aa94a140137c59Duncan Sandsclass LLVM_LIBRARY_VISIBILITY InstCombiner
87dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    : public FunctionPass,
88dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines      public InstVisitor<InstCombiner, Instruction *> {
8936b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  const DataLayout *DL;
9000737bdb488cc7157ca5f7a40d6cd8467ad09a79Chad Rosier  TargetLibraryInfo *TLI;
91ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool MadeIRChange;
925e8904576a5260cfd5b14596e338a4bb25b9817eMeador Inge  LibCallSimplifier *Simplifier;
93637582eaf77e6892094cea0bf6b9483f50b5d94eQuentin Colombet  bool MinimizeSize;
94dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
95ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
96ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Worklist - All of the instructions that need to be simplified.
97ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  InstCombineWorklist Worklist;
98ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
99ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// Builder - This is an IRBuilder that automatically inserts new
100ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// instructions into the worklist when they are created.
101ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  typedef IRBuilder<true, TargetFolder, InstCombineIRInserter> BuilderTy;
102ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  BuilderTy *Builder;
103e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
104ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  static char ID; // Pass identification, replacement for typeid
105dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  InstCombiner() : FunctionPass(ID), DL(nullptr), Builder(nullptr) {
106637582eaf77e6892094cea0bf6b9483f50b5d94eQuentin Colombet    MinimizeSize = false;
107081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson    initializeInstCombinerPass(*PassRegistry::getPassRegistry());
108081c34b725980f995be9080eaec24cd3dfaaf065Owen Anderson  }
109ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
110ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
11136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  bool runOnFunction(Function &F) override;
112e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
113ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool DoOneIteration(Function &F, unsigned ItNum);
114ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
11536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  void getAnalysisUsage(AnalysisUsage &AU) const override;
11600737bdb488cc7157ca5f7a40d6cd8467ad09a79Chad Rosier
11736b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  const DataLayout *getDataLayout() const { return DL; }
118ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
119aab8e28d5e470711d80276bbf717408c3ab966fdChad Rosier  TargetLibraryInfo *getTargetLibraryInfo() const { return TLI; }
120aab8e28d5e470711d80276bbf717408c3ab966fdChad Rosier
121ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Visitation implementation - Implement instruction combining for different
122ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction types.  The semantics are as follows:
123ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // Return Value:
124ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //    null        - No change was made
125ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //     I          - Change was made, I is still valid, I may be dead though
126ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //   otherwise    - Change was made, replace I with returned instruction
127ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
128ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAdd(BinaryOperator &I);
129ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFAdd(BinaryOperator &I);
130db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *OptimizePointerDifference(Value *LHS, Value *RHS, Type *Ty);
131ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSub(BinaryOperator &I);
132ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFSub(BinaryOperator &I);
133ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitMul(BinaryOperator &I);
13436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  Value *foldFMulConst(Instruction *FMulOrDiv, Constant *C,
135d3ae2866d105f6da6375544eb41aea0dad75a9f2Shuxin Yang                       Instruction *InsertBefore);
136ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFMul(BinaryOperator &I);
137ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitURem(BinaryOperator &I);
138ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSRem(BinaryOperator &I);
139ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFRem(BinaryOperator &I);
140ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDivRemOfSelect(BinaryOperator &I);
141ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonRemTransforms(BinaryOperator &I);
142ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIRemTransforms(BinaryOperator &I);
143ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonDivTransforms(BinaryOperator &I);
144ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonIDivTransforms(BinaryOperator &I);
145ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUDiv(BinaryOperator &I);
146ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSDiv(BinaryOperator &I);
14731726c154dafa9fef08b1bcac9822c2a4618ec19Frits van Bommel  Instruction *visitFDiv(BinaryOperator &I);
148f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfICmps(ICmpInst *LHS, ICmpInst *RHS);
149f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldAndOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
150ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAnd(BinaryOperator &I);
151f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfICmps(ICmpInst *LHS, ICmpInst *RHS);
152f34f48c57870cf4eb4d48e23b11e29b95d1950c3Chris Lattner  Value *FoldOrOfFCmps(FCmpInst *LHS, FCmpInst *RHS);
153dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *FoldOrWithConstants(BinaryOperator &I, Value *Op, Value *A,
154dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                                   Value *B, Value *C);
155dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *visitOr(BinaryOperator &I);
156ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitXor(BinaryOperator &I);
157ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShl(BinaryOperator &I);
158ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAShr(BinaryOperator &I);
159ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLShr(BinaryOperator &I);
160ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonShiftTransforms(BinaryOperator &I);
161ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldFCmp_IntToFP_Cst(FCmpInst &I, Instruction *LHSI,
162ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                    Constant *RHSC);
163ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldCmpLoadFromIndexedGlobal(GetElementPtrInst *GEP,
164ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                            GlobalVariable *GV, CmpInst &ICI,
165dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                                            ConstantInt *AndCst = nullptr);
166ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFCmpInst(FCmpInst &I);
167ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInst(ICmpInst &I);
168ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitICmpInstWithCastAndCast(ICmpInst &ICI);
169dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *visitICmpInstWithInstAndIntCst(ICmpInst &ICI, Instruction *LHS,
170ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                              ConstantInt *RHS);
171ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldICmpDivCst(ICmpInst &ICI, BinaryOperator *DivI,
172ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                              ConstantInt *DivRHS);
17374542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner  Instruction *FoldICmpShrCst(ICmpInst &ICI, BinaryOperator *DivI,
17474542aa5001fb6ff3d7d0958b5c391cde63df1caChris Lattner                              ConstantInt *DivRHS);
17519a6f1133fbc01d18bd07cdc082e9488d731bcbcBenjamin Kramer  Instruction *FoldICmpAddOpCst(Instruction &ICI, Value *X, ConstantInt *CI,
17619a6f1133fbc01d18bd07cdc082e9488d731bcbcBenjamin Kramer                                ICmpInst::Predicate Pred);
177ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldGEPICmp(GEPOperator *GEPLHS, Value *RHS,
178ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                           ICmpInst::Predicate Cond, Instruction &I);
179dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *FoldShiftByConstant(Value *Op0, Constant *Op1,
180ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                   BinaryOperator &I);
181ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonCastTransforms(CastInst &CI);
182ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *commonPointerCastTransforms(CastInst &CI);
183ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitTrunc(TruncInst &CI);
184ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitZExt(ZExtInst &CI);
185ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSExt(SExtInst &CI);
186ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPTrunc(FPTruncInst &CI);
187ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPExt(CastInst &CI);
188ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToUI(FPToUIInst &FI);
189ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitFPToSI(FPToSIInst &FI);
190ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitUIToFP(CastInst &CI);
191ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSIToFP(CastInst &CI);
192ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPtrToInt(PtrToIntInst &CI);
193ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitIntToPtr(IntToPtrInst &CI);
194ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBitCast(BitCastInst &CI);
1956dd44d3b7f33c9984dfb40461630d50c4fed1234Matt Arsenault  Instruction *visitAddrSpaceCast(AddrSpaceCastInst &CI);
196dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *FoldSelectOpOp(SelectInst &SI, Instruction *TI, Instruction *FI);
197dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *FoldSelectIntoOp(SelectInst &SI, Value *, Value *);
198ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldSPFofSPF(Instruction *Inner, SelectPatternFlavor SPF1,
199ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            Value *A, Value *B, Instruction &Outer,
200ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            SelectPatternFlavor SPF2, Value *C);
201ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInst(SelectInst &SI);
202ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSelectInstWithICmp(SelectInst &SI, ICmpInst *ICI);
203ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallInst(CallInst &CI);
204ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInvokeInst(InvokeInst &II);
205ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
206ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SliceUpIllegalIntegerPHI(PHINode &PN);
207ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitPHINode(PHINode &PN);
208ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitGetElementPtrInst(GetElementPtrInst &GEP);
209ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitAllocaInst(AllocaInst &AI);
21078f8ef42173a3a9867ed789073d4ddc652fb7ff2Nuno Lopes  Instruction *visitAllocSite(Instruction &FI);
211916973706d9b2559c7f88cef8b0f4e40a6450c06Gabor Greif  Instruction *visitFree(CallInst &FI);
212ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitLoadInst(LoadInst &LI);
213ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitStoreInst(StoreInst &SI);
214ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitBranchInst(BranchInst &BI);
215ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitSwitchInst(SwitchInst &SI);
216dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *visitInsertValueInst(InsertValueInst &IV);
217ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitInsertElementInst(InsertElementInst &IE);
218ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractElementInst(ExtractElementInst &EI);
219ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitShuffleVectorInst(ShuffleVectorInst &SVI);
220ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitExtractValueInst(ExtractValueInst &EV);
2210ad7b6e773b33f4c4fd3c82c8a5c10ac0597792cDuncan Sands  Instruction *visitLandingPadInst(LandingPadInst &LI);
222ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
223ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // visitInstruction - Specify what to return for unhandled instructions...
224dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Instruction *visitInstruction(Instruction &I) { return nullptr; }
225ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
226ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
227db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  bool ShouldChangeType(Type *From, Type *To) const;
22802446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner  Value *dyn_castNegVal(Value *V) const;
229dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Value *dyn_castFNegVal(Value *V, bool NoSignedZero = false) const;
2308e3367ea36d7b25c79b9d3f14842e8f9c7c5801eMatt Arsenault  Type *FindElementAtOffset(Type *PtrTy, int64_t Offset,
231dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                            SmallVectorImpl<Value *> &NewIndices);
23280f43d339f0a5904c62ca6268939c14ab148b94fChris Lattner  Instruction *FoldOpIntoSelect(Instruction &Op, SelectInst *SI);
233e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
2348c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// ShouldOptimizeCast - Return true if the cast from "V to Ty" actually
2358c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// results in any code being generated and is interesting to optimize out. If
2368c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// the cast can be eliminated by some other simple transformation, we prefer
2378c5ad3a5da7419af4d31963c3824836b5da52478Chris Lattner  /// to do the simplification first.
238dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  bool ShouldOptimizeCast(Instruction::CastOps opcode, const Value *V,
239db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner                          Type *Ty);
24002446fc99abb06d3117d65c0b1f5fba4f906db2eChris Lattner
241ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *visitCallSite(CallSite CS);
24236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  Instruction *tryOptimizeCall(CallInst *CI, const DataLayout *DL);
243ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool transformConstExprCastCall(CallSite CS);
2444a544a79bd735967f1d33fe675ae4566dbd17813Duncan Sands  Instruction *transformCallThroughTrampoline(CallSite CS,
2454a544a79bd735967f1d33fe675ae4566dbd17813Duncan Sands                                              IntrinsicInst *Tramp);
246ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *transformZExtICmp(ICmpInst *ICI, Instruction &CI,
247ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                                 bool DoXform = true);
2480a30c42008f88c3fba64127da8d73ba2fcd16fd6Benjamin Kramer  Instruction *transformSExtICmp(ICmpInst *ICI, Instruction &CI);
249ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool WillNotOverflowSignedAdd(Value *LHS, Value *RHS);
250cd81d94322a39503e4a3e87b6ee03d4fcb3465fbStephen Hines  bool WillNotOverflowUnsignedAdd(Value *LHS, Value *RHS);
2515c525b59d5e0036a778d278eeff4832edfd41357Nuno Lopes  Value *EmitGEPOffset(User *GEP);
25277e95d04c430bc849aa1898cbd820517ec0f7465Anat Shemer  Instruction *scalarizePHI(ExtractElementInst &EI, PHINode *PN);
253903f26d904cb7eba9b57ed85b2dc6147a8811bd7Nick Lewycky  Value *EvaluateInDifferentElementOrder(Value *V, ArrayRef<int> Mask);
254ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
255ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerpublic:
256ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // InsertNewInstBefore - insert an instruction New before instruction Old
257ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // in the program.  Add the new instruction to the worklist.
258ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
259ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *InsertNewInstBefore(Instruction *New, Instruction &Old) {
260dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    assert(New && !New->getParent() &&
261ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner           "New instruction already inserted into a basic block!");
262ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    BasicBlock *BB = Old.getParent();
263dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    BB->getInstList().insert(&Old, New); // Insert inst
264ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Add(New);
265ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return New;
266ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
2676fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
268e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak  // InsertNewInstWith - same as InsertNewInstBefore, but also sets the
2696fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  // debug loc.
2706fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  //
2716fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  Instruction *InsertNewInstWith(Instruction *New, Instruction &Old) {
2726fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    New->setDebugLoc(Old.getDebugLoc());
2736fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman    return InsertNewInstBefore(New, Old);
2746fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman  }
2756fd5a6000bb6d23d6e41f6a8b8d07ad3cca3ea76Eli Friedman
276ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // ReplaceInstUsesWith - This method is to be used when an instruction is
277ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // found to be dead, replacable with another preexisting expression.  Here
278ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // we add all uses of I to the worklist, replace all uses of I with the new
279ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // value, then return I, so that the inst combiner will know that I was
280ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // modified.
281ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
282ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *ReplaceInstUsesWith(Instruction &I, Value *V) {
283dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    Worklist.AddUsersToWorkList(I); // Add all modified instrs to worklist.
284e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
285ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // If we are replacing the instruction with itself, this must be in a
286ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // segment of unreachable code, so just clobber the instruction.
287e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak    if (&I == V)
288ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      V = UndefValue::get(I.getType());
289f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
290596aa123f46158639c836f1d53b89a9d7898c4b7Matt Arsenault    DEBUG(dbgs() << "IC: Replacing " << I << "\n"
291f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel                    "    with " << *V << '\n');
292f56762a96dbd602f1205ff9e6d1b700d5b4a6c8aFrits van Bommel
293ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.replaceAllUsesWith(V);
294ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    return &I;
295ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
296ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
297ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // EraseInstFromFunction - When dealing with an instruction that has side
298ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // effects or produces a void value, we can't rely on DCE to delete the
299ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // instruction.  Instead, visit methods should return the value returned by
300ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // this function.
301ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *EraseInstFromFunction(Instruction &I) {
302596aa123f46158639c836f1d53b89a9d7898c4b7Matt Arsenault    DEBUG(dbgs() << "IC: ERASE " << I << '\n');
303ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
304ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    assert(I.use_empty() && "Cannot erase instruction that is used!");
305ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // Make sure that we reprocess all operands now that we reduced their
306ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    // use counts.
307ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    if (I.getNumOperands() < 8) {
308ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner      for (User::op_iterator i = I.op_begin(), e = I.op_end(); i != e; ++i)
309ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner        if (Instruction *Op = dyn_cast<Instruction>(*i))
310ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner          Worklist.Add(Op);
311ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    }
312ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    Worklist.Remove(&I);
313ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    I.eraseFromParent();
314ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner    MadeIRChange = true;
315dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    return nullptr; // Don't do anything with FI
316ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
317e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
318dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  void computeKnownBits(Value *V, APInt &KnownZero, APInt &KnownOne,
319dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                        unsigned Depth = 0) const {
320dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    return llvm::computeKnownBits(V, KnownZero, KnownOne, DL, Depth);
321ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
322e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
323e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak  bool MaskedValueIsZero(Value *V, const APInt &Mask,
324ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                         unsigned Depth = 0) const {
32536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines    return llvm::MaskedValueIsZero(V, Mask, DL, Depth);
326ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
327ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  unsigned ComputeNumSignBits(Value *Op, unsigned Depth = 0) const {
32836b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines    return llvm::ComputeNumSignBits(Op, DL, Depth);
329ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  }
330ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
331ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattnerprivate:
332096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// SimplifyAssociativeOrCommutative - This performs a few simplifications for
333096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  /// operators which are associative or commutative.
334096aa79276b8527a3cbbb3691e40e729dea09523Duncan Sands  bool SimplifyAssociativeOrCommutative(BinaryOperator &I);
335ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
33637bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// SimplifyUsingDistributiveLaws - This tries to simplify binary operations
33737bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// which some other binary operation distributes over either by factorizing
33837bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// out common terms (eg "(A*B)+(A*C)" -> "A*(B+C)") or expanding out if this
33937bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// results in simplifications (eg: "A & (B | C) -> (A&B) | (A&C)" if this is
34037bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  /// a win).  Returns the simplified value, or null if it didn't simplify.
34137bf92b5238434b00fde79347ba5336e7554e562Duncan Sands  Value *SimplifyUsingDistributiveLaws(BinaryOperator &I);
3425057f381418ddc8c96699c40479ead993cd62e7bDuncan Sands
343ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedUseBits - Attempts to replace V with a simpler value
344ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// based on the demanded bits.
345dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Value *SimplifyDemandedUseBits(Value *V, APInt DemandedMask, APInt &KnownZero,
346dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                                 APInt &KnownOne, unsigned Depth);
347dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  bool SimplifyDemandedBits(Use &U, APInt DemandedMask, APInt &KnownZero,
348dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                            APInt &KnownOne, unsigned Depth = 0);
349c811976b0400257511f2a255ec70538c3614f85eShuxin Yang  /// Helper routine of SimplifyDemandedUseBits. It tries to simplify demanded
350c811976b0400257511f2a255ec70538c3614f85eShuxin Yang  /// bit for "r1 = shr x, c1; r2 = shl r1, c2" instruction sequence.
351c811976b0400257511f2a255ec70538c3614f85eShuxin Yang  Value *SimplifyShrShlDemandedBits(Instruction *Lsr, Instruction *Sftl,
352c811976b0400257511f2a255ec70538c3614f85eShuxin Yang                                    APInt DemandedMask, APInt &KnownZero,
353c811976b0400257511f2a255ec70538c3614f85eShuxin Yang                                    APInt &KnownOne);
354e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
355ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedInstructionBits - Inst is an integer instruction that
356ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// SimplifyDemandedBits knows about.  See if the instruction has any
357ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  /// properties that allow us to simplify its operands.
358ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyDemandedInstructionBits(Instruction &Inst);
359e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
360ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
361dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                                    APInt &UndefElts, unsigned Depth = 0);
362dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
363dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Value *SimplifyVectorOp(BinaryOperator &Inst);
364e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
365ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldOpIntoPhi - Given a binary operator, cast instruction, or select
366ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // which has a PHI node as operand #0, see if we can fold the instruction
367ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // into the PHI (which is only possible if all operands to the PHI are
368ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // constants).
369ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  //
3709922ccf4b483ce37524047879f9b2f9bb73e3ccbChris Lattner  Instruction *FoldOpIntoPhi(Instruction &I);
371ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
372ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // FoldPHIArgOpIntoPHI - If all operands to a PHI node are the same "unary"
373ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // operator and they all are only used by the PHI, PHI together their
374ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  // inputs, and do the operation once, to the result of the PHI.
375ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgOpIntoPHI(PHINode &PN);
376ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgBinOpIntoPHI(PHINode &PN);
377ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgGEPIntoPHI(PHINode &PN);
378ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *FoldPHIArgLoadIntoPHI(PHINode &PN);
379ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
380ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *OptAndOp(Instruction *Op, ConstantInt *OpRHS,
381ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                        ConstantInt *AndRHS, BinaryOperator &TheAnd);
382e673b54bdde4b538cbd67eadac80a15d238c926fJakub Staszak
383ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Value *FoldLogicalPlusAnd(Value *LHS, Value *RHS, ConstantInt *Mask,
384ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner                            bool isSub, Instruction &I);
385dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Value *InsertRangeTest(Value *V, Constant *Lo, Constant *Hi, bool isSigned,
386dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                         bool Inside);
387ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *PromoteCastOfAllocation(BitCastInst &CI, AllocaInst &AI);
388ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *MatchBSwap(BinaryOperator &I);
389ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  bool SimplifyStoreAtEndOfBlock(StoreInst &SI);
390ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemTransfer(MemIntrinsic *MI);
391ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner  Instruction *SimplifyMemSet(MemSetInst *MI);
392ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
393db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner  Value *EvaluateInDifferentType(Value *V, Type *Ty, bool isSigned);
394bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands
395bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  /// Descale - Return a value X such that Val = X * Scale, or null if none.  If
396bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  /// the multiplication is known not to overflow then NoSignedWrap is set.
397bbc7016c60bfe319f4d3bbc525547596e85c9aadDuncan Sands  Value *Descale(Value *Val, APInt Scale, bool &NoSignedWrap);
398ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner};
399ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
400ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner} // end namespace llvm.
401ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner
402dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#undef DEBUG_TYPE
403dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
404ac8f2fd2e217d063d7ef57b8698894739f707431Chris Lattner#endif
405