blob: 131c5c51790414c6b1c81e27aaa3a1710c22d042 [file] [log] [blame]
Reid Spencer81658a82007-02-27 06:23:51 +00001//===- ConstantFold.cpp - LLVM constant folder ----------------------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +00009//
Chris Lattner5a945e32004-01-12 21:13:12 +000010// This file implements folding of constants for LLVM. This implements the
Reid Spencer81658a82007-02-27 06:23:51 +000011// (internal) ConstantFold.h interface, which is used by the
Chris Lattner5a945e32004-01-12 21:13:12 +000012// ConstantExpr::get* methods to automatically fold constants when possible.
Chris Lattner2f7c9632001-06-06 20:29:01 +000013//
Chris Lattner1dd054c2004-01-12 22:07:24 +000014// The current constant folding implementation is implemented in two pieces: the
Micah Villmowcdfe20b2012-10-08 16:38:25 +000015// pieces that don't need DataLayout, and the pieces that do. This is to avoid
Chandler Carruthef860a22013-01-02 09:10:48 +000016// a dependence in IR on Target.
Chris Lattner1dd054c2004-01-12 22:07:24 +000017//
Chris Lattner2f7c9632001-06-06 20:29:01 +000018//===----------------------------------------------------------------------===//
19
Chris Lattner33e93b82007-02-27 03:05:06 +000020#include "ConstantFold.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/ADT/SmallVector.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/Constants.h"
23#include "llvm/IR/DerivedTypes.h"
24#include "llvm/IR/Function.h"
Chandler Carruth03eb0de2014-03-04 10:40:04 +000025#include "llvm/IR/GetElementPtrTypeIterator.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000026#include "llvm/IR/GlobalAlias.h"
27#include "llvm/IR/GlobalVariable.h"
28#include "llvm/IR/Instructions.h"
29#include "llvm/IR/Operator.h"
David Majnemer7b86b772014-12-10 09:14:55 +000030#include "llvm/IR/PatternMatch.h"
Chris Lattner3d27be12006-08-27 12:54:02 +000031#include "llvm/Support/Compiler.h"
Torok Edwin56d06592009-07-11 20:10:48 +000032#include "llvm/Support/ErrorHandling.h"
Chris Lattner057083f2006-10-13 17:22:21 +000033#include "llvm/Support/ManagedStatic.h"
34#include "llvm/Support/MathExtras.h"
Jeff Cohen4e3aede2005-05-03 03:13:01 +000035#include <limits>
Chris Lattner9d9cbcf2003-11-17 19:05:17 +000036using namespace llvm;
David Majnemer7b86b772014-12-10 09:14:55 +000037using namespace llvm::PatternMatch;
Chris Lattner61607ee2001-09-09 21:01:20 +000038
Chris Lattner1dd054c2004-01-12 22:07:24 +000039//===----------------------------------------------------------------------===//
40// ConstantFold*Instruction Implementations
41//===----------------------------------------------------------------------===//
Chris Lattner1dd054c2004-01-12 22:07:24 +000042
Chris Lattnerfa775002012-01-26 02:32:04 +000043/// BitCastConstantVector - Convert the specified vector Constant node to the
Reid Spencer09575ba2007-02-15 03:39:18 +000044/// specified vector type. At this point, we know that the elements of the
Dan Gohman06c60b62007-07-16 14:29:03 +000045/// input vector constant are all simple integer or FP values.
Chris Lattnerfa775002012-01-26 02:32:04 +000046static Constant *BitCastConstantVector(Constant *CV, VectorType *DstTy) {
Nadav Rotem10134c32011-02-11 19:37:55 +000047
Nadav Rotem7cc6d122011-02-17 21:22:27 +000048 if (CV->isAllOnesValue()) return Constant::getAllOnesValue(DstTy);
Nadav Rotem10134c32011-02-11 19:37:55 +000049 if (CV->isNullValue()) return Constant::getNullValue(DstTy);
50
Chris Lattner5c6399e2007-12-11 06:07:39 +000051 // If this cast changes element count then we can't handle it here:
52 // doing so requires endianness information. This should be handled by
53 // Analysis/ConstantFolding.cpp
54 unsigned NumElts = DstTy->getNumElements();
Chris Lattnerfa775002012-01-26 02:32:04 +000055 if (NumElts != CV->getType()->getVectorNumElements())
Craig Topperc6207612014-04-09 06:08:46 +000056 return nullptr;
Chris Lattnerfa775002012-01-26 02:32:04 +000057
58 Type *DstEltTy = DstTy->getElementType();
Dan Gohman062d3782009-08-29 23:35:16 +000059
Chris Lattnerfa775002012-01-26 02:32:04 +000060 SmallVector<Constant*, 16> Result;
Dan Gohman1ccecdb2012-04-27 17:50:22 +000061 Type *Ty = IntegerType::get(CV->getContext(), 32);
Chris Lattner5c6399e2007-12-11 06:07:39 +000062 for (unsigned i = 0; i != NumElts; ++i) {
Dan Gohman1ccecdb2012-04-27 17:50:22 +000063 Constant *C =
64 ConstantExpr::getExtractElement(CV, ConstantInt::get(Ty, i));
Chris Lattnerfa775002012-01-26 02:32:04 +000065 C = ConstantExpr::getBitCast(C, DstEltTy);
Chris Lattnerfa775002012-01-26 02:32:04 +000066 Result.push_back(C);
Chris Lattner6b3f4752006-04-02 01:38:28 +000067 }
Chris Lattner5c6399e2007-12-11 06:07:39 +000068
Owen Anderson4aa32952009-07-28 21:19:26 +000069 return ConstantVector::get(Result);
Chris Lattner6b3f4752006-04-02 01:38:28 +000070}
71
Reid Spencer6c38f0b2006-11-27 01:05:10 +000072/// This function determines which opcode to use to fold two constant cast
73/// expressions together. It uses CastInst::isEliminableCastPair to determine
74/// the opcode. Consequently its just a wrapper around that function.
Reid Spencer05d55b32007-08-05 19:27:01 +000075/// @brief Determine if it is valid to fold a cast of a cast
Reid Spencer6c38f0b2006-11-27 01:05:10 +000076static unsigned
77foldConstantCastPair(
78 unsigned opc, ///< opcode of the second cast constant expression
Nick Lewyckye0332982009-09-20 01:35:59 +000079 ConstantExpr *Op, ///< the first cast constant expression
Matt Arsenault130e0ef2013-07-30 22:27:10 +000080 Type *DstTy ///< destination type of the first cast
Reid Spencer6c38f0b2006-11-27 01:05:10 +000081) {
82 assert(Op && Op->isCast() && "Can't fold cast of cast without a cast!");
83 assert(DstTy && DstTy->isFirstClassType() && "Invalid cast destination type");
84 assert(CastInst::isCast(opc) && "Invalid cast opcode");
Dan Gohman062d3782009-08-29 23:35:16 +000085
Reid Spencer6c38f0b2006-11-27 01:05:10 +000086 // The the types and opcodes for the two Cast constant expressions
Chris Lattner229907c2011-07-18 04:54:35 +000087 Type *SrcTy = Op->getOperand(0)->getType();
88 Type *MidTy = Op->getType();
Reid Spencer6c38f0b2006-11-27 01:05:10 +000089 Instruction::CastOps firstOp = Instruction::CastOps(Op->getOpcode());
90 Instruction::CastOps secondOp = Instruction::CastOps(opc);
Chris Lattner6b3f4752006-04-02 01:38:28 +000091
Matt Arsenault130e0ef2013-07-30 22:27:10 +000092 // Assume that pointers are never more than 64 bits wide, and only use this
93 // for the middle type. Otherwise we could end up folding away illegal
94 // bitcasts between address spaces with different sizes.
Duncan Sandse2395dc2012-10-30 16:03:32 +000095 IntegerType *FakeIntPtrTy = Type::getInt64Ty(DstTy->getContext());
96
Reid Spencer6c38f0b2006-11-27 01:05:10 +000097 // Let CastInst::isEliminableCastPair do the heavy lifting.
98 return CastInst::isEliminableCastPair(firstOp, secondOp, SrcTy, MidTy, DstTy,
Craig Topperc6207612014-04-09 06:08:46 +000099 nullptr, FakeIntPtrTy, nullptr);
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000100}
101
Chris Lattner229907c2011-07-18 04:54:35 +0000102static Constant *FoldBitCast(Constant *V, Type *DestTy) {
103 Type *SrcTy = V->getType();
Chris Lattnere8ea0372007-12-11 05:55:02 +0000104 if (SrcTy == DestTy)
105 return V; // no-op cast
Dan Gohman062d3782009-08-29 23:35:16 +0000106
Chris Lattnere8ea0372007-12-11 05:55:02 +0000107 // Check to see if we are casting a pointer to an aggregate to a pointer to
108 // the first element. If so, return the appropriate GEP instruction.
Chris Lattner229907c2011-07-18 04:54:35 +0000109 if (PointerType *PTy = dyn_cast<PointerType>(V->getType()))
110 if (PointerType *DPTy = dyn_cast<PointerType>(DestTy))
Duncan Sands0bf46b532012-01-11 12:20:08 +0000111 if (PTy->getAddressSpace() == DPTy->getAddressSpace()
112 && DPTy->getElementType()->isSized()) {
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000113 SmallVector<Value*, 8> IdxList;
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000114 Value *Zero =
115 Constant::getNullValue(Type::getInt32Ty(DPTy->getContext()));
Dan Gohman76733742009-08-12 00:32:55 +0000116 IdxList.push_back(Zero);
Chris Lattner229907c2011-07-18 04:54:35 +0000117 Type *ElTy = PTy->getElementType();
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000118 while (ElTy != DPTy->getElementType()) {
Chris Lattner229907c2011-07-18 04:54:35 +0000119 if (StructType *STy = dyn_cast<StructType>(ElTy)) {
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000120 if (STy->getNumElements() == 0) break;
121 ElTy = STy->getElementType(0);
Dan Gohman76733742009-08-12 00:32:55 +0000122 IdxList.push_back(Zero);
Chris Lattner229907c2011-07-18 04:54:35 +0000123 } else if (SequentialType *STy =
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000124 dyn_cast<SequentialType>(ElTy)) {
Duncan Sands19d0b472010-02-16 11:11:14 +0000125 if (ElTy->isPointerTy()) break; // Can't index into pointers!
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000126 ElTy = STy->getElementType();
Dan Gohman76733742009-08-12 00:32:55 +0000127 IdxList.push_back(Zero);
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000128 } else {
129 break;
130 }
Chris Lattnere8ea0372007-12-11 05:55:02 +0000131 }
Dan Gohman062d3782009-08-29 23:35:16 +0000132
Nate Begemanf2b0b0e2008-03-31 00:22:16 +0000133 if (ElTy == DPTy->getElementType())
Dan Gohmane4ca02d2009-09-03 23:34:49 +0000134 // This GEP is inbounds because all indices are zero.
David Blaikie4a2e73b2015-04-02 18:55:32 +0000135 return ConstantExpr::getInBoundsGetElementPtr(PTy->getElementType(),
136 V, IdxList);
Chris Lattnere8ea0372007-12-11 05:55:02 +0000137 }
Dan Gohman062d3782009-08-29 23:35:16 +0000138
Chris Lattnere8ea0372007-12-11 05:55:02 +0000139 // Handle casts from one vector constant to another. We know that the src
140 // and dest type have the same size (otherwise its an illegal cast).
Chris Lattner229907c2011-07-18 04:54:35 +0000141 if (VectorType *DestPTy = dyn_cast<VectorType>(DestTy)) {
142 if (VectorType *SrcTy = dyn_cast<VectorType>(V->getType())) {
Chris Lattnere8ea0372007-12-11 05:55:02 +0000143 assert(DestPTy->getBitWidth() == SrcTy->getBitWidth() &&
144 "Not cast between same sized vectors!");
Craig Topperc6207612014-04-09 06:08:46 +0000145 SrcTy = nullptr;
Chris Lattnere8ea0372007-12-11 05:55:02 +0000146 // First, check for null. Undef is already handled.
147 if (isa<ConstantAggregateZero>(V))
Owen Anderson5a1acd92009-07-31 20:28:14 +0000148 return Constant::getNullValue(DestTy);
Dan Gohman062d3782009-08-29 23:35:16 +0000149
Chris Lattnerfa775002012-01-26 02:32:04 +0000150 // Handle ConstantVector and ConstantAggregateVector.
151 return BitCastConstantVector(V, DestPTy);
Chris Lattnere8ea0372007-12-11 05:55:02 +0000152 }
Chris Lattner1baace02008-10-16 05:26:51 +0000153
154 // Canonicalize scalar-to-vector bitcasts into vector-to-vector bitcasts
155 // This allows for other simplifications (although some of them
156 // can only be handled by Analysis/ConstantFolding.cpp).
157 if (isa<ConstantInt>(V) || isa<ConstantFP>(V))
Chris Lattner69229312011-02-15 00:14:00 +0000158 return ConstantExpr::getBitCast(ConstantVector::get(V), DestPTy);
Chris Lattnere8ea0372007-12-11 05:55:02 +0000159 }
Dan Gohman062d3782009-08-29 23:35:16 +0000160
Chris Lattnere8ea0372007-12-11 05:55:02 +0000161 // Finally, implement bitcast folding now. The code below doesn't handle
162 // bitcast right.
163 if (isa<ConstantPointerNull>(V)) // ptr->ptr cast.
Owen Andersonb292b8c2009-07-30 23:03:37 +0000164 return ConstantPointerNull::get(cast<PointerType>(DestTy));
Dan Gohman062d3782009-08-29 23:35:16 +0000165
Chris Lattnere8ea0372007-12-11 05:55:02 +0000166 // Handle integral constant input.
Nick Lewyckye0332982009-09-20 01:35:59 +0000167 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
Duncan Sands9dff9be2010-02-15 16:12:20 +0000168 if (DestTy->isIntegerTy())
Chris Lattnere8ea0372007-12-11 05:55:02 +0000169 // Integral -> Integral. This is a no-op because the bit widths must
170 // be the same. Consequently, we just fold to V.
171 return V;
Duncan Sands1ea11732009-02-04 10:17:14 +0000172
Hal Finkelcd5553e2015-03-28 16:44:57 +0000173 // See note below regarding the PPC_FP128 restriction.
174 if (DestTy->isFloatingPointTy() && !DestTy->isPPC_FP128Ty())
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000175 return ConstantFP::get(DestTy->getContext(),
Tim Northover29178a32013-01-22 09:46:31 +0000176 APFloat(DestTy->getFltSemantics(),
177 CI->getValue()));
Duncan Sands1ea11732009-02-04 10:17:14 +0000178
Chris Lattnere8ea0372007-12-11 05:55:02 +0000179 // Otherwise, can't fold this (vector?)
Craig Topperc6207612014-04-09 06:08:46 +0000180 return nullptr;
Chris Lattnere8ea0372007-12-11 05:55:02 +0000181 }
Duncan Sandse7d54792009-02-04 11:17:06 +0000182
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000183 // Handle ConstantFP input: FP -> Integral.
Hal Finkelcd5553e2015-03-28 16:44:57 +0000184 if (ConstantFP *FP = dyn_cast<ConstantFP>(V)) {
185 // PPC_FP128 is really the sum of two consecutive doubles, where the first
186 // double is always stored first in memory, regardless of the target
187 // endianness. The memory layout of i128, however, depends on the target
188 // endianness, and so we can't fold this without target endianness
189 // information. This should instead be handled by
190 // Analysis/ConstantFolding.cpp
191 if (FP->getType()->isPPC_FP128Ty())
192 return nullptr;
193
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000194 return ConstantInt::get(FP->getContext(),
195 FP->getValueAPF().bitcastToAPInt());
Hal Finkelcd5553e2015-03-28 16:44:57 +0000196 }
Duncan Sandse7d54792009-02-04 11:17:06 +0000197
Craig Topperc6207612014-04-09 06:08:46 +0000198 return nullptr;
Chris Lattnere8ea0372007-12-11 05:55:02 +0000199}
200
201
Chris Lattnerf67d2972009-10-17 21:53:27 +0000202/// ExtractConstantBytes - V is an integer constant which only has a subset of
203/// its bytes used. The bytes used are indicated by ByteStart (which is the
204/// first byte used, counting from the least significant byte) and ByteSize,
205/// which is the number of bytes used.
206///
207/// This function analyzes the specified constant to see if the specified byte
208/// range can be returned as a simplified constant. If so, the constant is
209/// returned, otherwise null is returned.
210///
211static Constant *ExtractConstantBytes(Constant *C, unsigned ByteStart,
212 unsigned ByteSize) {
Duncan Sands19d0b472010-02-16 11:11:14 +0000213 assert(C->getType()->isIntegerTy() &&
Chris Lattnerf67d2972009-10-17 21:53:27 +0000214 (cast<IntegerType>(C->getType())->getBitWidth() & 7) == 0 &&
215 "Non-byte sized integer input");
216 unsigned CSize = cast<IntegerType>(C->getType())->getBitWidth()/8;
217 assert(ByteSize && "Must be accessing some piece");
218 assert(ByteStart+ByteSize <= CSize && "Extracting invalid piece from input");
219 assert(ByteSize != CSize && "Should not extract everything");
220
221 // Constant Integers are simple.
222 if (ConstantInt *CI = dyn_cast<ConstantInt>(C)) {
223 APInt V = CI->getValue();
224 if (ByteStart)
225 V = V.lshr(ByteStart*8);
Jay Foad583abbc2010-12-07 08:25:19 +0000226 V = V.trunc(ByteSize*8);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000227 return ConstantInt::get(CI->getContext(), V);
228 }
229
230 // In the input is a constant expr, we might be able to recursively simplify.
231 // If not, we definitely can't do anything.
232 ConstantExpr *CE = dyn_cast<ConstantExpr>(C);
Craig Topperc6207612014-04-09 06:08:46 +0000233 if (!CE) return nullptr;
234
Chris Lattnerf67d2972009-10-17 21:53:27 +0000235 switch (CE->getOpcode()) {
Craig Topperc6207612014-04-09 06:08:46 +0000236 default: return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000237 case Instruction::Or: {
Chris Lattnera91a5632009-10-28 05:14:34 +0000238 Constant *RHS = ExtractConstantBytes(CE->getOperand(1), ByteStart,ByteSize);
Craig Topperc6207612014-04-09 06:08:46 +0000239 if (!RHS)
240 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000241
242 // X | -1 -> -1.
243 if (ConstantInt *RHSC = dyn_cast<ConstantInt>(RHS))
244 if (RHSC->isAllOnesValue())
245 return RHSC;
246
Chris Lattnera91a5632009-10-28 05:14:34 +0000247 Constant *LHS = ExtractConstantBytes(CE->getOperand(0), ByteStart,ByteSize);
Craig Topperc6207612014-04-09 06:08:46 +0000248 if (!LHS)
249 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000250 return ConstantExpr::getOr(LHS, RHS);
251 }
252 case Instruction::And: {
Chris Lattnera91a5632009-10-28 05:14:34 +0000253 Constant *RHS = ExtractConstantBytes(CE->getOperand(1), ByteStart,ByteSize);
Craig Topperc6207612014-04-09 06:08:46 +0000254 if (!RHS)
255 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000256
257 // X & 0 -> 0.
258 if (RHS->isNullValue())
259 return RHS;
260
Chris Lattnera91a5632009-10-28 05:14:34 +0000261 Constant *LHS = ExtractConstantBytes(CE->getOperand(0), ByteStart,ByteSize);
Craig Topperc6207612014-04-09 06:08:46 +0000262 if (!LHS)
263 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000264 return ConstantExpr::getAnd(LHS, RHS);
265 }
266 case Instruction::LShr: {
267 ConstantInt *Amt = dyn_cast<ConstantInt>(CE->getOperand(1));
Craig Topperc6207612014-04-09 06:08:46 +0000268 if (!Amt)
269 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000270 unsigned ShAmt = Amt->getZExtValue();
271 // Cannot analyze non-byte shifts.
272 if ((ShAmt & 7) != 0)
Craig Topperc6207612014-04-09 06:08:46 +0000273 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000274 ShAmt >>= 3;
275
276 // If the extract is known to be all zeros, return zero.
277 if (ByteStart >= CSize-ShAmt)
278 return Constant::getNullValue(IntegerType::get(CE->getContext(),
279 ByteSize*8));
280 // If the extract is known to be fully in the input, extract it.
281 if (ByteStart+ByteSize+ShAmt <= CSize)
Chris Lattnera91a5632009-10-28 05:14:34 +0000282 return ExtractConstantBytes(CE->getOperand(0), ByteStart+ShAmt, ByteSize);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000283
284 // TODO: Handle the 'partially zero' case.
Craig Topperc6207612014-04-09 06:08:46 +0000285 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000286 }
287
288 case Instruction::Shl: {
289 ConstantInt *Amt = dyn_cast<ConstantInt>(CE->getOperand(1));
Craig Topperc6207612014-04-09 06:08:46 +0000290 if (!Amt)
291 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000292 unsigned ShAmt = Amt->getZExtValue();
293 // Cannot analyze non-byte shifts.
294 if ((ShAmt & 7) != 0)
Craig Topperc6207612014-04-09 06:08:46 +0000295 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000296 ShAmt >>= 3;
297
298 // If the extract is known to be all zeros, return zero.
299 if (ByteStart+ByteSize <= ShAmt)
300 return Constant::getNullValue(IntegerType::get(CE->getContext(),
301 ByteSize*8));
302 // If the extract is known to be fully in the input, extract it.
303 if (ByteStart >= ShAmt)
Chris Lattnera91a5632009-10-28 05:14:34 +0000304 return ExtractConstantBytes(CE->getOperand(0), ByteStart-ShAmt, ByteSize);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000305
306 // TODO: Handle the 'partially zero' case.
Craig Topperc6207612014-04-09 06:08:46 +0000307 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000308 }
309
310 case Instruction::ZExt: {
311 unsigned SrcBitSize =
Chris Lattnera91a5632009-10-28 05:14:34 +0000312 cast<IntegerType>(CE->getOperand(0)->getType())->getBitWidth();
Chris Lattnerf67d2972009-10-17 21:53:27 +0000313
314 // If extracting something that is completely zero, return 0.
315 if (ByteStart*8 >= SrcBitSize)
316 return Constant::getNullValue(IntegerType::get(CE->getContext(),
317 ByteSize*8));
318
319 // If exactly extracting the input, return it.
320 if (ByteStart == 0 && ByteSize*8 == SrcBitSize)
Chris Lattnera91a5632009-10-28 05:14:34 +0000321 return CE->getOperand(0);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000322
323 // If extracting something completely in the input, if if the input is a
324 // multiple of 8 bits, recurse.
325 if ((SrcBitSize&7) == 0 && (ByteStart+ByteSize)*8 <= SrcBitSize)
Chris Lattnera91a5632009-10-28 05:14:34 +0000326 return ExtractConstantBytes(CE->getOperand(0), ByteStart, ByteSize);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000327
328 // Otherwise, if extracting a subset of the input, which is not multiple of
329 // 8 bits, do a shift and trunc to get the bits.
330 if ((ByteStart+ByteSize)*8 < SrcBitSize) {
331 assert((SrcBitSize&7) && "Shouldn't get byte sized case here");
Chris Lattnera91a5632009-10-28 05:14:34 +0000332 Constant *Res = CE->getOperand(0);
Chris Lattnerf67d2972009-10-17 21:53:27 +0000333 if (ByteStart)
334 Res = ConstantExpr::getLShr(Res,
335 ConstantInt::get(Res->getType(), ByteStart*8));
336 return ConstantExpr::getTrunc(Res, IntegerType::get(C->getContext(),
337 ByteSize*8));
338 }
339
340 // TODO: Handle the 'partially zero' case.
Craig Topperc6207612014-04-09 06:08:46 +0000341 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000342 }
343 }
344}
345
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000346/// getFoldedSizeOf - Return a ConstantExpr with type DestTy for sizeof
347/// on Ty, with any known factors factored out. If Folded is false,
348/// return null if no factoring was possible, to avoid endlessly
349/// bouncing an unfoldable expression back into the top-level folder.
350///
Chris Lattner229907c2011-07-18 04:54:35 +0000351static Constant *getFoldedSizeOf(Type *Ty, Type *DestTy,
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000352 bool Folded) {
Chris Lattner229907c2011-07-18 04:54:35 +0000353 if (ArrayType *ATy = dyn_cast<ArrayType>(Ty)) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000354 Constant *N = ConstantInt::get(DestTy, ATy->getNumElements());
355 Constant *E = getFoldedSizeOf(ATy->getElementType(), DestTy, true);
356 return ConstantExpr::getNUWMul(E, N);
357 }
Dan Gohman935faff2010-02-25 16:05:33 +0000358
Chris Lattner229907c2011-07-18 04:54:35 +0000359 if (StructType *STy = dyn_cast<StructType>(Ty))
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000360 if (!STy->isPacked()) {
361 unsigned NumElems = STy->getNumElements();
362 // An empty struct has size zero.
363 if (NumElems == 0)
364 return ConstantExpr::getNullValue(DestTy);
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000365 // Check for a struct with all members having the same size.
366 Constant *MemberSize =
367 getFoldedSizeOf(STy->getElementType(0), DestTy, true);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000368 bool AllSame = true;
369 for (unsigned i = 1; i != NumElems; ++i)
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000370 if (MemberSize !=
371 getFoldedSizeOf(STy->getElementType(i), DestTy, true)) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000372 AllSame = false;
373 break;
374 }
375 if (AllSame) {
376 Constant *N = ConstantInt::get(DestTy, NumElems);
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000377 return ConstantExpr::getNUWMul(MemberSize, N);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000378 }
379 }
380
Dan Gohman183a4232010-02-10 06:13:07 +0000381 // Pointer size doesn't depend on the pointee type, so canonicalize them
382 // to an arbitrary pointee.
Chris Lattner229907c2011-07-18 04:54:35 +0000383 if (PointerType *PTy = dyn_cast<PointerType>(Ty))
Duncan Sands9dff9be2010-02-15 16:12:20 +0000384 if (!PTy->getElementType()->isIntegerTy(1))
Dan Gohman183a4232010-02-10 06:13:07 +0000385 return
386 getFoldedSizeOf(PointerType::get(IntegerType::get(PTy->getContext(), 1),
387 PTy->getAddressSpace()),
388 DestTy, true);
389
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000390 // If there's no interesting folding happening, bail so that we don't create
391 // a constant that looks like it needs folding but really doesn't.
392 if (!Folded)
Craig Topperc6207612014-04-09 06:08:46 +0000393 return nullptr;
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000394
395 // Base case: Get a regular sizeof expression.
396 Constant *C = ConstantExpr::getSizeOf(Ty);
397 C = ConstantExpr::getCast(CastInst::getCastOpcode(C, false,
398 DestTy, false),
399 C, DestTy);
400 return C;
401}
402
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000403/// getFoldedAlignOf - Return a ConstantExpr with type DestTy for alignof
404/// on Ty, with any known factors factored out. If Folded is false,
405/// return null if no factoring was possible, to avoid endlessly
406/// bouncing an unfoldable expression back into the top-level folder.
407///
Chris Lattner229907c2011-07-18 04:54:35 +0000408static Constant *getFoldedAlignOf(Type *Ty, Type *DestTy,
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000409 bool Folded) {
410 // The alignment of an array is equal to the alignment of the
411 // array element. Note that this is not always true for vectors.
Chris Lattner229907c2011-07-18 04:54:35 +0000412 if (ArrayType *ATy = dyn_cast<ArrayType>(Ty)) {
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000413 Constant *C = ConstantExpr::getAlignOf(ATy->getElementType());
414 C = ConstantExpr::getCast(CastInst::getCastOpcode(C, false,
415 DestTy,
416 false),
417 C, DestTy);
418 return C;
419 }
420
Chris Lattner229907c2011-07-18 04:54:35 +0000421 if (StructType *STy = dyn_cast<StructType>(Ty)) {
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000422 // Packed structs always have an alignment of 1.
423 if (STy->isPacked())
424 return ConstantInt::get(DestTy, 1);
425
426 // Otherwise, struct alignment is the maximum alignment of any member.
427 // Without target data, we can't compare much, but we can check to see
428 // if all the members have the same alignment.
429 unsigned NumElems = STy->getNumElements();
430 // An empty struct has minimal alignment.
431 if (NumElems == 0)
432 return ConstantInt::get(DestTy, 1);
433 // Check for a struct with all members having the same alignment.
434 Constant *MemberAlign =
435 getFoldedAlignOf(STy->getElementType(0), DestTy, true);
436 bool AllSame = true;
437 for (unsigned i = 1; i != NumElems; ++i)
438 if (MemberAlign != getFoldedAlignOf(STy->getElementType(i), DestTy, true)) {
439 AllSame = false;
440 break;
441 }
442 if (AllSame)
443 return MemberAlign;
444 }
445
Dan Gohman183a4232010-02-10 06:13:07 +0000446 // Pointer alignment doesn't depend on the pointee type, so canonicalize them
447 // to an arbitrary pointee.
Chris Lattner229907c2011-07-18 04:54:35 +0000448 if (PointerType *PTy = dyn_cast<PointerType>(Ty))
Duncan Sands9dff9be2010-02-15 16:12:20 +0000449 if (!PTy->getElementType()->isIntegerTy(1))
Dan Gohman183a4232010-02-10 06:13:07 +0000450 return
451 getFoldedAlignOf(PointerType::get(IntegerType::get(PTy->getContext(),
452 1),
453 PTy->getAddressSpace()),
454 DestTy, true);
455
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000456 // If there's no interesting folding happening, bail so that we don't create
457 // a constant that looks like it needs folding but really doesn't.
458 if (!Folded)
Craig Topperc6207612014-04-09 06:08:46 +0000459 return nullptr;
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000460
461 // Base case: Get a regular alignof expression.
462 Constant *C = ConstantExpr::getAlignOf(Ty);
463 C = ConstantExpr::getCast(CastInst::getCastOpcode(C, false,
464 DestTy, false),
465 C, DestTy);
466 return C;
467}
468
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000469/// getFoldedOffsetOf - Return a ConstantExpr with type DestTy for offsetof
470/// on Ty and FieldNo, with any known factors factored out. If Folded is false,
471/// return null if no factoring was possible, to avoid endlessly
472/// bouncing an unfoldable expression back into the top-level folder.
473///
Chris Lattner229907c2011-07-18 04:54:35 +0000474static Constant *getFoldedOffsetOf(Type *Ty, Constant *FieldNo,
475 Type *DestTy,
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000476 bool Folded) {
Chris Lattner229907c2011-07-18 04:54:35 +0000477 if (ArrayType *ATy = dyn_cast<ArrayType>(Ty)) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000478 Constant *N = ConstantExpr::getCast(CastInst::getCastOpcode(FieldNo, false,
479 DestTy, false),
480 FieldNo, DestTy);
481 Constant *E = getFoldedSizeOf(ATy->getElementType(), DestTy, true);
482 return ConstantExpr::getNUWMul(E, N);
483 }
Dan Gohman935faff2010-02-25 16:05:33 +0000484
Chris Lattner229907c2011-07-18 04:54:35 +0000485 if (StructType *STy = dyn_cast<StructType>(Ty))
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000486 if (!STy->isPacked()) {
487 unsigned NumElems = STy->getNumElements();
488 // An empty struct has no members.
489 if (NumElems == 0)
Craig Topperc6207612014-04-09 06:08:46 +0000490 return nullptr;
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000491 // Check for a struct with all members having the same size.
492 Constant *MemberSize =
493 getFoldedSizeOf(STy->getElementType(0), DestTy, true);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000494 bool AllSame = true;
495 for (unsigned i = 1; i != NumElems; ++i)
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000496 if (MemberSize !=
497 getFoldedSizeOf(STy->getElementType(i), DestTy, true)) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000498 AllSame = false;
499 break;
500 }
501 if (AllSame) {
502 Constant *N = ConstantExpr::getCast(CastInst::getCastOpcode(FieldNo,
503 false,
504 DestTy,
505 false),
506 FieldNo, DestTy);
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000507 return ConstantExpr::getNUWMul(MemberSize, N);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000508 }
509 }
510
511 // If there's no interesting folding happening, bail so that we don't create
512 // a constant that looks like it needs folding but really doesn't.
513 if (!Folded)
Craig Topperc6207612014-04-09 06:08:46 +0000514 return nullptr;
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000515
516 // Base case: Get a regular offsetof expression.
517 Constant *C = ConstantExpr::getOffsetOf(Ty, FieldNo);
518 C = ConstantExpr::getCast(CastInst::getCastOpcode(C, false,
519 DestTy, false),
520 C, DestTy);
521 return C;
522}
Chris Lattnerf67d2972009-10-17 21:53:27 +0000523
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000524Constant *llvm::ConstantFoldCastInstruction(unsigned opc, Constant *V,
Chris Lattner229907c2011-07-18 04:54:35 +0000525 Type *DestTy) {
Chris Lattner363485d2007-07-20 22:09:02 +0000526 if (isa<UndefValue>(V)) {
527 // zext(undef) = 0, because the top bits will be zero.
528 // sext(undef) = 0, because the top bits will all be the same.
Chris Lattnerb4c6cc92008-02-19 06:22:12 +0000529 // [us]itofp(undef) = 0, because the result value is bounded.
530 if (opc == Instruction::ZExt || opc == Instruction::SExt ||
531 opc == Instruction::UIToFP || opc == Instruction::SIToFP)
Owen Anderson5a1acd92009-07-31 20:28:14 +0000532 return Constant::getNullValue(DestTy);
Owen Andersonb292b8c2009-07-30 23:03:37 +0000533 return UndefValue::get(DestTy);
Chris Lattner363485d2007-07-20 22:09:02 +0000534 }
Nick Lewycky39b12c02011-01-21 01:12:09 +0000535
Nick Lewycky39b12c02011-01-21 01:12:09 +0000536 if (V->isNullValue() && !DestTy->isX86_MMXTy())
537 return Constant::getNullValue(DestTy);
538
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000539 // If the cast operand is a constant expression, there's a few things we can
540 // do to try to simplify it.
Nick Lewyckye0332982009-09-20 01:35:59 +0000541 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000542 if (CE->isCast()) {
Reid Spencer1a063892006-12-04 02:46:44 +0000543 // Try hard to fold cast of cast because they are often eliminable.
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000544 if (unsigned newOpc = foldConstantCastPair(opc, CE, DestTy))
Owen Anderson487375e2009-07-29 18:55:55 +0000545 return ConstantExpr::getCast(newOpc, CE->getOperand(0), DestTy);
Jingyue Wubaabe502014-06-15 21:40:57 +0000546 } else if (CE->getOpcode() == Instruction::GetElementPtr &&
547 // Do not fold addrspacecast (gep 0, .., 0). It might make the
548 // addrspacecast uncanonicalized.
549 opc != Instruction::AddrSpaceCast) {
Chris Lattner1dd054c2004-01-12 22:07:24 +0000550 // If all of the indexes in the GEP are null values, there is no pointer
551 // adjustment going on. We might as well cast the source pointer.
552 bool isAllNull = true;
553 for (unsigned i = 1, e = CE->getNumOperands(); i != e; ++i)
554 if (!CE->getOperand(i)->isNullValue()) {
555 isAllNull = false;
556 break;
557 }
558 if (isAllNull)
Reid Spencer1a063892006-12-04 02:46:44 +0000559 // This is casting one pointer type to another, always BitCast
Owen Anderson487375e2009-07-29 18:55:55 +0000560 return ConstantExpr::getPointerCast(CE->getOperand(0), DestTy);
Chris Lattner1dd054c2004-01-12 22:07:24 +0000561 }
Chris Lattnerfd7bf722004-10-16 23:31:32 +0000562 }
Chris Lattner1dd054c2004-01-12 22:07:24 +0000563
Dan Gohman7ccc52f2009-06-15 22:12:54 +0000564 // If the cast operand is a constant vector, perform the cast by
565 // operating on each element. In the cast of bitcasts, the element
566 // count may be mismatched; don't attempt to handle that here.
Chris Lattner0256be92012-01-27 03:08:05 +0000567 if ((isa<ConstantVector>(V) || isa<ConstantDataVector>(V)) &&
568 DestTy->isVectorTy() &&
569 DestTy->getVectorNumElements() == V->getType()->getVectorNumElements()) {
570 SmallVector<Constant*, 16> res;
571 VectorType *DestVecTy = cast<VectorType>(DestTy);
572 Type *DstEltTy = DestVecTy->getElementType();
Dan Gohman1ccecdb2012-04-27 17:50:22 +0000573 Type *Ty = IntegerType::get(V->getContext(), 32);
574 for (unsigned i = 0, e = V->getType()->getVectorNumElements(); i != e; ++i) {
575 Constant *C =
576 ConstantExpr::getExtractElement(V, ConstantInt::get(Ty, i));
577 res.push_back(ConstantExpr::getCast(opc, C, DstEltTy));
578 }
Chris Lattner0256be92012-01-27 03:08:05 +0000579 return ConstantVector::get(res);
580 }
Dan Gohman7ccc52f2009-06-15 22:12:54 +0000581
Reid Spencerf5fc34a2006-12-19 03:15:47 +0000582 // We actually have to do a cast now. Perform the cast according to the
583 // opcode specified.
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000584 switch (opc) {
Chris Lattnerf67d2972009-10-17 21:53:27 +0000585 default:
586 llvm_unreachable("Failed to cast constant expression");
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000587 case Instruction::FPTrunc:
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000588 case Instruction::FPExt:
Nick Lewyckye0332982009-09-20 01:35:59 +0000589 if (ConstantFP *FPC = dyn_cast<ConstantFP>(V)) {
Dale Johannesen4f0bd682008-10-09 23:00:39 +0000590 bool ignored;
Dale Johannesenf4bad972007-09-19 14:22:58 +0000591 APFloat Val = FPC->getValueAPF();
Dan Gohman518cda42011-12-17 00:04:22 +0000592 Val.convert(DestTy->isHalfTy() ? APFloat::IEEEhalf :
593 DestTy->isFloatTy() ? APFloat::IEEEsingle :
Chris Lattnerfdd87902009-10-05 05:54:46 +0000594 DestTy->isDoubleTy() ? APFloat::IEEEdouble :
595 DestTy->isX86_FP80Ty() ? APFloat::x87DoubleExtended :
596 DestTy->isFP128Ty() ? APFloat::IEEEquad :
Ulrich Weigand6a9bb512012-10-30 12:33:18 +0000597 DestTy->isPPC_FP128Ty() ? APFloat::PPCDoubleDouble :
Dale Johannesenf4bad972007-09-19 14:22:58 +0000598 APFloat::Bogus,
Dale Johannesen4f0bd682008-10-09 23:00:39 +0000599 APFloat::rmNearestTiesToEven, &ignored);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000600 return ConstantFP::get(V->getContext(), Val);
Dale Johannesenbed9dc42007-09-06 18:13:44 +0000601 }
Craig Topperc6207612014-04-09 06:08:46 +0000602 return nullptr; // Can't fold.
Reid Spencer8dabca42006-12-19 07:41:40 +0000603 case Instruction::FPToUI:
Reid Spencer8dabca42006-12-19 07:41:40 +0000604 case Instruction::FPToSI:
Nick Lewyckye0332982009-09-20 01:35:59 +0000605 if (ConstantFP *FPC = dyn_cast<ConstantFP>(V)) {
Chris Lattner2b827fd2007-10-15 05:34:10 +0000606 const APFloat &V = FPC->getValueAPF();
Dale Johannesen4f0bd682008-10-09 23:00:39 +0000607 bool ignored;
Dale Johannesenf4bad972007-09-19 14:22:58 +0000608 uint64_t x[2];
Reid Spencer81658a82007-02-27 06:23:51 +0000609 uint32_t DestBitWidth = cast<IntegerType>(DestTy)->getBitWidth();
Sanjay Patelad8b6662014-10-10 23:00:21 +0000610 if (APFloat::opInvalidOp ==
611 V.convertToInteger(x, DestBitWidth, opc==Instruction::FPToSI,
612 APFloat::rmTowardZero, &ignored)) {
613 // Undefined behavior invoked - the destination type can't represent
614 // the input constant.
615 return UndefValue::get(DestTy);
616 }
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000617 APInt Val(DestBitWidth, x);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000618 return ConstantInt::get(FPC->getContext(), Val);
Reid Spencer81658a82007-02-27 06:23:51 +0000619 }
Craig Topperc6207612014-04-09 06:08:46 +0000620 return nullptr; // Can't fold.
Reid Spencer8dabca42006-12-19 07:41:40 +0000621 case Instruction::IntToPtr: //always treated as unsigned
622 if (V->isNullValue()) // Is it an integral null value?
Owen Andersonb292b8c2009-07-30 23:03:37 +0000623 return ConstantPointerNull::get(cast<PointerType>(DestTy));
Craig Topperc6207612014-04-09 06:08:46 +0000624 return nullptr; // Other pointer types cannot be casted
Reid Spencer8dabca42006-12-19 07:41:40 +0000625 case Instruction::PtrToInt: // always treated as unsigned
Dan Gohmancf913832010-01-28 02:15:55 +0000626 // Is it a null pointer value?
627 if (V->isNullValue())
Owen Andersonedb4a702009-07-24 23:12:02 +0000628 return ConstantInt::get(DestTy, 0);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000629 // If this is a sizeof-like expression, pull out multiplications by
630 // known factors to expose them to subsequent folding. If it's an
631 // alignof-like expression, factor out known factors.
Dan Gohmancf913832010-01-28 02:15:55 +0000632 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V))
633 if (CE->getOpcode() == Instruction::GetElementPtr &&
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000634 CE->getOperand(0)->isNullValue()) {
David Blaikie4c2814e2015-05-13 18:35:29 +0000635 GEPOperator *GEPO = cast<GEPOperator>(CE);
636 Type *Ty = GEPO->getSourceElementType();
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000637 if (CE->getNumOperands() == 2) {
638 // Handle a sizeof-like expression.
639 Constant *Idx = CE->getOperand(1);
640 bool isOne = isa<ConstantInt>(Idx) && cast<ConstantInt>(Idx)->isOne();
641 if (Constant *C = getFoldedSizeOf(Ty, DestTy, !isOne)) {
642 Idx = ConstantExpr::getCast(CastInst::getCastOpcode(Idx, true,
Dan Gohmancf913832010-01-28 02:15:55 +0000643 DestTy, false),
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000644 Idx, DestTy);
645 return ConstantExpr::getMul(C, Idx);
Dan Gohmancf913832010-01-28 02:15:55 +0000646 }
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000647 } else if (CE->getNumOperands() == 3 &&
648 CE->getOperand(1)->isNullValue()) {
649 // Handle an alignof-like expression.
Chris Lattner229907c2011-07-18 04:54:35 +0000650 if (StructType *STy = dyn_cast<StructType>(Ty))
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000651 if (!STy->isPacked()) {
652 ConstantInt *CI = cast<ConstantInt>(CE->getOperand(2));
653 if (CI->isOne() &&
654 STy->getNumElements() == 2 &&
Duncan Sands9dff9be2010-02-15 16:12:20 +0000655 STy->getElementType(0)->isIntegerTy(1)) {
Dan Gohmanf644af8b2010-02-02 01:41:39 +0000656 return getFoldedAlignOf(STy->getElementType(1), DestTy, false);
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000657 }
658 }
659 // Handle an offsetof-like expression.
Dan Gohman520913c2010-06-05 00:47:34 +0000660 if (Ty->isStructTy() || Ty->isArrayTy()) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +0000661 if (Constant *C = getFoldedOffsetOf(Ty, CE->getOperand(2),
662 DestTy, false))
663 return C;
664 }
665 }
666 }
Dan Gohmancf913832010-01-28 02:15:55 +0000667 // Other pointer types cannot be casted
Craig Topperc6207612014-04-09 06:08:46 +0000668 return nullptr;
Reid Spencer8dabca42006-12-19 07:41:40 +0000669 case Instruction::UIToFP:
Reid Spencer8dabca42006-12-19 07:41:40 +0000670 case Instruction::SIToFP:
Nick Lewyckye0332982009-09-20 01:35:59 +0000671 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
Dale Johannesen91506522007-09-30 18:19:03 +0000672 APInt api = CI->getValue();
Tim Northover29178a32013-01-22 09:46:31 +0000673 APFloat apf(DestTy->getFltSemantics(),
674 APInt::getNullValue(DestTy->getPrimitiveSizeInBits()));
Sanjay Patelad8b6662014-10-10 23:00:21 +0000675 if (APFloat::opOverflow &
676 apf.convertFromAPInt(api, opc==Instruction::SIToFP,
677 APFloat::rmNearestTiesToEven)) {
678 // Undefined behavior invoked - the destination type can't represent
679 // the input constant.
680 return UndefValue::get(DestTy);
681 }
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000682 return ConstantFP::get(V->getContext(), apf);
Dale Johannesenbed9dc42007-09-06 18:13:44 +0000683 }
Craig Topperc6207612014-04-09 06:08:46 +0000684 return nullptr;
Reid Spencerf5fc34a2006-12-19 03:15:47 +0000685 case Instruction::ZExt:
Nick Lewyckye0332982009-09-20 01:35:59 +0000686 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
Reid Spencer81658a82007-02-27 06:23:51 +0000687 uint32_t BitWidth = cast<IntegerType>(DestTy)->getBitWidth();
Jay Foad583abbc2010-12-07 08:25:19 +0000688 return ConstantInt::get(V->getContext(),
689 CI->getValue().zext(BitWidth));
Reid Spencer81658a82007-02-27 06:23:51 +0000690 }
Craig Topperc6207612014-04-09 06:08:46 +0000691 return nullptr;
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000692 case Instruction::SExt:
Nick Lewyckye0332982009-09-20 01:35:59 +0000693 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
Reid Spencer81658a82007-02-27 06:23:51 +0000694 uint32_t BitWidth = cast<IntegerType>(DestTy)->getBitWidth();
Jay Foad583abbc2010-12-07 08:25:19 +0000695 return ConstantInt::get(V->getContext(),
696 CI->getValue().sext(BitWidth));
Reid Spencer81658a82007-02-27 06:23:51 +0000697 }
Craig Topperc6207612014-04-09 06:08:46 +0000698 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000699 case Instruction::Trunc: {
Jiangning Liu950844f2014-08-21 02:12:35 +0000700 if (V->getType()->isVectorTy())
701 return nullptr;
702
Chris Lattnerf67d2972009-10-17 21:53:27 +0000703 uint32_t DestBitWidth = cast<IntegerType>(DestTy)->getBitWidth();
Nick Lewyckye0332982009-09-20 01:35:59 +0000704 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
Jay Foad583abbc2010-12-07 08:25:19 +0000705 return ConstantInt::get(V->getContext(),
706 CI->getValue().trunc(DestBitWidth));
Reid Spencer81658a82007-02-27 06:23:51 +0000707 }
Chris Lattnerf67d2972009-10-17 21:53:27 +0000708
709 // The input must be a constantexpr. See if we can simplify this based on
710 // the bytes we are demanding. Only do this if the source and dest are an
711 // even multiple of a byte.
712 if ((DestBitWidth & 7) == 0 &&
713 (cast<IntegerType>(V->getType())->getBitWidth() & 7) == 0)
714 if (Constant *Res = ExtractConstantBytes(V, 0, DestBitWidth / 8))
715 return Res;
716
Craig Topperc6207612014-04-09 06:08:46 +0000717 return nullptr;
Chris Lattnerf67d2972009-10-17 21:53:27 +0000718 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000719 case Instruction::BitCast:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000720 return FoldBitCast(V, DestTy);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +0000721 case Instruction::AddrSpaceCast:
Craig Topperc6207612014-04-09 06:08:46 +0000722 return nullptr;
Chris Lattner6b3f4752006-04-02 01:38:28 +0000723 }
Chris Lattner1dd054c2004-01-12 22:07:24 +0000724}
725
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000726Constant *llvm::ConstantFoldSelectInstruction(Constant *Cond,
Nick Lewyckye0332982009-09-20 01:35:59 +0000727 Constant *V1, Constant *V2) {
Chris Lattnerfa775002012-01-26 02:32:04 +0000728 // Check for i1 and vector true/false conditions.
Nadav Rotem10134c32011-02-11 19:37:55 +0000729 if (Cond->isNullValue()) return V2;
Chris Lattnerfa775002012-01-26 02:32:04 +0000730 if (Cond->isAllOnesValue()) return V1;
Nadav Rotem10134c32011-02-11 19:37:55 +0000731
Chris Lattnerfa775002012-01-26 02:32:04 +0000732 // If the condition is a vector constant, fold the result elementwise.
733 if (ConstantVector *CondV = dyn_cast<ConstantVector>(Cond)) {
734 SmallVector<Constant*, 16> Result;
Dan Gohman1ccecdb2012-04-27 17:50:22 +0000735 Type *Ty = IntegerType::get(CondV->getContext(), 32);
Chris Lattnerfa775002012-01-26 02:32:04 +0000736 for (unsigned i = 0, e = V1->getType()->getVectorNumElements(); i != e;++i){
Nick Lewycky2d4ba2e2013-12-31 19:30:47 +0000737 Constant *V;
738 Constant *V1Element = ConstantExpr::getExtractElement(V1,
739 ConstantInt::get(Ty, i));
740 Constant *V2Element = ConstantExpr::getExtractElement(V2,
741 ConstantInt::get(Ty, i));
742 Constant *Cond = dyn_cast<Constant>(CondV->getOperand(i));
743 if (V1Element == V2Element) {
744 V = V1Element;
745 } else if (isa<UndefValue>(Cond)) {
746 V = isa<UndefValue>(V1Element) ? V1Element : V2Element;
747 } else {
748 if (!isa<ConstantInt>(Cond)) break;
749 V = Cond->isNullValue() ? V2Element : V1Element;
750 }
751 Result.push_back(V);
Nadav Rotem10134c32011-02-11 19:37:55 +0000752 }
Chris Lattnerfa775002012-01-26 02:32:04 +0000753
754 // If we were able to build the vector, return it.
755 if (Result.size() == V1->getType()->getVectorNumElements())
756 return ConstantVector::get(Result);
Nadav Rotem10134c32011-02-11 19:37:55 +0000757 }
Nadav Rotem10134c32011-02-11 19:37:55 +0000758
Dan Gohman54664ed2011-07-01 01:03:43 +0000759 if (isa<UndefValue>(Cond)) {
760 if (isa<UndefValue>(V1)) return V1;
761 return V2;
762 }
Nick Lewyckye0332982009-09-20 01:35:59 +0000763 if (isa<UndefValue>(V1)) return V2;
764 if (isa<UndefValue>(V2)) return V1;
Nick Lewyckye0332982009-09-20 01:35:59 +0000765 if (V1 == V2) return V1;
Nick Lewycky97a28952011-01-29 20:35:06 +0000766
767 if (ConstantExpr *TrueVal = dyn_cast<ConstantExpr>(V1)) {
768 if (TrueVal->getOpcode() == Instruction::Select)
769 if (TrueVal->getOperand(0) == Cond)
Bill Wendlingea6397f2012-07-19 00:11:40 +0000770 return ConstantExpr::getSelect(Cond, TrueVal->getOperand(1), V2);
Nick Lewycky97a28952011-01-29 20:35:06 +0000771 }
772 if (ConstantExpr *FalseVal = dyn_cast<ConstantExpr>(V2)) {
773 if (FalseVal->getOpcode() == Instruction::Select)
774 if (FalseVal->getOperand(0) == Cond)
Bill Wendlingea6397f2012-07-19 00:11:40 +0000775 return ConstantExpr::getSelect(Cond, V1, FalseVal->getOperand(2));
Nick Lewycky97a28952011-01-29 20:35:06 +0000776 }
777
Craig Topperc6207612014-04-09 06:08:46 +0000778 return nullptr;
Chris Lattner6ea4b522004-03-12 05:53:32 +0000779}
780
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000781Constant *llvm::ConstantFoldExtractElementInstruction(Constant *Val,
Nick Lewyckye0332982009-09-20 01:35:59 +0000782 Constant *Idx) {
Chris Lattnere52f29b2006-03-31 18:31:40 +0000783 if (isa<UndefValue>(Val)) // ee(undef, x) -> undef
Chris Lattner0256be92012-01-27 03:08:05 +0000784 return UndefValue::get(Val->getType()->getVectorElementType());
Chris Lattnere4f9d7b2006-04-07 04:44:06 +0000785 if (Val->isNullValue()) // ee(zero, x) -> zero
Chris Lattner0256be92012-01-27 03:08:05 +0000786 return Constant::getNullValue(Val->getType()->getVectorElementType());
787 // ee({w,x,y,z}, undef) -> undef
788 if (isa<UndefValue>(Idx))
789 return UndefValue::get(Val->getType()->getVectorElementType());
Dan Gohman062d3782009-08-29 23:35:16 +0000790
Chris Lattner0256be92012-01-27 03:08:05 +0000791 if (ConstantInt *CIdx = dyn_cast<ConstantInt>(Idx)) {
Chris Lattner0256be92012-01-27 03:08:05 +0000792 // ee({w,x,y,z}, wrong_value) -> undef
Pawel Bylicabce9c2e2015-04-24 07:42:35 +0000793 if (CIdx->uge(Val->getType()->getVectorNumElements()))
Chris Lattner0256be92012-01-27 03:08:05 +0000794 return UndefValue::get(Val->getType()->getVectorElementType());
Pawel Bylicabce9c2e2015-04-24 07:42:35 +0000795 return Val->getAggregateElement(CIdx->getZExtValue());
Chris Lattnere52f29b2006-03-31 18:31:40 +0000796 }
Craig Topperc6207612014-04-09 06:08:46 +0000797 return nullptr;
Robert Bocchinode7f1c92006-01-10 20:03:46 +0000798}
799
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000800Constant *llvm::ConstantFoldInsertElementInstruction(Constant *Val,
Nick Lewyckye0332982009-09-20 01:35:59 +0000801 Constant *Elt,
802 Constant *Idx) {
Pawel Bylicac25918a2015-04-27 09:30:49 +0000803 if (isa<UndefValue>(Idx))
804 return UndefValue::get(Val->getType());
805
Nick Lewyckye0332982009-09-20 01:35:59 +0000806 ConstantInt *CIdx = dyn_cast<ConstantInt>(Idx);
Craig Topperc6207612014-04-09 06:08:46 +0000807 if (!CIdx) return nullptr;
Pawel Bylicac25918a2015-04-27 09:30:49 +0000808
809 unsigned NumElts = Val->getType()->getVectorNumElements();
810 if (CIdx->uge(NumElts))
811 return UndefValue::get(Val->getType());
812
Chris Lattnerfa775002012-01-26 02:32:04 +0000813 SmallVector<Constant*, 16> Result;
Pawel Bylicac25918a2015-04-27 09:30:49 +0000814 Result.reserve(NumElts);
815 auto *Ty = Type::getInt32Ty(Val->getContext());
816 uint64_t IdxVal = CIdx->getZExtValue();
817 for (unsigned i = 0; i != NumElts; ++i) {
Chris Lattnerfa775002012-01-26 02:32:04 +0000818 if (i == IdxVal) {
819 Result.push_back(Elt);
820 continue;
Robert Bocchinoca27f032006-01-17 20:07:22 +0000821 }
Chris Lattnerfa775002012-01-26 02:32:04 +0000822
Pawel Bylicac25918a2015-04-27 09:30:49 +0000823 Constant *C = ConstantExpr::getExtractElement(Val, ConstantInt::get(Ty, i));
Dan Gohman1ccecdb2012-04-27 17:50:22 +0000824 Result.push_back(C);
Robert Bocchinoca27f032006-01-17 20:07:22 +0000825 }
Pawel Bylicac25918a2015-04-27 09:30:49 +0000826
Chris Lattnerfa775002012-01-26 02:32:04 +0000827 return ConstantVector::get(Result);
Chris Lattner8e6a8f92007-12-11 07:49:37 +0000828}
829
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000830Constant *llvm::ConstantFoldShuffleVectorInstruction(Constant *V1,
Nick Lewyckye0332982009-09-20 01:35:59 +0000831 Constant *V2,
832 Constant *Mask) {
Chris Lattnerc2783002012-01-30 05:34:13 +0000833 unsigned MaskNumElts = Mask->getType()->getVectorNumElements();
834 Type *EltTy = V1->getType()->getVectorElementType();
835
Chris Lattner8e6a8f92007-12-11 07:49:37 +0000836 // Undefined shuffle mask -> undefined value.
Chris Lattnerc2783002012-01-30 05:34:13 +0000837 if (isa<UndefValue>(Mask))
838 return UndefValue::get(VectorType::get(EltTy, MaskNumElts));
Mon P Wang25f01062008-11-10 04:46:22 +0000839
Chris Lattner34d9a172012-01-26 03:10:45 +0000840 // Don't break the bitcode reader hack.
Craig Topperc6207612014-04-09 06:08:46 +0000841 if (isa<ConstantExpr>(Mask)) return nullptr;
Chris Lattner34d9a172012-01-26 03:10:45 +0000842
Chris Lattner8722fe52012-01-26 02:54:54 +0000843 unsigned SrcNumElts = V1->getType()->getVectorNumElements();
Mon P Wang25f01062008-11-10 04:46:22 +0000844
Chris Lattner8e6a8f92007-12-11 07:49:37 +0000845 // Loop over the shuffle mask, evaluating each element.
846 SmallVector<Constant*, 32> Result;
Mon P Wang25f01062008-11-10 04:46:22 +0000847 for (unsigned i = 0; i != MaskNumElts; ++i) {
Chris Lattner8722fe52012-01-26 02:54:54 +0000848 int Elt = ShuffleVectorInst::getMaskValue(Mask, i);
849 if (Elt == -1) {
Chris Lattnerfa775002012-01-26 02:32:04 +0000850 Result.push_back(UndefValue::get(EltTy));
851 continue;
Chris Lattner8e6a8f92007-12-11 07:49:37 +0000852 }
Chris Lattner8722fe52012-01-26 02:54:54 +0000853 Constant *InElt;
854 if (unsigned(Elt) >= SrcNumElts*2)
Chris Lattnerfa775002012-01-26 02:32:04 +0000855 InElt = UndefValue::get(EltTy);
Dan Gohman1ccecdb2012-04-27 17:50:22 +0000856 else if (unsigned(Elt) >= SrcNumElts) {
857 Type *Ty = IntegerType::get(V2->getContext(), 32);
858 InElt =
859 ConstantExpr::getExtractElement(V2,
860 ConstantInt::get(Ty, Elt - SrcNumElts));
861 } else {
862 Type *Ty = IntegerType::get(V1->getContext(), 32);
863 InElt = ConstantExpr::getExtractElement(V1, ConstantInt::get(Ty, Elt));
864 }
Chris Lattner8e6a8f92007-12-11 07:49:37 +0000865 Result.push_back(InElt);
866 }
Mon P Wang25f01062008-11-10 04:46:22 +0000867
Chris Lattner69229312011-02-15 00:14:00 +0000868 return ConstantVector::get(Result);
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000869}
870
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000871Constant *llvm::ConstantFoldExtractValueInstruction(Constant *Agg,
Jay Foad57aa6362011-07-13 10:26:04 +0000872 ArrayRef<unsigned> Idxs) {
Dan Gohman3db11c22008-06-03 00:15:20 +0000873 // Base case: no indices, so return the entire value.
Jay Foad57aa6362011-07-13 10:26:04 +0000874 if (Idxs.empty())
Nick Lewyckye0332982009-09-20 01:35:59 +0000875 return Agg;
Dan Gohman3db11c22008-06-03 00:15:20 +0000876
Chris Lattnerfa775002012-01-26 02:32:04 +0000877 if (Constant *C = Agg->getAggregateElement(Idxs[0]))
878 return ConstantFoldExtractValueInstruction(C, Idxs.slice(1));
Dan Gohman3db11c22008-06-03 00:15:20 +0000879
Craig Topperc6207612014-04-09 06:08:46 +0000880 return nullptr;
Dan Gohman12fce772008-05-15 19:50:34 +0000881}
882
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000883Constant *llvm::ConstantFoldInsertValueInstruction(Constant *Agg,
Nick Lewyckye0332982009-09-20 01:35:59 +0000884 Constant *Val,
Jay Foad57aa6362011-07-13 10:26:04 +0000885 ArrayRef<unsigned> Idxs) {
Dan Gohman3db11c22008-06-03 00:15:20 +0000886 // Base case: no indices, so replace the entire value.
Jay Foad57aa6362011-07-13 10:26:04 +0000887 if (Idxs.empty())
Nick Lewyckye0332982009-09-20 01:35:59 +0000888 return Val;
Dan Gohman3db11c22008-06-03 00:15:20 +0000889
Chris Lattnerfa775002012-01-26 02:32:04 +0000890 unsigned NumElts;
891 if (StructType *ST = dyn_cast<StructType>(Agg->getType()))
892 NumElts = ST->getNumElements();
893 else if (ArrayType *AT = dyn_cast<ArrayType>(Agg->getType()))
894 NumElts = AT->getNumElements();
895 else
Nadav Rotem0e488032013-02-19 19:36:59 +0000896 NumElts = Agg->getType()->getVectorNumElements();
897
Chris Lattnerfa775002012-01-26 02:32:04 +0000898 SmallVector<Constant*, 32> Result;
899 for (unsigned i = 0; i != NumElts; ++i) {
900 Constant *C = Agg->getAggregateElement(i);
Craig Topperc6207612014-04-09 06:08:46 +0000901 if (!C) return nullptr;
902
Chris Lattnerfa775002012-01-26 02:32:04 +0000903 if (Idxs[0] == i)
904 C = ConstantFoldInsertValueInstruction(C, Val, Idxs.slice(1));
Chris Lattneree8f74f2009-09-15 06:28:12 +0000905
Chris Lattnerfa775002012-01-26 02:32:04 +0000906 Result.push_back(C);
Dan Gohman3db11c22008-06-03 00:15:20 +0000907 }
Chris Lattneree8f74f2009-09-15 06:28:12 +0000908
Chris Lattnerfa775002012-01-26 02:32:04 +0000909 if (StructType *ST = dyn_cast<StructType>(Agg->getType()))
910 return ConstantStruct::get(ST, Result);
911 if (ArrayType *AT = dyn_cast<ArrayType>(Agg->getType()))
912 return ConstantArray::get(AT, Result);
913 return ConstantVector::get(Result);
Dan Gohman12fce772008-05-15 19:50:34 +0000914}
915
Reid Spencer266e42b2006-12-23 06:05:41 +0000916
Chris Lattnerf5edeeb2010-02-01 20:48:08 +0000917Constant *llvm::ConstantFoldBinaryInstruction(unsigned Opcode,
Nick Lewyckye0332982009-09-20 01:35:59 +0000918 Constant *C1, Constant *C2) {
Chris Lattneree8f74f2009-09-15 06:28:12 +0000919 // Handle UndefValue up front.
Reid Spencer266e42b2006-12-23 06:05:41 +0000920 if (isa<UndefValue>(C1) || isa<UndefValue>(C2)) {
921 switch (Opcode) {
Evan Chengdf1690d2008-03-25 20:08:07 +0000922 case Instruction::Xor:
923 if (isa<UndefValue>(C1) && isa<UndefValue>(C2))
924 // Handle undef ^ undef -> 0 special case. This is a common
925 // idiom (misuse).
Owen Anderson5a1acd92009-07-31 20:28:14 +0000926 return Constant::getNullValue(C1->getType());
Evan Chengdf1690d2008-03-25 20:08:07 +0000927 // Fallthrough
Reid Spencer266e42b2006-12-23 06:05:41 +0000928 case Instruction::Add:
929 case Instruction::Sub:
Owen Andersonb292b8c2009-07-30 23:03:37 +0000930 return UndefValue::get(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +0000931 case Instruction::And:
Dan Gohmanca8d9e12011-07-01 00:42:17 +0000932 if (isa<UndefValue>(C1) && isa<UndefValue>(C2)) // undef & undef -> undef
933 return C1;
934 return Constant::getNullValue(C1->getType()); // undef & X -> 0
935 case Instruction::Mul: {
David Majnemer37296682014-12-10 21:58:17 +0000936 // undef * undef -> undef
937 if (isa<UndefValue>(C1) && isa<UndefValue>(C2))
938 return C1;
939 const APInt *CV;
940 // X * undef -> undef if X is odd
941 if (match(C1, m_APInt(CV)) || match(C2, m_APInt(CV)))
942 if ((*CV)[0])
943 return UndefValue::get(C1->getType());
Dan Gohmanca8d9e12011-07-01 00:42:17 +0000944
945 // X * undef -> 0 otherwise
Owen Anderson5a1acd92009-07-31 20:28:14 +0000946 return Constant::getNullValue(C1->getType());
Dan Gohmanca8d9e12011-07-01 00:42:17 +0000947 }
Reid Spencer266e42b2006-12-23 06:05:41 +0000948 case Instruction::SDiv:
David Majnemer7b86b772014-12-10 09:14:55 +0000949 case Instruction::UDiv:
950 // X / undef -> undef
951 if (match(C1, m_Zero()))
952 return C2;
953 // undef / 0 -> undef
Dan Gohmanca8d9e12011-07-01 00:42:17 +0000954 // undef / 1 -> undef
David Majnemer7b86b772014-12-10 09:14:55 +0000955 if (match(C2, m_Zero()) || match(C2, m_One()))
956 return C1;
957 // undef / X -> 0 otherwise
958 return Constant::getNullValue(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +0000959 case Instruction::URem:
960 case Instruction::SRem:
David Majnemer7b86b772014-12-10 09:14:55 +0000961 // X % undef -> undef
962 if (match(C2, m_Undef()))
963 return C2;
964 // undef % 0 -> undef
965 if (match(C2, m_Zero()))
966 return C1;
967 // undef % X -> 0 otherwise
968 return Constant::getNullValue(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +0000969 case Instruction::Or: // X | undef -> -1
Dan Gohmanca8d9e12011-07-01 00:42:17 +0000970 if (isa<UndefValue>(C1) && isa<UndefValue>(C2)) // undef | undef -> undef
971 return C1;
972 return Constant::getAllOnesValue(C1->getType()); // undef | X -> ~0
Reid Spencer266e42b2006-12-23 06:05:41 +0000973 case Instruction::LShr:
David Majnemer89cf6d72014-12-10 21:38:05 +0000974 // X >>l undef -> undef
975 if (isa<UndefValue>(C2))
976 return C2;
David Majnemer824e0112014-12-18 23:54:43 +0000977 // undef >>l 0 -> undef
978 if (match(C2, m_Zero()))
979 return C1;
David Majnemer89cf6d72014-12-10 21:38:05 +0000980 // undef >>l X -> 0
981 return Constant::getNullValue(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +0000982 case Instruction::AShr:
David Majnemer89cf6d72014-12-10 21:38:05 +0000983 // X >>a undef -> undef
984 if (isa<UndefValue>(C2))
985 return C2;
David Majnemer824e0112014-12-18 23:54:43 +0000986 // undef >>a 0 -> undef
987 if (match(C2, m_Zero()))
988 return C1;
David Majnemer5a7717e2014-12-10 21:58:15 +0000989 // TODO: undef >>a X -> undef if the shift is exact
990 // undef >>a X -> 0
991 return Constant::getNullValue(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +0000992 case Instruction::Shl:
David Majnemer89cf6d72014-12-10 21:38:05 +0000993 // X << undef -> undef
994 if (isa<UndefValue>(C2))
995 return C2;
David Majnemer824e0112014-12-18 23:54:43 +0000996 // undef << 0 -> undef
997 if (match(C2, m_Zero()))
998 return C1;
David Majnemer89cf6d72014-12-10 21:38:05 +0000999 // undef << X -> 0
Owen Anderson5a1acd92009-07-31 20:28:14 +00001000 return Constant::getNullValue(C1->getType());
Reid Spencer266e42b2006-12-23 06:05:41 +00001001 }
1002 }
1003
Nick Lewycky6b8320f2009-06-21 01:56:41 +00001004 // Handle simplifications when the RHS is a constant int.
Nick Lewyckye0332982009-09-20 01:35:59 +00001005 if (ConstantInt *CI2 = dyn_cast<ConstantInt>(C2)) {
Chris Lattner334d33c2008-04-19 21:58:19 +00001006 switch (Opcode) {
1007 case Instruction::Add:
Nick Lewyckye0332982009-09-20 01:35:59 +00001008 if (CI2->equalsInt(0)) return C1; // X + 0 == X
Chris Lattner334d33c2008-04-19 21:58:19 +00001009 break;
1010 case Instruction::Sub:
Nick Lewyckye0332982009-09-20 01:35:59 +00001011 if (CI2->equalsInt(0)) return C1; // X - 0 == X
Chris Lattner334d33c2008-04-19 21:58:19 +00001012 break;
1013 case Instruction::Mul:
Nick Lewyckye0332982009-09-20 01:35:59 +00001014 if (CI2->equalsInt(0)) return C2; // X * 0 == 0
Chris Lattner334d33c2008-04-19 21:58:19 +00001015 if (CI2->equalsInt(1))
Nick Lewyckye0332982009-09-20 01:35:59 +00001016 return C1; // X * 1 == X
Chris Lattner334d33c2008-04-19 21:58:19 +00001017 break;
1018 case Instruction::UDiv:
1019 case Instruction::SDiv:
1020 if (CI2->equalsInt(1))
Nick Lewyckye0332982009-09-20 01:35:59 +00001021 return C1; // X / 1 == X
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001022 if (CI2->equalsInt(0))
Owen Andersonb292b8c2009-07-30 23:03:37 +00001023 return UndefValue::get(CI2->getType()); // X / 0 == undef
Chris Lattner334d33c2008-04-19 21:58:19 +00001024 break;
1025 case Instruction::URem:
1026 case Instruction::SRem:
1027 if (CI2->equalsInt(1))
Owen Anderson5a1acd92009-07-31 20:28:14 +00001028 return Constant::getNullValue(CI2->getType()); // X % 1 == 0
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001029 if (CI2->equalsInt(0))
Owen Andersonb292b8c2009-07-30 23:03:37 +00001030 return UndefValue::get(CI2->getType()); // X % 0 == undef
Chris Lattner334d33c2008-04-19 21:58:19 +00001031 break;
1032 case Instruction::And:
Nick Lewyckye0332982009-09-20 01:35:59 +00001033 if (CI2->isZero()) return C2; // X & 0 == 0
Chris Lattner334d33c2008-04-19 21:58:19 +00001034 if (CI2->isAllOnesValue())
Nick Lewyckye0332982009-09-20 01:35:59 +00001035 return C1; // X & -1 == X
Dan Gohman062d3782009-08-29 23:35:16 +00001036
Nick Lewyckye0332982009-09-20 01:35:59 +00001037 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001038 // (zext i32 to i64) & 4294967295 -> (zext i32 to i64)
Chris Lattner334d33c2008-04-19 21:58:19 +00001039 if (CE1->getOpcode() == Instruction::ZExt) {
1040 unsigned DstWidth = CI2->getType()->getBitWidth();
1041 unsigned SrcWidth =
1042 CE1->getOperand(0)->getType()->getPrimitiveSizeInBits();
1043 APInt PossiblySetBits(APInt::getLowBitsSet(DstWidth, SrcWidth));
1044 if ((PossiblySetBits & CI2->getValue()) == PossiblySetBits)
Nick Lewyckye0332982009-09-20 01:35:59 +00001045 return C1;
Chris Lattner6d94bb72007-03-25 05:47:04 +00001046 }
Dan Gohman062d3782009-08-29 23:35:16 +00001047
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001048 // If and'ing the address of a global with a constant, fold it.
Chris Lattner334d33c2008-04-19 21:58:19 +00001049 if (CE1->getOpcode() == Instruction::PtrToInt &&
1050 isa<GlobalValue>(CE1->getOperand(0))) {
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001051 GlobalValue *GV = cast<GlobalValue>(CE1->getOperand(0));
Dan Gohman062d3782009-08-29 23:35:16 +00001052
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001053 // Functions are at least 4-byte aligned.
1054 unsigned GVAlign = GV->getAlignment();
1055 if (isa<Function>(GV))
1056 GVAlign = std::max(GVAlign, 4U);
Dan Gohman062d3782009-08-29 23:35:16 +00001057
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001058 if (GVAlign > 1) {
1059 unsigned DstWidth = CI2->getType()->getBitWidth();
Yaron Keren004756d2015-05-19 11:46:27 +00001060 unsigned SrcWidth = std::min(DstWidth, Log2_32(GVAlign));
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001061 APInt BitsNotSet(APInt::getLowBitsSet(DstWidth, SrcWidth));
1062
1063 // If checking bits we know are clear, return zero.
1064 if ((CI2->getValue() & BitsNotSet) == CI2->getValue())
Owen Anderson5a1acd92009-07-31 20:28:14 +00001065 return Constant::getNullValue(CI2->getType());
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001066 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001067 }
Chris Lattner334d33c2008-04-19 21:58:19 +00001068 }
1069 break;
1070 case Instruction::Or:
Nick Lewyckye0332982009-09-20 01:35:59 +00001071 if (CI2->equalsInt(0)) return C1; // X | 0 == X
Chris Lattner334d33c2008-04-19 21:58:19 +00001072 if (CI2->isAllOnesValue())
Nick Lewyckye0332982009-09-20 01:35:59 +00001073 return C2; // X | -1 == -1
Chris Lattner334d33c2008-04-19 21:58:19 +00001074 break;
1075 case Instruction::Xor:
Nick Lewyckye0332982009-09-20 01:35:59 +00001076 if (CI2->equalsInt(0)) return C1; // X ^ 0 == X
Nick Lewycky28260402009-09-20 06:24:51 +00001077
1078 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
1079 switch (CE1->getOpcode()) {
1080 default: break;
1081 case Instruction::ICmp:
1082 case Instruction::FCmp:
Nick Lewyckyff550aa2009-09-20 06:27:35 +00001083 // cmp pred ^ true -> cmp !pred
Nick Lewycky28260402009-09-20 06:24:51 +00001084 assert(CI2->equalsInt(1));
Nick Lewycky0f8348e2009-09-20 06:26:34 +00001085 CmpInst::Predicate pred = (CmpInst::Predicate)CE1->getPredicate();
Nick Lewycky28260402009-09-20 06:24:51 +00001086 pred = CmpInst::getInversePredicate(pred);
1087 return ConstantExpr::getCompare(pred, CE1->getOperand(0),
1088 CE1->getOperand(1));
1089 }
1090 }
Chris Lattner334d33c2008-04-19 21:58:19 +00001091 break;
1092 case Instruction::AShr:
1093 // ashr (zext C to Ty), C2 -> lshr (zext C, CSA), C2
Nick Lewyckye0332982009-09-20 01:35:59 +00001094 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1))
Chris Lattner6d94bb72007-03-25 05:47:04 +00001095 if (CE1->getOpcode() == Instruction::ZExt) // Top bits known zero.
Nick Lewyckye0332982009-09-20 01:35:59 +00001096 return ConstantExpr::getLShr(C1, C2);
Chris Lattner334d33c2008-04-19 21:58:19 +00001097 break;
Reid Spencer266e42b2006-12-23 06:05:41 +00001098 }
Dan Gohman6c5ac6d2010-02-22 22:43:23 +00001099 } else if (isa<ConstantInt>(C1)) {
1100 // If C1 is a ConstantInt and C2 is not, swap the operands.
1101 if (Instruction::isCommutative(Opcode))
1102 return ConstantExpr::get(Opcode, C2, C1);
Chris Lattner334d33c2008-04-19 21:58:19 +00001103 }
Dan Gohman062d3782009-08-29 23:35:16 +00001104
Chris Lattner6b056052008-04-20 18:24:14 +00001105 // At this point we know neither constant is an UndefValue.
Nick Lewyckye0332982009-09-20 01:35:59 +00001106 if (ConstantInt *CI1 = dyn_cast<ConstantInt>(C1)) {
1107 if (ConstantInt *CI2 = dyn_cast<ConstantInt>(C2)) {
Chris Lattner6b056052008-04-20 18:24:14 +00001108 const APInt &C1V = CI1->getValue();
1109 const APInt &C2V = CI2->getValue();
Chris Lattner344da522007-01-12 18:42:52 +00001110 switch (Opcode) {
1111 default:
1112 break;
1113 case Instruction::Add:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001114 return ConstantInt::get(CI1->getContext(), C1V + C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001115 case Instruction::Sub:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001116 return ConstantInt::get(CI1->getContext(), C1V - C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001117 case Instruction::Mul:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001118 return ConstantInt::get(CI1->getContext(), C1V * C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001119 case Instruction::UDiv:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001120 assert(!CI2->isNullValue() && "Div by zero handled above");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001121 return ConstantInt::get(CI1->getContext(), C1V.udiv(C2V));
Chris Lattner344da522007-01-12 18:42:52 +00001122 case Instruction::SDiv:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001123 assert(!CI2->isNullValue() && "Div by zero handled above");
Reid Spencer81658a82007-02-27 06:23:51 +00001124 if (C2V.isAllOnesValue() && C1V.isMinSignedValue())
Owen Andersonb292b8c2009-07-30 23:03:37 +00001125 return UndefValue::get(CI1->getType()); // MIN_INT / -1 -> undef
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001126 return ConstantInt::get(CI1->getContext(), C1V.sdiv(C2V));
Reid Spencer81658a82007-02-27 06:23:51 +00001127 case Instruction::URem:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001128 assert(!CI2->isNullValue() && "Div by zero handled above");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001129 return ConstantInt::get(CI1->getContext(), C1V.urem(C2V));
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001130 case Instruction::SRem:
1131 assert(!CI2->isNullValue() && "Div by zero handled above");
Reid Spencer81658a82007-02-27 06:23:51 +00001132 if (C2V.isAllOnesValue() && C1V.isMinSignedValue())
Owen Andersonb292b8c2009-07-30 23:03:37 +00001133 return UndefValue::get(CI1->getType()); // MIN_INT % -1 -> undef
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001134 return ConstantInt::get(CI1->getContext(), C1V.srem(C2V));
Chris Lattner344da522007-01-12 18:42:52 +00001135 case Instruction::And:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001136 return ConstantInt::get(CI1->getContext(), C1V & C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001137 case Instruction::Or:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001138 return ConstantInt::get(CI1->getContext(), C1V | C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001139 case Instruction::Xor:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001140 return ConstantInt::get(CI1->getContext(), C1V ^ C2V);
David Majnemere2a4b852015-03-13 16:39:46 +00001141 case Instruction::Shl:
1142 if (C2V.ult(C1V.getBitWidth()))
1143 return ConstantInt::get(CI1->getContext(), C1V.shl(C2V));
1144 return UndefValue::get(C1->getType()); // too big shift is undef
1145 case Instruction::LShr:
1146 if (C2V.ult(C1V.getBitWidth()))
1147 return ConstantInt::get(CI1->getContext(), C1V.lshr(C2V));
1148 return UndefValue::get(C1->getType()); // too big shift is undef
1149 case Instruction::AShr:
1150 if (C2V.ult(C1V.getBitWidth()))
1151 return ConstantInt::get(CI1->getContext(), C1V.ashr(C2V));
1152 return UndefValue::get(C1->getType()); // too big shift is undef
Reid Spencer266e42b2006-12-23 06:05:41 +00001153 }
1154 }
Nick Lewycky6b8320f2009-06-21 01:56:41 +00001155
1156 switch (Opcode) {
1157 case Instruction::SDiv:
1158 case Instruction::UDiv:
1159 case Instruction::URem:
1160 case Instruction::SRem:
1161 case Instruction::LShr:
1162 case Instruction::AShr:
1163 case Instruction::Shl:
Nick Lewyckye0332982009-09-20 01:35:59 +00001164 if (CI1->equalsInt(0)) return C1;
Nick Lewycky6b8320f2009-06-21 01:56:41 +00001165 break;
1166 default:
1167 break;
1168 }
Nick Lewyckye0332982009-09-20 01:35:59 +00001169 } else if (ConstantFP *CFP1 = dyn_cast<ConstantFP>(C1)) {
1170 if (ConstantFP *CFP2 = dyn_cast<ConstantFP>(C2)) {
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001171 APFloat C1V = CFP1->getValueAPF();
1172 APFloat C2V = CFP2->getValueAPF();
1173 APFloat C3V = C1V; // copy for modification
Reid Spencer266e42b2006-12-23 06:05:41 +00001174 switch (Opcode) {
1175 default:
1176 break;
Dan Gohmana5b96452009-06-04 22:49:04 +00001177 case Instruction::FAdd:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001178 (void)C3V.add(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001179 return ConstantFP::get(C1->getContext(), C3V);
Dan Gohmana5b96452009-06-04 22:49:04 +00001180 case Instruction::FSub:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001181 (void)C3V.subtract(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001182 return ConstantFP::get(C1->getContext(), C3V);
Dan Gohmana5b96452009-06-04 22:49:04 +00001183 case Instruction::FMul:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001184 (void)C3V.multiply(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001185 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001186 case Instruction::FDiv:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001187 (void)C3V.divide(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001188 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001189 case Instruction::FRem:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001190 (void)C3V.mod(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001191 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001192 }
1193 }
Chris Lattner229907c2011-07-18 04:54:35 +00001194 } else if (VectorType *VTy = dyn_cast<VectorType>(C1->getType())) {
Chris Lattnerfa775002012-01-26 02:32:04 +00001195 // Perform elementwise folding.
1196 SmallVector<Constant*, 16> Result;
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001197 Type *Ty = IntegerType::get(VTy->getContext(), 32);
Chris Lattnerfa775002012-01-26 02:32:04 +00001198 for (unsigned i = 0, e = VTy->getNumElements(); i != e; ++i) {
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001199 Constant *LHS =
1200 ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, i));
1201 Constant *RHS =
1202 ConstantExpr::getExtractElement(C2, ConstantInt::get(Ty, i));
Chris Lattnerfa775002012-01-26 02:32:04 +00001203
1204 Result.push_back(ConstantExpr::get(Opcode, LHS, RHS));
Reid Spencer266e42b2006-12-23 06:05:41 +00001205 }
Chris Lattnerfa775002012-01-26 02:32:04 +00001206
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001207 return ConstantVector::get(Result);
Reid Spencer266e42b2006-12-23 06:05:41 +00001208 }
1209
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001210 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
Chris Lattner6b056052008-04-20 18:24:14 +00001211 // There are many possible foldings we could do here. We should probably
1212 // at least fold add of a pointer with an integer into the appropriate
1213 // getelementptr. This will improve alias analysis a bit.
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001214
1215 // Given ((a + b) + c), if (b + c) folds to something interesting, return
1216 // (a + (b + c)).
Duncan Sands70db5e72010-12-20 13:10:23 +00001217 if (Instruction::isAssociative(Opcode) && CE1->getOpcode() == Opcode) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001218 Constant *T = ConstantExpr::get(Opcode, CE1->getOperand(1), C2);
1219 if (!isa<ConstantExpr>(T) || cast<ConstantExpr>(T)->getOpcode() != Opcode)
1220 return ConstantExpr::get(Opcode, CE1->getOperand(0), T);
1221 }
Chris Lattner6b056052008-04-20 18:24:14 +00001222 } else if (isa<ConstantExpr>(C2)) {
1223 // If C2 is a constant expr and C1 isn't, flop them around and fold the
1224 // other way if possible.
Dan Gohman6eeabaa2010-02-22 22:05:18 +00001225 if (Instruction::isCommutative(Opcode))
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001226 return ConstantFoldBinaryInstruction(Opcode, C2, C1);
Chris Lattner6b056052008-04-20 18:24:14 +00001227 }
Dan Gohman062d3782009-08-29 23:35:16 +00001228
Nick Lewycky605109d2009-09-20 00:04:02 +00001229 // i1 can be simplified in many cases.
Duncan Sands9dff9be2010-02-15 16:12:20 +00001230 if (C1->getType()->isIntegerTy(1)) {
Nick Lewycky605109d2009-09-20 00:04:02 +00001231 switch (Opcode) {
1232 case Instruction::Add:
1233 case Instruction::Sub:
Nick Lewyckye0332982009-09-20 01:35:59 +00001234 return ConstantExpr::getXor(C1, C2);
Nick Lewycky605109d2009-09-20 00:04:02 +00001235 case Instruction::Mul:
Nick Lewyckye0332982009-09-20 01:35:59 +00001236 return ConstantExpr::getAnd(C1, C2);
Nick Lewycky605109d2009-09-20 00:04:02 +00001237 case Instruction::Shl:
1238 case Instruction::LShr:
1239 case Instruction::AShr:
1240 // We can assume that C2 == 0. If it were one the result would be
1241 // undefined because the shift value is as large as the bitwidth.
Nick Lewyckye0332982009-09-20 01:35:59 +00001242 return C1;
Nick Lewycky605109d2009-09-20 00:04:02 +00001243 case Instruction::SDiv:
1244 case Instruction::UDiv:
1245 // We can assume that C2 == 1. If it were zero the result would be
1246 // undefined through division by zero.
Nick Lewyckye0332982009-09-20 01:35:59 +00001247 return C1;
Nick Lewycky605109d2009-09-20 00:04:02 +00001248 case Instruction::URem:
1249 case Instruction::SRem:
1250 // We can assume that C2 == 1. If it were zero the result would be
1251 // undefined through division by zero.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001252 return ConstantInt::getFalse(C1->getContext());
Nick Lewycky605109d2009-09-20 00:04:02 +00001253 default:
1254 break;
1255 }
1256 }
1257
Chris Lattner6b056052008-04-20 18:24:14 +00001258 // We don't know how to fold this.
Craig Topperc6207612014-04-09 06:08:46 +00001259 return nullptr;
Reid Spencer266e42b2006-12-23 06:05:41 +00001260}
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001261
Chris Lattner60c47262005-01-28 19:09:51 +00001262/// isZeroSizedType - This type is zero sized if its an array or structure of
1263/// zero sized types. The only leaf zero sized type is an empty structure.
Chris Lattner229907c2011-07-18 04:54:35 +00001264static bool isMaybeZeroSizedType(Type *Ty) {
1265 if (StructType *STy = dyn_cast<StructType>(Ty)) {
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001266 if (STy->isOpaque()) return true; // Can't say.
Chris Lattner60c47262005-01-28 19:09:51 +00001267
1268 // If all of elements have zero size, this does too.
1269 for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i)
Chris Lattnerfeaf92f2005-01-28 23:17:27 +00001270 if (!isMaybeZeroSizedType(STy->getElementType(i))) return false;
Chris Lattner60c47262005-01-28 19:09:51 +00001271 return true;
1272
Chris Lattner229907c2011-07-18 04:54:35 +00001273 } else if (ArrayType *ATy = dyn_cast<ArrayType>(Ty)) {
Chris Lattner60c47262005-01-28 19:09:51 +00001274 return isMaybeZeroSizedType(ATy->getElementType());
1275 }
1276 return false;
1277}
Chris Lattner6ea4b522004-03-12 05:53:32 +00001278
Chris Lattner061da2f2004-01-13 05:51:55 +00001279/// IdxCompare - Compare the two constants as though they were getelementptr
1280/// indices. This allows coersion of the types to be the same thing.
1281///
1282/// If the two constants are the "same" (after coersion), return 0. If the
1283/// first is less than the second, return -1, if the second is less than the
1284/// first, return 1. If the constants are not integral, return -2.
1285///
Chris Lattner229907c2011-07-18 04:54:35 +00001286static int IdxCompare(Constant *C1, Constant *C2, Type *ElTy) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001287 if (C1 == C2) return 0;
1288
Reid Spencerc90cf772006-12-31 21:43:30 +00001289 // Ok, we found a different index. If they are not ConstantInt, we can't do
1290 // anything with them.
Chris Lattner061da2f2004-01-13 05:51:55 +00001291 if (!isa<ConstantInt>(C1) || !isa<ConstantInt>(C2))
1292 return -2; // don't know!
Misha Brukmanb1c93172005-04-21 23:48:37 +00001293
David Majnemer8b774542015-02-16 19:10:02 +00001294 // We cannot compare the indices if they don't fit in an int64_t.
1295 if (cast<ConstantInt>(C1)->getValue().getActiveBits() > 64 ||
1296 cast<ConstantInt>(C2)->getValue().getActiveBits() > 64)
1297 return -2; // don't know!
1298
Chris Lattner69193f92004-04-05 01:30:19 +00001299 // Ok, we have two differing integer indices. Sign extend them to be the same
David Majnemer8b774542015-02-16 19:10:02 +00001300 // type.
1301 int64_t C1Val = cast<ConstantInt>(C1)->getSExtValue();
1302 int64_t C2Val = cast<ConstantInt>(C2)->getSExtValue();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001303
David Majnemer8b774542015-02-16 19:10:02 +00001304 if (C1Val == C2Val) return 0; // They are equal
Chris Lattner061da2f2004-01-13 05:51:55 +00001305
Chris Lattner60c47262005-01-28 19:09:51 +00001306 // If the type being indexed over is really just a zero sized type, there is
1307 // no pointer difference being made here.
1308 if (isMaybeZeroSizedType(ElTy))
1309 return -2; // dunno.
1310
Chris Lattner061da2f2004-01-13 05:51:55 +00001311 // If they are really different, now that they are the same type, then we
1312 // found a difference!
David Majnemer8b774542015-02-16 19:10:02 +00001313 if (C1Val < C2Val)
Chris Lattner061da2f2004-01-13 05:51:55 +00001314 return -1;
1315 else
1316 return 1;
1317}
1318
Chris Lattner858f4e92007-01-04 02:13:20 +00001319/// evaluateFCmpRelation - This function determines if there is anything we can
Reid Spencer266e42b2006-12-23 06:05:41 +00001320/// decide about the two constants provided. This doesn't need to handle simple
1321/// things like ConstantFP comparisons, but should instead handle ConstantExprs.
1322/// If we can determine that the two constants have a particular relation to
1323/// each other, we should return the corresponding FCmpInst predicate,
Reid Spencer9d36acf2006-12-24 18:52:08 +00001324/// otherwise return FCmpInst::BAD_FCMP_PREDICATE. This is used below in
1325/// ConstantFoldCompareInstruction.
Reid Spencer266e42b2006-12-23 06:05:41 +00001326///
1327/// To simplify this code we canonicalize the relation so that the first
Reid Spencer9d36acf2006-12-24 18:52:08 +00001328/// operand is always the most "complex" of the two. We consider ConstantFP
1329/// to be the simplest, and ConstantExprs to be the most complex.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001330static FCmpInst::Predicate evaluateFCmpRelation(Constant *V1, Constant *V2) {
Reid Spencer266e42b2006-12-23 06:05:41 +00001331 assert(V1->getType() == V2->getType() &&
Reid Spencer9d36acf2006-12-24 18:52:08 +00001332 "Cannot compare values of different types!");
Dale Johannesen19db0932007-10-14 01:56:47 +00001333
Reid Spencer9d36acf2006-12-24 18:52:08 +00001334 // Handle degenerate case quickly
Reid Spencer266e42b2006-12-23 06:05:41 +00001335 if (V1 == V2) return FCmpInst::FCMP_OEQ;
1336
Reid Spencer9d36acf2006-12-24 18:52:08 +00001337 if (!isa<ConstantExpr>(V1)) {
1338 if (!isa<ConstantExpr>(V2)) {
Mehdi Aminieb242a52015-03-09 03:20:25 +00001339 // Simple case, use the standard constant folder.
Craig Topperc6207612014-04-09 06:08:46 +00001340 ConstantInt *R = nullptr;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001341 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001342 ConstantExpr::getFCmp(FCmpInst::FCMP_OEQ, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001343 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001344 return FCmpInst::FCMP_OEQ;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001345 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001346 ConstantExpr::getFCmp(FCmpInst::FCMP_OLT, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001347 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001348 return FCmpInst::FCMP_OLT;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001349 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001350 ConstantExpr::getFCmp(FCmpInst::FCMP_OGT, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001351 if (R && !R->isZero())
Reid Spencer9d36acf2006-12-24 18:52:08 +00001352 return FCmpInst::FCMP_OGT;
1353
1354 // Nothing more we can do
Reid Spencer266e42b2006-12-23 06:05:41 +00001355 return FCmpInst::BAD_FCMP_PREDICATE;
1356 }
Dan Gohman062d3782009-08-29 23:35:16 +00001357
Reid Spencer9d36acf2006-12-24 18:52:08 +00001358 // If the first operand is simple and second is ConstantExpr, swap operands.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001359 FCmpInst::Predicate SwappedRelation = evaluateFCmpRelation(V2, V1);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001360 if (SwappedRelation != FCmpInst::BAD_FCMP_PREDICATE)
1361 return FCmpInst::getSwappedPredicate(SwappedRelation);
1362 } else {
1363 // Ok, the LHS is known to be a constantexpr. The RHS can be any of a
1364 // constantexpr or a simple constant.
Nick Lewyckye0332982009-09-20 01:35:59 +00001365 ConstantExpr *CE1 = cast<ConstantExpr>(V1);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001366 switch (CE1->getOpcode()) {
1367 case Instruction::FPTrunc:
1368 case Instruction::FPExt:
1369 case Instruction::UIToFP:
1370 case Instruction::SIToFP:
1371 // We might be able to do something with these but we don't right now.
1372 break;
1373 default:
1374 break;
1375 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001376 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001377 // There are MANY other foldings that we could perform here. They will
1378 // probably be added on demand, as they seem needed.
1379 return FCmpInst::BAD_FCMP_PREDICATE;
1380}
1381
David Majnemerd1bea692014-07-04 22:05:26 +00001382static ICmpInst::Predicate areGlobalsPotentiallyEqual(const GlobalValue *GV1,
1383 const GlobalValue *GV2) {
David Majnemer770fd822014-12-08 19:35:31 +00001384 auto isGlobalUnsafeForEquality = [](const GlobalValue *GV) {
1385 if (GV->hasExternalWeakLinkage() || GV->hasWeakAnyLinkage())
1386 return true;
1387 if (const auto *GVar = dyn_cast<GlobalVariable>(GV)) {
David Blaikiee7107062015-05-13 22:54:54 +00001388 Type *Ty = GVar->getValueType();
David Majnemer770fd822014-12-08 19:35:31 +00001389 // A global with opaque type might end up being zero sized.
1390 if (!Ty->isSized())
1391 return true;
1392 // A global with an empty type might lie at the address of any other
1393 // global.
1394 if (Ty->isEmptyTy())
1395 return true;
1396 }
1397 return false;
David Majnemer64ba3262014-12-06 11:58:33 +00001398 };
David Majnemerd1bea692014-07-04 22:05:26 +00001399 // Don't try to decide equality of aliases.
1400 if (!isa<GlobalAlias>(GV1) && !isa<GlobalAlias>(GV2))
David Majnemer770fd822014-12-08 19:35:31 +00001401 if (!isGlobalUnsafeForEquality(GV1) && !isGlobalUnsafeForEquality(GV2))
David Majnemerd1bea692014-07-04 22:05:26 +00001402 return ICmpInst::ICMP_NE;
1403 return ICmpInst::BAD_ICMP_PREDICATE;
1404}
1405
Reid Spencer266e42b2006-12-23 06:05:41 +00001406/// evaluateICmpRelation - This function determines if there is anything we can
Chris Lattner061da2f2004-01-13 05:51:55 +00001407/// decide about the two constants provided. This doesn't need to handle simple
Reid Spenceraccd7c72004-07-17 23:47:01 +00001408/// things like integer comparisons, but should instead handle ConstantExprs
Chris Lattner8410beb2006-12-11 02:16:58 +00001409/// and GlobalValues. If we can determine that the two constants have a
Reid Spencer266e42b2006-12-23 06:05:41 +00001410/// particular relation to each other, we should return the corresponding ICmp
1411/// predicate, otherwise return ICmpInst::BAD_ICMP_PREDICATE.
Chris Lattner061da2f2004-01-13 05:51:55 +00001412///
1413/// To simplify this code we canonicalize the relation so that the first
1414/// operand is always the most "complex" of the two. We consider simple
1415/// constants (like ConstantInt) to be the simplest, followed by
Reid Spenceraccd7c72004-07-17 23:47:01 +00001416/// GlobalValues, followed by ConstantExpr's (the most complex).
Chris Lattner061da2f2004-01-13 05:51:55 +00001417///
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001418static ICmpInst::Predicate evaluateICmpRelation(Constant *V1, Constant *V2,
Reid Spencer266e42b2006-12-23 06:05:41 +00001419 bool isSigned) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001420 assert(V1->getType() == V2->getType() &&
1421 "Cannot compare different types of values!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001422 if (V1 == V2) return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001423
Chris Lattner3c46e142010-02-01 19:35:08 +00001424 if (!isa<ConstantExpr>(V1) && !isa<GlobalValue>(V1) &&
1425 !isa<BlockAddress>(V1)) {
1426 if (!isa<GlobalValue>(V2) && !isa<ConstantExpr>(V2) &&
1427 !isa<BlockAddress>(V2)) {
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001428 // We distilled this down to a simple case, use the standard constant
1429 // folder.
Craig Topperc6207612014-04-09 06:08:46 +00001430 ConstantInt *R = nullptr;
Reid Spencer266e42b2006-12-23 06:05:41 +00001431 ICmpInst::Predicate pred = ICmpInst::ICMP_EQ;
Nick Lewyckye0332982009-09-20 01:35:59 +00001432 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001433 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001434 return pred;
1435 pred = isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Nick Lewyckye0332982009-09-20 01:35:59 +00001436 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001437 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001438 return pred;
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001439 pred = isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Nick Lewyckye0332982009-09-20 01:35:59 +00001440 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001441 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001442 return pred;
Dan Gohman062d3782009-08-29 23:35:16 +00001443
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001444 // If we couldn't figure it out, bail.
Reid Spencer266e42b2006-12-23 06:05:41 +00001445 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001446 }
Dan Gohman062d3782009-08-29 23:35:16 +00001447
Chris Lattner061da2f2004-01-13 05:51:55 +00001448 // If the first operand is simple, swap operands.
Reid Spencer266e42b2006-12-23 06:05:41 +00001449 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001450 evaluateICmpRelation(V2, V1, isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001451 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1452 return ICmpInst::getSwappedPredicate(SwappedRelation);
Chris Lattner061da2f2004-01-13 05:51:55 +00001453
Chris Lattner3c46e142010-02-01 19:35:08 +00001454 } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(V1)) {
Chris Lattner125ed542004-02-01 01:23:19 +00001455 if (isa<ConstantExpr>(V2)) { // Swap as necessary.
Reid Spencer266e42b2006-12-23 06:05:41 +00001456 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001457 evaluateICmpRelation(V2, V1, isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001458 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1459 return ICmpInst::getSwappedPredicate(SwappedRelation);
Chris Lattner3c46e142010-02-01 19:35:08 +00001460 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner125ed542004-02-01 01:23:19 +00001461 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001462
Chris Lattner3c46e142010-02-01 19:35:08 +00001463 // Now we know that the RHS is a GlobalValue, BlockAddress or simple
1464 // constant (which, since the types must match, means that it's a
1465 // ConstantPointerNull).
1466 if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
David Majnemerd1bea692014-07-04 22:05:26 +00001467 return areGlobalsPotentiallyEqual(GV, GV2);
Chris Lattner3c46e142010-02-01 19:35:08 +00001468 } else if (isa<BlockAddress>(V2)) {
1469 return ICmpInst::ICMP_NE; // Globals never equal labels.
Chris Lattner061da2f2004-01-13 05:51:55 +00001470 } else {
1471 assert(isa<ConstantPointerNull>(V2) && "Canonicalization guarantee!");
Chris Lattner3c46e142010-02-01 19:35:08 +00001472 // GlobalVals can never be null unless they have external weak linkage.
1473 // We don't try to evaluate aliases here.
1474 if (!GV->hasExternalWeakLinkage() && !isa<GlobalAlias>(GV))
Reid Spencer266e42b2006-12-23 06:05:41 +00001475 return ICmpInst::ICMP_NE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001476 }
Chris Lattner3c46e142010-02-01 19:35:08 +00001477 } else if (const BlockAddress *BA = dyn_cast<BlockAddress>(V1)) {
1478 if (isa<ConstantExpr>(V2)) { // Swap as necessary.
1479 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001480 evaluateICmpRelation(V2, V1, isSigned);
Chris Lattner3c46e142010-02-01 19:35:08 +00001481 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1482 return ICmpInst::getSwappedPredicate(SwappedRelation);
1483 return ICmpInst::BAD_ICMP_PREDICATE;
1484 }
1485
1486 // Now we know that the RHS is a GlobalValue, BlockAddress or simple
1487 // constant (which, since the types must match, means that it is a
1488 // ConstantPointerNull).
1489 if (const BlockAddress *BA2 = dyn_cast<BlockAddress>(V2)) {
1490 // Block address in another function can't equal this one, but block
1491 // addresses in the current function might be the same if blocks are
1492 // empty.
1493 if (BA2->getFunction() != BA->getFunction())
1494 return ICmpInst::ICMP_NE;
1495 } else {
1496 // Block addresses aren't null, don't equal the address of globals.
1497 assert((isa<ConstantPointerNull>(V2) || isa<GlobalValue>(V2)) &&
1498 "Canonicalization guarantee!");
1499 return ICmpInst::ICMP_NE;
1500 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001501 } else {
1502 // Ok, the LHS is known to be a constantexpr. The RHS can be any of a
Chris Lattner3c46e142010-02-01 19:35:08 +00001503 // constantexpr, a global, block address, or a simple constant.
Nick Lewyckye0332982009-09-20 01:35:59 +00001504 ConstantExpr *CE1 = cast<ConstantExpr>(V1);
1505 Constant *CE1Op0 = CE1->getOperand(0);
Chris Lattner061da2f2004-01-13 05:51:55 +00001506
1507 switch (CE1->getOpcode()) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001508 case Instruction::Trunc:
1509 case Instruction::FPTrunc:
1510 case Instruction::FPExt:
1511 case Instruction::FPToUI:
1512 case Instruction::FPToSI:
Reid Spencer266e42b2006-12-23 06:05:41 +00001513 break; // We can't evaluate floating point casts or truncations.
1514
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001515 case Instruction::UIToFP:
1516 case Instruction::SIToFP:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001517 case Instruction::BitCast:
Reid Spencer266e42b2006-12-23 06:05:41 +00001518 case Instruction::ZExt:
1519 case Instruction::SExt:
Chris Lattner061da2f2004-01-13 05:51:55 +00001520 // If the cast is not actually changing bits, and the second operand is a
1521 // null pointer, do the comparison with the pre-casted value.
1522 if (V2->isNullValue() &&
Duncan Sands19d0b472010-02-16 11:11:14 +00001523 (CE1->getType()->isPointerTy() || CE1->getType()->isIntegerTy())) {
Chris Lattnerd2265b42007-12-10 22:53:04 +00001524 if (CE1->getOpcode() == Instruction::ZExt) isSigned = false;
1525 if (CE1->getOpcode() == Instruction::SExt) isSigned = true;
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001526 return evaluateICmpRelation(CE1Op0,
Owen Anderson5a1acd92009-07-31 20:28:14 +00001527 Constant::getNullValue(CE1Op0->getType()),
Nick Lewycky2949a232009-09-20 03:48:46 +00001528 isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001529 }
Chris Lattner192e3262004-04-11 01:29:30 +00001530 break;
Chris Lattner061da2f2004-01-13 05:51:55 +00001531
David Majnemerd1bea692014-07-04 22:05:26 +00001532 case Instruction::GetElementPtr: {
1533 GEPOperator *CE1GEP = cast<GEPOperator>(CE1);
Chris Lattner061da2f2004-01-13 05:51:55 +00001534 // Ok, since this is a getelementptr, we know that the constant has a
1535 // pointer type. Check the various cases.
1536 if (isa<ConstantPointerNull>(V2)) {
1537 // If we are comparing a GEP to a null pointer, check to see if the base
1538 // of the GEP equals the null pointer.
Reid Spencer9d36acf2006-12-24 18:52:08 +00001539 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
Reid Spencer876f7222006-12-06 00:25:09 +00001540 if (GV->hasExternalWeakLinkage())
1541 // Weak linkage GVals could be zero or not. We're comparing that
1542 // to null pointer so its greater-or-equal
Reid Spencer266e42b2006-12-23 06:05:41 +00001543 return isSigned ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE;
Reid Spencer876f7222006-12-06 00:25:09 +00001544 else
1545 // If its not weak linkage, the GVal must have a non-zero address
1546 // so the result is greater-than
Nick Lewycky9e085542009-09-20 04:27:06 +00001547 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001548 } else if (isa<ConstantPointerNull>(CE1Op0)) {
1549 // If we are indexing from a null pointer, check to see if we have any
1550 // non-zero indices.
1551 for (unsigned i = 1, e = CE1->getNumOperands(); i != e; ++i)
1552 if (!CE1->getOperand(i)->isNullValue())
1553 // Offsetting from null, must not be equal.
Reid Spencer266e42b2006-12-23 06:05:41 +00001554 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001555 // Only zero indexes from null, must still be zero.
Reid Spencer266e42b2006-12-23 06:05:41 +00001556 return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001557 }
1558 // Otherwise, we can't really say if the first operand is null or not.
Chris Lattner3c46e142010-02-01 19:35:08 +00001559 } else if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001560 if (isa<ConstantPointerNull>(CE1Op0)) {
Chris Lattner3c46e142010-02-01 19:35:08 +00001561 if (GV2->hasExternalWeakLinkage())
Reid Spencer876f7222006-12-06 00:25:09 +00001562 // Weak linkage GVals could be zero or not. We're comparing it to
1563 // a null pointer, so its less-or-equal
Reid Spencer266e42b2006-12-23 06:05:41 +00001564 return isSigned ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE;
Reid Spencer876f7222006-12-06 00:25:09 +00001565 else
1566 // If its not weak linkage, the GVal must have a non-zero address
1567 // so the result is less-than
Reid Spencer266e42b2006-12-23 06:05:41 +00001568 return isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Chris Lattner3c46e142010-02-01 19:35:08 +00001569 } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
1570 if (GV == GV2) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001571 // If this is a getelementptr of the same global, then it must be
1572 // different. Because the types must match, the getelementptr could
1573 // only have at most one index, and because we fold getelementptr's
1574 // with a single zero index, it must be nonzero.
1575 assert(CE1->getNumOperands() == 2 &&
1576 !CE1->getOperand(1)->isNullValue() &&
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001577 "Surprising getelementptr!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001578 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001579 } else {
David Majnemerd1bea692014-07-04 22:05:26 +00001580 if (CE1GEP->hasAllZeroIndices())
1581 return areGlobalsPotentiallyEqual(GV, GV2);
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001582 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001583 }
1584 }
1585 } else {
Nick Lewyckye0332982009-09-20 01:35:59 +00001586 ConstantExpr *CE2 = cast<ConstantExpr>(V2);
1587 Constant *CE2Op0 = CE2->getOperand(0);
Chris Lattner061da2f2004-01-13 05:51:55 +00001588
1589 // There are MANY other foldings that we could perform here. They will
1590 // probably be added on demand, as they seem needed.
1591 switch (CE2->getOpcode()) {
1592 default: break;
1593 case Instruction::GetElementPtr:
1594 // By far the most common case to handle is when the base pointers are
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001595 // obviously to the same global.
Reid Spenceraccd7c72004-07-17 23:47:01 +00001596 if (isa<GlobalValue>(CE1Op0) && isa<GlobalValue>(CE2Op0)) {
David Majnemerd1bea692014-07-04 22:05:26 +00001597 // Don't know relative ordering, but check for inequality.
1598 if (CE1Op0 != CE2Op0) {
1599 GEPOperator *CE2GEP = cast<GEPOperator>(CE2);
1600 if (CE1GEP->hasAllZeroIndices() && CE2GEP->hasAllZeroIndices())
1601 return areGlobalsPotentiallyEqual(cast<GlobalValue>(CE1Op0),
1602 cast<GlobalValue>(CE2Op0));
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001603 return ICmpInst::BAD_ICMP_PREDICATE;
David Majnemerd1bea692014-07-04 22:05:26 +00001604 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001605 // Ok, we know that both getelementptr instructions are based on the
1606 // same global. From this, we can precisely determine the relative
1607 // ordering of the resultant pointers.
1608 unsigned i = 1;
Misha Brukmanb1c93172005-04-21 23:48:37 +00001609
Dan Gohman7190d482009-09-10 23:37:55 +00001610 // The logic below assumes that the result of the comparison
1611 // can be determined by finding the first index that differs.
1612 // This doesn't work if there is over-indexing in any
1613 // subsequent indices, so check for that case first.
1614 if (!CE1->isGEPWithNoNotionalOverIndexing() ||
1615 !CE2->isGEPWithNoNotionalOverIndexing())
1616 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
1617
Chris Lattner061da2f2004-01-13 05:51:55 +00001618 // Compare all of the operands the GEP's have in common.
Chris Lattner60c47262005-01-28 19:09:51 +00001619 gep_type_iterator GTI = gep_type_begin(CE1);
1620 for (;i != CE1->getNumOperands() && i != CE2->getNumOperands();
1621 ++i, ++GTI)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001622 switch (IdxCompare(CE1->getOperand(i),
Owen Anderson53a52212009-07-13 04:09:18 +00001623 CE2->getOperand(i), GTI.getIndexedType())) {
Reid Spencer266e42b2006-12-23 06:05:41 +00001624 case -1: return isSigned ? ICmpInst::ICMP_SLT:ICmpInst::ICMP_ULT;
1625 case 1: return isSigned ? ICmpInst::ICMP_SGT:ICmpInst::ICMP_UGT;
1626 case -2: return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001627 }
1628
1629 // Ok, we ran out of things they have in common. If any leftovers
1630 // are non-zero then we have a difference, otherwise we are equal.
1631 for (; i < CE1->getNumOperands(); ++i)
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001632 if (!CE1->getOperand(i)->isNullValue()) {
Zhou Sheng75b871f2007-01-11 12:24:14 +00001633 if (isa<ConstantInt>(CE1->getOperand(i)))
Reid Spencer266e42b2006-12-23 06:05:41 +00001634 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner60c47262005-01-28 19:09:51 +00001635 else
Reid Spencer266e42b2006-12-23 06:05:41 +00001636 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001637 }
Misha Brukmanb1c93172005-04-21 23:48:37 +00001638
Chris Lattner061da2f2004-01-13 05:51:55 +00001639 for (; i < CE2->getNumOperands(); ++i)
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001640 if (!CE2->getOperand(i)->isNullValue()) {
Zhou Sheng75b871f2007-01-11 12:24:14 +00001641 if (isa<ConstantInt>(CE2->getOperand(i)))
Reid Spencer266e42b2006-12-23 06:05:41 +00001642 return isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Chris Lattner60c47262005-01-28 19:09:51 +00001643 else
Reid Spencer266e42b2006-12-23 06:05:41 +00001644 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001645 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001646 return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001647 }
1648 }
1649 }
David Majnemerd1bea692014-07-04 22:05:26 +00001650 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001651 default:
1652 break;
1653 }
1654 }
1655
Reid Spencer266e42b2006-12-23 06:05:41 +00001656 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001657}
1658
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001659Constant *llvm::ConstantFoldCompareInstruction(unsigned short pred,
Nick Lewyckye0332982009-09-20 01:35:59 +00001660 Constant *C1, Constant *C2) {
Chris Lattner229907c2011-07-18 04:54:35 +00001661 Type *ResultTy;
1662 if (VectorType *VT = dyn_cast<VectorType>(C1->getType()))
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001663 ResultTy = VectorType::get(Type::getInt1Ty(C1->getContext()),
1664 VT->getNumElements());
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001665 else
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001666 ResultTy = Type::getInt1Ty(C1->getContext());
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001667
Chris Lattnerd137a082008-07-08 05:46:34 +00001668 // Fold FCMP_FALSE/FCMP_TRUE unconditionally.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001669 if (pred == FCmpInst::FCMP_FALSE)
Owen Anderson5a1acd92009-07-31 20:28:14 +00001670 return Constant::getNullValue(ResultTy);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001671
1672 if (pred == FCmpInst::FCMP_TRUE)
Owen Anderson5a1acd92009-07-31 20:28:14 +00001673 return Constant::getAllOnesValue(ResultTy);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001674
Reid Spencer266e42b2006-12-23 06:05:41 +00001675 // Handle some degenerate cases first
Dan Gohmane697a6f2010-06-28 21:30:07 +00001676 if (isa<UndefValue>(C1) || isa<UndefValue>(C2)) {
Mehdi Aminieb242a52015-03-09 03:20:25 +00001677 CmpInst::Predicate Predicate = CmpInst::Predicate(pred);
1678 bool isIntegerPredicate = ICmpInst::isIntPredicate(Predicate);
Dan Gohmane697a6f2010-06-28 21:30:07 +00001679 // For EQ and NE, we can always pick a value for the undef to make the
1680 // predicate pass or fail, so we can return undef.
Mehdi Aminieb242a52015-03-09 03:20:25 +00001681 // Also, if both operands are undef, we can return undef for int comparison.
1682 if (ICmpInst::isEquality(Predicate) || (isIntegerPredicate && C1 == C2))
Dan Gohmane697a6f2010-06-28 21:30:07 +00001683 return UndefValue::get(ResultTy);
Mehdi Aminieb242a52015-03-09 03:20:25 +00001684
1685 // Otherwise, for integer compare, pick the same value as the non-undef
1686 // operand, and fold it to true or false.
1687 if (isIntegerPredicate)
1688 return ConstantInt::get(ResultTy, CmpInst::isTrueWhenEqual(pred));
1689
1690 // Choosing NaN for the undef will always make unordered comparison succeed
1691 // and ordered comparison fails.
1692 return ConstantInt::get(ResultTy, CmpInst::isUnordered(Predicate));
Dan Gohmane697a6f2010-06-28 21:30:07 +00001693 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001694
1695 // icmp eq/ne(null,GV) -> false/true
1696 if (C1->isNullValue()) {
1697 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C2))
Duncan Sandsa38e5272007-09-19 10:16:17 +00001698 // Don't try to evaluate aliases. External weak GV can be null.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001699 if (!isa<GlobalAlias>(GV) && !GV->hasExternalWeakLinkage()) {
Reid Spencer9d36acf2006-12-24 18:52:08 +00001700 if (pred == ICmpInst::ICMP_EQ)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001701 return ConstantInt::getFalse(C1->getContext());
Reid Spencer9d36acf2006-12-24 18:52:08 +00001702 else if (pred == ICmpInst::ICMP_NE)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001703 return ConstantInt::getTrue(C1->getContext());
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001704 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001705 // icmp eq/ne(GV,null) -> false/true
1706 } else if (C2->isNullValue()) {
1707 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C1))
Duncan Sandsa38e5272007-09-19 10:16:17 +00001708 // Don't try to evaluate aliases. External weak GV can be null.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001709 if (!isa<GlobalAlias>(GV) && !GV->hasExternalWeakLinkage()) {
Reid Spencer9d36acf2006-12-24 18:52:08 +00001710 if (pred == ICmpInst::ICMP_EQ)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001711 return ConstantInt::getFalse(C1->getContext());
Reid Spencer9d36acf2006-12-24 18:52:08 +00001712 else if (pred == ICmpInst::ICMP_NE)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001713 return ConstantInt::getTrue(C1->getContext());
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001714 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00001715 }
1716
Nick Lewyckyb0225ba2009-09-20 07:21:39 +00001717 // If the comparison is a comparison between two i1's, simplify it.
Duncan Sands9dff9be2010-02-15 16:12:20 +00001718 if (C1->getType()->isIntegerTy(1)) {
Nick Lewyckyb0225ba2009-09-20 07:21:39 +00001719 switch(pred) {
1720 case ICmpInst::ICMP_EQ:
1721 if (isa<ConstantInt>(C2))
1722 return ConstantExpr::getXor(C1, ConstantExpr::getNot(C2));
1723 return ConstantExpr::getXor(ConstantExpr::getNot(C1), C2);
1724 case ICmpInst::ICMP_NE:
1725 return ConstantExpr::getXor(C1, C2);
1726 default:
1727 break;
1728 }
1729 }
1730
Chris Lattner344da522007-01-12 18:42:52 +00001731 if (isa<ConstantInt>(C1) && isa<ConstantInt>(C2)) {
Reid Spencer81658a82007-02-27 06:23:51 +00001732 APInt V1 = cast<ConstantInt>(C1)->getValue();
1733 APInt V2 = cast<ConstantInt>(C2)->getValue();
1734 switch (pred) {
David Blaikie46a9f012012-01-20 21:51:11 +00001735 default: llvm_unreachable("Invalid ICmp Predicate");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001736 case ICmpInst::ICMP_EQ: return ConstantInt::get(ResultTy, V1 == V2);
1737 case ICmpInst::ICMP_NE: return ConstantInt::get(ResultTy, V1 != V2);
1738 case ICmpInst::ICMP_SLT: return ConstantInt::get(ResultTy, V1.slt(V2));
1739 case ICmpInst::ICMP_SGT: return ConstantInt::get(ResultTy, V1.sgt(V2));
1740 case ICmpInst::ICMP_SLE: return ConstantInt::get(ResultTy, V1.sle(V2));
1741 case ICmpInst::ICMP_SGE: return ConstantInt::get(ResultTy, V1.sge(V2));
1742 case ICmpInst::ICMP_ULT: return ConstantInt::get(ResultTy, V1.ult(V2));
1743 case ICmpInst::ICMP_UGT: return ConstantInt::get(ResultTy, V1.ugt(V2));
1744 case ICmpInst::ICMP_ULE: return ConstantInt::get(ResultTy, V1.ule(V2));
1745 case ICmpInst::ICMP_UGE: return ConstantInt::get(ResultTy, V1.uge(V2));
Chris Lattner061da2f2004-01-13 05:51:55 +00001746 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001747 } else if (isa<ConstantFP>(C1) && isa<ConstantFP>(C2)) {
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001748 APFloat C1V = cast<ConstantFP>(C1)->getValueAPF();
1749 APFloat C2V = cast<ConstantFP>(C2)->getValueAPF();
1750 APFloat::cmpResult R = C1V.compare(C2V);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001751 switch (pred) {
David Blaikie46a9f012012-01-20 21:51:11 +00001752 default: llvm_unreachable("Invalid FCmp Predicate");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001753 case FCmpInst::FCMP_FALSE: return Constant::getNullValue(ResultTy);
1754 case FCmpInst::FCMP_TRUE: return Constant::getAllOnesValue(ResultTy);
Reid Spencer266e42b2006-12-23 06:05:41 +00001755 case FCmpInst::FCMP_UNO:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001756 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered);
Reid Spencer74bd0362007-01-11 00:25:45 +00001757 case FCmpInst::FCMP_ORD:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001758 return ConstantInt::get(ResultTy, R!=APFloat::cmpUnordered);
Reid Spencer266e42b2006-12-23 06:05:41 +00001759 case FCmpInst::FCMP_UEQ:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001760 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1761 R==APFloat::cmpEqual);
Reid Spencercddc9df2007-01-12 04:24:46 +00001762 case FCmpInst::FCMP_OEQ:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001763 return ConstantInt::get(ResultTy, R==APFloat::cmpEqual);
Reid Spencer74bd0362007-01-11 00:25:45 +00001764 case FCmpInst::FCMP_UNE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001765 return ConstantInt::get(ResultTy, R!=APFloat::cmpEqual);
Reid Spencercddc9df2007-01-12 04:24:46 +00001766 case FCmpInst::FCMP_ONE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001767 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan ||
1768 R==APFloat::cmpGreaterThan);
Reid Spencer74bd0362007-01-11 00:25:45 +00001769 case FCmpInst::FCMP_ULT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001770 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1771 R==APFloat::cmpLessThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001772 case FCmpInst::FCMP_OLT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001773 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan);
Reid Spencer266e42b2006-12-23 06:05:41 +00001774 case FCmpInst::FCMP_UGT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001775 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1776 R==APFloat::cmpGreaterThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001777 case FCmpInst::FCMP_OGT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001778 return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan);
Reid Spencer74bd0362007-01-11 00:25:45 +00001779 case FCmpInst::FCMP_ULE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001780 return ConstantInt::get(ResultTy, R!=APFloat::cmpGreaterThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001781 case FCmpInst::FCMP_OLE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001782 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan ||
1783 R==APFloat::cmpEqual);
Reid Spencer266e42b2006-12-23 06:05:41 +00001784 case FCmpInst::FCMP_UGE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001785 return ConstantInt::get(ResultTy, R!=APFloat::cmpLessThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001786 case FCmpInst::FCMP_OGE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001787 return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan ||
1788 R==APFloat::cmpEqual);
Reid Spencer266e42b2006-12-23 06:05:41 +00001789 }
Duncan Sands19d0b472010-02-16 11:11:14 +00001790 } else if (C1->getType()->isVectorTy()) {
Chris Lattner67136cf2008-07-10 00:29:28 +00001791 // If we can constant fold the comparison of each element, constant fold
1792 // the whole vector comparison.
1793 SmallVector<Constant*, 4> ResElts;
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001794 Type *Ty = IntegerType::get(C1->getContext(), 32);
Chris Lattner69229312011-02-15 00:14:00 +00001795 // Compare the elements, producing an i1 result or constant expr.
Chris Lattnercf129702012-01-26 02:51:13 +00001796 for (unsigned i = 0, e = C1->getType()->getVectorNumElements(); i != e;++i){
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001797 Constant *C1E =
1798 ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, i));
1799 Constant *C2E =
1800 ConstantExpr::getExtractElement(C2, ConstantInt::get(Ty, i));
Chris Lattnercf129702012-01-26 02:51:13 +00001801
1802 ResElts.push_back(ConstantExpr::getCompare(pred, C1E, C2E));
1803 }
1804
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001805 return ConstantVector::get(ResElts);
Reid Spencer266e42b2006-12-23 06:05:41 +00001806 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001807
Mehdi Aminieb242a52015-03-09 03:20:25 +00001808 if (C1->getType()->isFloatingPointTy() &&
1809 // Only call evaluateFCmpRelation if we have a constant expr to avoid
1810 // infinite recursive loop
1811 (isa<ConstantExpr>(C1) || isa<ConstantExpr>(C2))) {
Chris Lattner350e4172008-07-08 18:47:38 +00001812 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001813 switch (evaluateFCmpRelation(C1, C2)) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001814 default: llvm_unreachable("Unknown relation!");
Reid Spencer9d36acf2006-12-24 18:52:08 +00001815 case FCmpInst::FCMP_UNO:
1816 case FCmpInst::FCMP_ORD:
1817 case FCmpInst::FCMP_UEQ:
1818 case FCmpInst::FCMP_UNE:
1819 case FCmpInst::FCMP_ULT:
1820 case FCmpInst::FCMP_UGT:
1821 case FCmpInst::FCMP_ULE:
1822 case FCmpInst::FCMP_UGE:
1823 case FCmpInst::FCMP_TRUE:
1824 case FCmpInst::FCMP_FALSE:
1825 case FCmpInst::BAD_FCMP_PREDICATE:
1826 break; // Couldn't determine anything about these constants.
1827 case FCmpInst::FCMP_OEQ: // We know that C1 == C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001828 Result = (pred == FCmpInst::FCMP_UEQ || pred == FCmpInst::FCMP_OEQ ||
1829 pred == FCmpInst::FCMP_ULE || pred == FCmpInst::FCMP_OLE ||
1830 pred == FCmpInst::FCMP_UGE || pred == FCmpInst::FCMP_OGE);
1831 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001832 case FCmpInst::FCMP_OLT: // We know that C1 < C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001833 Result = (pred == FCmpInst::FCMP_UNE || pred == FCmpInst::FCMP_ONE ||
1834 pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT ||
1835 pred == FCmpInst::FCMP_ULE || pred == FCmpInst::FCMP_OLE);
1836 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001837 case FCmpInst::FCMP_OGT: // We know that C1 > C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001838 Result = (pred == FCmpInst::FCMP_UNE || pred == FCmpInst::FCMP_ONE ||
1839 pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT ||
1840 pred == FCmpInst::FCMP_UGE || pred == FCmpInst::FCMP_OGE);
1841 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001842 case FCmpInst::FCMP_OLE: // We know that C1 <= C2
1843 // We can only partially decide this relation.
1844 if (pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT)
Chris Lattnerd137a082008-07-08 05:46:34 +00001845 Result = 0;
1846 else if (pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT)
1847 Result = 1;
Chris Lattner061da2f2004-01-13 05:51:55 +00001848 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001849 case FCmpInst::FCMP_OGE: // We known that C1 >= C2
1850 // We can only partially decide this relation.
1851 if (pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT)
Chris Lattnerd137a082008-07-08 05:46:34 +00001852 Result = 0;
1853 else if (pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT)
1854 Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001855 break;
Nick Lewyckyc15dd6f2011-01-30 01:49:58 +00001856 case FCmpInst::FCMP_ONE: // We know that C1 != C2
Reid Spencer9d36acf2006-12-24 18:52:08 +00001857 // We can only partially decide this relation.
1858 if (pred == FCmpInst::FCMP_OEQ || pred == FCmpInst::FCMP_UEQ)
Chris Lattnerd137a082008-07-08 05:46:34 +00001859 Result = 0;
1860 else if (pred == FCmpInst::FCMP_ONE || pred == FCmpInst::FCMP_UNE)
1861 Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001862 break;
1863 }
Dan Gohman062d3782009-08-29 23:35:16 +00001864
Chris Lattnerd137a082008-07-08 05:46:34 +00001865 // If we evaluated the result, return it now.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001866 if (Result != -1)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001867 return ConstantInt::get(ResultTy, Result);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001868
Reid Spencer9d36acf2006-12-24 18:52:08 +00001869 } else {
1870 // Evaluate the relation between the two constants, per the predicate.
Chris Lattnerd137a082008-07-08 05:46:34 +00001871 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001872 switch (evaluateICmpRelation(C1, C2, CmpInst::isSigned(pred))) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001873 default: llvm_unreachable("Unknown relational!");
Reid Spencer9d36acf2006-12-24 18:52:08 +00001874 case ICmpInst::BAD_ICMP_PREDICATE:
1875 break; // Couldn't determine anything about these constants.
1876 case ICmpInst::ICMP_EQ: // We know the constants are equal!
1877 // If we know the constants are equal, we can decide the result of this
1878 // computation precisely.
Nick Lewycky9e085542009-09-20 04:27:06 +00001879 Result = ICmpInst::isTrueWhenEqual((ICmpInst::Predicate)pred);
Chris Lattnerd137a082008-07-08 05:46:34 +00001880 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001881 case ICmpInst::ICMP_ULT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001882 switch (pred) {
1883 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_ULE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001884 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001885 case ICmpInst::ICMP_UGT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_UGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001886 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001887 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001888 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001889 case ICmpInst::ICMP_SLT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001890 switch (pred) {
1891 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_SLE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001892 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001893 case ICmpInst::ICMP_SGT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_SGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001894 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001895 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001896 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001897 case ICmpInst::ICMP_UGT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001898 switch (pred) {
1899 case ICmpInst::ICMP_UGT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_UGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001900 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001901 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_ULE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001902 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001903 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001904 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001905 case ICmpInst::ICMP_SGT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001906 switch (pred) {
1907 case ICmpInst::ICMP_SGT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_SGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001908 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001909 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_SLE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001910 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001911 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001912 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001913 case ICmpInst::ICMP_ULE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001914 if (pred == ICmpInst::ICMP_UGT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001915 if (pred == ICmpInst::ICMP_ULT || pred == ICmpInst::ICMP_ULE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001916 break;
1917 case ICmpInst::ICMP_SLE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001918 if (pred == ICmpInst::ICMP_SGT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001919 if (pred == ICmpInst::ICMP_SLT || pred == ICmpInst::ICMP_SLE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001920 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001921 case ICmpInst::ICMP_UGE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001922 if (pred == ICmpInst::ICMP_ULT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001923 if (pred == ICmpInst::ICMP_UGT || pred == ICmpInst::ICMP_UGE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001924 break;
1925 case ICmpInst::ICMP_SGE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001926 if (pred == ICmpInst::ICMP_SLT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001927 if (pred == ICmpInst::ICMP_SGT || pred == ICmpInst::ICMP_SGE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001928 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001929 case ICmpInst::ICMP_NE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001930 if (pred == ICmpInst::ICMP_EQ) Result = 0;
1931 if (pred == ICmpInst::ICMP_NE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001932 break;
1933 }
Dan Gohman062d3782009-08-29 23:35:16 +00001934
Chris Lattnerd137a082008-07-08 05:46:34 +00001935 // If we evaluated the result, return it now.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001936 if (Result != -1)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001937 return ConstantInt::get(ResultTy, Result);
Dan Gohman062d3782009-08-29 23:35:16 +00001938
Nick Lewycky4a034522009-09-20 05:48:50 +00001939 // If the right hand side is a bitcast, try using its inverse to simplify
Chris Lattner94eb4b22010-02-01 20:04:40 +00001940 // it by moving it to the left hand side. We can't do this if it would turn
Duncan Sandsdddba062010-02-01 20:42:02 +00001941 // a vector compare into a scalar compare or visa versa.
Nick Lewycky4a034522009-09-20 05:48:50 +00001942 if (ConstantExpr *CE2 = dyn_cast<ConstantExpr>(C2)) {
Chris Lattner94eb4b22010-02-01 20:04:40 +00001943 Constant *CE2Op0 = CE2->getOperand(0);
1944 if (CE2->getOpcode() == Instruction::BitCast &&
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001945 CE2->getType()->isVectorTy() == CE2Op0->getType()->isVectorTy()) {
Nick Lewycky4a034522009-09-20 05:48:50 +00001946 Constant *Inverse = ConstantExpr::getBitCast(C1, CE2Op0->getType());
1947 return ConstantExpr::getICmp(pred, Inverse, CE2Op0);
1948 }
1949 }
1950
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001951 // If the left hand side is an extension, try eliminating it.
1952 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001953 if ((CE1->getOpcode() == Instruction::SExt && ICmpInst::isSigned(pred)) ||
1954 (CE1->getOpcode() == Instruction::ZExt && !ICmpInst::isSigned(pred))){
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001955 Constant *CE1Op0 = CE1->getOperand(0);
1956 Constant *CE1Inverse = ConstantExpr::getTrunc(CE1, CE1Op0->getType());
1957 if (CE1Inverse == CE1Op0) {
1958 // Check whether we can safely truncate the right hand side.
1959 Constant *C2Inverse = ConstantExpr::getTrunc(C2, CE1Op0->getType());
Benjamin Kramercc846012013-06-30 13:47:43 +00001960 if (ConstantExpr::getCast(CE1->getOpcode(), C2Inverse,
1961 C2->getType()) == C2)
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001962 return ConstantExpr::getICmp(pred, CE1Inverse, C2Inverse);
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001963 }
1964 }
1965 }
1966
Eli Friedmane67cae32009-12-17 06:07:04 +00001967 if ((!isa<ConstantExpr>(C1) && isa<ConstantExpr>(C2)) ||
1968 (C1->isNullValue() && !C2->isNullValue())) {
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001969 // If C2 is a constant expr and C1 isn't, flip them around and fold the
Reid Spencer9d36acf2006-12-24 18:52:08 +00001970 // other way if possible.
Eli Friedmane67cae32009-12-17 06:07:04 +00001971 // Also, if C1 is null and C2 isn't, flip them around.
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001972 pred = ICmpInst::getSwappedPredicate((ICmpInst::Predicate)pred);
1973 return ConstantExpr::getICmp(pred, C2, C1);
Chris Lattner061da2f2004-01-13 05:51:55 +00001974 }
1975 }
Craig Topperc6207612014-04-09 06:08:46 +00001976 return nullptr;
Dan Gohman062d3782009-08-29 23:35:16 +00001977}
Chris Lattner1dd054c2004-01-12 22:07:24 +00001978
Dan Gohman21c62162009-09-11 00:04:14 +00001979/// isInBoundsIndices - Test whether the given sequence of *normalized* indices
1980/// is "inbounds".
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001981template<typename IndexTy>
Jay Foaded8db7d2011-07-21 14:31:17 +00001982static bool isInBoundsIndices(ArrayRef<IndexTy> Idxs) {
Dan Gohman21c62162009-09-11 00:04:14 +00001983 // No indices means nothing that could be out of bounds.
Jay Foaded8db7d2011-07-21 14:31:17 +00001984 if (Idxs.empty()) return true;
Dan Gohman21c62162009-09-11 00:04:14 +00001985
1986 // If the first index is zero, it's in bounds.
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001987 if (cast<Constant>(Idxs[0])->isNullValue()) return true;
Dan Gohman21c62162009-09-11 00:04:14 +00001988
1989 // If the first index is one and all the rest are zero, it's in bounds,
1990 // by the one-past-the-end rule.
1991 if (!cast<ConstantInt>(Idxs[0])->isOne())
1992 return false;
Jay Foaded8db7d2011-07-21 14:31:17 +00001993 for (unsigned i = 1, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001994 if (!cast<Constant>(Idxs[i])->isNullValue())
Dan Gohman21c62162009-09-11 00:04:14 +00001995 return false;
1996 return true;
1997}
1998
David Majnemer3c93dc92013-11-10 01:36:22 +00001999/// \brief Test whether a given ConstantInt is in-range for a SequentialType.
Craig Toppere3dcce92015-08-01 22:20:21 +00002000static bool isIndexInRangeOfSequentialType(SequentialType *STy,
David Majnemer3c93dc92013-11-10 01:36:22 +00002001 const ConstantInt *CI) {
David Blaikie401bb642015-08-21 17:37:41 +00002002 if (isa<PointerType>(STy))
2003 return true;
David Majnemer3c93dc92013-11-10 01:36:22 +00002004
2005 uint64_t NumElements = 0;
2006 // Determine the number of elements in our sequential type.
Craig Toppere3dcce92015-08-01 22:20:21 +00002007 if (auto *ATy = dyn_cast<ArrayType>(STy))
David Majnemer3c93dc92013-11-10 01:36:22 +00002008 NumElements = ATy->getNumElements();
Craig Toppere3dcce92015-08-01 22:20:21 +00002009 else if (auto *VTy = dyn_cast<VectorType>(STy))
David Majnemer3c93dc92013-11-10 01:36:22 +00002010 NumElements = VTy->getNumElements();
2011
2012 assert((isa<ArrayType>(STy) || NumElements > 0) &&
2013 "didn't expect non-array type to have zero elements!");
2014
2015 // We cannot bounds check the index if it doesn't fit in an int64_t.
2016 if (CI->getValue().getActiveBits() > 64)
2017 return false;
2018
2019 // A negative index or an index past the end of our sequential type is
2020 // considered out-of-range.
2021 int64_t IndexVal = CI->getSExtValue();
2022 if (IndexVal < 0 || (NumElements > 0 && (uint64_t)IndexVal >= NumElements))
2023 return false;
2024
2025 // Otherwise, it is in-range.
2026 return true;
2027}
2028
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002029template<typename IndexTy>
David Blaikied9d900c2015-05-07 17:28:58 +00002030static Constant *ConstantFoldGetElementPtrImpl(Type *PointeeTy, Constant *C,
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002031 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002032 ArrayRef<IndexTy> Idxs) {
2033 if (Idxs.empty()) return C;
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002034 Constant *Idx0 = cast<Constant>(Idxs[0]);
Jay Foadca3fc382011-07-19 15:30:30 +00002035 if ((Idxs.size() == 1 && Idx0->isNullValue()))
Nick Lewyckye0332982009-09-20 01:35:59 +00002036 return C;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002037
Chris Lattnerf6013752004-10-17 21:54:55 +00002038 if (isa<UndefValue>(C)) {
Chris Lattner229907c2011-07-18 04:54:35 +00002039 PointerType *Ptr = cast<PointerType>(C->getType());
David Blaikied288fb82015-03-30 21:41:43 +00002040 Type *Ty = GetElementPtrInst::getIndexedType(
2041 cast<PointerType>(Ptr->getScalarType())->getElementType(), Idxs);
Craig Topper2617dcc2014-04-15 06:32:26 +00002042 assert(Ty && "Invalid indices for GEP!");
Owen Andersonb292b8c2009-07-30 23:03:37 +00002043 return UndefValue::get(PointerType::get(Ty, Ptr->getAddressSpace()));
Chris Lattnerf6013752004-10-17 21:54:55 +00002044 }
2045
Chris Lattner04b60fe2004-02-16 20:46:13 +00002046 if (C->isNullValue()) {
2047 bool isNull = true;
Jay Foadca3fc382011-07-19 15:30:30 +00002048 for (unsigned i = 0, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002049 if (!cast<Constant>(Idxs[i])->isNullValue()) {
Chris Lattner04b60fe2004-02-16 20:46:13 +00002050 isNull = false;
2051 break;
2052 }
2053 if (isNull) {
Chris Lattner229907c2011-07-18 04:54:35 +00002054 PointerType *Ptr = cast<PointerType>(C->getType());
David Blaikied288fb82015-03-30 21:41:43 +00002055 Type *Ty = GetElementPtrInst::getIndexedType(
2056 cast<PointerType>(Ptr->getScalarType())->getElementType(), Idxs);
Craig Topper2617dcc2014-04-15 06:32:26 +00002057 assert(Ty && "Invalid indices for GEP!");
Nick Lewycky7c75f0c2011-01-30 01:48:50 +00002058 return ConstantPointerNull::get(PointerType::get(Ty,
2059 Ptr->getAddressSpace()));
Chris Lattner04b60fe2004-02-16 20:46:13 +00002060 }
2061 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00002062
Nick Lewyckye0332982009-09-20 01:35:59 +00002063 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
Chris Lattner1dd054c2004-01-12 22:07:24 +00002064 // Combine Indices - If the source pointer to this getelementptr instruction
2065 // is a getelementptr instruction, combine the indices of the two
2066 // getelementptr instructions into a single instruction.
2067 //
2068 if (CE->getOpcode() == Instruction::GetElementPtr) {
Craig Topperc6207612014-04-09 06:08:46 +00002069 Type *LastTy = nullptr;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002070 for (gep_type_iterator I = gep_type_begin(CE), E = gep_type_end(CE);
2071 I != E; ++I)
2072 LastTy = *I;
2073
David Majnemerbd4fef42013-11-07 22:15:53 +00002074 // We cannot combine indices if doing so would take us outside of an
2075 // array or vector. Doing otherwise could trick us if we evaluated such a
2076 // GEP as part of a load.
2077 //
2078 // e.g. Consider if the original GEP was:
2079 // i8* getelementptr ({ [2 x i8], i32, i8, [3 x i8] }* @main.c,
2080 // i32 0, i32 0, i64 0)
2081 //
2082 // If we then tried to offset it by '8' to get to the third element,
2083 // an i8, we should *not* get:
2084 // i8* getelementptr ({ [2 x i8], i32, i8, [3 x i8] }* @main.c,
2085 // i32 0, i32 0, i64 8)
2086 //
2087 // This GEP tries to index array element '8 which runs out-of-bounds.
2088 // Subsequent evaluation would get confused and produce erroneous results.
2089 //
2090 // The following prohibits such a GEP from being formed by checking to see
2091 // if the index is in-range with respect to an array or vector.
David Majnemer3c93dc92013-11-10 01:36:22 +00002092 bool PerformFold = false;
2093 if (Idx0->isNullValue())
2094 PerformFold = true;
2095 else if (SequentialType *STy = dyn_cast_or_null<SequentialType>(LastTy))
2096 if (ConstantInt *CI = dyn_cast<ConstantInt>(Idx0))
2097 PerformFold = isIndexInRangeOfSequentialType(STy, CI);
David Majnemerbd4fef42013-11-07 22:15:53 +00002098
David Majnemer3c93dc92013-11-10 01:36:22 +00002099 if (PerformFold) {
Chris Lattner302116a2007-01-31 04:40:28 +00002100 SmallVector<Value*, 16> NewIndices;
Jay Foadca3fc382011-07-19 15:30:30 +00002101 NewIndices.reserve(Idxs.size() + CE->getNumOperands());
Benjamin Kramer6cd780f2015-02-17 15:29:18 +00002102 NewIndices.append(CE->op_begin() + 1, CE->op_end() - 1);
Chris Lattner1dd054c2004-01-12 22:07:24 +00002103
2104 // Add the last index of the source with the first index of the new GEP.
2105 // Make sure to handle the case when they are actually different types.
2106 Constant *Combined = CE->getOperand(CE->getNumOperands()-1);
Chris Lattner13128ab2004-10-11 22:52:25 +00002107 // Otherwise it must be an array.
2108 if (!Idx0->isNullValue()) {
Chris Lattner229907c2011-07-18 04:54:35 +00002109 Type *IdxTy = Combined->getType();
Reid Spencer1a063892006-12-04 02:46:44 +00002110 if (IdxTy != Idx0->getType()) {
David Majnemer8b774542015-02-16 19:10:02 +00002111 unsigned CommonExtendedWidth =
2112 std::max(IdxTy->getIntegerBitWidth(),
2113 Idx0->getType()->getIntegerBitWidth());
2114 CommonExtendedWidth = std::max(CommonExtendedWidth, 64U);
2115
2116 Type *CommonTy =
2117 Type::getIntNTy(IdxTy->getContext(), CommonExtendedWidth);
2118 Constant *C1 = ConstantExpr::getSExtOrBitCast(Idx0, CommonTy);
2119 Constant *C2 = ConstantExpr::getSExtOrBitCast(Combined, CommonTy);
Owen Anderson487375e2009-07-29 18:55:55 +00002120 Combined = ConstantExpr::get(Instruction::Add, C1, C2);
Reid Spencer1a063892006-12-04 02:46:44 +00002121 } else {
2122 Combined =
Owen Anderson487375e2009-07-29 18:55:55 +00002123 ConstantExpr::get(Instruction::Add, Idx0, Combined);
Reid Spencer1a063892006-12-04 02:46:44 +00002124 }
Chris Lattner71068a02004-07-07 04:45:13 +00002125 }
Misha Brukmanb1c93172005-04-21 23:48:37 +00002126
Chris Lattner1dd054c2004-01-12 22:07:24 +00002127 NewIndices.push_back(Combined);
Jay Foadca3fc382011-07-19 15:30:30 +00002128 NewIndices.append(Idxs.begin() + 1, Idxs.end());
David Blaikie4a2e73b2015-04-02 18:55:32 +00002129 return ConstantExpr::getGetElementPtr(
2130 cast<GEPOperator>(CE)->getSourceElementType(), CE->getOperand(0),
2131 NewIndices, inBounds && cast<GEPOperator>(CE)->isInBounds());
Chris Lattner1dd054c2004-01-12 22:07:24 +00002132 }
2133 }
2134
Meador Inge9b47f642013-02-27 02:26:42 +00002135 // Attempt to fold casts to the same type away. For example, folding:
Chris Lattner1dd054c2004-01-12 22:07:24 +00002136 //
Meador Inge9b47f642013-02-27 02:26:42 +00002137 // i32* getelementptr ([2 x i32]* bitcast ([3 x i32]* %X to [2 x i32]*),
2138 // i64 0, i64 0)
2139 // into:
2140 //
2141 // i32* getelementptr ([3 x i32]* %X, i64 0, i64 0)
2142 //
2143 // Don't fold if the cast is changing address spaces.
Jay Foadca3fc382011-07-19 15:30:30 +00002144 if (CE->isCast() && Idxs.size() > 1 && Idx0->isNullValue()) {
Meador Inge9b47f642013-02-27 02:26:42 +00002145 PointerType *SrcPtrTy =
2146 dyn_cast<PointerType>(CE->getOperand(0)->getType());
2147 PointerType *DstPtrTy = dyn_cast<PointerType>(CE->getType());
2148 if (SrcPtrTy && DstPtrTy) {
2149 ArrayType *SrcArrayTy =
2150 dyn_cast<ArrayType>(SrcPtrTy->getElementType());
2151 ArrayType *DstArrayTy =
2152 dyn_cast<ArrayType>(DstPtrTy->getElementType());
2153 if (SrcArrayTy && DstArrayTy
2154 && SrcArrayTy->getElementType() == DstArrayTy->getElementType()
2155 && SrcPtrTy->getAddressSpace() == DstPtrTy->getAddressSpace())
David Blaikie4a2e73b2015-04-02 18:55:32 +00002156 return ConstantExpr::getGetElementPtr(
2157 SrcArrayTy, (Constant *)CE->getOperand(0), Idxs, inBounds);
Meador Inge9b47f642013-02-27 02:26:42 +00002158 }
Chris Lattneraadc7782007-08-13 17:09:08 +00002159 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00002160 }
Dan Gohman21c62162009-09-11 00:04:14 +00002161
2162 // Check to see if any array indices are not within the corresponding
David Majnemer3c93dc92013-11-10 01:36:22 +00002163 // notional array or vector bounds. If so, try to determine if they can be
2164 // factored out into preceding dimensions.
Dan Gohman21c62162009-09-11 00:04:14 +00002165 SmallVector<Constant *, 8> NewIdxs;
David Blaikie473b9432015-06-12 18:22:03 +00002166 Type *Ty = PointeeTy;
2167 Type *Prev = C->getType();
2168 bool Unknown = !isa<ConstantInt>(Idxs[0]);
2169 for (unsigned i = 1, e = Idxs.size(); i != e;
Dan Gohman21c62162009-09-11 00:04:14 +00002170 Prev = Ty, Ty = cast<CompositeType>(Ty)->getTypeAtIndex(Idxs[i]), ++i) {
2171 if (ConstantInt *CI = dyn_cast<ConstantInt>(Idxs[i])) {
David Majnemer3c93dc92013-11-10 01:36:22 +00002172 if (isa<ArrayType>(Ty) || isa<VectorType>(Ty))
2173 if (CI->getSExtValue() > 0 &&
2174 !isIndexInRangeOfSequentialType(cast<SequentialType>(Ty), CI)) {
Dan Gohman21c62162009-09-11 00:04:14 +00002175 if (isa<SequentialType>(Prev)) {
2176 // It's out of range, but we can factor it into the prior
2177 // dimension.
Jay Foadca3fc382011-07-19 15:30:30 +00002178 NewIdxs.resize(Idxs.size());
David Majnemer3c93dc92013-11-10 01:36:22 +00002179 uint64_t NumElements = 0;
Craig Toppere3dcce92015-08-01 22:20:21 +00002180 if (auto *ATy = dyn_cast<ArrayType>(Ty))
David Majnemer3c93dc92013-11-10 01:36:22 +00002181 NumElements = ATy->getNumElements();
2182 else
2183 NumElements = cast<VectorType>(Ty)->getNumElements();
2184
2185 ConstantInt *Factor = ConstantInt::get(CI->getType(), NumElements);
Dan Gohman21c62162009-09-11 00:04:14 +00002186 NewIdxs[i] = ConstantExpr::getSRem(CI, Factor);
2187
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002188 Constant *PrevIdx = cast<Constant>(Idxs[i-1]);
Dan Gohman21c62162009-09-11 00:04:14 +00002189 Constant *Div = ConstantExpr::getSDiv(CI, Factor);
2190
David Majnemer8b774542015-02-16 19:10:02 +00002191 unsigned CommonExtendedWidth =
2192 std::max(PrevIdx->getType()->getIntegerBitWidth(),
2193 Div->getType()->getIntegerBitWidth());
2194 CommonExtendedWidth = std::max(CommonExtendedWidth, 64U);
2195
Dan Gohman21c62162009-09-11 00:04:14 +00002196 // Before adding, extend both operands to i64 to avoid
2197 // overflow trouble.
David Majnemer8b774542015-02-16 19:10:02 +00002198 if (!PrevIdx->getType()->isIntegerTy(CommonExtendedWidth))
2199 PrevIdx = ConstantExpr::getSExt(
2200 PrevIdx,
2201 Type::getIntNTy(Div->getContext(), CommonExtendedWidth));
2202 if (!Div->getType()->isIntegerTy(CommonExtendedWidth))
2203 Div = ConstantExpr::getSExt(
2204 Div, Type::getIntNTy(Div->getContext(), CommonExtendedWidth));
Dan Gohman21c62162009-09-11 00:04:14 +00002205
2206 NewIdxs[i-1] = ConstantExpr::getAdd(PrevIdx, Div);
2207 } else {
2208 // It's out of range, but the prior dimension is a struct
2209 // so we can't do anything about it.
2210 Unknown = true;
2211 }
2212 }
2213 } else {
2214 // We don't know if it's in range or not.
2215 Unknown = true;
2216 }
2217 }
2218
2219 // If we did any factoring, start over with the adjusted indices.
2220 if (!NewIdxs.empty()) {
Jay Foadca3fc382011-07-19 15:30:30 +00002221 for (unsigned i = 0, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002222 if (!NewIdxs[i]) NewIdxs[i] = cast<Constant>(Idxs[i]);
David Blaikief87cc6d2015-05-21 00:06:38 +00002223 return ConstantExpr::getGetElementPtr(PointeeTy, C, NewIdxs, inBounds);
Dan Gohman21c62162009-09-11 00:04:14 +00002224 }
2225
2226 // If all indices are known integers and normalized, we can do a simple
2227 // check for the "inbounds" property.
Duncan P. N. Exon Smith0c39d402014-08-16 01:54:32 +00002228 if (!Unknown && !inBounds)
2229 if (auto *GV = dyn_cast<GlobalVariable>(C))
2230 if (!GV->hasExternalWeakLinkage() && isInBoundsIndices(Idxs))
David Blaikied9d900c2015-05-07 17:28:58 +00002231 return ConstantExpr::getInBoundsGetElementPtr(PointeeTy, C, Idxs);
Dan Gohman21c62162009-09-11 00:04:14 +00002232
Craig Topperc6207612014-04-09 06:08:46 +00002233 return nullptr;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002234}
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002235
2236Constant *llvm::ConstantFoldGetElementPtr(Constant *C,
2237 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002238 ArrayRef<Constant *> Idxs) {
David Blaikied9d900c2015-05-07 17:28:58 +00002239 return ConstantFoldGetElementPtrImpl(
2240 cast<PointerType>(C->getType()->getScalarType())->getElementType(), C,
2241 inBounds, Idxs);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002242}
2243
2244Constant *llvm::ConstantFoldGetElementPtr(Constant *C,
2245 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002246 ArrayRef<Value *> Idxs) {
David Blaikied9d900c2015-05-07 17:28:58 +00002247 return ConstantFoldGetElementPtrImpl(
2248 cast<PointerType>(C->getType()->getScalarType())->getElementType(), C,
2249 inBounds, Idxs);
2250}
2251
2252Constant *llvm::ConstantFoldGetElementPtr(Type *Ty, Constant *C,
2253 bool inBounds,
2254 ArrayRef<Constant *> Idxs) {
2255 return ConstantFoldGetElementPtrImpl(Ty, C, inBounds, Idxs);
2256}
2257
2258Constant *llvm::ConstantFoldGetElementPtr(Type *Ty, Constant *C,
2259 bool inBounds,
2260 ArrayRef<Value *> Idxs) {
2261 return ConstantFoldGetElementPtrImpl(Ty, C, inBounds, Idxs);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002262}