blob: 178612c6a3e7234e0fc3eac8f36a3881b8557f44 [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 Kerend90d6fb2015-05-19 11:18:10 +00001060 unsigned SrcWidth =
1061 std::min(DstWidth, static_cast<unsigned>(Log2_32(GVAlign)));
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001062 APInt BitsNotSet(APInt::getLowBitsSet(DstWidth, SrcWidth));
1063
1064 // If checking bits we know are clear, return zero.
1065 if ((CI2->getValue() & BitsNotSet) == CI2->getValue())
Owen Anderson5a1acd92009-07-31 20:28:14 +00001066 return Constant::getNullValue(CI2->getType());
Chris Lattnerbc26e1b2008-04-19 22:17:26 +00001067 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001068 }
Chris Lattner334d33c2008-04-19 21:58:19 +00001069 }
1070 break;
1071 case Instruction::Or:
Nick Lewyckye0332982009-09-20 01:35:59 +00001072 if (CI2->equalsInt(0)) return C1; // X | 0 == X
Chris Lattner334d33c2008-04-19 21:58:19 +00001073 if (CI2->isAllOnesValue())
Nick Lewyckye0332982009-09-20 01:35:59 +00001074 return C2; // X | -1 == -1
Chris Lattner334d33c2008-04-19 21:58:19 +00001075 break;
1076 case Instruction::Xor:
Nick Lewyckye0332982009-09-20 01:35:59 +00001077 if (CI2->equalsInt(0)) return C1; // X ^ 0 == X
Nick Lewycky28260402009-09-20 06:24:51 +00001078
1079 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
1080 switch (CE1->getOpcode()) {
1081 default: break;
1082 case Instruction::ICmp:
1083 case Instruction::FCmp:
Nick Lewyckyff550aa2009-09-20 06:27:35 +00001084 // cmp pred ^ true -> cmp !pred
Nick Lewycky28260402009-09-20 06:24:51 +00001085 assert(CI2->equalsInt(1));
Nick Lewycky0f8348e2009-09-20 06:26:34 +00001086 CmpInst::Predicate pred = (CmpInst::Predicate)CE1->getPredicate();
Nick Lewycky28260402009-09-20 06:24:51 +00001087 pred = CmpInst::getInversePredicate(pred);
1088 return ConstantExpr::getCompare(pred, CE1->getOperand(0),
1089 CE1->getOperand(1));
1090 }
1091 }
Chris Lattner334d33c2008-04-19 21:58:19 +00001092 break;
1093 case Instruction::AShr:
1094 // ashr (zext C to Ty), C2 -> lshr (zext C, CSA), C2
Nick Lewyckye0332982009-09-20 01:35:59 +00001095 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1))
Chris Lattner6d94bb72007-03-25 05:47:04 +00001096 if (CE1->getOpcode() == Instruction::ZExt) // Top bits known zero.
Nick Lewyckye0332982009-09-20 01:35:59 +00001097 return ConstantExpr::getLShr(C1, C2);
Chris Lattner334d33c2008-04-19 21:58:19 +00001098 break;
Reid Spencer266e42b2006-12-23 06:05:41 +00001099 }
Dan Gohman6c5ac6d2010-02-22 22:43:23 +00001100 } else if (isa<ConstantInt>(C1)) {
1101 // If C1 is a ConstantInt and C2 is not, swap the operands.
1102 if (Instruction::isCommutative(Opcode))
1103 return ConstantExpr::get(Opcode, C2, C1);
Chris Lattner334d33c2008-04-19 21:58:19 +00001104 }
Dan Gohman062d3782009-08-29 23:35:16 +00001105
Chris Lattner6b056052008-04-20 18:24:14 +00001106 // At this point we know neither constant is an UndefValue.
Nick Lewyckye0332982009-09-20 01:35:59 +00001107 if (ConstantInt *CI1 = dyn_cast<ConstantInt>(C1)) {
1108 if (ConstantInt *CI2 = dyn_cast<ConstantInt>(C2)) {
Chris Lattner6b056052008-04-20 18:24:14 +00001109 const APInt &C1V = CI1->getValue();
1110 const APInt &C2V = CI2->getValue();
Chris Lattner344da522007-01-12 18:42:52 +00001111 switch (Opcode) {
1112 default:
1113 break;
1114 case Instruction::Add:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001115 return ConstantInt::get(CI1->getContext(), C1V + C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001116 case Instruction::Sub:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001117 return ConstantInt::get(CI1->getContext(), C1V - C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001118 case Instruction::Mul:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001119 return ConstantInt::get(CI1->getContext(), C1V * C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001120 case Instruction::UDiv:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001121 assert(!CI2->isNullValue() && "Div by zero handled above");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001122 return ConstantInt::get(CI1->getContext(), C1V.udiv(C2V));
Chris Lattner344da522007-01-12 18:42:52 +00001123 case Instruction::SDiv:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001124 assert(!CI2->isNullValue() && "Div by zero handled above");
Reid Spencer81658a82007-02-27 06:23:51 +00001125 if (C2V.isAllOnesValue() && C1V.isMinSignedValue())
Owen Andersonb292b8c2009-07-30 23:03:37 +00001126 return UndefValue::get(CI1->getType()); // MIN_INT / -1 -> undef
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001127 return ConstantInt::get(CI1->getContext(), C1V.sdiv(C2V));
Reid Spencer81658a82007-02-27 06:23:51 +00001128 case Instruction::URem:
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001129 assert(!CI2->isNullValue() && "Div by zero handled above");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001130 return ConstantInt::get(CI1->getContext(), C1V.urem(C2V));
Chris Lattnerdd8ef1b2009-01-19 21:55:26 +00001131 case Instruction::SRem:
1132 assert(!CI2->isNullValue() && "Div by zero handled above");
Reid Spencer81658a82007-02-27 06:23:51 +00001133 if (C2V.isAllOnesValue() && C1V.isMinSignedValue())
Owen Andersonb292b8c2009-07-30 23:03:37 +00001134 return UndefValue::get(CI1->getType()); // MIN_INT % -1 -> undef
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001135 return ConstantInt::get(CI1->getContext(), C1V.srem(C2V));
Chris Lattner344da522007-01-12 18:42:52 +00001136 case Instruction::And:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001137 return ConstantInt::get(CI1->getContext(), C1V & C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001138 case Instruction::Or:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001139 return ConstantInt::get(CI1->getContext(), C1V | C2V);
Chris Lattner344da522007-01-12 18:42:52 +00001140 case Instruction::Xor:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001141 return ConstantInt::get(CI1->getContext(), C1V ^ C2V);
David Majnemere2a4b852015-03-13 16:39:46 +00001142 case Instruction::Shl:
1143 if (C2V.ult(C1V.getBitWidth()))
1144 return ConstantInt::get(CI1->getContext(), C1V.shl(C2V));
1145 return UndefValue::get(C1->getType()); // too big shift is undef
1146 case Instruction::LShr:
1147 if (C2V.ult(C1V.getBitWidth()))
1148 return ConstantInt::get(CI1->getContext(), C1V.lshr(C2V));
1149 return UndefValue::get(C1->getType()); // too big shift is undef
1150 case Instruction::AShr:
1151 if (C2V.ult(C1V.getBitWidth()))
1152 return ConstantInt::get(CI1->getContext(), C1V.ashr(C2V));
1153 return UndefValue::get(C1->getType()); // too big shift is undef
Reid Spencer266e42b2006-12-23 06:05:41 +00001154 }
1155 }
Nick Lewycky6b8320f2009-06-21 01:56:41 +00001156
1157 switch (Opcode) {
1158 case Instruction::SDiv:
1159 case Instruction::UDiv:
1160 case Instruction::URem:
1161 case Instruction::SRem:
1162 case Instruction::LShr:
1163 case Instruction::AShr:
1164 case Instruction::Shl:
Nick Lewyckye0332982009-09-20 01:35:59 +00001165 if (CI1->equalsInt(0)) return C1;
Nick Lewycky6b8320f2009-06-21 01:56:41 +00001166 break;
1167 default:
1168 break;
1169 }
Nick Lewyckye0332982009-09-20 01:35:59 +00001170 } else if (ConstantFP *CFP1 = dyn_cast<ConstantFP>(C1)) {
1171 if (ConstantFP *CFP2 = dyn_cast<ConstantFP>(C2)) {
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001172 APFloat C1V = CFP1->getValueAPF();
1173 APFloat C2V = CFP2->getValueAPF();
1174 APFloat C3V = C1V; // copy for modification
Reid Spencer266e42b2006-12-23 06:05:41 +00001175 switch (Opcode) {
1176 default:
1177 break;
Dan Gohmana5b96452009-06-04 22:49:04 +00001178 case Instruction::FAdd:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001179 (void)C3V.add(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001180 return ConstantFP::get(C1->getContext(), C3V);
Dan Gohmana5b96452009-06-04 22:49:04 +00001181 case Instruction::FSub:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001182 (void)C3V.subtract(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001183 return ConstantFP::get(C1->getContext(), C3V);
Dan Gohmana5b96452009-06-04 22:49:04 +00001184 case Instruction::FMul:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001185 (void)C3V.multiply(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001186 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001187 case Instruction::FDiv:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001188 (void)C3V.divide(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001189 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001190 case Instruction::FRem:
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001191 (void)C3V.mod(C2V, APFloat::rmNearestTiesToEven);
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001192 return ConstantFP::get(C1->getContext(), C3V);
Reid Spencer266e42b2006-12-23 06:05:41 +00001193 }
1194 }
Chris Lattner229907c2011-07-18 04:54:35 +00001195 } else if (VectorType *VTy = dyn_cast<VectorType>(C1->getType())) {
Chris Lattnerfa775002012-01-26 02:32:04 +00001196 // Perform elementwise folding.
1197 SmallVector<Constant*, 16> Result;
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001198 Type *Ty = IntegerType::get(VTy->getContext(), 32);
Chris Lattnerfa775002012-01-26 02:32:04 +00001199 for (unsigned i = 0, e = VTy->getNumElements(); i != e; ++i) {
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001200 Constant *LHS =
1201 ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, i));
1202 Constant *RHS =
1203 ConstantExpr::getExtractElement(C2, ConstantInt::get(Ty, i));
Chris Lattnerfa775002012-01-26 02:32:04 +00001204
1205 Result.push_back(ConstantExpr::get(Opcode, LHS, RHS));
Reid Spencer266e42b2006-12-23 06:05:41 +00001206 }
Chris Lattnerfa775002012-01-26 02:32:04 +00001207
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001208 return ConstantVector::get(Result);
Reid Spencer266e42b2006-12-23 06:05:41 +00001209 }
1210
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001211 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
Chris Lattner6b056052008-04-20 18:24:14 +00001212 // There are many possible foldings we could do here. We should probably
1213 // at least fold add of a pointer with an integer into the appropriate
1214 // getelementptr. This will improve alias analysis a bit.
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001215
1216 // Given ((a + b) + c), if (b + c) folds to something interesting, return
1217 // (a + (b + c)).
Duncan Sands70db5e72010-12-20 13:10:23 +00001218 if (Instruction::isAssociative(Opcode) && CE1->getOpcode() == Opcode) {
Dan Gohmane5e1b7b2010-02-01 18:27:38 +00001219 Constant *T = ConstantExpr::get(Opcode, CE1->getOperand(1), C2);
1220 if (!isa<ConstantExpr>(T) || cast<ConstantExpr>(T)->getOpcode() != Opcode)
1221 return ConstantExpr::get(Opcode, CE1->getOperand(0), T);
1222 }
Chris Lattner6b056052008-04-20 18:24:14 +00001223 } else if (isa<ConstantExpr>(C2)) {
1224 // If C2 is a constant expr and C1 isn't, flop them around and fold the
1225 // other way if possible.
Dan Gohman6eeabaa2010-02-22 22:05:18 +00001226 if (Instruction::isCommutative(Opcode))
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001227 return ConstantFoldBinaryInstruction(Opcode, C2, C1);
Chris Lattner6b056052008-04-20 18:24:14 +00001228 }
Dan Gohman062d3782009-08-29 23:35:16 +00001229
Nick Lewycky605109d2009-09-20 00:04:02 +00001230 // i1 can be simplified in many cases.
Duncan Sands9dff9be2010-02-15 16:12:20 +00001231 if (C1->getType()->isIntegerTy(1)) {
Nick Lewycky605109d2009-09-20 00:04:02 +00001232 switch (Opcode) {
1233 case Instruction::Add:
1234 case Instruction::Sub:
Nick Lewyckye0332982009-09-20 01:35:59 +00001235 return ConstantExpr::getXor(C1, C2);
Nick Lewycky605109d2009-09-20 00:04:02 +00001236 case Instruction::Mul:
Nick Lewyckye0332982009-09-20 01:35:59 +00001237 return ConstantExpr::getAnd(C1, C2);
Nick Lewycky605109d2009-09-20 00:04:02 +00001238 case Instruction::Shl:
1239 case Instruction::LShr:
1240 case Instruction::AShr:
1241 // We can assume that C2 == 0. If it were one the result would be
1242 // undefined because the shift value is as large as the bitwidth.
Nick Lewyckye0332982009-09-20 01:35:59 +00001243 return C1;
Nick Lewycky605109d2009-09-20 00:04:02 +00001244 case Instruction::SDiv:
1245 case Instruction::UDiv:
1246 // We can assume that C2 == 1. If it were zero the result would be
1247 // undefined through division by zero.
Nick Lewyckye0332982009-09-20 01:35:59 +00001248 return C1;
Nick Lewycky605109d2009-09-20 00:04:02 +00001249 case Instruction::URem:
1250 case Instruction::SRem:
1251 // We can assume that C2 == 1. If it were zero the result would be
1252 // undefined through division by zero.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001253 return ConstantInt::getFalse(C1->getContext());
Nick Lewycky605109d2009-09-20 00:04:02 +00001254 default:
1255 break;
1256 }
1257 }
1258
Chris Lattner6b056052008-04-20 18:24:14 +00001259 // We don't know how to fold this.
Craig Topperc6207612014-04-09 06:08:46 +00001260 return nullptr;
Reid Spencer266e42b2006-12-23 06:05:41 +00001261}
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001262
Chris Lattner60c47262005-01-28 19:09:51 +00001263/// isZeroSizedType - This type is zero sized if its an array or structure of
1264/// zero sized types. The only leaf zero sized type is an empty structure.
Chris Lattner229907c2011-07-18 04:54:35 +00001265static bool isMaybeZeroSizedType(Type *Ty) {
1266 if (StructType *STy = dyn_cast<StructType>(Ty)) {
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001267 if (STy->isOpaque()) return true; // Can't say.
Chris Lattner60c47262005-01-28 19:09:51 +00001268
1269 // If all of elements have zero size, this does too.
1270 for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i)
Chris Lattnerfeaf92f2005-01-28 23:17:27 +00001271 if (!isMaybeZeroSizedType(STy->getElementType(i))) return false;
Chris Lattner60c47262005-01-28 19:09:51 +00001272 return true;
1273
Chris Lattner229907c2011-07-18 04:54:35 +00001274 } else if (ArrayType *ATy = dyn_cast<ArrayType>(Ty)) {
Chris Lattner60c47262005-01-28 19:09:51 +00001275 return isMaybeZeroSizedType(ATy->getElementType());
1276 }
1277 return false;
1278}
Chris Lattner6ea4b522004-03-12 05:53:32 +00001279
Chris Lattner061da2f2004-01-13 05:51:55 +00001280/// IdxCompare - Compare the two constants as though they were getelementptr
1281/// indices. This allows coersion of the types to be the same thing.
1282///
1283/// If the two constants are the "same" (after coersion), return 0. If the
1284/// first is less than the second, return -1, if the second is less than the
1285/// first, return 1. If the constants are not integral, return -2.
1286///
Chris Lattner229907c2011-07-18 04:54:35 +00001287static int IdxCompare(Constant *C1, Constant *C2, Type *ElTy) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001288 if (C1 == C2) return 0;
1289
Reid Spencerc90cf772006-12-31 21:43:30 +00001290 // Ok, we found a different index. If they are not ConstantInt, we can't do
1291 // anything with them.
Chris Lattner061da2f2004-01-13 05:51:55 +00001292 if (!isa<ConstantInt>(C1) || !isa<ConstantInt>(C2))
1293 return -2; // don't know!
Misha Brukmanb1c93172005-04-21 23:48:37 +00001294
David Majnemer8b774542015-02-16 19:10:02 +00001295 // We cannot compare the indices if they don't fit in an int64_t.
1296 if (cast<ConstantInt>(C1)->getValue().getActiveBits() > 64 ||
1297 cast<ConstantInt>(C2)->getValue().getActiveBits() > 64)
1298 return -2; // don't know!
1299
Chris Lattner69193f92004-04-05 01:30:19 +00001300 // Ok, we have two differing integer indices. Sign extend them to be the same
David Majnemer8b774542015-02-16 19:10:02 +00001301 // type.
1302 int64_t C1Val = cast<ConstantInt>(C1)->getSExtValue();
1303 int64_t C2Val = cast<ConstantInt>(C2)->getSExtValue();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001304
David Majnemer8b774542015-02-16 19:10:02 +00001305 if (C1Val == C2Val) return 0; // They are equal
Chris Lattner061da2f2004-01-13 05:51:55 +00001306
Chris Lattner60c47262005-01-28 19:09:51 +00001307 // If the type being indexed over is really just a zero sized type, there is
1308 // no pointer difference being made here.
1309 if (isMaybeZeroSizedType(ElTy))
1310 return -2; // dunno.
1311
Chris Lattner061da2f2004-01-13 05:51:55 +00001312 // If they are really different, now that they are the same type, then we
1313 // found a difference!
David Majnemer8b774542015-02-16 19:10:02 +00001314 if (C1Val < C2Val)
Chris Lattner061da2f2004-01-13 05:51:55 +00001315 return -1;
1316 else
1317 return 1;
1318}
1319
Chris Lattner858f4e92007-01-04 02:13:20 +00001320/// evaluateFCmpRelation - This function determines if there is anything we can
Reid Spencer266e42b2006-12-23 06:05:41 +00001321/// decide about the two constants provided. This doesn't need to handle simple
1322/// things like ConstantFP comparisons, but should instead handle ConstantExprs.
1323/// If we can determine that the two constants have a particular relation to
1324/// each other, we should return the corresponding FCmpInst predicate,
Reid Spencer9d36acf2006-12-24 18:52:08 +00001325/// otherwise return FCmpInst::BAD_FCMP_PREDICATE. This is used below in
1326/// ConstantFoldCompareInstruction.
Reid Spencer266e42b2006-12-23 06:05:41 +00001327///
1328/// To simplify this code we canonicalize the relation so that the first
Reid Spencer9d36acf2006-12-24 18:52:08 +00001329/// operand is always the most "complex" of the two. We consider ConstantFP
1330/// to be the simplest, and ConstantExprs to be the most complex.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001331static FCmpInst::Predicate evaluateFCmpRelation(Constant *V1, Constant *V2) {
Reid Spencer266e42b2006-12-23 06:05:41 +00001332 assert(V1->getType() == V2->getType() &&
Reid Spencer9d36acf2006-12-24 18:52:08 +00001333 "Cannot compare values of different types!");
Dale Johannesen19db0932007-10-14 01:56:47 +00001334
Reid Spencer9d36acf2006-12-24 18:52:08 +00001335 // Handle degenerate case quickly
Reid Spencer266e42b2006-12-23 06:05:41 +00001336 if (V1 == V2) return FCmpInst::FCMP_OEQ;
1337
Reid Spencer9d36acf2006-12-24 18:52:08 +00001338 if (!isa<ConstantExpr>(V1)) {
1339 if (!isa<ConstantExpr>(V2)) {
Mehdi Aminieb242a52015-03-09 03:20:25 +00001340 // Simple case, use the standard constant folder.
Craig Topperc6207612014-04-09 06:08:46 +00001341 ConstantInt *R = nullptr;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001342 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001343 ConstantExpr::getFCmp(FCmpInst::FCMP_OEQ, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001344 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001345 return FCmpInst::FCMP_OEQ;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001346 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001347 ConstantExpr::getFCmp(FCmpInst::FCMP_OLT, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001348 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001349 return FCmpInst::FCMP_OLT;
Zhou Sheng75b871f2007-01-11 12:24:14 +00001350 R = dyn_cast<ConstantInt>(
Nick Lewyckye0332982009-09-20 01:35:59 +00001351 ConstantExpr::getFCmp(FCmpInst::FCMP_OGT, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001352 if (R && !R->isZero())
Reid Spencer9d36acf2006-12-24 18:52:08 +00001353 return FCmpInst::FCMP_OGT;
1354
1355 // Nothing more we can do
Reid Spencer266e42b2006-12-23 06:05:41 +00001356 return FCmpInst::BAD_FCMP_PREDICATE;
1357 }
Dan Gohman062d3782009-08-29 23:35:16 +00001358
Reid Spencer9d36acf2006-12-24 18:52:08 +00001359 // If the first operand is simple and second is ConstantExpr, swap operands.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001360 FCmpInst::Predicate SwappedRelation = evaluateFCmpRelation(V2, V1);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001361 if (SwappedRelation != FCmpInst::BAD_FCMP_PREDICATE)
1362 return FCmpInst::getSwappedPredicate(SwappedRelation);
1363 } else {
1364 // Ok, the LHS is known to be a constantexpr. The RHS can be any of a
1365 // constantexpr or a simple constant.
Nick Lewyckye0332982009-09-20 01:35:59 +00001366 ConstantExpr *CE1 = cast<ConstantExpr>(V1);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001367 switch (CE1->getOpcode()) {
1368 case Instruction::FPTrunc:
1369 case Instruction::FPExt:
1370 case Instruction::UIToFP:
1371 case Instruction::SIToFP:
1372 // We might be able to do something with these but we don't right now.
1373 break;
1374 default:
1375 break;
1376 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001377 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001378 // There are MANY other foldings that we could perform here. They will
1379 // probably be added on demand, as they seem needed.
1380 return FCmpInst::BAD_FCMP_PREDICATE;
1381}
1382
David Majnemerd1bea692014-07-04 22:05:26 +00001383static ICmpInst::Predicate areGlobalsPotentiallyEqual(const GlobalValue *GV1,
1384 const GlobalValue *GV2) {
David Majnemer770fd822014-12-08 19:35:31 +00001385 auto isGlobalUnsafeForEquality = [](const GlobalValue *GV) {
1386 if (GV->hasExternalWeakLinkage() || GV->hasWeakAnyLinkage())
1387 return true;
1388 if (const auto *GVar = dyn_cast<GlobalVariable>(GV)) {
David Blaikiee7107062015-05-13 22:54:54 +00001389 Type *Ty = GVar->getValueType();
David Majnemer770fd822014-12-08 19:35:31 +00001390 // A global with opaque type might end up being zero sized.
1391 if (!Ty->isSized())
1392 return true;
1393 // A global with an empty type might lie at the address of any other
1394 // global.
1395 if (Ty->isEmptyTy())
1396 return true;
1397 }
1398 return false;
David Majnemer64ba3262014-12-06 11:58:33 +00001399 };
David Majnemerd1bea692014-07-04 22:05:26 +00001400 // Don't try to decide equality of aliases.
1401 if (!isa<GlobalAlias>(GV1) && !isa<GlobalAlias>(GV2))
David Majnemer770fd822014-12-08 19:35:31 +00001402 if (!isGlobalUnsafeForEquality(GV1) && !isGlobalUnsafeForEquality(GV2))
David Majnemerd1bea692014-07-04 22:05:26 +00001403 return ICmpInst::ICMP_NE;
1404 return ICmpInst::BAD_ICMP_PREDICATE;
1405}
1406
Reid Spencer266e42b2006-12-23 06:05:41 +00001407/// evaluateICmpRelation - This function determines if there is anything we can
Chris Lattner061da2f2004-01-13 05:51:55 +00001408/// decide about the two constants provided. This doesn't need to handle simple
Reid Spenceraccd7c72004-07-17 23:47:01 +00001409/// things like integer comparisons, but should instead handle ConstantExprs
Chris Lattner8410beb2006-12-11 02:16:58 +00001410/// and GlobalValues. If we can determine that the two constants have a
Reid Spencer266e42b2006-12-23 06:05:41 +00001411/// particular relation to each other, we should return the corresponding ICmp
1412/// predicate, otherwise return ICmpInst::BAD_ICMP_PREDICATE.
Chris Lattner061da2f2004-01-13 05:51:55 +00001413///
1414/// To simplify this code we canonicalize the relation so that the first
1415/// operand is always the most "complex" of the two. We consider simple
1416/// constants (like ConstantInt) to be the simplest, followed by
Reid Spenceraccd7c72004-07-17 23:47:01 +00001417/// GlobalValues, followed by ConstantExpr's (the most complex).
Chris Lattner061da2f2004-01-13 05:51:55 +00001418///
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001419static ICmpInst::Predicate evaluateICmpRelation(Constant *V1, Constant *V2,
Reid Spencer266e42b2006-12-23 06:05:41 +00001420 bool isSigned) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001421 assert(V1->getType() == V2->getType() &&
1422 "Cannot compare different types of values!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001423 if (V1 == V2) return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001424
Chris Lattner3c46e142010-02-01 19:35:08 +00001425 if (!isa<ConstantExpr>(V1) && !isa<GlobalValue>(V1) &&
1426 !isa<BlockAddress>(V1)) {
1427 if (!isa<GlobalValue>(V2) && !isa<ConstantExpr>(V2) &&
1428 !isa<BlockAddress>(V2)) {
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001429 // We distilled this down to a simple case, use the standard constant
1430 // folder.
Craig Topperc6207612014-04-09 06:08:46 +00001431 ConstantInt *R = nullptr;
Reid Spencer266e42b2006-12-23 06:05:41 +00001432 ICmpInst::Predicate pred = ICmpInst::ICMP_EQ;
Nick Lewyckye0332982009-09-20 01:35:59 +00001433 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001434 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001435 return pred;
1436 pred = isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Nick Lewyckye0332982009-09-20 01:35:59 +00001437 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001438 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001439 return pred;
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001440 pred = isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Nick Lewyckye0332982009-09-20 01:35:59 +00001441 R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, V1, V2));
Reid Spencer2e54a152007-03-02 00:28:52 +00001442 if (R && !R->isZero())
Reid Spencer266e42b2006-12-23 06:05:41 +00001443 return pred;
Dan Gohman062d3782009-08-29 23:35:16 +00001444
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001445 // If we couldn't figure it out, bail.
Reid Spencer266e42b2006-12-23 06:05:41 +00001446 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattnerfed8ceb2006-01-05 07:49:30 +00001447 }
Dan Gohman062d3782009-08-29 23:35:16 +00001448
Chris Lattner061da2f2004-01-13 05:51:55 +00001449 // If the first operand is simple, swap operands.
Reid Spencer266e42b2006-12-23 06:05:41 +00001450 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001451 evaluateICmpRelation(V2, V1, isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001452 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1453 return ICmpInst::getSwappedPredicate(SwappedRelation);
Chris Lattner061da2f2004-01-13 05:51:55 +00001454
Chris Lattner3c46e142010-02-01 19:35:08 +00001455 } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(V1)) {
Chris Lattner125ed542004-02-01 01:23:19 +00001456 if (isa<ConstantExpr>(V2)) { // Swap as necessary.
Reid Spencer266e42b2006-12-23 06:05:41 +00001457 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001458 evaluateICmpRelation(V2, V1, isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001459 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1460 return ICmpInst::getSwappedPredicate(SwappedRelation);
Chris Lattner3c46e142010-02-01 19:35:08 +00001461 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner125ed542004-02-01 01:23:19 +00001462 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001463
Chris Lattner3c46e142010-02-01 19:35:08 +00001464 // Now we know that the RHS is a GlobalValue, BlockAddress or simple
1465 // constant (which, since the types must match, means that it's a
1466 // ConstantPointerNull).
1467 if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
David Majnemerd1bea692014-07-04 22:05:26 +00001468 return areGlobalsPotentiallyEqual(GV, GV2);
Chris Lattner3c46e142010-02-01 19:35:08 +00001469 } else if (isa<BlockAddress>(V2)) {
1470 return ICmpInst::ICMP_NE; // Globals never equal labels.
Chris Lattner061da2f2004-01-13 05:51:55 +00001471 } else {
1472 assert(isa<ConstantPointerNull>(V2) && "Canonicalization guarantee!");
Chris Lattner3c46e142010-02-01 19:35:08 +00001473 // GlobalVals can never be null unless they have external weak linkage.
1474 // We don't try to evaluate aliases here.
1475 if (!GV->hasExternalWeakLinkage() && !isa<GlobalAlias>(GV))
Reid Spencer266e42b2006-12-23 06:05:41 +00001476 return ICmpInst::ICMP_NE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001477 }
Chris Lattner3c46e142010-02-01 19:35:08 +00001478 } else if (const BlockAddress *BA = dyn_cast<BlockAddress>(V1)) {
1479 if (isa<ConstantExpr>(V2)) { // Swap as necessary.
1480 ICmpInst::Predicate SwappedRelation =
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001481 evaluateICmpRelation(V2, V1, isSigned);
Chris Lattner3c46e142010-02-01 19:35:08 +00001482 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1483 return ICmpInst::getSwappedPredicate(SwappedRelation);
1484 return ICmpInst::BAD_ICMP_PREDICATE;
1485 }
1486
1487 // Now we know that the RHS is a GlobalValue, BlockAddress or simple
1488 // constant (which, since the types must match, means that it is a
1489 // ConstantPointerNull).
1490 if (const BlockAddress *BA2 = dyn_cast<BlockAddress>(V2)) {
1491 // Block address in another function can't equal this one, but block
1492 // addresses in the current function might be the same if blocks are
1493 // empty.
1494 if (BA2->getFunction() != BA->getFunction())
1495 return ICmpInst::ICMP_NE;
1496 } else {
1497 // Block addresses aren't null, don't equal the address of globals.
1498 assert((isa<ConstantPointerNull>(V2) || isa<GlobalValue>(V2)) &&
1499 "Canonicalization guarantee!");
1500 return ICmpInst::ICMP_NE;
1501 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001502 } else {
1503 // Ok, the LHS is known to be a constantexpr. The RHS can be any of a
Chris Lattner3c46e142010-02-01 19:35:08 +00001504 // constantexpr, a global, block address, or a simple constant.
Nick Lewyckye0332982009-09-20 01:35:59 +00001505 ConstantExpr *CE1 = cast<ConstantExpr>(V1);
1506 Constant *CE1Op0 = CE1->getOperand(0);
Chris Lattner061da2f2004-01-13 05:51:55 +00001507
1508 switch (CE1->getOpcode()) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001509 case Instruction::Trunc:
1510 case Instruction::FPTrunc:
1511 case Instruction::FPExt:
1512 case Instruction::FPToUI:
1513 case Instruction::FPToSI:
Reid Spencer266e42b2006-12-23 06:05:41 +00001514 break; // We can't evaluate floating point casts or truncations.
1515
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001516 case Instruction::UIToFP:
1517 case Instruction::SIToFP:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001518 case Instruction::BitCast:
Reid Spencer266e42b2006-12-23 06:05:41 +00001519 case Instruction::ZExt:
1520 case Instruction::SExt:
Chris Lattner061da2f2004-01-13 05:51:55 +00001521 // If the cast is not actually changing bits, and the second operand is a
1522 // null pointer, do the comparison with the pre-casted value.
1523 if (V2->isNullValue() &&
Duncan Sands19d0b472010-02-16 11:11:14 +00001524 (CE1->getType()->isPointerTy() || CE1->getType()->isIntegerTy())) {
Chris Lattnerd2265b42007-12-10 22:53:04 +00001525 if (CE1->getOpcode() == Instruction::ZExt) isSigned = false;
1526 if (CE1->getOpcode() == Instruction::SExt) isSigned = true;
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001527 return evaluateICmpRelation(CE1Op0,
Owen Anderson5a1acd92009-07-31 20:28:14 +00001528 Constant::getNullValue(CE1Op0->getType()),
Nick Lewycky2949a232009-09-20 03:48:46 +00001529 isSigned);
Reid Spencer266e42b2006-12-23 06:05:41 +00001530 }
Chris Lattner192e3262004-04-11 01:29:30 +00001531 break;
Chris Lattner061da2f2004-01-13 05:51:55 +00001532
David Majnemerd1bea692014-07-04 22:05:26 +00001533 case Instruction::GetElementPtr: {
1534 GEPOperator *CE1GEP = cast<GEPOperator>(CE1);
Chris Lattner061da2f2004-01-13 05:51:55 +00001535 // Ok, since this is a getelementptr, we know that the constant has a
1536 // pointer type. Check the various cases.
1537 if (isa<ConstantPointerNull>(V2)) {
1538 // If we are comparing a GEP to a null pointer, check to see if the base
1539 // of the GEP equals the null pointer.
Reid Spencer9d36acf2006-12-24 18:52:08 +00001540 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
Reid Spencer876f7222006-12-06 00:25:09 +00001541 if (GV->hasExternalWeakLinkage())
1542 // Weak linkage GVals could be zero or not. We're comparing that
1543 // to null pointer so its greater-or-equal
Reid Spencer266e42b2006-12-23 06:05:41 +00001544 return isSigned ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE;
Reid Spencer876f7222006-12-06 00:25:09 +00001545 else
1546 // If its not weak linkage, the GVal must have a non-zero address
1547 // so the result is greater-than
Nick Lewycky9e085542009-09-20 04:27:06 +00001548 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001549 } else if (isa<ConstantPointerNull>(CE1Op0)) {
1550 // If we are indexing from a null pointer, check to see if we have any
1551 // non-zero indices.
1552 for (unsigned i = 1, e = CE1->getNumOperands(); i != e; ++i)
1553 if (!CE1->getOperand(i)->isNullValue())
1554 // Offsetting from null, must not be equal.
Reid Spencer266e42b2006-12-23 06:05:41 +00001555 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001556 // Only zero indexes from null, must still be zero.
Reid Spencer266e42b2006-12-23 06:05:41 +00001557 return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001558 }
1559 // Otherwise, we can't really say if the first operand is null or not.
Chris Lattner3c46e142010-02-01 19:35:08 +00001560 } else if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001561 if (isa<ConstantPointerNull>(CE1Op0)) {
Chris Lattner3c46e142010-02-01 19:35:08 +00001562 if (GV2->hasExternalWeakLinkage())
Reid Spencer876f7222006-12-06 00:25:09 +00001563 // Weak linkage GVals could be zero or not. We're comparing it to
1564 // a null pointer, so its less-or-equal
Reid Spencer266e42b2006-12-23 06:05:41 +00001565 return isSigned ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE;
Reid Spencer876f7222006-12-06 00:25:09 +00001566 else
1567 // If its not weak linkage, the GVal must have a non-zero address
1568 // so the result is less-than
Reid Spencer266e42b2006-12-23 06:05:41 +00001569 return isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Chris Lattner3c46e142010-02-01 19:35:08 +00001570 } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
1571 if (GV == GV2) {
Chris Lattner061da2f2004-01-13 05:51:55 +00001572 // If this is a getelementptr of the same global, then it must be
1573 // different. Because the types must match, the getelementptr could
1574 // only have at most one index, and because we fold getelementptr's
1575 // with a single zero index, it must be nonzero.
1576 assert(CE1->getNumOperands() == 2 &&
1577 !CE1->getOperand(1)->isNullValue() &&
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001578 "Surprising getelementptr!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001579 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner061da2f2004-01-13 05:51:55 +00001580 } else {
David Majnemerd1bea692014-07-04 22:05:26 +00001581 if (CE1GEP->hasAllZeroIndices())
1582 return areGlobalsPotentiallyEqual(GV, GV2);
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001583 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001584 }
1585 }
1586 } else {
Nick Lewyckye0332982009-09-20 01:35:59 +00001587 ConstantExpr *CE2 = cast<ConstantExpr>(V2);
1588 Constant *CE2Op0 = CE2->getOperand(0);
Chris Lattner061da2f2004-01-13 05:51:55 +00001589
1590 // There are MANY other foldings that we could perform here. They will
1591 // probably be added on demand, as they seem needed.
1592 switch (CE2->getOpcode()) {
1593 default: break;
1594 case Instruction::GetElementPtr:
1595 // By far the most common case to handle is when the base pointers are
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001596 // obviously to the same global.
Reid Spenceraccd7c72004-07-17 23:47:01 +00001597 if (isa<GlobalValue>(CE1Op0) && isa<GlobalValue>(CE2Op0)) {
David Majnemerd1bea692014-07-04 22:05:26 +00001598 // Don't know relative ordering, but check for inequality.
1599 if (CE1Op0 != CE2Op0) {
1600 GEPOperator *CE2GEP = cast<GEPOperator>(CE2);
1601 if (CE1GEP->hasAllZeroIndices() && CE2GEP->hasAllZeroIndices())
1602 return areGlobalsPotentiallyEqual(cast<GlobalValue>(CE1Op0),
1603 cast<GlobalValue>(CE2Op0));
Dan Gohman6a61fcc2013-01-31 00:01:45 +00001604 return ICmpInst::BAD_ICMP_PREDICATE;
David Majnemerd1bea692014-07-04 22:05:26 +00001605 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001606 // Ok, we know that both getelementptr instructions are based on the
1607 // same global. From this, we can precisely determine the relative
1608 // ordering of the resultant pointers.
1609 unsigned i = 1;
Misha Brukmanb1c93172005-04-21 23:48:37 +00001610
Dan Gohman7190d482009-09-10 23:37:55 +00001611 // The logic below assumes that the result of the comparison
1612 // can be determined by finding the first index that differs.
1613 // This doesn't work if there is over-indexing in any
1614 // subsequent indices, so check for that case first.
1615 if (!CE1->isGEPWithNoNotionalOverIndexing() ||
1616 !CE2->isGEPWithNoNotionalOverIndexing())
1617 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
1618
Chris Lattner061da2f2004-01-13 05:51:55 +00001619 // Compare all of the operands the GEP's have in common.
Chris Lattner60c47262005-01-28 19:09:51 +00001620 gep_type_iterator GTI = gep_type_begin(CE1);
1621 for (;i != CE1->getNumOperands() && i != CE2->getNumOperands();
1622 ++i, ++GTI)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001623 switch (IdxCompare(CE1->getOperand(i),
Owen Anderson53a52212009-07-13 04:09:18 +00001624 CE2->getOperand(i), GTI.getIndexedType())) {
Reid Spencer266e42b2006-12-23 06:05:41 +00001625 case -1: return isSigned ? ICmpInst::ICMP_SLT:ICmpInst::ICMP_ULT;
1626 case 1: return isSigned ? ICmpInst::ICMP_SGT:ICmpInst::ICMP_UGT;
1627 case -2: return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001628 }
1629
1630 // Ok, we ran out of things they have in common. If any leftovers
1631 // are non-zero then we have a difference, otherwise we are equal.
1632 for (; i < CE1->getNumOperands(); ++i)
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001633 if (!CE1->getOperand(i)->isNullValue()) {
Zhou Sheng75b871f2007-01-11 12:24:14 +00001634 if (isa<ConstantInt>(CE1->getOperand(i)))
Reid Spencer266e42b2006-12-23 06:05:41 +00001635 return isSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
Chris Lattner60c47262005-01-28 19:09:51 +00001636 else
Reid Spencer266e42b2006-12-23 06:05:41 +00001637 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001638 }
Misha Brukmanb1c93172005-04-21 23:48:37 +00001639
Chris Lattner061da2f2004-01-13 05:51:55 +00001640 for (; i < CE2->getNumOperands(); ++i)
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001641 if (!CE2->getOperand(i)->isNullValue()) {
Zhou Sheng75b871f2007-01-11 12:24:14 +00001642 if (isa<ConstantInt>(CE2->getOperand(i)))
Reid Spencer266e42b2006-12-23 06:05:41 +00001643 return isSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
Chris Lattner60c47262005-01-28 19:09:51 +00001644 else
Reid Spencer266e42b2006-12-23 06:05:41 +00001645 return ICmpInst::BAD_ICMP_PREDICATE; // Might be equal.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001646 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001647 return ICmpInst::ICMP_EQ;
Chris Lattner061da2f2004-01-13 05:51:55 +00001648 }
1649 }
1650 }
David Majnemerd1bea692014-07-04 22:05:26 +00001651 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001652 default:
1653 break;
1654 }
1655 }
1656
Reid Spencer266e42b2006-12-23 06:05:41 +00001657 return ICmpInst::BAD_ICMP_PREDICATE;
Chris Lattner061da2f2004-01-13 05:51:55 +00001658}
1659
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001660Constant *llvm::ConstantFoldCompareInstruction(unsigned short pred,
Nick Lewyckye0332982009-09-20 01:35:59 +00001661 Constant *C1, Constant *C2) {
Chris Lattner229907c2011-07-18 04:54:35 +00001662 Type *ResultTy;
1663 if (VectorType *VT = dyn_cast<VectorType>(C1->getType()))
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001664 ResultTy = VectorType::get(Type::getInt1Ty(C1->getContext()),
1665 VT->getNumElements());
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001666 else
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001667 ResultTy = Type::getInt1Ty(C1->getContext());
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001668
Chris Lattnerd137a082008-07-08 05:46:34 +00001669 // Fold FCMP_FALSE/FCMP_TRUE unconditionally.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001670 if (pred == FCmpInst::FCMP_FALSE)
Owen Anderson5a1acd92009-07-31 20:28:14 +00001671 return Constant::getNullValue(ResultTy);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001672
1673 if (pred == FCmpInst::FCMP_TRUE)
Owen Anderson5a1acd92009-07-31 20:28:14 +00001674 return Constant::getAllOnesValue(ResultTy);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001675
Reid Spencer266e42b2006-12-23 06:05:41 +00001676 // Handle some degenerate cases first
Dan Gohmane697a6f2010-06-28 21:30:07 +00001677 if (isa<UndefValue>(C1) || isa<UndefValue>(C2)) {
Mehdi Aminieb242a52015-03-09 03:20:25 +00001678 CmpInst::Predicate Predicate = CmpInst::Predicate(pred);
1679 bool isIntegerPredicate = ICmpInst::isIntPredicate(Predicate);
Dan Gohmane697a6f2010-06-28 21:30:07 +00001680 // For EQ and NE, we can always pick a value for the undef to make the
1681 // predicate pass or fail, so we can return undef.
Mehdi Aminieb242a52015-03-09 03:20:25 +00001682 // Also, if both operands are undef, we can return undef for int comparison.
1683 if (ICmpInst::isEquality(Predicate) || (isIntegerPredicate && C1 == C2))
Dan Gohmane697a6f2010-06-28 21:30:07 +00001684 return UndefValue::get(ResultTy);
Mehdi Aminieb242a52015-03-09 03:20:25 +00001685
1686 // Otherwise, for integer compare, pick the same value as the non-undef
1687 // operand, and fold it to true or false.
1688 if (isIntegerPredicate)
1689 return ConstantInt::get(ResultTy, CmpInst::isTrueWhenEqual(pred));
1690
1691 // Choosing NaN for the undef will always make unordered comparison succeed
1692 // and ordered comparison fails.
1693 return ConstantInt::get(ResultTy, CmpInst::isUnordered(Predicate));
Dan Gohmane697a6f2010-06-28 21:30:07 +00001694 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001695
1696 // icmp eq/ne(null,GV) -> false/true
1697 if (C1->isNullValue()) {
1698 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C2))
Duncan Sandsa38e5272007-09-19 10:16:17 +00001699 // Don't try to evaluate aliases. External weak GV can be null.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001700 if (!isa<GlobalAlias>(GV) && !GV->hasExternalWeakLinkage()) {
Reid Spencer9d36acf2006-12-24 18:52:08 +00001701 if (pred == ICmpInst::ICMP_EQ)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001702 return ConstantInt::getFalse(C1->getContext());
Reid Spencer9d36acf2006-12-24 18:52:08 +00001703 else if (pred == ICmpInst::ICMP_NE)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001704 return ConstantInt::getTrue(C1->getContext());
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001705 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001706 // icmp eq/ne(GV,null) -> false/true
1707 } else if (C2->isNullValue()) {
1708 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C1))
Duncan Sandsa38e5272007-09-19 10:16:17 +00001709 // Don't try to evaluate aliases. External weak GV can be null.
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001710 if (!isa<GlobalAlias>(GV) && !GV->hasExternalWeakLinkage()) {
Reid Spencer9d36acf2006-12-24 18:52:08 +00001711 if (pred == ICmpInst::ICMP_EQ)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001712 return ConstantInt::getFalse(C1->getContext());
Reid Spencer9d36acf2006-12-24 18:52:08 +00001713 else if (pred == ICmpInst::ICMP_NE)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001714 return ConstantInt::getTrue(C1->getContext());
Anton Korobeynikov579f0712008-02-20 11:08:44 +00001715 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00001716 }
1717
Nick Lewyckyb0225ba2009-09-20 07:21:39 +00001718 // If the comparison is a comparison between two i1's, simplify it.
Duncan Sands9dff9be2010-02-15 16:12:20 +00001719 if (C1->getType()->isIntegerTy(1)) {
Nick Lewyckyb0225ba2009-09-20 07:21:39 +00001720 switch(pred) {
1721 case ICmpInst::ICMP_EQ:
1722 if (isa<ConstantInt>(C2))
1723 return ConstantExpr::getXor(C1, ConstantExpr::getNot(C2));
1724 return ConstantExpr::getXor(ConstantExpr::getNot(C1), C2);
1725 case ICmpInst::ICMP_NE:
1726 return ConstantExpr::getXor(C1, C2);
1727 default:
1728 break;
1729 }
1730 }
1731
Chris Lattner344da522007-01-12 18:42:52 +00001732 if (isa<ConstantInt>(C1) && isa<ConstantInt>(C2)) {
Reid Spencer81658a82007-02-27 06:23:51 +00001733 APInt V1 = cast<ConstantInt>(C1)->getValue();
1734 APInt V2 = cast<ConstantInt>(C2)->getValue();
1735 switch (pred) {
David Blaikie46a9f012012-01-20 21:51:11 +00001736 default: llvm_unreachable("Invalid ICmp Predicate");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001737 case ICmpInst::ICMP_EQ: return ConstantInt::get(ResultTy, V1 == V2);
1738 case ICmpInst::ICMP_NE: return ConstantInt::get(ResultTy, V1 != V2);
1739 case ICmpInst::ICMP_SLT: return ConstantInt::get(ResultTy, V1.slt(V2));
1740 case ICmpInst::ICMP_SGT: return ConstantInt::get(ResultTy, V1.sgt(V2));
1741 case ICmpInst::ICMP_SLE: return ConstantInt::get(ResultTy, V1.sle(V2));
1742 case ICmpInst::ICMP_SGE: return ConstantInt::get(ResultTy, V1.sge(V2));
1743 case ICmpInst::ICMP_ULT: return ConstantInt::get(ResultTy, V1.ult(V2));
1744 case ICmpInst::ICMP_UGT: return ConstantInt::get(ResultTy, V1.ugt(V2));
1745 case ICmpInst::ICMP_ULE: return ConstantInt::get(ResultTy, V1.ule(V2));
1746 case ICmpInst::ICMP_UGE: return ConstantInt::get(ResultTy, V1.uge(V2));
Chris Lattner061da2f2004-01-13 05:51:55 +00001747 }
Reid Spencer266e42b2006-12-23 06:05:41 +00001748 } else if (isa<ConstantFP>(C1) && isa<ConstantFP>(C2)) {
Dale Johannesenbed9dc42007-09-06 18:13:44 +00001749 APFloat C1V = cast<ConstantFP>(C1)->getValueAPF();
1750 APFloat C2V = cast<ConstantFP>(C2)->getValueAPF();
1751 APFloat::cmpResult R = C1V.compare(C2V);
Reid Spencer9d36acf2006-12-24 18:52:08 +00001752 switch (pred) {
David Blaikie46a9f012012-01-20 21:51:11 +00001753 default: llvm_unreachable("Invalid FCmp Predicate");
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001754 case FCmpInst::FCMP_FALSE: return Constant::getNullValue(ResultTy);
1755 case FCmpInst::FCMP_TRUE: return Constant::getAllOnesValue(ResultTy);
Reid Spencer266e42b2006-12-23 06:05:41 +00001756 case FCmpInst::FCMP_UNO:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001757 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered);
Reid Spencer74bd0362007-01-11 00:25:45 +00001758 case FCmpInst::FCMP_ORD:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001759 return ConstantInt::get(ResultTy, R!=APFloat::cmpUnordered);
Reid Spencer266e42b2006-12-23 06:05:41 +00001760 case FCmpInst::FCMP_UEQ:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001761 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1762 R==APFloat::cmpEqual);
Reid Spencercddc9df2007-01-12 04:24:46 +00001763 case FCmpInst::FCMP_OEQ:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001764 return ConstantInt::get(ResultTy, R==APFloat::cmpEqual);
Reid Spencer74bd0362007-01-11 00:25:45 +00001765 case FCmpInst::FCMP_UNE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001766 return ConstantInt::get(ResultTy, R!=APFloat::cmpEqual);
Reid Spencercddc9df2007-01-12 04:24:46 +00001767 case FCmpInst::FCMP_ONE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001768 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan ||
1769 R==APFloat::cmpGreaterThan);
Reid Spencer74bd0362007-01-11 00:25:45 +00001770 case FCmpInst::FCMP_ULT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001771 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1772 R==APFloat::cmpLessThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001773 case FCmpInst::FCMP_OLT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001774 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan);
Reid Spencer266e42b2006-12-23 06:05:41 +00001775 case FCmpInst::FCMP_UGT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001776 return ConstantInt::get(ResultTy, R==APFloat::cmpUnordered ||
1777 R==APFloat::cmpGreaterThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001778 case FCmpInst::FCMP_OGT:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001779 return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan);
Reid Spencer74bd0362007-01-11 00:25:45 +00001780 case FCmpInst::FCMP_ULE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001781 return ConstantInt::get(ResultTy, R!=APFloat::cmpGreaterThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001782 case FCmpInst::FCMP_OLE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001783 return ConstantInt::get(ResultTy, R==APFloat::cmpLessThan ||
1784 R==APFloat::cmpEqual);
Reid Spencer266e42b2006-12-23 06:05:41 +00001785 case FCmpInst::FCMP_UGE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001786 return ConstantInt::get(ResultTy, R!=APFloat::cmpLessThan);
Reid Spencercddc9df2007-01-12 04:24:46 +00001787 case FCmpInst::FCMP_OGE:
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001788 return ConstantInt::get(ResultTy, R==APFloat::cmpGreaterThan ||
1789 R==APFloat::cmpEqual);
Reid Spencer266e42b2006-12-23 06:05:41 +00001790 }
Duncan Sands19d0b472010-02-16 11:11:14 +00001791 } else if (C1->getType()->isVectorTy()) {
Chris Lattner67136cf2008-07-10 00:29:28 +00001792 // If we can constant fold the comparison of each element, constant fold
1793 // the whole vector comparison.
1794 SmallVector<Constant*, 4> ResElts;
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001795 Type *Ty = IntegerType::get(C1->getContext(), 32);
Chris Lattner69229312011-02-15 00:14:00 +00001796 // Compare the elements, producing an i1 result or constant expr.
Chris Lattnercf129702012-01-26 02:51:13 +00001797 for (unsigned i = 0, e = C1->getType()->getVectorNumElements(); i != e;++i){
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001798 Constant *C1E =
1799 ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, i));
1800 Constant *C2E =
1801 ConstantExpr::getExtractElement(C2, ConstantInt::get(Ty, i));
Chris Lattnercf129702012-01-26 02:51:13 +00001802
1803 ResElts.push_back(ConstantExpr::getCompare(pred, C1E, C2E));
1804 }
1805
Dan Gohman1ccecdb2012-04-27 17:50:22 +00001806 return ConstantVector::get(ResElts);
Reid Spencer266e42b2006-12-23 06:05:41 +00001807 }
Chris Lattner061da2f2004-01-13 05:51:55 +00001808
Mehdi Aminieb242a52015-03-09 03:20:25 +00001809 if (C1->getType()->isFloatingPointTy() &&
1810 // Only call evaluateFCmpRelation if we have a constant expr to avoid
1811 // infinite recursive loop
1812 (isa<ConstantExpr>(C1) || isa<ConstantExpr>(C2))) {
Chris Lattner350e4172008-07-08 18:47:38 +00001813 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001814 switch (evaluateFCmpRelation(C1, C2)) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001815 default: llvm_unreachable("Unknown relation!");
Reid Spencer9d36acf2006-12-24 18:52:08 +00001816 case FCmpInst::FCMP_UNO:
1817 case FCmpInst::FCMP_ORD:
1818 case FCmpInst::FCMP_UEQ:
1819 case FCmpInst::FCMP_UNE:
1820 case FCmpInst::FCMP_ULT:
1821 case FCmpInst::FCMP_UGT:
1822 case FCmpInst::FCMP_ULE:
1823 case FCmpInst::FCMP_UGE:
1824 case FCmpInst::FCMP_TRUE:
1825 case FCmpInst::FCMP_FALSE:
1826 case FCmpInst::BAD_FCMP_PREDICATE:
1827 break; // Couldn't determine anything about these constants.
1828 case FCmpInst::FCMP_OEQ: // We know that C1 == C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001829 Result = (pred == FCmpInst::FCMP_UEQ || pred == FCmpInst::FCMP_OEQ ||
1830 pred == FCmpInst::FCMP_ULE || pred == FCmpInst::FCMP_OLE ||
1831 pred == FCmpInst::FCMP_UGE || pred == FCmpInst::FCMP_OGE);
1832 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001833 case FCmpInst::FCMP_OLT: // We know that C1 < C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001834 Result = (pred == FCmpInst::FCMP_UNE || pred == FCmpInst::FCMP_ONE ||
1835 pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT ||
1836 pred == FCmpInst::FCMP_ULE || pred == FCmpInst::FCMP_OLE);
1837 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001838 case FCmpInst::FCMP_OGT: // We know that C1 > C2
Chris Lattnerd137a082008-07-08 05:46:34 +00001839 Result = (pred == FCmpInst::FCMP_UNE || pred == FCmpInst::FCMP_ONE ||
1840 pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT ||
1841 pred == FCmpInst::FCMP_UGE || pred == FCmpInst::FCMP_OGE);
1842 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001843 case FCmpInst::FCMP_OLE: // We know that C1 <= C2
1844 // We can only partially decide this relation.
1845 if (pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT)
Chris Lattnerd137a082008-07-08 05:46:34 +00001846 Result = 0;
1847 else if (pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT)
1848 Result = 1;
Chris Lattner061da2f2004-01-13 05:51:55 +00001849 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001850 case FCmpInst::FCMP_OGE: // We known that C1 >= C2
1851 // We can only partially decide this relation.
1852 if (pred == FCmpInst::FCMP_ULT || pred == FCmpInst::FCMP_OLT)
Chris Lattnerd137a082008-07-08 05:46:34 +00001853 Result = 0;
1854 else if (pred == FCmpInst::FCMP_UGT || pred == FCmpInst::FCMP_OGT)
1855 Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001856 break;
Nick Lewyckyc15dd6f2011-01-30 01:49:58 +00001857 case FCmpInst::FCMP_ONE: // We know that C1 != C2
Reid Spencer9d36acf2006-12-24 18:52:08 +00001858 // We can only partially decide this relation.
1859 if (pred == FCmpInst::FCMP_OEQ || pred == FCmpInst::FCMP_UEQ)
Chris Lattnerd137a082008-07-08 05:46:34 +00001860 Result = 0;
1861 else if (pred == FCmpInst::FCMP_ONE || pred == FCmpInst::FCMP_UNE)
1862 Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001863 break;
1864 }
Dan Gohman062d3782009-08-29 23:35:16 +00001865
Chris Lattnerd137a082008-07-08 05:46:34 +00001866 // If we evaluated the result, return it now.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001867 if (Result != -1)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001868 return ConstantInt::get(ResultTy, Result);
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001869
Reid Spencer9d36acf2006-12-24 18:52:08 +00001870 } else {
1871 // Evaluate the relation between the two constants, per the predicate.
Chris Lattnerd137a082008-07-08 05:46:34 +00001872 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001873 switch (evaluateICmpRelation(C1, C2, CmpInst::isSigned(pred))) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00001874 default: llvm_unreachable("Unknown relational!");
Reid Spencer9d36acf2006-12-24 18:52:08 +00001875 case ICmpInst::BAD_ICMP_PREDICATE:
1876 break; // Couldn't determine anything about these constants.
1877 case ICmpInst::ICMP_EQ: // We know the constants are equal!
1878 // If we know the constants are equal, we can decide the result of this
1879 // computation precisely.
Nick Lewycky9e085542009-09-20 04:27:06 +00001880 Result = ICmpInst::isTrueWhenEqual((ICmpInst::Predicate)pred);
Chris Lattnerd137a082008-07-08 05:46:34 +00001881 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001882 case ICmpInst::ICMP_ULT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001883 switch (pred) {
1884 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_ULE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001885 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001886 case ICmpInst::ICMP_UGT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_UGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001887 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001888 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001889 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001890 case ICmpInst::ICMP_SLT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001891 switch (pred) {
1892 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_SLE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001893 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001894 case ICmpInst::ICMP_SGT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_SGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001895 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001896 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001897 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001898 case ICmpInst::ICMP_UGT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001899 switch (pred) {
1900 case ICmpInst::ICMP_UGT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_UGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001901 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001902 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_ULE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001903 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001904 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001905 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001906 case ICmpInst::ICMP_SGT:
Nick Lewycky9e085542009-09-20 04:27:06 +00001907 switch (pred) {
1908 case ICmpInst::ICMP_SGT: case ICmpInst::ICMP_NE: case ICmpInst::ICMP_SGE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001909 Result = 1; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001910 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_EQ: case ICmpInst::ICMP_SLE:
Nick Lewycky2b31b532009-09-20 05:47:45 +00001911 Result = 0; break;
Nick Lewycky9e085542009-09-20 04:27:06 +00001912 }
Chris Lattnerd137a082008-07-08 05:46:34 +00001913 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001914 case ICmpInst::ICMP_ULE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001915 if (pred == ICmpInst::ICMP_UGT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001916 if (pred == ICmpInst::ICMP_ULT || pred == ICmpInst::ICMP_ULE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001917 break;
1918 case ICmpInst::ICMP_SLE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001919 if (pred == ICmpInst::ICMP_SGT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001920 if (pred == ICmpInst::ICMP_SLT || pred == ICmpInst::ICMP_SLE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001921 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001922 case ICmpInst::ICMP_UGE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001923 if (pred == ICmpInst::ICMP_ULT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001924 if (pred == ICmpInst::ICMP_UGT || pred == ICmpInst::ICMP_UGE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001925 break;
1926 case ICmpInst::ICMP_SGE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001927 if (pred == ICmpInst::ICMP_SLT) Result = 0;
Nick Lewycky9e085542009-09-20 04:27:06 +00001928 if (pred == ICmpInst::ICMP_SGT || pred == ICmpInst::ICMP_SGE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001929 break;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001930 case ICmpInst::ICMP_NE:
Chris Lattnerd137a082008-07-08 05:46:34 +00001931 if (pred == ICmpInst::ICMP_EQ) Result = 0;
1932 if (pred == ICmpInst::ICMP_NE) Result = 1;
Reid Spencer9d36acf2006-12-24 18:52:08 +00001933 break;
1934 }
Dan Gohman062d3782009-08-29 23:35:16 +00001935
Chris Lattnerd137a082008-07-08 05:46:34 +00001936 // If we evaluated the result, return it now.
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001937 if (Result != -1)
Chris Lattnerf5edeeb2010-02-01 20:48:08 +00001938 return ConstantInt::get(ResultTy, Result);
Dan Gohman062d3782009-08-29 23:35:16 +00001939
Nick Lewycky4a034522009-09-20 05:48:50 +00001940 // If the right hand side is a bitcast, try using its inverse to simplify
Chris Lattner94eb4b22010-02-01 20:04:40 +00001941 // 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 +00001942 // a vector compare into a scalar compare or visa versa.
Nick Lewycky4a034522009-09-20 05:48:50 +00001943 if (ConstantExpr *CE2 = dyn_cast<ConstantExpr>(C2)) {
Chris Lattner94eb4b22010-02-01 20:04:40 +00001944 Constant *CE2Op0 = CE2->getOperand(0);
1945 if (CE2->getOpcode() == Instruction::BitCast &&
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001946 CE2->getType()->isVectorTy() == CE2Op0->getType()->isVectorTy()) {
Nick Lewycky4a034522009-09-20 05:48:50 +00001947 Constant *Inverse = ConstantExpr::getBitCast(C1, CE2Op0->getType());
1948 return ConstantExpr::getICmp(pred, Inverse, CE2Op0);
1949 }
1950 }
1951
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001952 // If the left hand side is an extension, try eliminating it.
1953 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001954 if ((CE1->getOpcode() == Instruction::SExt && ICmpInst::isSigned(pred)) ||
1955 (CE1->getOpcode() == Instruction::ZExt && !ICmpInst::isSigned(pred))){
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001956 Constant *CE1Op0 = CE1->getOperand(0);
1957 Constant *CE1Inverse = ConstantExpr::getTrunc(CE1, CE1Op0->getType());
1958 if (CE1Inverse == CE1Op0) {
1959 // Check whether we can safely truncate the right hand side.
1960 Constant *C2Inverse = ConstantExpr::getTrunc(C2, CE1Op0->getType());
Benjamin Kramercc846012013-06-30 13:47:43 +00001961 if (ConstantExpr::getCast(CE1->getOpcode(), C2Inverse,
1962 C2->getType()) == C2)
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001963 return ConstantExpr::getICmp(pred, CE1Inverse, C2Inverse);
Nick Lewycky9b3ed872009-09-20 07:31:25 +00001964 }
1965 }
1966 }
1967
Eli Friedmane67cae32009-12-17 06:07:04 +00001968 if ((!isa<ConstantExpr>(C1) && isa<ConstantExpr>(C2)) ||
1969 (C1->isNullValue() && !C2->isNullValue())) {
Nick Lewyckya21d3da2009-07-08 03:04:38 +00001970 // If C2 is a constant expr and C1 isn't, flip them around and fold the
Reid Spencer9d36acf2006-12-24 18:52:08 +00001971 // other way if possible.
Eli Friedmane67cae32009-12-17 06:07:04 +00001972 // Also, if C1 is null and C2 isn't, flip them around.
Nick Lewycky1a7ed582010-03-04 06:54:10 +00001973 pred = ICmpInst::getSwappedPredicate((ICmpInst::Predicate)pred);
1974 return ConstantExpr::getICmp(pred, C2, C1);
Chris Lattner061da2f2004-01-13 05:51:55 +00001975 }
1976 }
Craig Topperc6207612014-04-09 06:08:46 +00001977 return nullptr;
Dan Gohman062d3782009-08-29 23:35:16 +00001978}
Chris Lattner1dd054c2004-01-12 22:07:24 +00001979
Dan Gohman21c62162009-09-11 00:04:14 +00001980/// isInBoundsIndices - Test whether the given sequence of *normalized* indices
1981/// is "inbounds".
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001982template<typename IndexTy>
Jay Foaded8db7d2011-07-21 14:31:17 +00001983static bool isInBoundsIndices(ArrayRef<IndexTy> Idxs) {
Dan Gohman21c62162009-09-11 00:04:14 +00001984 // No indices means nothing that could be out of bounds.
Jay Foaded8db7d2011-07-21 14:31:17 +00001985 if (Idxs.empty()) return true;
Dan Gohman21c62162009-09-11 00:04:14 +00001986
1987 // If the first index is zero, it's in bounds.
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001988 if (cast<Constant>(Idxs[0])->isNullValue()) return true;
Dan Gohman21c62162009-09-11 00:04:14 +00001989
1990 // If the first index is one and all the rest are zero, it's in bounds,
1991 // by the one-past-the-end rule.
1992 if (!cast<ConstantInt>(Idxs[0])->isOne())
1993 return false;
Jay Foaded8db7d2011-07-21 14:31:17 +00001994 for (unsigned i = 1, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001995 if (!cast<Constant>(Idxs[i])->isNullValue())
Dan Gohman21c62162009-09-11 00:04:14 +00001996 return false;
1997 return true;
1998}
1999
David Majnemer3c93dc92013-11-10 01:36:22 +00002000/// \brief Test whether a given ConstantInt is in-range for a SequentialType.
2001static bool isIndexInRangeOfSequentialType(const SequentialType *STy,
2002 const ConstantInt *CI) {
2003 if (const PointerType *PTy = dyn_cast<PointerType>(STy))
2004 // Only handle pointers to sized types, not pointers to functions.
2005 return PTy->getElementType()->isSized();
2006
2007 uint64_t NumElements = 0;
2008 // Determine the number of elements in our sequential type.
2009 if (const ArrayType *ATy = dyn_cast<ArrayType>(STy))
2010 NumElements = ATy->getNumElements();
2011 else if (const VectorType *VTy = dyn_cast<VectorType>(STy))
2012 NumElements = VTy->getNumElements();
2013
2014 assert((isa<ArrayType>(STy) || NumElements > 0) &&
2015 "didn't expect non-array type to have zero elements!");
2016
2017 // We cannot bounds check the index if it doesn't fit in an int64_t.
2018 if (CI->getValue().getActiveBits() > 64)
2019 return false;
2020
2021 // A negative index or an index past the end of our sequential type is
2022 // considered out-of-range.
2023 int64_t IndexVal = CI->getSExtValue();
2024 if (IndexVal < 0 || (NumElements > 0 && (uint64_t)IndexVal >= NumElements))
2025 return false;
2026
2027 // Otherwise, it is in-range.
2028 return true;
2029}
2030
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002031template<typename IndexTy>
David Blaikied9d900c2015-05-07 17:28:58 +00002032static Constant *ConstantFoldGetElementPtrImpl(Type *PointeeTy, Constant *C,
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002033 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002034 ArrayRef<IndexTy> Idxs) {
2035 if (Idxs.empty()) return C;
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002036 Constant *Idx0 = cast<Constant>(Idxs[0]);
Jay Foadca3fc382011-07-19 15:30:30 +00002037 if ((Idxs.size() == 1 && Idx0->isNullValue()))
Nick Lewyckye0332982009-09-20 01:35:59 +00002038 return C;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002039
Chris Lattnerf6013752004-10-17 21:54:55 +00002040 if (isa<UndefValue>(C)) {
Chris Lattner229907c2011-07-18 04:54:35 +00002041 PointerType *Ptr = cast<PointerType>(C->getType());
David Blaikied288fb82015-03-30 21:41:43 +00002042 Type *Ty = GetElementPtrInst::getIndexedType(
2043 cast<PointerType>(Ptr->getScalarType())->getElementType(), Idxs);
Craig Topper2617dcc2014-04-15 06:32:26 +00002044 assert(Ty && "Invalid indices for GEP!");
Owen Andersonb292b8c2009-07-30 23:03:37 +00002045 return UndefValue::get(PointerType::get(Ty, Ptr->getAddressSpace()));
Chris Lattnerf6013752004-10-17 21:54:55 +00002046 }
2047
Chris Lattner04b60fe2004-02-16 20:46:13 +00002048 if (C->isNullValue()) {
2049 bool isNull = true;
Jay Foadca3fc382011-07-19 15:30:30 +00002050 for (unsigned i = 0, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002051 if (!cast<Constant>(Idxs[i])->isNullValue()) {
Chris Lattner04b60fe2004-02-16 20:46:13 +00002052 isNull = false;
2053 break;
2054 }
2055 if (isNull) {
Chris Lattner229907c2011-07-18 04:54:35 +00002056 PointerType *Ptr = cast<PointerType>(C->getType());
David Blaikied288fb82015-03-30 21:41:43 +00002057 Type *Ty = GetElementPtrInst::getIndexedType(
2058 cast<PointerType>(Ptr->getScalarType())->getElementType(), Idxs);
Craig Topper2617dcc2014-04-15 06:32:26 +00002059 assert(Ty && "Invalid indices for GEP!");
Nick Lewycky7c75f0c2011-01-30 01:48:50 +00002060 return ConstantPointerNull::get(PointerType::get(Ty,
2061 Ptr->getAddressSpace()));
Chris Lattner04b60fe2004-02-16 20:46:13 +00002062 }
2063 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00002064
Nick Lewyckye0332982009-09-20 01:35:59 +00002065 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
Chris Lattner1dd054c2004-01-12 22:07:24 +00002066 // Combine Indices - If the source pointer to this getelementptr instruction
2067 // is a getelementptr instruction, combine the indices of the two
2068 // getelementptr instructions into a single instruction.
2069 //
2070 if (CE->getOpcode() == Instruction::GetElementPtr) {
Craig Topperc6207612014-04-09 06:08:46 +00002071 Type *LastTy = nullptr;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002072 for (gep_type_iterator I = gep_type_begin(CE), E = gep_type_end(CE);
2073 I != E; ++I)
2074 LastTy = *I;
2075
David Majnemerbd4fef42013-11-07 22:15:53 +00002076 // We cannot combine indices if doing so would take us outside of an
2077 // array or vector. Doing otherwise could trick us if we evaluated such a
2078 // GEP as part of a load.
2079 //
2080 // e.g. Consider if the original GEP was:
2081 // i8* getelementptr ({ [2 x i8], i32, i8, [3 x i8] }* @main.c,
2082 // i32 0, i32 0, i64 0)
2083 //
2084 // If we then tried to offset it by '8' to get to the third element,
2085 // an i8, we should *not* get:
2086 // i8* getelementptr ({ [2 x i8], i32, i8, [3 x i8] }* @main.c,
2087 // i32 0, i32 0, i64 8)
2088 //
2089 // This GEP tries to index array element '8 which runs out-of-bounds.
2090 // Subsequent evaluation would get confused and produce erroneous results.
2091 //
2092 // The following prohibits such a GEP from being formed by checking to see
2093 // if the index is in-range with respect to an array or vector.
David Majnemer3c93dc92013-11-10 01:36:22 +00002094 bool PerformFold = false;
2095 if (Idx0->isNullValue())
2096 PerformFold = true;
2097 else if (SequentialType *STy = dyn_cast_or_null<SequentialType>(LastTy))
2098 if (ConstantInt *CI = dyn_cast<ConstantInt>(Idx0))
2099 PerformFold = isIndexInRangeOfSequentialType(STy, CI);
David Majnemerbd4fef42013-11-07 22:15:53 +00002100
David Majnemer3c93dc92013-11-10 01:36:22 +00002101 if (PerformFold) {
Chris Lattner302116a2007-01-31 04:40:28 +00002102 SmallVector<Value*, 16> NewIndices;
Jay Foadca3fc382011-07-19 15:30:30 +00002103 NewIndices.reserve(Idxs.size() + CE->getNumOperands());
Benjamin Kramer6cd780f2015-02-17 15:29:18 +00002104 NewIndices.append(CE->op_begin() + 1, CE->op_end() - 1);
Chris Lattner1dd054c2004-01-12 22:07:24 +00002105
2106 // Add the last index of the source with the first index of the new GEP.
2107 // Make sure to handle the case when they are actually different types.
2108 Constant *Combined = CE->getOperand(CE->getNumOperands()-1);
Chris Lattner13128ab2004-10-11 22:52:25 +00002109 // Otherwise it must be an array.
2110 if (!Idx0->isNullValue()) {
Chris Lattner229907c2011-07-18 04:54:35 +00002111 Type *IdxTy = Combined->getType();
Reid Spencer1a063892006-12-04 02:46:44 +00002112 if (IdxTy != Idx0->getType()) {
David Majnemer8b774542015-02-16 19:10:02 +00002113 unsigned CommonExtendedWidth =
2114 std::max(IdxTy->getIntegerBitWidth(),
2115 Idx0->getType()->getIntegerBitWidth());
2116 CommonExtendedWidth = std::max(CommonExtendedWidth, 64U);
2117
2118 Type *CommonTy =
2119 Type::getIntNTy(IdxTy->getContext(), CommonExtendedWidth);
2120 Constant *C1 = ConstantExpr::getSExtOrBitCast(Idx0, CommonTy);
2121 Constant *C2 = ConstantExpr::getSExtOrBitCast(Combined, CommonTy);
Owen Anderson487375e2009-07-29 18:55:55 +00002122 Combined = ConstantExpr::get(Instruction::Add, C1, C2);
Reid Spencer1a063892006-12-04 02:46:44 +00002123 } else {
2124 Combined =
Owen Anderson487375e2009-07-29 18:55:55 +00002125 ConstantExpr::get(Instruction::Add, Idx0, Combined);
Reid Spencer1a063892006-12-04 02:46:44 +00002126 }
Chris Lattner71068a02004-07-07 04:45:13 +00002127 }
Misha Brukmanb1c93172005-04-21 23:48:37 +00002128
Chris Lattner1dd054c2004-01-12 22:07:24 +00002129 NewIndices.push_back(Combined);
Jay Foadca3fc382011-07-19 15:30:30 +00002130 NewIndices.append(Idxs.begin() + 1, Idxs.end());
David Blaikie4a2e73b2015-04-02 18:55:32 +00002131 return ConstantExpr::getGetElementPtr(
2132 cast<GEPOperator>(CE)->getSourceElementType(), CE->getOperand(0),
2133 NewIndices, inBounds && cast<GEPOperator>(CE)->isInBounds());
Chris Lattner1dd054c2004-01-12 22:07:24 +00002134 }
2135 }
2136
Meador Inge9b47f642013-02-27 02:26:42 +00002137 // Attempt to fold casts to the same type away. For example, folding:
Chris Lattner1dd054c2004-01-12 22:07:24 +00002138 //
Meador Inge9b47f642013-02-27 02:26:42 +00002139 // i32* getelementptr ([2 x i32]* bitcast ([3 x i32]* %X to [2 x i32]*),
2140 // i64 0, i64 0)
2141 // into:
2142 //
2143 // i32* getelementptr ([3 x i32]* %X, i64 0, i64 0)
2144 //
2145 // Don't fold if the cast is changing address spaces.
Jay Foadca3fc382011-07-19 15:30:30 +00002146 if (CE->isCast() && Idxs.size() > 1 && Idx0->isNullValue()) {
Meador Inge9b47f642013-02-27 02:26:42 +00002147 PointerType *SrcPtrTy =
2148 dyn_cast<PointerType>(CE->getOperand(0)->getType());
2149 PointerType *DstPtrTy = dyn_cast<PointerType>(CE->getType());
2150 if (SrcPtrTy && DstPtrTy) {
2151 ArrayType *SrcArrayTy =
2152 dyn_cast<ArrayType>(SrcPtrTy->getElementType());
2153 ArrayType *DstArrayTy =
2154 dyn_cast<ArrayType>(DstPtrTy->getElementType());
2155 if (SrcArrayTy && DstArrayTy
2156 && SrcArrayTy->getElementType() == DstArrayTy->getElementType()
2157 && SrcPtrTy->getAddressSpace() == DstPtrTy->getAddressSpace())
David Blaikie4a2e73b2015-04-02 18:55:32 +00002158 return ConstantExpr::getGetElementPtr(
2159 SrcArrayTy, (Constant *)CE->getOperand(0), Idxs, inBounds);
Meador Inge9b47f642013-02-27 02:26:42 +00002160 }
Chris Lattneraadc7782007-08-13 17:09:08 +00002161 }
Chris Lattner1dd054c2004-01-12 22:07:24 +00002162 }
Dan Gohman21c62162009-09-11 00:04:14 +00002163
2164 // Check to see if any array indices are not within the corresponding
David Majnemer3c93dc92013-11-10 01:36:22 +00002165 // notional array or vector bounds. If so, try to determine if they can be
2166 // factored out into preceding dimensions.
Dan Gohman21c62162009-09-11 00:04:14 +00002167 bool Unknown = false;
2168 SmallVector<Constant *, 8> NewIdxs;
David Blaikied9d900c2015-05-07 17:28:58 +00002169 Type *Ty = PointeeTy;
2170 Type *Prev = C->getType();
2171 for (unsigned i = 1, e = Idxs.size(); i != e;
Dan Gohman21c62162009-09-11 00:04:14 +00002172 Prev = Ty, Ty = cast<CompositeType>(Ty)->getTypeAtIndex(Idxs[i]), ++i) {
2173 if (ConstantInt *CI = dyn_cast<ConstantInt>(Idxs[i])) {
David Majnemer3c93dc92013-11-10 01:36:22 +00002174 if (isa<ArrayType>(Ty) || isa<VectorType>(Ty))
2175 if (CI->getSExtValue() > 0 &&
2176 !isIndexInRangeOfSequentialType(cast<SequentialType>(Ty), CI)) {
Dan Gohman21c62162009-09-11 00:04:14 +00002177 if (isa<SequentialType>(Prev)) {
2178 // It's out of range, but we can factor it into the prior
2179 // dimension.
Jay Foadca3fc382011-07-19 15:30:30 +00002180 NewIdxs.resize(Idxs.size());
David Majnemer3c93dc92013-11-10 01:36:22 +00002181 uint64_t NumElements = 0;
2182 if (const ArrayType *ATy = dyn_cast<ArrayType>(Ty))
2183 NumElements = ATy->getNumElements();
2184 else
2185 NumElements = cast<VectorType>(Ty)->getNumElements();
2186
2187 ConstantInt *Factor = ConstantInt::get(CI->getType(), NumElements);
Dan Gohman21c62162009-09-11 00:04:14 +00002188 NewIdxs[i] = ConstantExpr::getSRem(CI, Factor);
2189
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002190 Constant *PrevIdx = cast<Constant>(Idxs[i-1]);
Dan Gohman21c62162009-09-11 00:04:14 +00002191 Constant *Div = ConstantExpr::getSDiv(CI, Factor);
2192
David Majnemer8b774542015-02-16 19:10:02 +00002193 unsigned CommonExtendedWidth =
2194 std::max(PrevIdx->getType()->getIntegerBitWidth(),
2195 Div->getType()->getIntegerBitWidth());
2196 CommonExtendedWidth = std::max(CommonExtendedWidth, 64U);
2197
Dan Gohman21c62162009-09-11 00:04:14 +00002198 // Before adding, extend both operands to i64 to avoid
2199 // overflow trouble.
David Majnemer8b774542015-02-16 19:10:02 +00002200 if (!PrevIdx->getType()->isIntegerTy(CommonExtendedWidth))
2201 PrevIdx = ConstantExpr::getSExt(
2202 PrevIdx,
2203 Type::getIntNTy(Div->getContext(), CommonExtendedWidth));
2204 if (!Div->getType()->isIntegerTy(CommonExtendedWidth))
2205 Div = ConstantExpr::getSExt(
2206 Div, Type::getIntNTy(Div->getContext(), CommonExtendedWidth));
Dan Gohman21c62162009-09-11 00:04:14 +00002207
2208 NewIdxs[i-1] = ConstantExpr::getAdd(PrevIdx, Div);
2209 } else {
2210 // It's out of range, but the prior dimension is a struct
2211 // so we can't do anything about it.
2212 Unknown = true;
2213 }
2214 }
2215 } else {
2216 // We don't know if it's in range or not.
2217 Unknown = true;
2218 }
2219 }
2220
2221 // If we did any factoring, start over with the adjusted indices.
2222 if (!NewIdxs.empty()) {
Jay Foadca3fc382011-07-19 15:30:30 +00002223 for (unsigned i = 0, e = Idxs.size(); i != e; ++i)
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002224 if (!NewIdxs[i]) NewIdxs[i] = cast<Constant>(Idxs[i]);
David Blaikie4a2e73b2015-04-02 18:55:32 +00002225 return ConstantExpr::getGetElementPtr(nullptr, C, NewIdxs, inBounds);
Dan Gohman21c62162009-09-11 00:04:14 +00002226 }
2227
2228 // If all indices are known integers and normalized, we can do a simple
2229 // check for the "inbounds" property.
Duncan P. N. Exon Smith0c39d402014-08-16 01:54:32 +00002230 if (!Unknown && !inBounds)
2231 if (auto *GV = dyn_cast<GlobalVariable>(C))
2232 if (!GV->hasExternalWeakLinkage() && isInBoundsIndices(Idxs))
David Blaikied9d900c2015-05-07 17:28:58 +00002233 return ConstantExpr::getInBoundsGetElementPtr(PointeeTy, C, Idxs);
Dan Gohman21c62162009-09-11 00:04:14 +00002234
Craig Topperc6207612014-04-09 06:08:46 +00002235 return nullptr;
Chris Lattner1dd054c2004-01-12 22:07:24 +00002236}
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002237
2238Constant *llvm::ConstantFoldGetElementPtr(Constant *C,
2239 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002240 ArrayRef<Constant *> Idxs) {
David Blaikied9d900c2015-05-07 17:28:58 +00002241 return ConstantFoldGetElementPtrImpl(
2242 cast<PointerType>(C->getType()->getScalarType())->getElementType(), C,
2243 inBounds, Idxs);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002244}
2245
2246Constant *llvm::ConstantFoldGetElementPtr(Constant *C,
2247 bool inBounds,
Jay Foadca3fc382011-07-19 15:30:30 +00002248 ArrayRef<Value *> Idxs) {
David Blaikied9d900c2015-05-07 17:28:58 +00002249 return ConstantFoldGetElementPtrImpl(
2250 cast<PointerType>(C->getType()->getScalarType())->getElementType(), C,
2251 inBounds, Idxs);
2252}
2253
2254Constant *llvm::ConstantFoldGetElementPtr(Type *Ty, Constant *C,
2255 bool inBounds,
2256 ArrayRef<Constant *> Idxs) {
2257 return ConstantFoldGetElementPtrImpl(Ty, C, inBounds, Idxs);
2258}
2259
2260Constant *llvm::ConstantFoldGetElementPtr(Type *Ty, Constant *C,
2261 bool inBounds,
2262 ArrayRef<Value *> Idxs) {
2263 return ConstantFoldGetElementPtrImpl(Ty, C, inBounds, Idxs);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00002264}