Chandler Carruth | a917458 | 2015-01-22 05:25:13 +0000 | [diff] [blame] | 1 | //===- InstCombineInternal.h - InstCombine pass internals -------*- C++ -*-===// |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Chandler Carruth | a917458 | 2015-01-22 05:25:13 +0000 | [diff] [blame] | 9 | /// \file |
| 10 | /// |
| 11 | /// This file provides internal interfaces used to implement the InstCombine. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 14 | |
Chandler Carruth | a917458 | 2015-01-22 05:25:13 +0000 | [diff] [blame] | 15 | #ifndef LLVM_LIB_TRANSFORMS_INSTCOMBINE_INSTCOMBINEINTERNAL_H |
| 16 | #define LLVM_LIB_TRANSFORMS_INSTCOMBINE_INSTCOMBINEINTERNAL_H |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 17 | |
Bjorn Steinbrink | 8350534 | 2015-07-10 06:55:49 +0000 | [diff] [blame] | 18 | #include "llvm/Analysis/AliasAnalysis.h" |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 19 | #include "llvm/Analysis/AssumptionCache.h" |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 20 | #include "llvm/Analysis/InstructionSimplify.h" |
Chandler Carruth | 5175b9a | 2015-01-20 08:35:24 +0000 | [diff] [blame] | 21 | #include "llvm/Analysis/LoopInfo.h" |
Chandler Carruth | 452a007 | 2014-03-04 11:59:06 +0000 | [diff] [blame] | 22 | #include "llvm/Analysis/TargetFolder.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 23 | #include "llvm/Analysis/ValueTracking.h" |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 24 | #include "llvm/IR/DIBuilder.h" |
Gerolf Hoflehner | ec6217c | 2014-11-21 23:36:44 +0000 | [diff] [blame] | 25 | #include "llvm/IR/Dominators.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 26 | #include "llvm/IR/IRBuilder.h" |
Chandler Carruth | 7da14f1 | 2014-03-06 03:23:41 +0000 | [diff] [blame] | 27 | #include "llvm/IR/InstVisitor.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 28 | #include "llvm/IR/IntrinsicInst.h" |
| 29 | #include "llvm/IR/Operator.h" |
Hal Finkel | 74c2f35 | 2014-09-07 12:44:26 +0000 | [diff] [blame] | 30 | #include "llvm/IR/PatternMatch.h" |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 31 | #include "llvm/Pass.h" |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 32 | #include "llvm/Support/Dwarf.h" |
Chandler Carruth | 83ba269 | 2015-01-24 04:19:17 +0000 | [diff] [blame] | 33 | #include "llvm/Transforms/InstCombine/InstCombineWorklist.h" |
Adrian Prantl | 47ea647 | 2017-03-16 21:14:09 +0000 | [diff] [blame] | 34 | #include "llvm/Transforms/Utils/Local.h" |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 35 | |
Chandler Carruth | 964daaa | 2014-04-22 02:55:47 +0000 | [diff] [blame] | 36 | #define DEBUG_TYPE "instcombine" |
| 37 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 38 | namespace llvm { |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 39 | class CallSite; |
| 40 | class DataLayout; |
Hal Finkel | 60db058 | 2014-09-07 18:57:58 +0000 | [diff] [blame] | 41 | class DominatorTree; |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 42 | class TargetLibraryInfo; |
| 43 | class DbgDeclareInst; |
| 44 | class MemIntrinsic; |
| 45 | class MemSetInst; |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 46 | |
Sanjay Patel | 73fc8dd | 2017-02-03 21:43:34 +0000 | [diff] [blame] | 47 | /// Assign a complexity or rank value to LLVM Values. This is used to reduce |
| 48 | /// the amount of pattern matching needed for compares and commutative |
| 49 | /// instructions. For example, if we have: |
| 50 | /// icmp ugt X, Constant |
| 51 | /// or |
| 52 | /// xor (add X, Constant), cast Z |
| 53 | /// |
| 54 | /// We do not have to consider the commuted variants of these patterns because |
| 55 | /// canonicalization based on complexity guarantees the above ordering. |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 56 | /// |
| 57 | /// This routine maps IR values to various complexity ranks: |
| 58 | /// 0 -> undef |
| 59 | /// 1 -> Constants |
| 60 | /// 2 -> Other non-instructions |
| 61 | /// 3 -> Arguments |
Sanjay Patel | 73fc8dd | 2017-02-03 21:43:34 +0000 | [diff] [blame] | 62 | /// 4 -> Cast and (f)neg/not instructions |
| 63 | /// 5 -> Other instructions |
Chris Lattner | 2188e40 | 2010-01-04 07:37:31 +0000 | [diff] [blame] | 64 | static inline unsigned getComplexity(Value *V) { |
| 65 | if (isa<Instruction>(V)) { |
Sanjay Patel | 73fc8dd | 2017-02-03 21:43:34 +0000 | [diff] [blame] | 66 | if (isa<CastInst>(V) || BinaryOperator::isNeg(V) || |
| 67 | BinaryOperator::isFNeg(V) || BinaryOperator::isNot(V)) |
| 68 | return 4; |
| 69 | return 5; |
Chris Lattner | 2188e40 | 2010-01-04 07:37:31 +0000 | [diff] [blame] | 70 | } |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 71 | if (isa<Argument>(V)) |
| 72 | return 3; |
Chris Lattner | 2188e40 | 2010-01-04 07:37:31 +0000 | [diff] [blame] | 73 | return isa<Constant>(V) ? (isa<UndefValue>(V) ? 0 : 1) : 2; |
| 74 | } |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 75 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 76 | /// \brief Add one to a Constant |
Benjamin Kramer | 970f495 | 2014-01-19 16:56:10 +0000 | [diff] [blame] | 77 | static inline Constant *AddOne(Constant *C) { |
| 78 | return ConstantExpr::getAdd(C, ConstantInt::get(C->getType(), 1)); |
| 79 | } |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 80 | /// \brief Subtract one from a Constant |
Benjamin Kramer | 970f495 | 2014-01-19 16:56:10 +0000 | [diff] [blame] | 81 | static inline Constant *SubOne(Constant *C) { |
| 82 | return ConstantExpr::getSub(C, ConstantInt::get(C->getType(), 1)); |
| 83 | } |
| 84 | |
Sanjoy Das | 82ea3d4 | 2015-02-24 00:08:41 +0000 | [diff] [blame] | 85 | /// \brief Return true if the specified value is free to invert (apply ~ to). |
| 86 | /// This happens in cases where the ~ can be eliminated. If WillInvertAllUses |
| 87 | /// is true, work under the assumption that the caller intends to remove all |
| 88 | /// uses of V and only keep uses of ~V. |
| 89 | /// |
| 90 | static inline bool IsFreeToInvert(Value *V, bool WillInvertAllUses) { |
| 91 | // ~(~(X)) -> X. |
| 92 | if (BinaryOperator::isNot(V)) |
| 93 | return true; |
| 94 | |
| 95 | // Constants can be considered to be not'ed values. |
| 96 | if (isa<ConstantInt>(V)) |
| 97 | return true; |
| 98 | |
Sanjay Patel | 611f9f9 | 2016-10-27 17:30:50 +0000 | [diff] [blame] | 99 | // A vector of constant integers can be inverted easily. |
| 100 | Constant *CV; |
| 101 | if (V->getType()->isVectorTy() && match(V, PatternMatch::m_Constant(CV))) { |
| 102 | unsigned NumElts = V->getType()->getVectorNumElements(); |
| 103 | for (unsigned i = 0; i != NumElts; ++i) { |
| 104 | Constant *Elt = CV->getAggregateElement(i); |
| 105 | if (!Elt) |
| 106 | return false; |
| 107 | |
| 108 | if (isa<UndefValue>(Elt)) |
| 109 | continue; |
| 110 | |
| 111 | if (!isa<ConstantInt>(Elt)) |
| 112 | return false; |
| 113 | } |
| 114 | return true; |
| 115 | } |
| 116 | |
Sanjoy Das | 82ea3d4 | 2015-02-24 00:08:41 +0000 | [diff] [blame] | 117 | // Compares can be inverted if all of their uses are being modified to use the |
| 118 | // ~V. |
| 119 | if (isa<CmpInst>(V)) |
| 120 | return WillInvertAllUses; |
| 121 | |
| 122 | // If `V` is of the form `A + Constant` then `-1 - V` can be folded into `(-1 |
| 123 | // - Constant) - A` if we are willing to invert all of the uses. |
| 124 | if (BinaryOperator *BO = dyn_cast<BinaryOperator>(V)) |
| 125 | if (BO->getOpcode() == Instruction::Add || |
| 126 | BO->getOpcode() == Instruction::Sub) |
| 127 | if (isa<Constant>(BO->getOperand(0)) || isa<Constant>(BO->getOperand(1))) |
| 128 | return WillInvertAllUses; |
| 129 | |
| 130 | return false; |
| 131 | } |
| 132 | |
Sanjoy Das | b098447 | 2015-04-08 04:27:22 +0000 | [diff] [blame] | 133 | |
| 134 | /// \brief Specific patterns of overflow check idioms that we match. |
| 135 | enum OverflowCheckFlavor { |
| 136 | OCF_UNSIGNED_ADD, |
| 137 | OCF_SIGNED_ADD, |
| 138 | OCF_UNSIGNED_SUB, |
| 139 | OCF_SIGNED_SUB, |
| 140 | OCF_UNSIGNED_MUL, |
| 141 | OCF_SIGNED_MUL, |
| 142 | |
| 143 | OCF_INVALID |
| 144 | }; |
| 145 | |
| 146 | /// \brief Returns the OverflowCheckFlavor corresponding to a overflow_with_op |
| 147 | /// intrinsic. |
| 148 | static inline OverflowCheckFlavor |
| 149 | IntrinsicIDToOverflowCheckFlavor(unsigned ID) { |
| 150 | switch (ID) { |
| 151 | default: |
| 152 | return OCF_INVALID; |
| 153 | case Intrinsic::uadd_with_overflow: |
| 154 | return OCF_UNSIGNED_ADD; |
| 155 | case Intrinsic::sadd_with_overflow: |
| 156 | return OCF_SIGNED_ADD; |
| 157 | case Intrinsic::usub_with_overflow: |
| 158 | return OCF_UNSIGNED_SUB; |
| 159 | case Intrinsic::ssub_with_overflow: |
| 160 | return OCF_SIGNED_SUB; |
| 161 | case Intrinsic::umul_with_overflow: |
| 162 | return OCF_UNSIGNED_MUL; |
| 163 | case Intrinsic::smul_with_overflow: |
| 164 | return OCF_SIGNED_MUL; |
| 165 | } |
| 166 | } |
| 167 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 168 | /// \brief The core instruction combiner logic. |
| 169 | /// |
| 170 | /// This class provides both the logic to recursively visit instructions and |
Craig Topper | 28ec346 | 2016-12-28 03:12:42 +0000 | [diff] [blame] | 171 | /// combine them. |
Duncan Sands | 6c5e435 | 2010-05-11 20:16:09 +0000 | [diff] [blame] | 172 | class LLVM_LIBRARY_VISIBILITY InstCombiner |
Chandler Carruth | 1edb9d6 | 2015-01-20 22:44:35 +0000 | [diff] [blame] | 173 | : public InstVisitor<InstCombiner, Instruction *> { |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 174 | // FIXME: These members shouldn't be public. |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 175 | public: |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 176 | /// \brief A worklist of the instructions that need to be simplified. |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 177 | InstCombineWorklist &Worklist; |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 178 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 179 | /// \brief An IRBuilder that automatically inserts new instructions into the |
| 180 | /// worklist. |
Justin Bogner | 19dd0da | 2016-08-04 23:41:01 +0000 | [diff] [blame] | 181 | typedef IRBuilder<TargetFolder, IRBuilderCallbackInserter> BuilderTy; |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 182 | BuilderTy *Builder; |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 183 | |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 184 | private: |
| 185 | // Mode in which we are running the combiner. |
| 186 | const bool MinimizeSize; |
Matthias Braun | c31032d | 2016-03-09 18:47:11 +0000 | [diff] [blame] | 187 | /// Enable combines that trigger rarely but are costly in compiletime. |
| 188 | const bool ExpensiveCombines; |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 189 | |
Bjorn Steinbrink | 8350534 | 2015-07-10 06:55:49 +0000 | [diff] [blame] | 190 | AliasAnalysis *AA; |
| 191 | |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 192 | // Required analyses. |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 193 | AssumptionCache &AC; |
Justin Bogner | 9979840 | 2016-08-05 01:06:44 +0000 | [diff] [blame] | 194 | TargetLibraryInfo &TLI; |
| 195 | DominatorTree &DT; |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 196 | const DataLayout &DL; |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 197 | const SimplifyQuery SQ; |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 198 | // Optional analyses. When non-null, these can both be used to do better |
| 199 | // combining and will be updated to reflect any changes. |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 200 | LoopInfo *LI; |
| 201 | |
| 202 | bool MadeIRChange; |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 203 | |
| 204 | public: |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 205 | InstCombiner(InstCombineWorklist &Worklist, BuilderTy *Builder, |
Matthias Braun | c31032d | 2016-03-09 18:47:11 +0000 | [diff] [blame] | 206 | bool MinimizeSize, bool ExpensiveCombines, AliasAnalysis *AA, |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 207 | AssumptionCache &AC, TargetLibraryInfo &TLI, DominatorTree &DT, |
| 208 | const DataLayout &DL, LoopInfo *LI) |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 209 | : Worklist(Worklist), Builder(Builder), MinimizeSize(MinimizeSize), |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 210 | ExpensiveCombines(ExpensiveCombines), AA(AA), AC(AC), TLI(TLI), DT(DT), |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 211 | DL(DL), SQ(DL, &TLI, &DT, &AC), LI(LI), MadeIRChange(false) {} |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 212 | |
Chandler Carruth | df5747a | 2015-01-21 11:38:17 +0000 | [diff] [blame] | 213 | /// \brief Run the combiner over the entire worklist until it is empty. |
| 214 | /// |
| 215 | /// \returns true if the IR is changed. |
| 216 | bool run(); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 217 | |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 218 | AssumptionCache &getAssumptionCache() const { return AC; } |
| 219 | |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 220 | const DataLayout &getDataLayout() const { return DL; } |
Chandler Carruth | b3d03df | 2015-01-20 21:10:35 +0000 | [diff] [blame] | 221 | |
Justin Bogner | 9979840 | 2016-08-05 01:06:44 +0000 | [diff] [blame] | 222 | DominatorTree &getDominatorTree() const { return DT; } |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 223 | |
Chandler Carruth | 5175b9a | 2015-01-20 08:35:24 +0000 | [diff] [blame] | 224 | LoopInfo *getLoopInfo() const { return LI; } |
| 225 | |
Justin Bogner | 9979840 | 2016-08-05 01:06:44 +0000 | [diff] [blame] | 226 | TargetLibraryInfo &getTargetLibraryInfo() const { return TLI; } |
Chad Rosier | 43a3306 | 2011-12-02 01:26:24 +0000 | [diff] [blame] | 227 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 228 | // Visitation implementation - Implement instruction combining for different |
| 229 | // instruction types. The semantics are as follows: |
| 230 | // Return Value: |
| 231 | // null - No change was made |
| 232 | // I - Change was made, I is still valid, I may be dead though |
| 233 | // otherwise - Change was made, replace I with returned instruction |
| 234 | // |
| 235 | Instruction *visitAdd(BinaryOperator &I); |
| 236 | Instruction *visitFAdd(BinaryOperator &I); |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 237 | Value *OptimizePointerDifference(Value *LHS, Value *RHS, Type *Ty); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 238 | Instruction *visitSub(BinaryOperator &I); |
| 239 | Instruction *visitFSub(BinaryOperator &I); |
| 240 | Instruction *visitMul(BinaryOperator &I); |
Benjamin Kramer | 76b15d0 | 2014-01-19 13:36:27 +0000 | [diff] [blame] | 241 | Value *foldFMulConst(Instruction *FMulOrDiv, Constant *C, |
Shuxin Yang | df0e61e | 2013-01-07 21:39:23 +0000 | [diff] [blame] | 242 | Instruction *InsertBefore); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 243 | Instruction *visitFMul(BinaryOperator &I); |
| 244 | Instruction *visitURem(BinaryOperator &I); |
| 245 | Instruction *visitSRem(BinaryOperator &I); |
| 246 | Instruction *visitFRem(BinaryOperator &I); |
| 247 | bool SimplifyDivRemOfSelect(BinaryOperator &I); |
| 248 | Instruction *commonRemTransforms(BinaryOperator &I); |
| 249 | Instruction *commonIRemTransforms(BinaryOperator &I); |
| 250 | Instruction *commonDivTransforms(BinaryOperator &I); |
| 251 | Instruction *commonIDivTransforms(BinaryOperator &I); |
| 252 | Instruction *visitUDiv(BinaryOperator &I); |
| 253 | Instruction *visitSDiv(BinaryOperator &I); |
Frits van Bommel | 2a55951 | 2011-01-29 17:50:27 +0000 | [diff] [blame] | 254 | Instruction *visitFDiv(BinaryOperator &I); |
Erik Eckstein | d181752 | 2014-12-03 10:39:15 +0000 | [diff] [blame] | 255 | Value *simplifyRangeCheck(ICmpInst *Cmp0, ICmpInst *Cmp1, bool Inverted); |
Chris Lattner | 067459c | 2010-03-05 08:46:26 +0000 | [diff] [blame] | 256 | Value *FoldAndOfICmps(ICmpInst *LHS, ICmpInst *RHS); |
| 257 | Value *FoldAndOfFCmps(FCmpInst *LHS, FCmpInst *RHS); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 258 | Instruction *visitAnd(BinaryOperator &I); |
Hal Finkel | 60db058 | 2014-09-07 18:57:58 +0000 | [diff] [blame] | 259 | Value *FoldOrOfICmps(ICmpInst *LHS, ICmpInst *RHS, Instruction *CxtI); |
Chris Lattner | 067459c | 2010-03-05 08:46:26 +0000 | [diff] [blame] | 260 | Value *FoldOrOfFCmps(FCmpInst *LHS, FCmpInst *RHS); |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 261 | Instruction *FoldOrWithConstants(BinaryOperator &I, Value *Op, Value *A, |
| 262 | Value *B, Value *C); |
David Majnemer | 5d1aeba | 2014-08-21 05:14:48 +0000 | [diff] [blame] | 263 | Instruction *FoldXorWithConstants(BinaryOperator &I, Value *Op, Value *A, |
| 264 | Value *B, Value *C); |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 265 | Instruction *visitOr(BinaryOperator &I); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 266 | Instruction *visitXor(BinaryOperator &I); |
| 267 | Instruction *visitShl(BinaryOperator &I); |
| 268 | Instruction *visitAShr(BinaryOperator &I); |
| 269 | Instruction *visitLShr(BinaryOperator &I); |
| 270 | Instruction *commonShiftTransforms(BinaryOperator &I); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 271 | Instruction *visitFCmpInst(FCmpInst &I); |
| 272 | Instruction *visitICmpInst(ICmpInst &I); |
Matt Arsenault | fed3dc8 | 2014-04-14 21:50:37 +0000 | [diff] [blame] | 273 | Instruction *FoldShiftByConstant(Value *Op0, Constant *Op1, |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 274 | BinaryOperator &I); |
| 275 | Instruction *commonCastTransforms(CastInst &CI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 276 | Instruction *commonPointerCastTransforms(CastInst &CI); |
| 277 | Instruction *visitTrunc(TruncInst &CI); |
| 278 | Instruction *visitZExt(ZExtInst &CI); |
| 279 | Instruction *visitSExt(SExtInst &CI); |
| 280 | Instruction *visitFPTrunc(FPTruncInst &CI); |
| 281 | Instruction *visitFPExt(CastInst &CI); |
| 282 | Instruction *visitFPToUI(FPToUIInst &FI); |
| 283 | Instruction *visitFPToSI(FPToSIInst &FI); |
| 284 | Instruction *visitUIToFP(CastInst &CI); |
| 285 | Instruction *visitSIToFP(CastInst &CI); |
| 286 | Instruction *visitPtrToInt(PtrToIntInst &CI); |
| 287 | Instruction *visitIntToPtr(IntToPtrInst &CI); |
| 288 | Instruction *visitBitCast(BitCastInst &CI); |
Matt Arsenault | a9e95ab | 2013-11-15 05:45:08 +0000 | [diff] [blame] | 289 | Instruction *visitAddrSpaceCast(AddrSpaceCastInst &CI); |
Mehdi Amini | b9a0fa4 | 2015-02-16 21:47:54 +0000 | [diff] [blame] | 290 | Instruction *FoldItoFPtoI(Instruction &FI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 291 | Instruction *visitSelectInst(SelectInst &SI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 292 | Instruction *visitCallInst(CallInst &CI); |
| 293 | Instruction *visitInvokeInst(InvokeInst &II); |
| 294 | |
| 295 | Instruction *SliceUpIllegalIntegerPHI(PHINode &PN); |
| 296 | Instruction *visitPHINode(PHINode &PN); |
| 297 | Instruction *visitGetElementPtrInst(GetElementPtrInst &GEP); |
| 298 | Instruction *visitAllocaInst(AllocaInst &AI); |
Nuno Lopes | 95cc4f3 | 2012-07-09 18:38:20 +0000 | [diff] [blame] | 299 | Instruction *visitAllocSite(Instruction &FI); |
Gabor Greif | 75f6943 | 2010-06-24 12:21:15 +0000 | [diff] [blame] | 300 | Instruction *visitFree(CallInst &FI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 301 | Instruction *visitLoadInst(LoadInst &LI); |
| 302 | Instruction *visitStoreInst(StoreInst &SI); |
| 303 | Instruction *visitBranchInst(BranchInst &BI); |
Davide Italiano | aec4617 | 2017-01-31 18:09:05 +0000 | [diff] [blame] | 304 | Instruction *visitFenceInst(FenceInst &FI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 305 | Instruction *visitSwitchInst(SwitchInst &SI); |
Hal Finkel | 93873cc1 | 2014-09-07 21:28:34 +0000 | [diff] [blame] | 306 | Instruction *visitReturnInst(ReturnInst &RI); |
Michael Zolotukhin | 7d6293a | 2014-05-07 14:30:18 +0000 | [diff] [blame] | 307 | Instruction *visitInsertValueInst(InsertValueInst &IV); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 308 | Instruction *visitInsertElementInst(InsertElementInst &IE); |
| 309 | Instruction *visitExtractElementInst(ExtractElementInst &EI); |
| 310 | Instruction *visitShuffleVectorInst(ShuffleVectorInst &SVI); |
| 311 | Instruction *visitExtractValueInst(ExtractValueInst &EV); |
Duncan Sands | 5c05579 | 2011-09-30 13:12:16 +0000 | [diff] [blame] | 312 | Instruction *visitLandingPadInst(LandingPadInst &LI); |
Arnaud A. de Grandmaison | 333ef38 | 2016-05-10 09:24:49 +0000 | [diff] [blame] | 313 | Instruction *visitVAStartInst(VAStartInst &I); |
| 314 | Instruction *visitVACopyInst(VACopyInst &I); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 315 | |
Sanjay Patel | 5352331 | 2016-09-12 14:25:46 +0000 | [diff] [blame] | 316 | /// Specify what to return for unhandled instructions. |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 317 | Instruction *visitInstruction(Instruction &I) { return nullptr; } |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 318 | |
Sanjay Patel | 5352331 | 2016-09-12 14:25:46 +0000 | [diff] [blame] | 319 | /// True when DB dominates all uses of DI except UI. |
| 320 | /// UI must be in the same block as DI. |
| 321 | /// The routine checks that the DI parent and DB are different. |
Gerolf Hoflehner | ec6217c | 2014-11-21 23:36:44 +0000 | [diff] [blame] | 322 | bool dominatesAllUses(const Instruction *DI, const Instruction *UI, |
| 323 | const BasicBlock *DB) const; |
| 324 | |
Sanjay Patel | 5352331 | 2016-09-12 14:25:46 +0000 | [diff] [blame] | 325 | /// Try to replace select with select operand SIOpd in SI-ICmp sequence. |
Gerolf Hoflehner | ec6217c | 2014-11-21 23:36:44 +0000 | [diff] [blame] | 326 | bool replacedSelectWithOperand(SelectInst *SI, const ICmpInst *Icmp, |
| 327 | const unsigned SIOpd); |
| 328 | |
Yaxun Liu | ba01ed0 | 2017-02-10 21:46:07 +0000 | [diff] [blame] | 329 | /// Try to replace instruction \p I with value \p V which are pointers |
| 330 | /// in different address space. |
| 331 | /// \return true if successful. |
| 332 | bool replacePointer(Instruction &I, Value *V); |
| 333 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 334 | private: |
Sanjay Patel | 2217f75 | 2017-01-31 17:25:42 +0000 | [diff] [blame] | 335 | bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const; |
| 336 | bool shouldChangeType(Type *From, Type *To) const; |
Chris Lattner | 2188e40 | 2010-01-04 07:37:31 +0000 | [diff] [blame] | 337 | Value *dyn_castNegVal(Value *V) const; |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 338 | Value *dyn_castFNegVal(Value *V, bool NoSignedZero = false) const; |
David Blaikie | 87ca1b6 | 2015-03-27 20:56:11 +0000 | [diff] [blame] | 339 | Type *FindElementAtOffset(PointerType *PtrTy, int64_t Offset, |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 340 | SmallVectorImpl<Value *> &NewIndices); |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 341 | |
Tobias Grosser | 8ef834c | 2016-07-19 09:06:08 +0000 | [diff] [blame] | 342 | /// Classify whether a cast is worth optimizing. |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 343 | /// |
Tobias Grosser | 8ef834c | 2016-07-19 09:06:08 +0000 | [diff] [blame] | 344 | /// This is a helper to decide whether the simplification of |
| 345 | /// logic(cast(A), cast(B)) to cast(logic(A, B)) should be performed. |
| 346 | /// |
| 347 | /// \param CI The cast we are interested in. |
| 348 | /// |
| 349 | /// \return true if this cast actually results in any code being generated and |
| 350 | /// if it cannot already be eliminated by some other transformation. |
| 351 | bool shouldOptimizeCast(CastInst *CI); |
Chris Lattner | 2188e40 | 2010-01-04 07:37:31 +0000 | [diff] [blame] | 352 | |
Sanjoy Das | b098447 | 2015-04-08 04:27:22 +0000 | [diff] [blame] | 353 | /// \brief Try to optimize a sequence of instructions checking if an operation |
| 354 | /// on LHS and RHS overflows. |
| 355 | /// |
Sanjoy Das | 6f5dca7 | 2015-08-28 19:09:31 +0000 | [diff] [blame] | 356 | /// If this overflow check is done via one of the overflow check intrinsics, |
| 357 | /// then CtxI has to be the call instruction calling that intrinsic. If this |
| 358 | /// overflow check is done by arithmetic followed by a compare, then CtxI has |
| 359 | /// to be the arithmetic instruction. |
| 360 | /// |
Sanjoy Das | b098447 | 2015-04-08 04:27:22 +0000 | [diff] [blame] | 361 | /// If a simplification is possible, stores the simplified result of the |
| 362 | /// operation in OperationResult and result of the overflow check in |
| 363 | /// OverflowResult, and return true. If no simplification is possible, |
| 364 | /// returns false. |
| 365 | bool OptimizeOverflowCheck(OverflowCheckFlavor OCF, Value *LHS, Value *RHS, |
| 366 | Instruction &CtxI, Value *&OperationResult, |
| 367 | Constant *&OverflowResult); |
| 368 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 369 | Instruction *visitCallSite(CallSite CS); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 370 | Instruction *tryOptimizeCall(CallInst *CI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 371 | bool transformConstExprCastCall(CallSite CS); |
Duncan Sands | a098436 | 2011-09-06 13:37:06 +0000 | [diff] [blame] | 372 | Instruction *transformCallThroughTrampoline(CallSite CS, |
| 373 | IntrinsicInst *Tramp); |
Tobias Grosser | 8ef834c | 2016-07-19 09:06:08 +0000 | [diff] [blame] | 374 | |
| 375 | /// Transform (zext icmp) to bitwise / integer operations in order to |
| 376 | /// eliminate it. |
| 377 | /// |
| 378 | /// \param ICI The icmp of the (zext icmp) pair we are interested in. |
| 379 | /// \parem CI The zext of the (zext icmp) pair we are interested in. |
| 380 | /// \param DoTransform Pass false to just test whether the given (zext icmp) |
| 381 | /// would be transformed. Pass true to actually perform the transformation. |
| 382 | /// |
| 383 | /// \return null if the transformation cannot be performed. If the |
| 384 | /// transformation can be performed the new instruction that replaces the |
| 385 | /// (zext icmp) pair will be returned (if \p DoTransform is false the |
| 386 | /// unmodified \p ICI will be returned in this case). |
| 387 | Instruction *transformZExtICmp(ICmpInst *ICI, ZExtInst &CI, |
| 388 | bool DoTransform = true); |
| 389 | |
Benjamin Kramer | 398b8c5 | 2011-04-01 20:09:03 +0000 | [diff] [blame] | 390 | Instruction *transformSExtICmp(ICmpInst *ICI, Instruction &CI); |
Craig Topper | bb97372 | 2017-05-15 02:44:08 +0000 | [diff] [blame] | 391 | bool WillNotOverflowSignedAdd(Value *LHS, Value *RHS, Instruction &CxtI) { |
| 392 | return computeOverflowForSignedAdd(LHS, RHS, &CxtI) == |
| 393 | OverflowResult::NeverOverflows; |
| 394 | }; |
| 395 | bool willNotOverflowUnsignedAdd(Value *LHS, Value *RHS, Instruction &CxtI) { |
| 396 | return computeOverflowForUnsignedAdd(LHS, RHS, &CxtI) == |
| 397 | OverflowResult::NeverOverflows; |
| 398 | }; |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 399 | bool WillNotOverflowSignedSub(Value *LHS, Value *RHS, Instruction &CxtI); |
| 400 | bool WillNotOverflowUnsignedSub(Value *LHS, Value *RHS, Instruction &CxtI); |
| 401 | bool WillNotOverflowSignedMul(Value *LHS, Value *RHS, Instruction &CxtI); |
Craig Topper | bb97372 | 2017-05-15 02:44:08 +0000 | [diff] [blame] | 402 | bool willNotOverflowUnsignedMul(Value *LHS, Value *RHS, Instruction &CxtI) { |
| 403 | return computeOverflowForUnsignedMul(LHS, RHS, &CxtI) == |
| 404 | OverflowResult::NeverOverflows; |
| 405 | }; |
Nuno Lopes | a2f6cec | 2012-05-22 17:19:09 +0000 | [diff] [blame] | 406 | Value *EmitGEPOffset(User *GEP); |
Anat Shemer | 0c95efa | 2013-04-18 19:35:39 +0000 | [diff] [blame] | 407 | Instruction *scalarizePHI(ExtractElementInst &EI, PHINode *PN); |
Nick Lewycky | a2b7720 | 2013-05-31 00:59:42 +0000 | [diff] [blame] | 408 | Value *EvaluateInDifferentElementOrder(Value *V, ArrayRef<int> Mask); |
Sanjay Patel | 40e7ba0 | 2016-02-23 16:36:07 +0000 | [diff] [blame] | 409 | Instruction *foldCastedBitwiseLogic(BinaryOperator &I); |
Sanjay Patel | aa8b28e | 2016-11-30 20:48:54 +0000 | [diff] [blame] | 410 | Instruction *shrinkBitwiseLogic(TruncInst &Trunc); |
Guozhi Wei | ae541f6 | 2016-10-25 20:43:42 +0000 | [diff] [blame] | 411 | Instruction *optimizeBitCastFromPhi(CastInst &CI, PHINode *PN); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 412 | |
Tobias Grosser | 8ef834c | 2016-07-19 09:06:08 +0000 | [diff] [blame] | 413 | /// Determine if a pair of casts can be replaced by a single cast. |
| 414 | /// |
| 415 | /// \param CI1 The first of a pair of casts. |
| 416 | /// \param CI2 The second of a pair of casts. |
| 417 | /// |
| 418 | /// \return 0 if the cast pair cannot be eliminated, otherwise returns an |
| 419 | /// Instruction::CastOps value for a cast that can replace the pair, casting |
| 420 | /// CI1->getSrcTy() to CI2->getDstTy(). |
| 421 | /// |
| 422 | /// \see CastInst::isEliminableCastPair |
| 423 | Instruction::CastOps isEliminableCastPair(const CastInst *CI1, |
| 424 | const CastInst *CI2); |
| 425 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 426 | public: |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 427 | /// \brief Inserts an instruction \p New before instruction \p Old |
| 428 | /// |
| 429 | /// Also adds the new instruction to the worklist and returns \p New so that |
| 430 | /// it is suitable for use as the return from the visitation patterns. |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 431 | Instruction *InsertNewInstBefore(Instruction *New, Instruction &Old) { |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 432 | assert(New && !New->getParent() && |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 433 | "New instruction already inserted into a basic block!"); |
| 434 | BasicBlock *BB = Old.getParent(); |
Duncan P. N. Exon Smith | 9f8aaf2 | 2015-10-13 16:59:33 +0000 | [diff] [blame] | 435 | BB->getInstList().insert(Old.getIterator(), New); // Insert inst |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 436 | Worklist.Add(New); |
| 437 | return New; |
| 438 | } |
Eli Friedman | 6efb64e | 2011-05-19 01:20:42 +0000 | [diff] [blame] | 439 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 440 | /// \brief Same as InsertNewInstBefore, but also sets the debug loc. |
Eli Friedman | 6efb64e | 2011-05-19 01:20:42 +0000 | [diff] [blame] | 441 | Instruction *InsertNewInstWith(Instruction *New, Instruction &Old) { |
| 442 | New->setDebugLoc(Old.getDebugLoc()); |
| 443 | return InsertNewInstBefore(New, Old); |
| 444 | } |
| 445 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 446 | /// \brief A combiner-aware RAUW-like routine. |
| 447 | /// |
| 448 | /// This method is to be used when an instruction is found to be dead, |
Sanjay Patel | f2ea8a2 | 2016-01-06 00:23:12 +0000 | [diff] [blame] | 449 | /// replaceable with another preexisting expression. Here we add all uses of |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 450 | /// I to the worklist, replace all uses of I with the new value, then return |
| 451 | /// I, so that the inst combiner will know that I was modified. |
Sanjay Patel | 4b19880 | 2016-02-01 22:23:39 +0000 | [diff] [blame] | 452 | Instruction *replaceInstUsesWith(Instruction &I, Value *V) { |
Owen Anderson | 51b75b8c | 2015-03-10 05:13:47 +0000 | [diff] [blame] | 453 | // If there are no uses to replace, then we return nullptr to indicate that |
| 454 | // no changes were made to the program. |
| 455 | if (I.use_empty()) return nullptr; |
| 456 | |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 457 | Worklist.AddUsersToWorkList(I); // Add all modified instrs to worklist. |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 458 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 459 | // If we are replacing the instruction with itself, this must be in a |
| 460 | // segment of unreachable code, so just clobber the instruction. |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 461 | if (&I == V) |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 462 | V = UndefValue::get(I.getType()); |
Frits van Bommel | d14d991 | 2011-03-27 23:32:31 +0000 | [diff] [blame] | 463 | |
Matt Arsenault | e6db760 | 2013-09-05 19:48:28 +0000 | [diff] [blame] | 464 | DEBUG(dbgs() << "IC: Replacing " << I << "\n" |
Chandler Carruth | b3d03df | 2015-01-20 21:10:35 +0000 | [diff] [blame] | 465 | << " with " << *V << '\n'); |
Frits van Bommel | d14d991 | 2011-03-27 23:32:31 +0000 | [diff] [blame] | 466 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 467 | I.replaceAllUsesWith(V); |
| 468 | return &I; |
| 469 | } |
| 470 | |
Erik Eckstein | 096ff7d | 2014-12-11 08:02:30 +0000 | [diff] [blame] | 471 | /// Creates a result tuple for an overflow intrinsic \p II with a given |
Sanjoy Das | b098447 | 2015-04-08 04:27:22 +0000 | [diff] [blame] | 472 | /// \p Result and a constant \p Overflow value. |
Erik Eckstein | 096ff7d | 2014-12-11 08:02:30 +0000 | [diff] [blame] | 473 | Instruction *CreateOverflowTuple(IntrinsicInst *II, Value *Result, |
Sanjoy Das | b098447 | 2015-04-08 04:27:22 +0000 | [diff] [blame] | 474 | Constant *Overflow) { |
| 475 | Constant *V[] = {UndefValue::get(Result->getType()), Overflow}; |
Erik Eckstein | 096ff7d | 2014-12-11 08:02:30 +0000 | [diff] [blame] | 476 | StructType *ST = cast<StructType>(II->getType()); |
| 477 | Constant *Struct = ConstantStruct::get(ST, V); |
| 478 | return InsertValueInst::Create(Struct, Result, 0); |
| 479 | } |
Chandler Carruth | b3d03df | 2015-01-20 21:10:35 +0000 | [diff] [blame] | 480 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 481 | /// \brief Combiner aware instruction erasure. |
| 482 | /// |
| 483 | /// When dealing with an instruction that has side effects or produces a void |
| 484 | /// value, we can't rely on DCE to delete the instruction. Instead, visit |
| 485 | /// methods should return the value returned by this function. |
Sanjay Patel | 4b19880 | 2016-02-01 22:23:39 +0000 | [diff] [blame] | 486 | Instruction *eraseInstFromFunction(Instruction &I) { |
Matt Arsenault | e6db760 | 2013-09-05 19:48:28 +0000 | [diff] [blame] | 487 | DEBUG(dbgs() << "IC: ERASE " << I << '\n'); |
Adrian Prantl | fa9e84e | 2017-03-16 20:11:54 +0000 | [diff] [blame] | 488 | assert(I.use_empty() && "Cannot erase instruction that is used!"); |
Adrian Prantl | 47ea647 | 2017-03-16 21:14:09 +0000 | [diff] [blame] | 489 | salvageDebugInfo(I); |
| 490 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 491 | // Make sure that we reprocess all operands now that we reduced their |
| 492 | // use counts. |
| 493 | if (I.getNumOperands() < 8) { |
Sanjay Patel | 8af7fbc3 | 2016-01-31 16:34:48 +0000 | [diff] [blame] | 494 | for (Use &Operand : I.operands()) |
| 495 | if (auto *Inst = dyn_cast<Instruction>(Operand)) |
| 496 | Worklist.Add(Inst); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 497 | } |
| 498 | Worklist.Remove(&I); |
| 499 | I.eraseFromParent(); |
| 500 | MadeIRChange = true; |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 501 | return nullptr; // Don't do anything with FI |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 502 | } |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 503 | |
Craig Topper | b45eabc | 2017-04-26 16:39:58 +0000 | [diff] [blame] | 504 | void computeKnownBits(Value *V, KnownBits &Known, |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 505 | unsigned Depth, Instruction *CxtI) const { |
Craig Topper | 26c4159 | 2017-05-15 02:30:27 +0000 | [diff] [blame] | 506 | llvm::computeKnownBits(V, Known, DL, Depth, &AC, CxtI, &DT); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 507 | } |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 508 | |
Chandler Carruth | b3d03df | 2015-01-20 21:10:35 +0000 | [diff] [blame] | 509 | bool MaskedValueIsZero(Value *V, const APInt &Mask, unsigned Depth = 0, |
Hal Finkel | 60db058 | 2014-09-07 18:57:58 +0000 | [diff] [blame] | 510 | Instruction *CxtI = nullptr) const { |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 511 | return llvm::MaskedValueIsZero(V, Mask, DL, Depth, &AC, CxtI, &DT); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 512 | } |
Hal Finkel | 60db058 | 2014-09-07 18:57:58 +0000 | [diff] [blame] | 513 | unsigned ComputeNumSignBits(Value *Op, unsigned Depth = 0, |
| 514 | Instruction *CxtI = nullptr) const { |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 515 | return llvm::ComputeNumSignBits(Op, DL, Depth, &AC, CxtI, &DT); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 516 | } |
David Majnemer | 54c2ca2 | 2014-12-26 09:10:14 +0000 | [diff] [blame] | 517 | void ComputeSignBit(Value *V, bool &KnownZero, bool &KnownOne, |
| 518 | unsigned Depth = 0, Instruction *CxtI = nullptr) const { |
Craig Topper | 26c4159 | 2017-05-15 02:30:27 +0000 | [diff] [blame] | 519 | llvm::ComputeSignBit(V, KnownZero, KnownOne, DL, Depth, &AC, CxtI, &DT); |
David Majnemer | 54c2ca2 | 2014-12-26 09:10:14 +0000 | [diff] [blame] | 520 | } |
David Majnemer | 491331a | 2015-01-02 07:29:43 +0000 | [diff] [blame] | 521 | OverflowResult computeOverflowForUnsignedMul(Value *LHS, Value *RHS, |
| 522 | const Instruction *CxtI) { |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 523 | return llvm::computeOverflowForUnsignedMul(LHS, RHS, DL, &AC, CxtI, &DT); |
David Majnemer | 491331a | 2015-01-02 07:29:43 +0000 | [diff] [blame] | 524 | } |
David Majnemer | 5310c1e | 2015-01-07 00:39:50 +0000 | [diff] [blame] | 525 | OverflowResult computeOverflowForUnsignedAdd(Value *LHS, Value *RHS, |
| 526 | const Instruction *CxtI) { |
Daniel Jasper | aec2fa3 | 2016-12-19 08:22:17 +0000 | [diff] [blame] | 527 | return llvm::computeOverflowForUnsignedAdd(LHS, RHS, DL, &AC, CxtI, &DT); |
David Majnemer | 5310c1e | 2015-01-07 00:39:50 +0000 | [diff] [blame] | 528 | } |
Craig Topper | bb97372 | 2017-05-15 02:44:08 +0000 | [diff] [blame] | 529 | OverflowResult computeOverflowForSignedAdd(const Value *LHS, |
| 530 | const Value *RHS, |
| 531 | const Instruction *CxtI) const { |
| 532 | return llvm::computeOverflowForSignedAdd(LHS, RHS, DL, &AC, CxtI, &DT); |
| 533 | } |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 534 | |
Davide Italiano | 2133bf5 | 2017-02-07 17:56:50 +0000 | [diff] [blame] | 535 | /// Maximum size of array considered when transforming. |
David Blaikie | 4c01af2 | 2017-02-07 18:58:17 +0000 | [diff] [blame] | 536 | uint64_t MaxArraySizeForCombine; |
Davide Italiano | 2133bf5 | 2017-02-07 17:56:50 +0000 | [diff] [blame] | 537 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 538 | private: |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 539 | /// \brief Performs a few simplifications for operators which are associative |
| 540 | /// or commutative. |
Duncan Sands | 641baf1 | 2010-11-13 15:10:37 +0000 | [diff] [blame] | 541 | bool SimplifyAssociativeOrCommutative(BinaryOperator &I); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 542 | |
Chandler Carruth | b3d03df | 2015-01-20 21:10:35 +0000 | [diff] [blame] | 543 | /// \brief Tries to simplify binary operations which some other binary |
| 544 | /// operation distributes over. |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 545 | /// |
| 546 | /// It does this by either by factorizing out common terms (eg "(A*B)+(A*C)" |
| 547 | /// -> "A*(B+C)") or expanding out if this results in simplifications (eg: "A |
| 548 | /// & (B | C) -> (A&B) | (A&C)" if this is a win). Returns the simplified |
| 549 | /// value, or null if it didn't simplify. |
Duncan Sands | fbb9ac3 | 2010-12-22 13:36:08 +0000 | [diff] [blame] | 550 | Value *SimplifyUsingDistributiveLaws(BinaryOperator &I); |
Duncan Sands | adc7771f | 2010-11-23 14:23:47 +0000 | [diff] [blame] | 551 | |
Daniel Berlin | 2c75c63 | 2017-04-26 20:56:07 +0000 | [diff] [blame] | 552 | /// This tries to simplify binary operations by factorizing out common terms |
| 553 | /// (e. g. "(A*B)+(A*C)" -> "A*(B+C)"). |
| 554 | Value *tryFactorization(InstCombiner::BuilderTy *, BinaryOperator &, |
| 555 | Instruction::BinaryOps, Value *, Value *, Value *, |
| 556 | Value *); |
| 557 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 558 | /// \brief Attempts to replace V with a simpler value based on the demanded |
| 559 | /// bits. |
Craig Topper | b45eabc | 2017-04-26 16:39:58 +0000 | [diff] [blame] | 560 | Value *SimplifyDemandedUseBits(Value *V, APInt DemandedMask, KnownBits &Known, |
| 561 | unsigned Depth, Instruction *CxtI); |
Craig Topper | 47596dd | 2017-03-25 06:52:52 +0000 | [diff] [blame] | 562 | bool SimplifyDemandedBits(Instruction *I, unsigned Op, |
Craig Topper | b45eabc | 2017-04-26 16:39:58 +0000 | [diff] [blame] | 563 | const APInt &DemandedMask, KnownBits &Known, |
| 564 | unsigned Depth = 0); |
Craig Topper | b0076fe | 2017-04-12 18:05:21 +0000 | [diff] [blame] | 565 | /// Helper routine of SimplifyDemandedUseBits. It computes KnownZero/KnownOne |
| 566 | /// bits. It also tries to handle simplifications that can be done based on |
| 567 | /// DemandedMask, but without modifying the Instruction. |
| 568 | Value *SimplifyMultipleUseDemandedBits(Instruction *I, |
| 569 | const APInt &DemandedMask, |
Craig Topper | b45eabc | 2017-04-26 16:39:58 +0000 | [diff] [blame] | 570 | KnownBits &Known, |
Craig Topper | b0076fe | 2017-04-12 18:05:21 +0000 | [diff] [blame] | 571 | unsigned Depth, Instruction *CxtI); |
Shuxin Yang | 63e999e | 2012-12-04 00:04:54 +0000 | [diff] [blame] | 572 | /// Helper routine of SimplifyDemandedUseBits. It tries to simplify demanded |
| 573 | /// bit for "r1 = shr x, c1; r2 = shl r1, c2" instruction sequence. |
Sanjay Patel | cc663b8 | 2017-04-20 22:37:01 +0000 | [diff] [blame] | 574 | Value *simplifyShrShlDemandedBits( |
Sanjay Patel | c9485ca | 2017-04-20 22:33:54 +0000 | [diff] [blame] | 575 | Instruction *Shr, const APInt &ShrOp1, Instruction *Shl, |
Craig Topper | b45eabc | 2017-04-26 16:39:58 +0000 | [diff] [blame] | 576 | const APInt &ShlOp1, const APInt &DemandedMask, KnownBits &Known); |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 577 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 578 | /// \brief Tries to simplify operands to an integer instruction based on its |
| 579 | /// demanded bits. |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 580 | bool SimplifyDemandedInstructionBits(Instruction &Inst); |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 581 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 582 | Value *SimplifyDemandedVectorElts(Value *V, APInt DemandedElts, |
Chandler Carruth | d70cc60 | 2014-05-07 17:36:59 +0000 | [diff] [blame] | 583 | APInt &UndefElts, unsigned Depth = 0); |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 584 | |
Serge Pavlov | 9ef66a8 | 2014-05-11 08:46:12 +0000 | [diff] [blame] | 585 | Value *SimplifyVectorOp(BinaryOperator &Inst); |
Simon Pilgrim | be24ab3 | 2014-12-04 09:44:01 +0000 | [diff] [blame] | 586 | Value *SimplifyBSwap(BinaryOperator &Inst); |
Serge Pavlov | 9ef66a8 | 2014-05-11 08:46:12 +0000 | [diff] [blame] | 587 | |
Sanjay Patel | db0938f | 2017-01-10 23:49:07 +0000 | [diff] [blame] | 588 | |
| 589 | /// Given a binary operator, cast instruction, or select which has a PHI node |
| 590 | /// as operand #0, see if we can fold the instruction into the PHI (which is |
| 591 | /// only possible if all operands to the PHI are constants). |
Craig Topper | fb71b7d | 2017-04-14 19:20:12 +0000 | [diff] [blame] | 592 | Instruction *foldOpIntoPhi(Instruction &I, PHINode *PN); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 593 | |
Sanjay Patel | db0938f | 2017-01-10 23:49:07 +0000 | [diff] [blame] | 594 | /// Given an instruction with a select as one operand and a constant as the |
| 595 | /// other operand, try to fold the binary operator into the select arguments. |
| 596 | /// This also works for Cast instructions, which obviously do not have a |
| 597 | /// second operand. |
| 598 | Instruction *FoldOpIntoSelect(Instruction &Op, SelectInst *SI); |
| 599 | |
| 600 | /// This is a convenience wrapper function for the above two functions. |
Craig Topper | d0b053d | 2017-04-03 07:08:08 +0000 | [diff] [blame] | 601 | Instruction *foldOpWithConstantIntoOperand(BinaryOperator &I); |
Sanjay Patel | db0938f | 2017-01-10 23:49:07 +0000 | [diff] [blame] | 602 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 603 | /// \brief Try to rotate an operation below a PHI node, using PHI nodes for |
| 604 | /// its operands. |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 605 | Instruction *FoldPHIArgOpIntoPHI(PHINode &PN); |
| 606 | Instruction *FoldPHIArgBinOpIntoPHI(PHINode &PN); |
| 607 | Instruction *FoldPHIArgGEPIntoPHI(PHINode &PN); |
| 608 | Instruction *FoldPHIArgLoadIntoPHI(PHINode &PN); |
Sanjay Patel | 9533407 | 2015-09-27 20:34:31 +0000 | [diff] [blame] | 609 | Instruction *FoldPHIArgZextsIntoPHI(PHINode &PN); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 610 | |
Robert Lougher | 2428a40 | 2016-12-14 17:49:19 +0000 | [diff] [blame] | 611 | /// Helper function for FoldPHIArgXIntoPHI() to get debug location for the |
| 612 | /// folded operation. |
| 613 | DebugLoc PHIArgMergedDebugLoc(PHINode &PN); |
| 614 | |
Sanjay Patel | 4339506 | 2016-07-21 18:07:40 +0000 | [diff] [blame] | 615 | Instruction *foldGEPICmp(GEPOperator *GEPLHS, Value *RHS, |
| 616 | ICmpInst::Predicate Cond, Instruction &I); |
Pete Cooper | 980a935 | 2016-08-12 17:13:28 +0000 | [diff] [blame] | 617 | Instruction *foldAllocaCmp(ICmpInst &ICI, const AllocaInst *Alloca, |
| 618 | const Value *Other); |
Sanjay Patel | 4339506 | 2016-07-21 18:07:40 +0000 | [diff] [blame] | 619 | Instruction *foldCmpLoadFromIndexedGlobal(GetElementPtrInst *GEP, |
| 620 | GlobalVariable *GV, CmpInst &ICI, |
| 621 | ConstantInt *AndCst = nullptr); |
| 622 | Instruction *foldFCmpIntToFPConst(FCmpInst &I, Instruction *LHSI, |
| 623 | Constant *RHSC); |
Sanjay Patel | 4339506 | 2016-07-21 18:07:40 +0000 | [diff] [blame] | 624 | Instruction *foldICmpAddOpConst(Instruction &ICI, Value *X, ConstantInt *CI, |
| 625 | ICmpInst::Predicate Pred); |
| 626 | Instruction *foldICmpWithCastAndCast(ICmpInst &ICI); |
Sanjay Patel | f58f68c | 2016-09-10 15:03:44 +0000 | [diff] [blame] | 627 | |
Sanjay Patel | 3151dec | 2016-09-12 15:24:31 +0000 | [diff] [blame] | 628 | Instruction *foldICmpUsingKnownBits(ICmpInst &Cmp); |
Sanjay Patel | 06b127a | 2016-09-15 14:37:50 +0000 | [diff] [blame] | 629 | Instruction *foldICmpWithConstant(ICmpInst &Cmp); |
Sanjay Patel | f58f68c | 2016-09-10 15:03:44 +0000 | [diff] [blame] | 630 | Instruction *foldICmpInstWithConstant(ICmpInst &Cmp); |
Sanjay Patel | 10494b2 | 2016-09-16 16:10:22 +0000 | [diff] [blame] | 631 | Instruction *foldICmpInstWithConstantNotInt(ICmpInst &Cmp); |
| 632 | Instruction *foldICmpBinOp(ICmpInst &Cmp); |
| 633 | Instruction *foldICmpEquality(ICmpInst &Cmp); |
Sanjay Patel | a3f4f08 | 2016-08-16 17:54:36 +0000 | [diff] [blame] | 634 | |
Sanjay Patel | c9196c4 | 2016-08-22 21:24:29 +0000 | [diff] [blame] | 635 | Instruction *foldICmpTruncConstant(ICmpInst &Cmp, Instruction *Trunc, |
| 636 | const APInt *C); |
| 637 | Instruction *foldICmpAndConstant(ICmpInst &Cmp, BinaryOperator *And, |
| 638 | const APInt *C); |
| 639 | Instruction *foldICmpXorConstant(ICmpInst &Cmp, BinaryOperator *Xor, |
| 640 | const APInt *C); |
| 641 | Instruction *foldICmpOrConstant(ICmpInst &Cmp, BinaryOperator *Or, |
| 642 | const APInt *C); |
| 643 | Instruction *foldICmpMulConstant(ICmpInst &Cmp, BinaryOperator *Mul, |
| 644 | const APInt *C); |
| 645 | Instruction *foldICmpShlConstant(ICmpInst &Cmp, BinaryOperator *Shl, |
| 646 | const APInt *C); |
| 647 | Instruction *foldICmpShrConstant(ICmpInst &Cmp, BinaryOperator *Shr, |
| 648 | const APInt *C); |
| 649 | Instruction *foldICmpUDivConstant(ICmpInst &Cmp, BinaryOperator *UDiv, |
| 650 | const APInt *C); |
| 651 | Instruction *foldICmpDivConstant(ICmpInst &Cmp, BinaryOperator *Div, |
| 652 | const APInt *C); |
| 653 | Instruction *foldICmpSubConstant(ICmpInst &Cmp, BinaryOperator *Sub, |
| 654 | const APInt *C); |
| 655 | Instruction *foldICmpAddConstant(ICmpInst &Cmp, BinaryOperator *Add, |
| 656 | const APInt *C); |
Sanjay Patel | d3c7bb28 | 2016-08-26 16:42:33 +0000 | [diff] [blame] | 657 | Instruction *foldICmpAndConstConst(ICmpInst &Cmp, BinaryOperator *And, |
Sanjay Patel | 14e0e18 | 2016-08-26 18:28:46 +0000 | [diff] [blame] | 658 | const APInt *C1); |
| 659 | Instruction *foldICmpAndShift(ICmpInst &Cmp, BinaryOperator *And, |
Sanjay Patel | 9b40f98 | 2016-09-07 22:33:03 +0000 | [diff] [blame] | 660 | const APInt *C1, const APInt *C2); |
Sanjay Patel | 8da42cc | 2016-09-15 22:26:31 +0000 | [diff] [blame] | 661 | Instruction *foldICmpShrConstConst(ICmpInst &I, Value *ShAmt, const APInt &C1, |
| 662 | const APInt &C2); |
| 663 | Instruction *foldICmpShlConstConst(ICmpInst &I, Value *ShAmt, const APInt &C1, |
| 664 | const APInt &C2); |
Sanjay Patel | a3f4f08 | 2016-08-16 17:54:36 +0000 | [diff] [blame] | 665 | |
Sanjay Patel | f58f68c | 2016-09-10 15:03:44 +0000 | [diff] [blame] | 666 | Instruction *foldICmpBinOpEqualityWithConstant(ICmpInst &Cmp, |
| 667 | BinaryOperator *BO, |
| 668 | const APInt *C); |
| 669 | Instruction *foldICmpIntrinsicWithConstant(ICmpInst &ICI, const APInt *C); |
Sanjay Patel | 4339506 | 2016-07-21 18:07:40 +0000 | [diff] [blame] | 670 | |
Sanjay Patel | 453ceff | 2016-09-29 22:18:30 +0000 | [diff] [blame] | 671 | // Helpers of visitSelectInst(). |
Sanjay Patel | f7b851f | 2016-09-30 19:49:22 +0000 | [diff] [blame] | 672 | Instruction *foldSelectExtConst(SelectInst &Sel); |
Sanjay Patel | 453ceff | 2016-09-29 22:18:30 +0000 | [diff] [blame] | 673 | Instruction *foldSelectOpOp(SelectInst &SI, Instruction *TI, Instruction *FI); |
| 674 | Instruction *foldSelectIntoOp(SelectInst &SI, Value *, Value *); |
| 675 | Instruction *foldSPFofSPF(Instruction *Inner, SelectPatternFlavor SPF1, |
| 676 | Value *A, Value *B, Instruction &Outer, |
| 677 | SelectPatternFlavor SPF2, Value *C); |
| 678 | Instruction *foldSelectInstWithICmp(SelectInst &SI, ICmpInst *ICI); |
| 679 | |
Craig Topper | 70e4f43 | 2017-04-02 17:57:30 +0000 | [diff] [blame] | 680 | Instruction *OptAndOp(BinaryOperator *Op, ConstantInt *OpRHS, |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 681 | ConstantInt *AndRHS, BinaryOperator &TheAnd); |
Jakub Staszak | 190db2f | 2013-01-14 23:16:36 +0000 | [diff] [blame] | 682 | |
Sanjay Patel | 85d7974 | 2016-08-31 19:49:56 +0000 | [diff] [blame] | 683 | Value *insertRangeTest(Value *V, const APInt &Lo, const APInt &Hi, |
| 684 | bool isSigned, bool Inside); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 685 | Instruction *PromoteCastOfAllocation(BitCastInst &CI, AllocaInst &AI); |
Chad Rosier | a00df49 | 2016-05-25 16:22:14 +0000 | [diff] [blame] | 686 | Instruction *MatchBSwap(BinaryOperator &I); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 687 | bool SimplifyStoreAtEndOfBlock(StoreInst &SI); |
Igor Laevsky | 900ffa3 | 2017-02-08 14:32:04 +0000 | [diff] [blame] | 688 | |
| 689 | Instruction *SimplifyElementAtomicMemCpy(ElementAtomicMemCpyInst *AMI); |
Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 690 | Instruction *SimplifyMemTransfer(MemIntrinsic *MI); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 691 | Instruction *SimplifyMemSet(MemSetInst *MI); |
| 692 | |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 693 | Value *EvaluateInDifferentType(Value *V, Type *Ty, bool isSigned); |
Duncan Sands | 533c8ae | 2012-10-23 08:28:26 +0000 | [diff] [blame] | 694 | |
Chandler Carruth | 3a62216 | 2015-01-20 19:27:58 +0000 | [diff] [blame] | 695 | /// \brief Returns a value X such that Val = X * Scale, or null if none. |
| 696 | /// |
| 697 | /// If the multiplication is known not to overflow then NoSignedWrap is set. |
Duncan Sands | 533c8ae | 2012-10-23 08:28:26 +0000 | [diff] [blame] | 698 | Value *Descale(Value *Val, APInt Scale, bool &NoSignedWrap); |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 699 | }; |
| 700 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 701 | } // end namespace llvm. |
| 702 | |
Chandler Carruth | 964daaa | 2014-04-22 02:55:47 +0000 | [diff] [blame] | 703 | #undef DEBUG_TYPE |
| 704 | |
Chris Lattner | 35522b7 | 2010-01-04 07:12:23 +0000 | [diff] [blame] | 705 | #endif |