LLVM 19.0.0git
Go to the documentation of this file.
1//==-- ConstantFold.h - DL-independent Constant Folding Interface -*- C++ -*-=//
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
9// This file defines the DataLayout-independent constant folding interface.
10// When possible, the DataLayout-aware constant folding interface in
11// Analysis/ConstantFolding.h should be preferred.
13// These interfaces are used by the ConstantExpr::get* methods to automatically
14// fold constants when possible.
16// These operators may return a null object if they don't know how to perform
17// the specified operation on the specified constant types.
24#include "llvm/IR/InstrTypes.h"
25#include <optional>
27namespace llvm {
28 template <typename T> class ArrayRef;
29 class Value;
30 class Constant;
31 class Type;
33 // Constant fold various types of instruction...
35 unsigned opcode, ///< The opcode of the cast
36 Constant *V, ///< The source constant
37 Type *DestTy ///< The destination type
38 );
40 Constant *V1, Constant *V2);
41 Constant *ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx);
42 Constant *ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt,
43 Constant *Idx);
44 Constant *ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2,
45 ArrayRef<int> Mask);
47 ArrayRef<unsigned> Idxs);
48 Constant *ConstantFoldInsertValueInstruction(Constant *Agg, Constant *Val,
49 ArrayRef<unsigned> Idxs);
50 Constant *ConstantFoldUnaryInstruction(unsigned Opcode, Constant *V);
51 Constant *ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1,
52 Constant *V2);
54 Constant *C1, Constant *C2);
56 std::optional<ConstantRange> InRange,
57 ArrayRef<Value *> Idxs);
58} // End llvm namespace
RelocType Type
Definition: COFFYAML.cpp:391
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
static bool InRange(int64_t Value, unsigned short Shift, int LBound, int HBound)
const SmallVectorImpl< MachineOperand > & Cond
This enumeration lists the possible predicates for CmpInst subclasses.
Definition: InstrTypes.h:993
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
Constant * ConstantFoldSelectInstruction(Constant *Cond, Constant *V1, Constant *V2)
Attempt to constant fold a select instruction with the specified operands.
Constant * ConstantFoldCompareInstruction(CmpInst::Predicate Predicate, Constant *C1, Constant *C2)
Constant * ConstantFoldUnaryInstruction(unsigned Opcode, Constant *V)
Constant * ConstantFoldGetElementPtr(Type *Ty, Constant *C, std::optional< ConstantRange > InRange, ArrayRef< Value * > Idxs)
Constant * ConstantFoldExtractValueInstruction(Constant *Agg, ArrayRef< unsigned > Idxs)
Attempt to constant fold an extractvalue instruction with the specified operands and indices.
Constant * ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt, Constant *Idx)
Attempt to constant fold an insertelement instruction with the specified operands and indices.
Constant * ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx)
Attempt to constant fold an extractelement instruction with the specified operands and indices.
ArrayRef(const T &OneElt) -> ArrayRef< T >
Constant * ConstantFoldCastInstruction(unsigned opcode, Constant *V, Type *DestTy)
Constant * ConstantFoldInsertValueInstruction(Constant *Agg, Constant *Val, ArrayRef< unsigned > Idxs)
ConstantFoldInsertValueInstruction - Attempt to constant fold an insertvalue instruction with the spe...
Constant * ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2, ArrayRef< int > Mask)
Attempt to constant fold a shufflevector instruction with the specified operands and mask.
Constant * ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1, Constant *V2)