LLVM 23.0.0git
ConstantFold.cpp
Go to the documentation of this file.
1//===- ConstantFold.cpp - LLVM constant folder ----------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements folding of constants for LLVM. This implements the
10// (internal) ConstantFold.h interface, which is used by the
11// ConstantExpr::get* methods to automatically fold constants when possible.
12//
13// The current constant folding implementation is implemented in two pieces: the
14// pieces that don't need DataLayout, and the pieces that do. This is to avoid
15// a dependence in IR on Target.
16//
17//===----------------------------------------------------------------------===//
18
20#include "llvm/ADT/APInt.h"
21#include "llvm/ADT/APSInt.h"
23#include "llvm/IR/Constants.h"
25#include "llvm/IR/Function.h"
26#include "llvm/IR/GlobalAlias.h"
29#include "llvm/IR/Module.h"
30#include "llvm/IR/Operator.h"
33using namespace llvm;
34using namespace llvm::PatternMatch;
35
36//===----------------------------------------------------------------------===//
37// ConstantFold*Instruction Implementations
38//===----------------------------------------------------------------------===//
39
40/// This function determines which opcode to use to fold two constant cast
41/// expressions together. It uses CastInst::isEliminableCastPair to determine
42/// the opcode. Consequently its just a wrapper around that function.
43/// Determine if it is valid to fold a cast of a cast
44static unsigned
46 unsigned opc, ///< opcode of the second cast constant expression
47 ConstantExpr *Op, ///< the first cast constant expression
48 Type *DstTy ///< destination type of the first cast
49) {
50 assert(Op && Op->isCast() && "Can't fold cast of cast without a cast!");
51 assert(DstTy && DstTy->isFirstClassType() && "Invalid cast destination type");
52 assert(CastInst::isCast(opc) && "Invalid cast opcode");
53
54 // The types and opcodes for the two Cast constant expressions
55 Type *SrcTy = Op->getOperand(0)->getType();
56 Type *MidTy = Op->getType();
57 Instruction::CastOps firstOp = Instruction::CastOps(Op->getOpcode());
59 return CastInst::isEliminableCastPair(firstOp, secondOp, SrcTy, MidTy, DstTy,
60 /*DL=*/nullptr);
61}
62
63static Constant *FoldBitCast(Constant *V, Type *DestTy) {
64 Type *SrcTy = V->getType();
65 if (SrcTy == DestTy)
66 return V; // no-op cast
67
68 if (V->isAllOnesValue())
69 return Constant::getAllOnesValue(DestTy);
70
71 // Handle ConstantInt -> Constant{Byte, FP}
73 // Canonicalize scalar-to-vector bitcasts into vector-to-vector bitcasts
74 // This allows for other simplifications (although some of them
75 // can only be handled by Analysis/ConstantFolding.cpp).
76 if (isa<VectorType>(DestTy) && !isa<VectorType>(SrcTy))
78
79 if (DestTy->isByteOrByteVectorTy() &&
80 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
81 return ConstantByte::get(DestTy, CI->getValue());
82
83 // Make sure dest type is compatible with the folded fp constant.
84 // See note below regarding the PPC_FP128 restriction.
85 if (DestTy->isFPOrFPVectorTy() && !DestTy->isPPC_FP128Ty() &&
86 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
87 return ConstantFP::get(
88 DestTy,
89 APFloat(DestTy->getScalarType()->getFltSemantics(), CI->getValue()));
90
91 return nullptr;
92 }
93
94 // Handle ConstantByte -> Constant{Int, FP}
96 // Canonicalize scalar-to-vector bitcasts into vector-to-vector bitcasts
97 // This allows for other simplifications (although some of them
98 // can only be handled by Analysis/ConstantFolding.cpp).
99 if (isa<VectorType>(DestTy) && !isa<VectorType>(SrcTy))
101
102 if (DestTy->isIntOrIntVectorTy() &&
103 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
104 return ConstantInt::get(DestTy, CB->getValue());
105
106 // Make sure dest type is compatible with the folded fp constant.
107 // See note below regarding the PPC_FP128 restriction.
108 if (DestTy->isFPOrFPVectorTy() && !DestTy->isPPC_FP128Ty() &&
109 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
110 return ConstantFP::get(
111 DestTy,
112 APFloat(DestTy->getScalarType()->getFltSemantics(), CB->getValue()));
113
114 return nullptr;
115 }
116
117 // Handle ConstantFP -> Constant{Int, Byte, FP}
119 // Handle half <-> bfloat
120 if (!isa<VectorType>(SrcTy) && DestTy->isFloatingPointTy()) {
121 APInt Val = FP->getValueAPF().bitcastToAPInt();
122 APFloat ResultFP(DestTy->getFltSemantics(), Val);
123 return ConstantFP::get(DestTy->getContext(), ResultFP);
124 }
125 // Canonicalize scalar-to-vector bitcasts into vector-to-vector bitcasts
126 // This allows for other simplifications (although some of them
127 // can only be handled by Analysis/ConstantFolding.cpp).
128 if (isa<VectorType>(DestTy) && !isa<VectorType>(SrcTy))
130
131 // PPC_FP128 is really the sum of two consecutive doubles, where the first
132 // double is always stored first in memory, regardless of the target
133 // endianness. The memory layout of i128, however, depends on the target
134 // endianness, and so we can't fold this without target endianness
135 // information. This should instead be handled by
136 // Analysis/ConstantFolding.cpp
137 if (SrcTy->isPPC_FP128Ty())
138 return nullptr;
139
140 // Make sure dest type is compatible with the folded integer constant.
141 if (DestTy->isIntOrIntVectorTy() &&
142 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
143 return ConstantInt::get(DestTy, FP->getValueAPF().bitcastToAPInt());
144
145 // Make sure dest type is compatible with the folded byte constant.
146 if (DestTy->isByteOrByteVectorTy() &&
147 DestTy->getScalarSizeInBits() == SrcTy->getScalarSizeInBits())
148 return ConstantByte::get(DestTy, FP->getValueAPF().bitcastToAPInt());
149
150 return nullptr;
151 }
152
153 return nullptr;
154}
155
157 Type *DestTy) {
159 ? ConstantExpr::getCast(opc, V, DestTy)
160 : ConstantFoldCastInstruction(opc, V, DestTy);
161}
162
164 Type *DestTy) {
165 if (isa<PoisonValue>(V))
166 return PoisonValue::get(DestTy);
167
168 if (isa<UndefValue>(V)) {
169 // zext(undef) = 0, because the top bits will be zero.
170 // sext(undef) = 0, because the top bits will all be the same.
171 // [us]itofp(undef) = 0, because the result value is bounded.
172 if (opc == Instruction::ZExt || opc == Instruction::SExt ||
173 opc == Instruction::UIToFP || opc == Instruction::SIToFP)
174 return Constant::getNullValue(DestTy);
175 return UndefValue::get(DestTy);
176 }
177
178 if (V->isNullValue() && !DestTy->isX86_AMXTy() &&
179 opc != Instruction::AddrSpaceCast)
180 return Constant::getNullValue(DestTy);
181
182 // If the cast operand is a constant expression, there's a few things we can
183 // do to try to simplify it.
185 if (CE->isCast()) {
186 // Try hard to fold cast of cast because they are often eliminable.
187 if (unsigned newOpc = foldConstantCastPair(opc, CE, DestTy))
188 return foldMaybeUndesirableCast(newOpc, CE->getOperand(0), DestTy);
189 }
190 }
191
192 // If the cast operand is a constant vector, perform the cast by
193 // operating on each element. In the cast of bitcasts, the element
194 // count may be mismatched; don't attempt to handle that here.
195 if (DestTy->isVectorTy() && V->getType()->isVectorTy() &&
196 cast<VectorType>(DestTy)->getElementCount() ==
197 cast<VectorType>(V->getType())->getElementCount()) {
198 VectorType *DestVecTy = cast<VectorType>(DestTy);
199 Type *DstEltTy = DestVecTy->getElementType();
200 // Fast path for splatted constants.
201 if (Constant *Splat = V->getSplatValue()) {
202 Constant *Res = foldMaybeUndesirableCast(opc, Splat, DstEltTy);
203 if (!Res)
204 return nullptr;
206 cast<VectorType>(DestTy)->getElementCount(), Res);
207 }
208 if (isa<ScalableVectorType>(DestTy))
209 return nullptr;
211 Type *Ty = IntegerType::get(V->getContext(), 32);
212 for (unsigned i = 0,
213 e = cast<FixedVectorType>(V->getType())->getNumElements();
214 i != e; ++i) {
215 Constant *C = ConstantExpr::getExtractElement(V, ConstantInt::get(Ty, i));
216 Constant *Casted = foldMaybeUndesirableCast(opc, C, DstEltTy);
217 if (!Casted)
218 return nullptr;
219 res.push_back(Casted);
220 }
221 return ConstantVector::get(res);
222 }
223
224 // We actually have to do a cast now. Perform the cast according to the
225 // opcode specified.
226 switch (opc) {
227 default:
228 llvm_unreachable("Failed to cast constant expression");
229 case Instruction::FPTrunc:
230 case Instruction::FPExt:
231 if (ConstantFP *FPC = dyn_cast<ConstantFP>(V)) {
232 bool ignored;
233 APFloat Val = FPC->getValueAPF();
234 Val.convert(DestTy->getScalarType()->getFltSemantics(),
236 return ConstantFP::get(DestTy, Val);
237 }
238 return nullptr; // Can't fold.
239 case Instruction::FPToUI:
240 case Instruction::FPToSI:
241 if (ConstantFP *FPC = dyn_cast<ConstantFP>(V)) {
242 const APFloat &V = FPC->getValueAPF();
243 bool ignored;
244 APSInt IntVal(DestTy->getScalarSizeInBits(), opc == Instruction::FPToUI);
246 V.convertToInteger(IntVal, APFloat::rmTowardZero, &ignored)) {
247 // Undefined behavior invoked - the destination type can't represent
248 // the input constant.
249 return PoisonValue::get(DestTy);
250 }
251 return ConstantInt::get(DestTy, IntVal);
252 }
253 return nullptr; // Can't fold.
254 case Instruction::UIToFP:
255 case Instruction::SIToFP:
256 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
257 const APInt &api = CI->getValue();
258 APFloat apf(DestTy->getScalarType()->getFltSemantics(),
260 apf.convertFromAPInt(api, opc==Instruction::SIToFP,
262 return ConstantFP::get(DestTy, apf);
263 }
264 return nullptr;
265 case Instruction::ZExt:
266 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
268 return ConstantInt::get(DestTy, CI->getValue().zext(BitWidth));
269 }
270 return nullptr;
271 case Instruction::SExt:
272 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
274 return ConstantInt::get(DestTy, CI->getValue().sext(BitWidth));
275 }
276 return nullptr;
277 case Instruction::Trunc: {
278 if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
280 return ConstantInt::get(DestTy, CI->getValue().trunc(BitWidth));
281 }
282
283 return nullptr;
284 }
285 case Instruction::BitCast:
286 return FoldBitCast(V, DestTy);
287 case Instruction::AddrSpaceCast:
288 case Instruction::IntToPtr:
289 case Instruction::PtrToAddr:
290 case Instruction::PtrToInt:
291 return nullptr;
292 }
293}
294
296 Constant *V1, Constant *V2) {
297 // Check for i1 and vector true/false conditions.
298 if (Cond->isNullValue()) return V2;
299 if (Cond->isAllOnesValue()) return V1;
300
301 // If the condition is a vector constant, fold the result elementwise.
303 auto *V1VTy = CondV->getType();
305 Type *Ty = IntegerType::get(CondV->getContext(), 32);
306 for (unsigned i = 0, e = V1VTy->getNumElements(); i != e; ++i) {
307 Constant *V;
309 ConstantInt::get(Ty, i));
311 ConstantInt::get(Ty, i));
312 auto *Cond = cast<Constant>(CondV->getOperand(i));
313 if (isa<PoisonValue>(Cond)) {
314 V = PoisonValue::get(V1Element->getType());
315 } else if (V1Element == V2Element) {
316 V = V1Element;
317 } else if (isa<UndefValue>(Cond)) {
318 V = isa<UndefValue>(V1Element) ? V1Element : V2Element;
319 } else {
320 if (!isa<ConstantInt>(Cond)) break;
321 V = Cond->isNullValue() ? V2Element : V1Element;
322 }
323 Result.push_back(V);
324 }
325
326 // If we were able to build the vector, return it.
327 if (Result.size() == V1VTy->getNumElements())
328 return ConstantVector::get(Result);
329 }
330
332 return PoisonValue::get(V1->getType());
333
334 if (isa<UndefValue>(Cond)) {
335 if (isa<UndefValue>(V1)) return V1;
336 return V2;
337 }
338
339 if (V1 == V2) return V1;
340
341 if (isa<PoisonValue>(V1))
342 return V2;
343 if (isa<PoisonValue>(V2))
344 return V1;
345
346 // If the true or false value is undef, we can fold to the other value as
347 // long as the other value isn't poison.
348 auto NotPoison = [](Constant *C) {
349 if (isa<PoisonValue>(C))
350 return false;
351
352 // TODO: We can analyze ConstExpr by opcode to determine if there is any
353 // possibility of poison.
354 if (isa<ConstantExpr>(C))
355 return false;
356
359 return true;
360
361 if (C->getType()->isVectorTy())
362 return !C->containsPoisonElement() && !C->containsConstantExpression();
363
364 // TODO: Recursively analyze aggregates or other constants.
365 return false;
366 };
367 if (isa<UndefValue>(V1) && NotPoison(V2)) return V2;
368 if (isa<UndefValue>(V2) && NotPoison(V1)) return V1;
369
370 return nullptr;
371}
372
374 Constant *Idx) {
375 auto *ValVTy = cast<VectorType>(Val->getType());
376
377 // extractelt poison, C -> poison
378 // extractelt C, undef -> poison
379 if (isa<PoisonValue>(Val) || isa<UndefValue>(Idx))
380 return PoisonValue::get(ValVTy->getElementType());
381
382 // extractelt undef, C -> undef
383 if (isa<UndefValue>(Val))
384 return UndefValue::get(ValVTy->getElementType());
385
386 auto *CIdx = dyn_cast<ConstantInt>(Idx);
387 if (!CIdx)
388 return nullptr;
389
390 if (auto *ValFVTy = dyn_cast<FixedVectorType>(Val->getType())) {
391 // ee({w,x,y,z}, wrong_value) -> poison
392 if (CIdx->uge(ValFVTy->getNumElements()))
393 return PoisonValue::get(ValFVTy->getElementType());
394 }
395
396 // ee (gep (ptr, idx0, ...), idx) -> gep (ee (ptr, idx), ee (idx0, idx), ...)
397 if (auto *CE = dyn_cast<ConstantExpr>(Val)) {
398 if (auto *GEP = dyn_cast<GEPOperator>(CE)) {
400 Ops.reserve(CE->getNumOperands());
401 for (unsigned i = 0, e = CE->getNumOperands(); i != e; ++i) {
402 Constant *Op = CE->getOperand(i);
403 if (Op->getType()->isVectorTy()) {
405 if (!ScalarOp)
406 return nullptr;
407 Ops.push_back(ScalarOp);
408 } else
409 Ops.push_back(Op);
410 }
411 return CE->getWithOperands(Ops, ValVTy->getElementType(), false,
412 GEP->getSourceElementType());
413 } else if (CE->getOpcode() == Instruction::InsertElement) {
414 if (const auto *IEIdx = dyn_cast<ConstantInt>(CE->getOperand(2))) {
415 if (APSInt::isSameValue(APSInt(IEIdx->getValue()),
416 APSInt(CIdx->getValue()))) {
417 return CE->getOperand(1);
418 } else {
419 return ConstantExpr::getExtractElement(CE->getOperand(0), CIdx);
420 }
421 }
422 }
423 }
424
425 if (Constant *C = Val->getAggregateElement(CIdx))
426 return C;
427
428 // Lane < Splat minimum vector width => extractelt Splat(x), Lane -> x
429 if (CIdx->getValue().ult(ValVTy->getElementCount().getKnownMinValue())) {
430 if (Constant *SplatVal = Val->getSplatValue())
431 return SplatVal;
432 }
433
434 return nullptr;
435}
436
438 Constant *Elt,
439 Constant *Idx) {
440 if (isa<UndefValue>(Idx))
441 return PoisonValue::get(Val->getType());
442
443 // Inserting null into all zeros is still all zeros.
444 // TODO: This is true for undef and poison splats too.
445 if (isa<ConstantAggregateZero>(Val) && Elt->isNullValue())
446 return Val;
447
449 if (!CIdx) return nullptr;
450
451 // Do not iterate on scalable vector. The num of elements is unknown at
452 // compile-time.
454 return nullptr;
455
456 auto *ValTy = cast<FixedVectorType>(Val->getType());
457
458 unsigned NumElts = ValTy->getNumElements();
459 if (CIdx->uge(NumElts))
460 return PoisonValue::get(Val->getType());
461
463 Result.reserve(NumElts);
464 auto *Ty = Type::getInt32Ty(Val->getContext());
465 uint64_t IdxVal = CIdx->getZExtValue();
466 for (unsigned i = 0; i != NumElts; ++i) {
467 if (i == IdxVal) {
468 Result.push_back(Elt);
469 continue;
470 }
471
472 Constant *C = ConstantExpr::getExtractElement(Val, ConstantInt::get(Ty, i));
473 Result.push_back(C);
474 }
475
476 return ConstantVector::get(Result);
477}
478
480 ArrayRef<int> Mask) {
481 auto *V1VTy = cast<VectorType>(V1->getType());
482 unsigned MaskNumElts = Mask.size();
483 auto MaskEltCount =
484 ElementCount::get(MaskNumElts, isa<ScalableVectorType>(V1VTy));
485 Type *EltTy = V1VTy->getElementType();
486
487 // Poison shuffle mask -> poison value.
488 if (all_of(Mask, equal_to(PoisonMaskElem))) {
489 return PoisonValue::get(VectorType::get(EltTy, MaskEltCount));
490 }
491
492 // If the mask is all zeros this is a splat, no need to go through all
493 // elements.
494 if (all_of(Mask, equal_to(0))) {
495 Type *Ty = IntegerType::get(V1->getContext(), 32);
496 Constant *Elt =
497 ConstantExpr::getExtractElement(V1, ConstantInt::get(Ty, 0));
498
499 // For scalable vectors, make sure this doesn't fold back into a
500 // shufflevector.
501 if (!MaskEltCount.isScalable() || Elt->isNullValue() || isa<UndefValue>(Elt))
502 return ConstantVector::getSplat(MaskEltCount, Elt);
503 }
504
505 // Do not iterate on scalable vector. The num of elements is unknown at
506 // compile-time.
507 if (isa<ScalableVectorType>(V1VTy))
508 return nullptr;
509
510 unsigned SrcNumElts = V1VTy->getElementCount().getKnownMinValue();
511
512 // Loop over the shuffle mask, evaluating each element.
514 for (unsigned i = 0; i != MaskNumElts; ++i) {
515 int Elt = Mask[i];
516 if (Elt == -1) {
517 Result.push_back(UndefValue::get(EltTy));
518 continue;
519 }
520 Constant *InElt;
521 if (unsigned(Elt) >= SrcNumElts*2)
522 InElt = UndefValue::get(EltTy);
523 else if (unsigned(Elt) >= SrcNumElts) {
524 Type *Ty = IntegerType::get(V2->getContext(), 32);
525 InElt =
527 ConstantInt::get(Ty, Elt - SrcNumElts));
528 } else {
529 Type *Ty = IntegerType::get(V1->getContext(), 32);
530 InElt = ConstantExpr::getExtractElement(V1, ConstantInt::get(Ty, Elt));
531 }
532 Result.push_back(InElt);
533 }
534
535 return ConstantVector::get(Result);
536}
537
539 ArrayRef<unsigned> Idxs) {
540 // Base case: no indices, so return the entire value.
541 if (Idxs.empty())
542 return Agg;
543
544 if (Constant *C = Agg->getAggregateElement(Idxs[0]))
546
547 return nullptr;
548}
549
551 Constant *Val,
552 ArrayRef<unsigned> Idxs) {
553 // Base case: no indices, so replace the entire value.
554 if (Idxs.empty())
555 return Val;
556
557 unsigned NumElts;
558 if (StructType *ST = dyn_cast<StructType>(Agg->getType()))
559 NumElts = ST->getNumElements();
560 else
561 NumElts = cast<ArrayType>(Agg->getType())->getNumElements();
562
564 for (unsigned i = 0; i != NumElts; ++i) {
565 Constant *C = Agg->getAggregateElement(i);
566 if (!C) return nullptr;
567
568 if (Idxs[0] == i)
570
571 Result.push_back(C);
572 }
573
574 if (StructType *ST = dyn_cast<StructType>(Agg->getType()))
575 return ConstantStruct::get(ST, Result);
576 return ConstantArray::get(cast<ArrayType>(Agg->getType()), Result);
577}
578
580 assert(Instruction::isUnaryOp(Opcode) && "Non-unary instruction detected");
581
582 // Handle scalar UndefValue and scalable vector UndefValue. Fixed-length
583 // vectors are always evaluated per element.
584 bool IsScalableVector = isa<ScalableVectorType>(C->getType());
585 bool HasScalarUndefOrScalableVectorUndef =
586 (!C->getType()->isVectorTy() || IsScalableVector) && isa<UndefValue>(C);
587
588 if (HasScalarUndefOrScalableVectorUndef) {
589 switch (static_cast<Instruction::UnaryOps>(Opcode)) {
590 case Instruction::FNeg:
591 return C; // -undef -> undef
592 case Instruction::UnaryOpsEnd:
593 llvm_unreachable("Invalid UnaryOp");
594 }
595 }
596
597 // Constant should not be UndefValue, unless these are vector constants.
598 assert(!HasScalarUndefOrScalableVectorUndef && "Unexpected UndefValue");
599 // We only have FP UnaryOps right now.
600 assert(!isa<ConstantInt>(C) && "Unexpected Integer UnaryOp");
601
602 if (ConstantFP *CFP = dyn_cast<ConstantFP>(C)) {
603 const APFloat &CV = CFP->getValueAPF();
604 switch (Opcode) {
605 default:
606 break;
607 case Instruction::FNeg:
608 return ConstantFP::get(C->getType(), neg(CV));
609 }
610 } else if (auto *VTy = dyn_cast<VectorType>(C->getType())) {
611 // Fast path for splatted constants.
612 if (Constant *Splat = C->getSplatValue())
613 if (Constant *Elt = ConstantFoldUnaryInstruction(Opcode, Splat))
614 return ConstantVector::getSplat(VTy->getElementCount(), Elt);
615
616 if (auto *FVTy = dyn_cast<FixedVectorType>(VTy)) {
617 // Fold each element and create a vector constant from those constants.
618 Type *Ty = IntegerType::get(FVTy->getContext(), 32);
620 for (unsigned i = 0, e = FVTy->getNumElements(); i != e; ++i) {
621 Constant *ExtractIdx = ConstantInt::get(Ty, i);
622 Constant *Elt = ConstantExpr::getExtractElement(C, ExtractIdx);
623 Constant *Res = ConstantFoldUnaryInstruction(Opcode, Elt);
624 if (!Res)
625 return nullptr;
626 Result.push_back(Res);
627 }
628
629 return ConstantVector::get(Result);
630 }
631 }
632
633 // We don't know how to fold this.
634 return nullptr;
635}
636
638 Constant *C2) {
639 assert(Instruction::isBinaryOp(Opcode) && "Non-binary instruction detected");
640
641 // Simplify BinOps with their identity values first. They are no-ops and we
642 // can always return the other value, including undef or poison values.
644 Opcode, C1->getType(), /*AllowRHSIdentity*/ false)) {
645 if (C1 == Identity)
646 return C2;
647 if (C2 == Identity)
648 return C1;
649 } else if (Constant *Identity = ConstantExpr::getBinOpIdentity(
650 Opcode, C1->getType(), /*AllowRHSIdentity*/ true)) {
651 if (C2 == Identity)
652 return C1;
653 }
654
655 // Binary operations propagate poison.
656 if (isa<PoisonValue>(C1) || isa<PoisonValue>(C2))
657 return PoisonValue::get(C1->getType());
658
659 // Handle scalar UndefValue and scalable vector UndefValue. Fixed-length
660 // vectors are always evaluated per element.
661 bool IsScalableVector = isa<ScalableVectorType>(C1->getType());
662 bool HasScalarUndefOrScalableVectorUndef =
663 (!C1->getType()->isVectorTy() || IsScalableVector) &&
664 (isa<UndefValue>(C1) || isa<UndefValue>(C2));
665 if (HasScalarUndefOrScalableVectorUndef) {
666 switch (static_cast<Instruction::BinaryOps>(Opcode)) {
667 case Instruction::Xor:
668 if (isa<UndefValue>(C1) && isa<UndefValue>(C2))
669 // Handle undef ^ undef -> 0 special case. This is a common
670 // idiom (misuse).
671 return Constant::getNullValue(C1->getType());
672 [[fallthrough]];
673 case Instruction::Add:
674 case Instruction::Sub:
675 return UndefValue::get(C1->getType());
676 case Instruction::And:
677 if (isa<UndefValue>(C1) && isa<UndefValue>(C2)) // undef & undef -> undef
678 return C1;
679 return Constant::getNullValue(C1->getType()); // undef & X -> 0
680 case Instruction::Mul: {
681 // undef * undef -> undef
682 if (isa<UndefValue>(C1) && isa<UndefValue>(C2))
683 return C1;
684 const APInt *CV;
685 // X * undef -> undef if X is odd
686 if (match(C1, m_APInt(CV)) || match(C2, m_APInt(CV)))
687 if ((*CV)[0])
688 return UndefValue::get(C1->getType());
689
690 // X * undef -> 0 otherwise
691 return Constant::getNullValue(C1->getType());
692 }
693 case Instruction::SDiv:
694 case Instruction::UDiv:
695 // X / undef -> poison
696 // X / 0 -> poison
697 if (match(C2, m_CombineOr(m_Undef(), m_Zero())))
698 return PoisonValue::get(C2->getType());
699 // undef / X -> 0 otherwise
700 return Constant::getNullValue(C1->getType());
701 case Instruction::URem:
702 case Instruction::SRem:
703 // X % undef -> poison
704 // X % 0 -> poison
705 if (match(C2, m_CombineOr(m_Undef(), m_Zero())))
706 return PoisonValue::get(C2->getType());
707 // undef % X -> 0 otherwise
708 return Constant::getNullValue(C1->getType());
709 case Instruction::Or: // X | undef -> -1
710 if (isa<UndefValue>(C1) && isa<UndefValue>(C2)) // undef | undef -> undef
711 return C1;
712 return Constant::getAllOnesValue(C1->getType()); // undef | X -> ~0
713 case Instruction::LShr:
714 // X >>l undef -> poison
715 if (isa<UndefValue>(C2))
716 return PoisonValue::get(C2->getType());
717 // undef >>l X -> 0
718 return Constant::getNullValue(C1->getType());
719 case Instruction::AShr:
720 // X >>a undef -> poison
721 if (isa<UndefValue>(C2))
722 return PoisonValue::get(C2->getType());
723 // TODO: undef >>a X -> poison if the shift is exact
724 // undef >>a X -> 0
725 return Constant::getNullValue(C1->getType());
726 case Instruction::Shl:
727 // X << undef -> undef
728 if (isa<UndefValue>(C2))
729 return PoisonValue::get(C2->getType());
730 // undef << X -> 0
731 return Constant::getNullValue(C1->getType());
732 case Instruction::FSub:
733 // -0.0 - undef --> undef (consistent with "fneg undef")
734 if (match(C1, m_NegZeroFP()) && isa<UndefValue>(C2))
735 return C2;
736 [[fallthrough]];
737 case Instruction::FAdd:
738 case Instruction::FMul:
739 case Instruction::FDiv:
740 case Instruction::FRem:
741 // [any flop] undef, undef -> undef
742 if (isa<UndefValue>(C1) && isa<UndefValue>(C2))
743 return C1;
744 // [any flop] C, undef -> NaN
745 // [any flop] undef, C -> NaN
746 // We could potentially specialize NaN/Inf constants vs. 'normal'
747 // constants (possibly differently depending on opcode and operand). This
748 // would allow returning undef sometimes. But it is always safe to fold to
749 // NaN because we can choose the undef operand as NaN, and any FP opcode
750 // with a NaN operand will propagate NaN.
751 return ConstantFP::getNaN(C1->getType());
752 case Instruction::BinaryOpsEnd:
753 llvm_unreachable("Invalid BinaryOp");
754 }
755 }
756
757 // Neither constant should be UndefValue, unless these are vector constants.
758 assert((!HasScalarUndefOrScalableVectorUndef) && "Unexpected UndefValue");
759
760 // Handle simplifications when the RHS is a constant int.
761 if (ConstantInt *CI2 = dyn_cast<ConstantInt>(C2)) {
762 if (C2 == ConstantExpr::getBinOpAbsorber(Opcode, C2->getType(),
763 /*AllowLHSConstant*/ false))
764 return C2;
765
766 switch (Opcode) {
767 case Instruction::UDiv:
768 case Instruction::SDiv:
769 if (CI2->isZero())
770 return PoisonValue::get(CI2->getType()); // X / 0 == poison
771 break;
772 case Instruction::URem:
773 case Instruction::SRem:
774 if (CI2->isOne())
775 return Constant::getNullValue(CI2->getType()); // X % 1 == 0
776 if (CI2->isZero())
777 return PoisonValue::get(CI2->getType()); // X % 0 == poison
778 break;
779 case Instruction::And:
780 assert(!CI2->isZero() && "And zero handled above");
781 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
782 // If and'ing the address of a global with a constant, fold it.
783 if ((CE1->getOpcode() == Instruction::PtrToInt ||
784 CE1->getOpcode() == Instruction::PtrToAddr) &&
785 isa<GlobalValue>(CE1->getOperand(0))) {
786 GlobalValue *GV = cast<GlobalValue>(CE1->getOperand(0));
787
788 Align GVAlign; // defaults to 1
789
790 if (Module *TheModule = GV->getParent()) {
791 const DataLayout &DL = TheModule->getDataLayout();
792 GVAlign = GV->getPointerAlignment(DL);
793
794 // If the function alignment is not specified then assume that it
795 // is 4.
796 // This is dangerous; on x86, the alignment of the pointer
797 // corresponds to the alignment of the function, but might be less
798 // than 4 if it isn't explicitly specified.
799 // However, a fix for this behaviour was reverted because it
800 // increased code size (see https://reviews.llvm.org/D55115)
801 // FIXME: This code should be deleted once existing targets have
802 // appropriate defaults
803 if (isa<Function>(GV) && !DL.getFunctionPtrAlign())
804 GVAlign = Align(4);
805 } else if (isa<GlobalVariable>(GV)) {
806 GVAlign = cast<GlobalVariable>(GV)->getAlign().valueOrOne();
807 }
808
809 if (GVAlign > 1) {
810 unsigned DstWidth = CI2->getBitWidth();
811 unsigned SrcWidth = std::min(DstWidth, Log2(GVAlign));
812 APInt BitsNotSet(APInt::getLowBitsSet(DstWidth, SrcWidth));
813
814 // If checking bits we know are clear, return zero.
815 if ((CI2->getValue() & BitsNotSet) == CI2->getValue())
816 return Constant::getNullValue(CI2->getType());
817 }
818 }
819 }
820 break;
821 }
822 } else if (isa<ConstantInt>(C1)) {
823 // If C1 is a ConstantInt and C2 is not, swap the operands.
824 if (Instruction::isCommutative(Opcode))
825 return ConstantExpr::isDesirableBinOp(Opcode)
826 ? ConstantExpr::get(Opcode, C2, C1)
827 : ConstantFoldBinaryInstruction(Opcode, C2, C1);
828 }
829
830 if (ConstantInt *CI1 = dyn_cast<ConstantInt>(C1)) {
831 if (ConstantInt *CI2 = dyn_cast<ConstantInt>(C2)) {
832 const APInt &C1V = CI1->getValue();
833 const APInt &C2V = CI2->getValue();
834 switch (Opcode) {
835 default:
836 break;
837 case Instruction::Add:
838 return ConstantInt::get(C1->getType(), C1V + C2V);
839 case Instruction::Sub:
840 return ConstantInt::get(C1->getType(), C1V - C2V);
841 case Instruction::Mul:
842 return ConstantInt::get(C1->getType(), C1V * C2V);
843 case Instruction::UDiv:
844 assert(!CI2->isZero() && "Div by zero handled above");
845 return ConstantInt::get(CI1->getType(), C1V.udiv(C2V));
846 case Instruction::SDiv:
847 assert(!CI2->isZero() && "Div by zero handled above");
848 if (C2V.isAllOnes() && C1V.isMinSignedValue())
849 return PoisonValue::get(CI1->getType()); // MIN_INT / -1 -> poison
850 return ConstantInt::get(CI1->getType(), C1V.sdiv(C2V));
851 case Instruction::URem:
852 assert(!CI2->isZero() && "Div by zero handled above");
853 return ConstantInt::get(C1->getType(), C1V.urem(C2V));
854 case Instruction::SRem:
855 assert(!CI2->isZero() && "Div by zero handled above");
856 if (C2V.isAllOnes() && C1V.isMinSignedValue())
857 return PoisonValue::get(C1->getType()); // MIN_INT % -1 -> poison
858 return ConstantInt::get(C1->getType(), C1V.srem(C2V));
859 case Instruction::And:
860 return ConstantInt::get(C1->getType(), C1V & C2V);
861 case Instruction::Or:
862 return ConstantInt::get(C1->getType(), C1V | C2V);
863 case Instruction::Xor:
864 return ConstantInt::get(C1->getType(), C1V ^ C2V);
865 case Instruction::Shl:
866 if (C2V.ult(C1V.getBitWidth()))
867 return ConstantInt::get(C1->getType(), C1V.shl(C2V));
868 return PoisonValue::get(C1->getType()); // too big shift is poison
869 case Instruction::LShr:
870 if (C2V.ult(C1V.getBitWidth()))
871 return ConstantInt::get(C1->getType(), C1V.lshr(C2V));
872 return PoisonValue::get(C1->getType()); // too big shift is poison
873 case Instruction::AShr:
874 if (C2V.ult(C1V.getBitWidth()))
875 return ConstantInt::get(C1->getType(), C1V.ashr(C2V));
876 return PoisonValue::get(C1->getType()); // too big shift is poison
877 }
878 }
879
880 if (C1 == ConstantExpr::getBinOpAbsorber(Opcode, C1->getType(),
881 /*AllowLHSConstant*/ true))
882 return C1;
883 } else if (ConstantFP *CFP1 = dyn_cast<ConstantFP>(C1)) {
884 if (ConstantFP *CFP2 = dyn_cast<ConstantFP>(C2)) {
885 const APFloat &C1V = CFP1->getValueAPF();
886 const APFloat &C2V = CFP2->getValueAPF();
887 APFloat C3V = C1V; // copy for modification
888 switch (Opcode) {
889 default:
890 break;
891 case Instruction::FAdd:
892 (void)C3V.add(C2V, APFloat::rmNearestTiesToEven);
893 return ConstantFP::get(C1->getType(), C3V);
894 case Instruction::FSub:
896 return ConstantFP::get(C1->getType(), C3V);
897 case Instruction::FMul:
899 return ConstantFP::get(C1->getType(), C3V);
900 case Instruction::FDiv:
901 (void)C3V.divide(C2V, APFloat::rmNearestTiesToEven);
902 return ConstantFP::get(C1->getType(), C3V);
903 case Instruction::FRem:
904 (void)C3V.mod(C2V);
905 return ConstantFP::get(C1->getType(), C3V);
906 }
907 }
908 }
909
910 if (auto *VTy = dyn_cast<VectorType>(C1->getType())) {
911 // Fast path for splatted constants.
912 if (Constant *C2Splat = C2->getSplatValue()) {
913 if (Instruction::isIntDivRem(Opcode) && C2Splat->isNullValue())
914 return PoisonValue::get(VTy);
915 if (Constant *C1Splat = C1->getSplatValue()) {
916 Constant *Res =
918 ? ConstantExpr::get(Opcode, C1Splat, C2Splat)
919 : ConstantFoldBinaryInstruction(Opcode, C1Splat, C2Splat);
920 if (!Res)
921 return nullptr;
922 return ConstantVector::getSplat(VTy->getElementCount(), Res);
923 }
924 }
925
926 if (auto *FVTy = dyn_cast<FixedVectorType>(VTy)) {
927 // Fold each element and create a vector constant from those constants.
929 Type *Ty = IntegerType::get(FVTy->getContext(), 32);
930 for (unsigned i = 0, e = FVTy->getNumElements(); i != e; ++i) {
931 Constant *ExtractIdx = ConstantInt::get(Ty, i);
932 Constant *LHS = ConstantExpr::getExtractElement(C1, ExtractIdx);
933 Constant *RHS = ConstantExpr::getExtractElement(C2, ExtractIdx);
935 ? ConstantExpr::get(Opcode, LHS, RHS)
936 : ConstantFoldBinaryInstruction(Opcode, LHS, RHS);
937 if (!Res)
938 return nullptr;
939 Result.push_back(Res);
940 }
941
942 return ConstantVector::get(Result);
943 }
944 }
945
946 if (ConstantExpr *CE1 = dyn_cast<ConstantExpr>(C1)) {
947 // There are many possible foldings we could do here. We should probably
948 // at least fold add of a pointer with an integer into the appropriate
949 // getelementptr. This will improve alias analysis a bit.
950
951 // Given ((a + b) + c), if (b + c) folds to something interesting, return
952 // (a + (b + c)).
953 if (Instruction::isAssociative(Opcode) && CE1->getOpcode() == Opcode) {
954 Constant *T = ConstantExpr::get(Opcode, CE1->getOperand(1), C2);
955 if (!isa<ConstantExpr>(T) || cast<ConstantExpr>(T)->getOpcode() != Opcode)
956 return ConstantExpr::get(Opcode, CE1->getOperand(0), T);
957 }
958 } else if (isa<ConstantExpr>(C2)) {
959 // If C2 is a constant expr and C1 isn't, flop them around and fold the
960 // other way if possible.
961 if (Instruction::isCommutative(Opcode))
962 return ConstantFoldBinaryInstruction(Opcode, C2, C1);
963 }
964
965 // i1 can be simplified in many cases.
966 if (C1->getType()->isIntegerTy(1)) {
967 switch (Opcode) {
968 case Instruction::Add:
969 case Instruction::Sub:
970 return ConstantExpr::getXor(C1, C2);
971 case Instruction::Shl:
972 case Instruction::LShr:
973 case Instruction::AShr:
974 // We can assume that C2 == 0. If it were one the result would be
975 // undefined because the shift value is as large as the bitwidth.
976 return C1;
977 case Instruction::SDiv:
978 case Instruction::UDiv:
979 // We can assume that C2 == 1. If it were zero the result would be
980 // undefined through division by zero.
981 return C1;
982 case Instruction::URem:
983 case Instruction::SRem:
984 // We can assume that C2 == 1. If it were zero the result would be
985 // undefined through division by zero.
986 return ConstantInt::getFalse(C1->getContext());
987 default:
988 break;
989 }
990 }
991
992 // We don't know how to fold this.
993 return nullptr;
994}
995
997 const GlobalValue *GV2) {
998 auto isGlobalUnsafeForEquality = [](const GlobalValue *GV) {
999 if (GV->isInterposable() || GV->hasGlobalUnnamedAddr())
1000 return true;
1001 if (const auto *GVar = dyn_cast<GlobalVariable>(GV)) {
1002 Type *Ty = GVar->getValueType();
1003 // A global with opaque type might end up being zero sized.
1004 if (!Ty->isSized())
1005 return true;
1006 // A global with an empty type might lie at the address of any other
1007 // global.
1008 if (Ty->isEmptyTy())
1009 return true;
1010 }
1011 return false;
1012 };
1013 // Don't try to decide equality of aliases.
1014 if (!isa<GlobalAlias>(GV1) && !isa<GlobalAlias>(GV2))
1015 if (!isGlobalUnsafeForEquality(GV1) && !isGlobalUnsafeForEquality(GV2))
1016 return ICmpInst::ICMP_NE;
1018}
1019
1020/// This function determines if there is anything we can decide about the two
1021/// constants provided. This doesn't need to handle simple things like integer
1022/// comparisons, but should instead handle ConstantExprs and GlobalValues.
1023/// If we can determine that the two constants have a particular relation to
1024/// each other, we should return the corresponding ICmp predicate, otherwise
1025/// return ICmpInst::BAD_ICMP_PREDICATE.
1027 assert(V1->getType() == V2->getType() &&
1028 "Cannot compare different types of values!");
1029 if (V1 == V2) return ICmpInst::ICMP_EQ;
1030
1031 // The following folds only apply to pointers.
1032 if (!V1->getType()->isPointerTy())
1034
1035 // To simplify this code we canonicalize the relation so that the first
1036 // operand is always the most "complex" of the two. We consider simple
1037 // constants (like ConstantPointerNull) to be the simplest, followed by
1038 // BlockAddress, GlobalValues, and ConstantExpr's (the most complex).
1039 auto GetComplexity = [](Constant *V) {
1040 if (isa<ConstantExpr>(V))
1041 return 3;
1042 if (isa<GlobalValue>(V))
1043 return 2;
1044 if (isa<BlockAddress>(V))
1045 return 1;
1046 return 0;
1047 };
1048 if (GetComplexity(V1) < GetComplexity(V2)) {
1049 ICmpInst::Predicate SwappedRelation = evaluateICmpRelation(V2, V1);
1050 if (SwappedRelation != ICmpInst::BAD_ICMP_PREDICATE)
1051 return ICmpInst::getSwappedPredicate(SwappedRelation);
1053 }
1054
1055 if (const BlockAddress *BA = dyn_cast<BlockAddress>(V1)) {
1056 // Now we know that the RHS is a BlockAddress or simple constant.
1057 if (const BlockAddress *BA2 = dyn_cast<BlockAddress>(V2)) {
1058 // Block address in another function can't equal this one, but block
1059 // addresses in the current function might be the same if blocks are
1060 // empty.
1061 if (BA2->getFunction() != BA->getFunction())
1062 return ICmpInst::ICMP_NE;
1063 } else if (isa<ConstantPointerNull>(V2)) {
1064 return ICmpInst::ICMP_NE;
1065 }
1066 } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(V1)) {
1067 // Now we know that the RHS is a GlobalValue, BlockAddress or simple
1068 // constant.
1069 if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
1070 return areGlobalsPotentiallyEqual(GV, GV2);
1071 } else if (isa<BlockAddress>(V2)) {
1072 return ICmpInst::ICMP_NE; // Globals never equal labels.
1073 } else if (isa<ConstantPointerNull>(V2)) {
1074 // GlobalVals can never be null unless they have external weak linkage.
1075 // We don't try to evaluate aliases here.
1076 // NOTE: We should not be doing this constant folding if null pointer
1077 // is considered valid for the function. But currently there is no way to
1078 // query it from the Constant type.
1079 if (!GV->hasExternalWeakLinkage() && !isa<GlobalAlias>(GV) &&
1080 !NullPointerIsDefined(nullptr /* F */,
1081 GV->getType()->getAddressSpace()))
1082 return ICmpInst::ICMP_UGT;
1083 }
1084 } else if (auto *CE1 = dyn_cast<ConstantExpr>(V1)) {
1085 // Ok, the LHS is known to be a constantexpr. The RHS can be any of a
1086 // constantexpr, a global, block address, or a simple constant.
1087 Constant *CE1Op0 = CE1->getOperand(0);
1088
1089 switch (CE1->getOpcode()) {
1090 case Instruction::GetElementPtr: {
1091 GEPOperator *CE1GEP = cast<GEPOperator>(CE1);
1092 // Ok, since this is a getelementptr, we know that the constant has a
1093 // pointer type. Check the various cases.
1094 if (isa<ConstantPointerNull>(V2)) {
1095 // If we are comparing a GEP to a null pointer, check to see if the base
1096 // of the GEP equals the null pointer.
1097 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
1098 // If its not weak linkage, the GVal must have a non-zero address
1099 // so the result is greater-than
1100 if (!GV->hasExternalWeakLinkage() && CE1GEP->isInBounds())
1101 return ICmpInst::ICMP_UGT;
1102 }
1103 } else if (const GlobalValue *GV2 = dyn_cast<GlobalValue>(V2)) {
1104 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CE1Op0)) {
1105 if (GV != GV2) {
1106 if (CE1GEP->hasAllZeroIndices())
1107 return areGlobalsPotentiallyEqual(GV, GV2);
1109 }
1110 }
1111 } else if (const auto *CE2GEP = dyn_cast<GEPOperator>(V2)) {
1112 // By far the most common case to handle is when the base pointers are
1113 // obviously to the same global.
1114 const Constant *CE2Op0 = cast<Constant>(CE2GEP->getPointerOperand());
1115 if (isa<GlobalValue>(CE1Op0) && isa<GlobalValue>(CE2Op0)) {
1116 // Don't know relative ordering, but check for inequality.
1117 if (CE1Op0 != CE2Op0) {
1118 if (CE1GEP->hasAllZeroIndices() && CE2GEP->hasAllZeroIndices())
1120 cast<GlobalValue>(CE2Op0));
1122 }
1123 }
1124 }
1125 break;
1126 }
1127 default:
1128 break;
1129 }
1130 }
1131
1133}
1134
1136 Constant *C1, Constant *C2) {
1137 Type *ResultTy;
1138 if (VectorType *VT = dyn_cast<VectorType>(C1->getType()))
1139 ResultTy = VectorType::get(Type::getInt1Ty(C1->getContext()),
1140 VT->getElementCount());
1141 else
1142 ResultTy = Type::getInt1Ty(C1->getContext());
1143
1144 // Fold FCMP_FALSE/FCMP_TRUE unconditionally.
1145 if (Predicate == FCmpInst::FCMP_FALSE)
1146 return Constant::getNullValue(ResultTy);
1147
1148 if (Predicate == FCmpInst::FCMP_TRUE)
1149 return Constant::getAllOnesValue(ResultTy);
1150
1151 // Handle some degenerate cases first
1152 if (isa<PoisonValue>(C1) || isa<PoisonValue>(C2))
1153 return PoisonValue::get(ResultTy);
1154
1155 if (isa<UndefValue>(C1) || isa<UndefValue>(C2)) {
1156 bool isIntegerPredicate = ICmpInst::isIntPredicate(Predicate);
1157 // For EQ and NE, we can always pick a value for the undef to make the
1158 // predicate pass or fail, so we can return undef.
1159 // Also, if both operands are undef, we can return undef for int comparison.
1160 if (ICmpInst::isEquality(Predicate) || (isIntegerPredicate && C1 == C2))
1161 return UndefValue::get(ResultTy);
1162
1163 // Otherwise, for integer compare, pick the same value as the non-undef
1164 // operand, and fold it to true or false.
1165 if (isIntegerPredicate)
1166 return ConstantInt::get(ResultTy, CmpInst::isTrueWhenEqual(Predicate));
1167
1168 // Choosing NaN for the undef will always make unordered comparison succeed
1169 // and ordered comparison fails.
1170 return ConstantInt::get(ResultTy, CmpInst::isUnordered(Predicate));
1171 }
1172
1173 if (C2->isNullValue()) {
1174 // The caller is expected to commute the operands if the constant expression
1175 // is C2.
1176 // C1 >= 0 --> true
1177 if (Predicate == ICmpInst::ICMP_UGE)
1178 return Constant::getAllOnesValue(ResultTy);
1179 // C1 < 0 --> false
1180 if (Predicate == ICmpInst::ICMP_ULT)
1181 return Constant::getNullValue(ResultTy);
1182 }
1183
1184 // If the comparison is a comparison between two i1's, simplify it.
1185 if (C1->getType()->isIntOrIntVectorTy(1)) {
1186 switch (Predicate) {
1187 case ICmpInst::ICMP_EQ:
1188 if (isa<ConstantExpr>(C1))
1191 case ICmpInst::ICMP_NE:
1192 return ConstantExpr::getXor(C1, C2);
1193 default:
1194 break;
1195 }
1196 }
1197
1198 if (isa<ConstantInt>(C1) && isa<ConstantInt>(C2)) {
1199 const APInt &V1 = cast<ConstantInt>(C1)->getValue();
1200 const APInt &V2 = cast<ConstantInt>(C2)->getValue();
1201 return ConstantInt::get(ResultTy, ICmpInst::compare(V1, V2, Predicate));
1202 } else if (isa<ConstantFP>(C1) && isa<ConstantFP>(C2)) {
1203 const APFloat &C1V = cast<ConstantFP>(C1)->getValueAPF();
1204 const APFloat &C2V = cast<ConstantFP>(C2)->getValueAPF();
1205 return ConstantInt::get(ResultTy, FCmpInst::compare(C1V, C2V, Predicate));
1206 } else if (auto *C1VTy = dyn_cast<VectorType>(C1->getType())) {
1207
1208 // Fast path for splatted constants.
1209 if (Constant *C1Splat = C1->getSplatValue())
1210 if (Constant *C2Splat = C2->getSplatValue())
1211 if (Constant *Elt =
1212 ConstantFoldCompareInstruction(Predicate, C1Splat, C2Splat))
1213 return ConstantVector::getSplat(C1VTy->getElementCount(), Elt);
1214
1215 // Do not iterate on scalable vector. The number of elements is unknown at
1216 // compile-time.
1217 if (isa<ScalableVectorType>(C1VTy))
1218 return nullptr;
1219
1220 // If we can constant fold the comparison of each element, constant fold
1221 // the whole vector comparison.
1223 Type *Ty = IntegerType::get(C1->getContext(), 32);
1224 // Compare the elements, producing an i1 result or constant expr.
1225 for (unsigned I = 0, E = C1VTy->getElementCount().getKnownMinValue();
1226 I != E; ++I) {
1227 Constant *C1E =
1228 ConstantExpr::getExtractElement(C1, ConstantInt::get(Ty, I));
1229 Constant *C2E =
1230 ConstantExpr::getExtractElement(C2, ConstantInt::get(Ty, I));
1231 Constant *Elt = ConstantFoldCompareInstruction(Predicate, C1E, C2E);
1232 if (!Elt)
1233 return nullptr;
1234
1235 ResElts.push_back(Elt);
1236 }
1237
1238 return ConstantVector::get(ResElts);
1239 }
1240
1241 if (C1->getType()->isFPOrFPVectorTy()) {
1242 if (C1 == C2) {
1243 // We know that C1 == C2 || isUnordered(C1, C2).
1244 if (Predicate == FCmpInst::FCMP_ONE)
1245 return ConstantInt::getFalse(ResultTy);
1246 else if (Predicate == FCmpInst::FCMP_UEQ)
1247 return ConstantInt::getTrue(ResultTy);
1248 }
1249 } else {
1250 // Evaluate the relation between the two constants, per the predicate.
1251 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
1252 switch (evaluateICmpRelation(C1, C2)) {
1253 default: llvm_unreachable("Unknown relational!");
1255 break; // Couldn't determine anything about these constants.
1256 case ICmpInst::ICMP_EQ: // We know the constants are equal!
1257 // If we know the constants are equal, we can decide the result of this
1258 // computation precisely.
1259 Result = ICmpInst::isTrueWhenEqual(Predicate);
1260 break;
1261 case ICmpInst::ICMP_ULT:
1262 switch (Predicate) {
1264 Result = 1; break;
1266 Result = 0; break;
1267 default:
1268 break;
1269 }
1270 break;
1271 case ICmpInst::ICMP_SLT:
1272 switch (Predicate) {
1274 Result = 1; break;
1276 Result = 0; break;
1277 default:
1278 break;
1279 }
1280 break;
1281 case ICmpInst::ICMP_UGT:
1282 switch (Predicate) {
1284 Result = 1; break;
1286 Result = 0; break;
1287 default:
1288 break;
1289 }
1290 break;
1291 case ICmpInst::ICMP_SGT:
1292 switch (Predicate) {
1294 Result = 1; break;
1296 Result = 0; break;
1297 default:
1298 break;
1299 }
1300 break;
1301 case ICmpInst::ICMP_ULE:
1302 if (Predicate == ICmpInst::ICMP_UGT)
1303 Result = 0;
1304 if (Predicate == ICmpInst::ICMP_ULT || Predicate == ICmpInst::ICMP_ULE)
1305 Result = 1;
1306 break;
1307 case ICmpInst::ICMP_SLE:
1308 if (Predicate == ICmpInst::ICMP_SGT)
1309 Result = 0;
1310 if (Predicate == ICmpInst::ICMP_SLT || Predicate == ICmpInst::ICMP_SLE)
1311 Result = 1;
1312 break;
1313 case ICmpInst::ICMP_UGE:
1314 if (Predicate == ICmpInst::ICMP_ULT)
1315 Result = 0;
1316 if (Predicate == ICmpInst::ICMP_UGT || Predicate == ICmpInst::ICMP_UGE)
1317 Result = 1;
1318 break;
1319 case ICmpInst::ICMP_SGE:
1320 if (Predicate == ICmpInst::ICMP_SLT)
1321 Result = 0;
1322 if (Predicate == ICmpInst::ICMP_SGT || Predicate == ICmpInst::ICMP_SGE)
1323 Result = 1;
1324 break;
1325 case ICmpInst::ICMP_NE:
1326 if (Predicate == ICmpInst::ICMP_EQ)
1327 Result = 0;
1328 if (Predicate == ICmpInst::ICMP_NE)
1329 Result = 1;
1330 break;
1331 }
1332
1333 // If we evaluated the result, return it now.
1334 if (Result != -1)
1335 return ConstantInt::get(ResultTy, Result);
1336
1337 if ((!isa<ConstantExpr>(C1) && isa<ConstantExpr>(C2)) ||
1338 (C1->isNullValue() && !C2->isNullValue())) {
1339 // If C2 is a constant expr and C1 isn't, flip them around and fold the
1340 // other way if possible.
1341 // Also, if C1 is null and C2 isn't, flip them around.
1342 Predicate = ICmpInst::getSwappedPredicate(Predicate);
1343 return ConstantFoldCompareInstruction(Predicate, C2, C1);
1344 }
1345 }
1346 return nullptr;
1347}
1348
1350 std::optional<ConstantRange> InRange,
1351 ArrayRef<Value *> Idxs) {
1352 if (Idxs.empty()) return C;
1353
1355 C, ArrayRef((Value *const *)Idxs.data(), Idxs.size()));
1356
1357 if (isa<PoisonValue>(C))
1358 return PoisonValue::get(GEPTy);
1359
1360 if (isa<UndefValue>(C))
1361 return UndefValue::get(GEPTy);
1362
1363 auto IsNoOp = [&]() {
1364 // Avoid losing inrange information.
1365 if (InRange)
1366 return false;
1367
1368 return all_of(Idxs, [](Value *Idx) {
1369 Constant *IdxC = cast<Constant>(Idx);
1370 return IdxC->isNullValue() || isa<UndefValue>(IdxC);
1371 });
1372 };
1373 if (IsNoOp())
1374 return GEPTy->isVectorTy() && !C->getType()->isVectorTy()
1376 cast<VectorType>(GEPTy)->getElementCount(), C)
1377 : C;
1378
1379 return nullptr;
1380}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file implements a class to represent arbitrary precision integral constant values and operations...
This file implements the APSInt class, which is a simple class that represents an arbitrary sized int...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static unsigned foldConstantCastPair(unsigned opc, ConstantExpr *Op, Type *DstTy)
This function determines which opcode to use to fold two constant cast expressions together.
static Constant * foldMaybeUndesirableCast(unsigned opc, Constant *V, Type *DestTy)
static ICmpInst::Predicate areGlobalsPotentiallyEqual(const GlobalValue *GV1, const GlobalValue *GV2)
static Constant * FoldBitCast(Constant *V, Type *DestTy)
static ICmpInst::Predicate evaluateICmpRelation(Constant *V1, Constant *V2)
This function determines if there is anything we can decide about the two constants provided.
This file contains the declarations for the subclasses of Constant, which represent the different fla...
Hexagon Common GEP
Module.h This file contains the declarations for the Module class.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define I(x, y, z)
Definition MD5.cpp:57
static bool InRange(int64_t Value, unsigned short Shift, int LBound, int HBound)
#define T
const SmallVectorImpl< MachineOperand > & Cond
This file defines the SmallVector class.
static std::optional< unsigned > getOpcode(ArrayRef< VPValue * > Values)
Returns the opcode of Values or ~0 if they do not all agree.
Definition VPlanSLP.cpp:247
static constexpr roundingMode rmTowardZero
Definition APFloat.h:348
static constexpr roundingMode rmNearestTiesToEven
Definition APFloat.h:344
opStatus divide(const APFloat &RHS, roundingMode RM)
Definition APFloat.h:1263
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition APFloat.cpp:5890
opStatus subtract(const APFloat &RHS, roundingMode RM)
Definition APFloat.h:1245
opStatus add(const APFloat &RHS, roundingMode RM)
Definition APFloat.h:1236
opStatus convertFromAPInt(const APInt &Input, bool IsSigned, roundingMode RM)
Definition APFloat.h:1402
opStatus multiply(const APFloat &RHS, roundingMode RM)
Definition APFloat.h:1254
opStatus mod(const APFloat &RHS)
Definition APFloat.h:1281
Class for arbitrary precision integers.
Definition APInt.h:78
LLVM_ABI APInt udiv(const APInt &RHS) const
Unsigned division operation.
Definition APInt.cpp:1615
bool isMinSignedValue() const
Determine if this is the smallest signed value.
Definition APInt.h:424
LLVM_ABI APInt urem(const APInt &RHS) const
Unsigned remainder operation.
Definition APInt.cpp:1708
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1511
LLVM_ABI APInt sdiv(const APInt &RHS) const
Signed division function for APInt.
Definition APInt.cpp:1686
APInt ashr(unsigned ShiftAmt) const
Arithmetic right-shift function.
Definition APInt.h:834
LLVM_ABI APInt srem(const APInt &RHS) const
Function for signed remainder operation.
Definition APInt.cpp:1787
APInt shl(unsigned shiftAmt) const
Left-shift function.
Definition APInt.h:880
static APInt getLowBitsSet(unsigned numBits, unsigned loBitsSet)
Constructs an APInt value that has the bottom loBitsSet bits set.
Definition APInt.h:307
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
Definition APInt.h:201
APInt lshr(unsigned shiftAmt) const
Logical right-shift function.
Definition APInt.h:858
An arbitrary precision integer that knows its signedness.
Definition APSInt.h:24
static bool isSameValue(const APSInt &I1, const APSInt &I2)
Determine if two APSInts have the same value, zero- or sign-extending as needed.
Definition APSInt.h:318
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
size_t size() const
size - Get the array size.
Definition ArrayRef.h:142
bool empty() const
empty - Check if the array is empty.
Definition ArrayRef.h:137
const T * data() const
Definition ArrayRef.h:139
ArrayRef< T > slice(size_t N, size_t M) const
slice(n, m) - Chop off the first N elements of the array, and keep M elements in the array.
Definition ArrayRef.h:186
The address of a basic block.
Definition Constants.h:1065
static LLVM_ABI unsigned isEliminableCastPair(Instruction::CastOps firstOpcode, Instruction::CastOps secondOpcode, Type *SrcTy, Type *MidTy, Type *DstTy, const DataLayout *DL)
Determine how a pair of casts can be eliminated, if they can be at all.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Definition InstrTypes.h:676
@ FCMP_TRUE
1 1 1 1 Always true (always folded)
Definition InstrTypes.h:693
@ ICMP_SLT
signed less than
Definition InstrTypes.h:705
@ ICMP_SLE
signed less or equal
Definition InstrTypes.h:706
@ ICMP_UGE
unsigned greater or equal
Definition InstrTypes.h:700
@ ICMP_UGT
unsigned greater than
Definition InstrTypes.h:699
@ ICMP_SGT
signed greater than
Definition InstrTypes.h:703
@ FCMP_ONE
0 1 1 0 True if ordered and operands are unequal
Definition InstrTypes.h:684
@ FCMP_UEQ
1 0 0 1 True if unordered or equal
Definition InstrTypes.h:687
@ ICMP_ULT
unsigned less than
Definition InstrTypes.h:701
@ ICMP_NE
not equal
Definition InstrTypes.h:698
@ ICMP_SGE
signed greater or equal
Definition InstrTypes.h:704
@ ICMP_ULE
unsigned less or equal
Definition InstrTypes.h:702
@ FCMP_FALSE
0 0 0 0 Always false (always folded)
Definition InstrTypes.h:678
Predicate getSwappedPredicate() const
For example, EQ->EQ, SLE->SGE, ULT->UGT, OEQ->OEQ, ULE->UGE, OLT->OGT, etc.
Definition InstrTypes.h:827
bool isTrueWhenEqual() const
This is just a convenience.
Definition InstrTypes.h:942
static LLVM_ABI bool isUnordered(Predicate predicate)
Determine if the predicate is an unordered operation.
static bool isIntPredicate(Predicate P)
Definition InstrTypes.h:776
static LLVM_ABI Constant * get(ArrayType *T, ArrayRef< Constant * > V)
Class for constant bytes.
Definition Constants.h:281
A constant value that is initialized with an expression using other constant values.
Definition Constants.h:1291
static LLVM_ABI Constant * getExtractElement(Constant *Vec, Constant *Idx, Type *OnlyIfReducedTy=nullptr)
static LLVM_ABI bool isDesirableCastOp(unsigned Opcode)
Whether creating a constant expression for this cast is desirable.
static LLVM_ABI Constant * getBinOpAbsorber(unsigned Opcode, Type *Ty, bool AllowLHSConstant=false)
Return the absorbing element for the given binary operation, i.e.
static LLVM_ABI Constant * getCast(unsigned ops, Constant *C, Type *Ty, bool OnlyIfReduced=false)
Convenience function for getting a Cast operation.
static LLVM_ABI Constant * getNot(Constant *C)
static LLVM_ABI Constant * getXor(Constant *C1, Constant *C2)
static LLVM_ABI Constant * get(unsigned Opcode, Constant *C1, Constant *C2, unsigned Flags=0, Type *OnlyIfReducedTy=nullptr)
get - Return a binary or shift operator constant expression, folding if possible.
static LLVM_ABI bool isDesirableBinOp(unsigned Opcode)
Whether creating a constant expression for this binary operator is desirable.
static LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getBinOpIdentity(unsigned Opcode, Type *Ty, bool AllowRHSConstant=false, bool NSZ=false)
Return the identity constant for a binary opcode.
ConstantFP - Floating Point Values [float, double].
Definition Constants.h:420
static LLVM_ABI Constant * getNaN(Type *Ty, bool Negative=false, uint64_t Payload=0)
This is the shared class of boolean and integer constants.
Definition Constants.h:87
static LLVM_ABI ConstantInt * getTrue(LLVMContext &Context)
static LLVM_ABI ConstantInt * getFalse(LLVMContext &Context)
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
Definition Constants.h:168
bool uge(uint64_t Num) const
This function will return true iff this constant represents a value with active bits bigger than 64 b...
Definition Constants.h:262
static LLVM_ABI Constant * get(StructType *T, ArrayRef< Constant * > V)
Constant Vector Declarations.
Definition Constants.h:660
static LLVM_ABI Constant * getSplat(ElementCount EC, Constant *Elt)
Return a ConstantVector with the specified constant in each element.
static LLVM_ABI Constant * get(ArrayRef< Constant * > V)
This is an important base class in LLVM.
Definition Constant.h:43
LLVM_ABI Constant * getSplatValue(bool AllowPoison=false) const
If all elements of the vector constant have the same value, return that value.
static LLVM_ABI Constant * getAllOnesValue(Type *Ty)
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
LLVM_ABI Constant * getAggregateElement(unsigned Elt) const
For aggregates (struct/array/vector) return the constant that corresponds to the specified element if...
LLVM_ABI bool isNullValue() const
Return true if this is the value that would be returned by getNullValue.
Definition Constants.cpp:74
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Definition TypeSize.h:315
static LLVM_ABI bool compare(const APFloat &LHS, const APFloat &RHS, FCmpInst::Predicate Pred)
Return result of LHS Pred RHS comparison.
bool isInBounds() const
Test whether this is an inbounds GEP, as defined by LangRef.html.
Definition Operator.h:430
bool hasAllZeroIndices() const
Return true if all of the indices of this GEP are zeros.
Definition Operator.h:491
static Type * getGEPReturnType(Value *Ptr, ArrayRef< Value * > IdxList)
Returns the pointer type returned by the GEP instruction, which may be a vector of pointers.
Module * getParent()
Get the module that this global value is contained inside of...
static LLVM_ABI bool compare(const APInt &LHS, const APInt &RHS, ICmpInst::Predicate Pred)
Return result of LHS Pred RHS comparison.
static bool isEquality(Predicate P)
Return true if this predicate is either EQ or NE.
bool isCast() const
LLVM_ABI bool isAssociative() const LLVM_READONLY
Return true if the instruction is associative:
LLVM_ABI bool isCommutative() const LLVM_READONLY
Return true if the instruction is commutative:
bool isBinaryOp() const
bool isUnaryOp() const
bool isIntDivRem() const
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:354
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Class to represent struct types.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
bool isVectorTy() const
True if this is an instance of VectorType.
Definition Type.h:290
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
Definition Type.cpp:313
bool isIntOrIntVectorTy() const
Return true if this is an integer type or a vector of integer types.
Definition Type.h:263
bool isPointerTy() const
True if this is an instance of PointerType.
Definition Type.h:284
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition Type.h:167
LLVM_ABI bool isFirstClassType() const
Return true if the type is "first class", meaning it is a valid type for a Value.
Definition Type.cpp:255
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition Type.h:370
bool isByteOrByteVectorTy() const
Return true if this is a byte type or a vector of byte types.
Definition Type.h:248
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition Type.h:130
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:236
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
Definition Type.cpp:310
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
Definition Type.h:186
bool isX86_AMXTy() const
Return true if this is X86 AMX.
Definition Type.h:202
bool isIntegerTy() const
True if this is an instance of IntegerType.
Definition Type.h:257
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Definition Type.h:227
LLVM_ABI const fltSemantics & getFltSemantics() const
Definition Type.cpp:110
static LLVM_ABI UndefValue * get(Type *T)
Static factory methods - Return an 'undef' object of the specified type.
Value * getOperand(unsigned i) const
Definition User.h:207
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:255
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:258
LLVM_ABI Align getPointerAlignment(const DataLayout &DL) const
Returns an alignment of the pointer value.
Definition Value.cpp:964
Base class of all SIMD vector types.
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
Type * getElementType() const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
ap_match< APInt > m_APInt(const APInt *&Res)
Match a ConstantInt or splatted ConstantVector, binding the specified pointer to the contained APInt.
bool match(Val *V, const Pattern &P)
cstfp_pred_ty< is_neg_zero_fp > m_NegZeroFP()
Match a floating-point negative zero.
auto m_Undef()
Match an arbitrary undef constant.
is_zero m_Zero()
Match any null constant or a vector with all elements equal to 0.
This is an optimization pass for GlobalISel generic memory operations.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1739
LLVM_ABI Constant * ConstantFoldSelectInstruction(Constant *Cond, Constant *V1, Constant *V2)
Attempt to constant fold a select instruction with the specified operands.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
LLVM_ABI Constant * ConstantFoldCompareInstruction(CmpInst::Predicate Predicate, Constant *C1, Constant *C2)
LLVM_ABI Constant * ConstantFoldUnaryInstruction(unsigned Opcode, Constant *V)
LLVM_ABI Constant * ConstantFoldGetElementPtr(Type *Ty, Constant *C, std::optional< ConstantRange > InRange, ArrayRef< Value * > Idxs)
constexpr auto equal_to(T &&Arg)
Functor variant of std::equal_to that can be used as a UnaryPredicate in functional algorithms like a...
Definition STLExtras.h:2173
LLVM_ABI Constant * ConstantFoldExtractValueInstruction(Constant *Agg, ArrayRef< unsigned > Idxs)
Attempt to constant fold an extractvalue instruction with the specified operands and indices.
LLVM_ABI bool NullPointerIsDefined(const Function *F, unsigned AS=0)
Check whether null pointer dereferencing is considered undefined behavior for a given function or an ...
LLVM_ABI Constant * ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt, Constant *Idx)
Attempt to constant fold an insertelement instruction with the specified operands and indices.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
constexpr int PoisonMaskElem
LLVM_ABI Constant * ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx)
Attempt to constant fold an extractelement instruction with the specified operands and indices.
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr unsigned BitWidth
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
APFloat neg(APFloat X)
Returns the negated value of the argument.
Definition APFloat.h:1636
LLVM_ABI Constant * ConstantFoldCastInstruction(unsigned opcode, Constant *V, Type *DestTy)
LLVM_ABI Constant * ConstantFoldInsertValueInstruction(Constant *Agg, Constant *Val, ArrayRef< unsigned > Idxs)
Attempt to constant fold an insertvalue instruction with the specified operands and indices.
unsigned Log2(Align A)
Returns the log2 of the alignment.
Definition Alignment.h:197
LLVM_ABI Constant * ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2, ArrayRef< int > Mask)
Attempt to constant fold a shufflevector instruction with the specified operands and mask.
LLVM_ABI Constant * ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1, Constant *V2)
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39