| //===- ValueList.cpp - Internal BitcodeReader implementation --------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "ValueList.h" |
| #include "llvm/ADT/SmallVector.h" |
| #include "llvm/IR/Argument.h" |
| #include "llvm/IR/Constant.h" |
| #include "llvm/IR/Constants.h" |
| #include "llvm/IR/GlobalValue.h" |
| #include "llvm/IR/Instruction.h" |
| #include "llvm/IR/Type.h" |
| #include "llvm/IR/User.h" |
| #include "llvm/IR/Value.h" |
| #include "llvm/IR/ValueHandle.h" |
| #include "llvm/Support/Casting.h" |
| #include "llvm/Support/ErrorHandling.h" |
| #include <algorithm> |
| #include <cassert> |
| #include <cstddef> |
| #include <limits> |
| #include <utility> |
| |
| using namespace llvm; |
| |
| namespace llvm { |
| |
| namespace { |
| |
| /// A class for maintaining the slot number definition |
| /// as a placeholder for the actual definition for forward constants defs. |
| class ConstantPlaceHolder : public ConstantExpr { |
| public: |
| explicit ConstantPlaceHolder(Type *Ty, LLVMContext &Context) |
| : ConstantExpr(Ty, Instruction::UserOp1, &Op<0>(), 1) { |
| Op<0>() = UndefValue::get(Type::getInt32Ty(Context)); |
| } |
| |
| ConstantPlaceHolder &operator=(const ConstantPlaceHolder &) = delete; |
| |
| // allocate space for exactly one operand |
| void *operator new(size_t s) { return User::operator new(s, 1); } |
| |
| /// Methods to support type inquiry through isa, cast, and dyn_cast. |
| static bool classof(const Value *V) { |
| return isa<ConstantExpr>(V) && |
| cast<ConstantExpr>(V)->getOpcode() == Instruction::UserOp1; |
| } |
| |
| /// Provide fast operand accessors |
| DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value); |
| }; |
| |
| } // end anonymous namespace |
| |
| // FIXME: can we inherit this from ConstantExpr? |
| template <> |
| struct OperandTraits<ConstantPlaceHolder> |
| : public FixedNumOperandTraits<ConstantPlaceHolder, 1> {}; |
| DEFINE_TRANSPARENT_OPERAND_ACCESSORS(ConstantPlaceHolder, Value) |
| |
| } // end namespace llvm |
| |
| void BitcodeReaderValueList::assignValue(Value *V, unsigned Idx, Type *FullTy) { |
| if (Idx == size()) { |
| push_back(V, FullTy); |
| return; |
| } |
| |
| if (Idx >= size()) |
| resize(Idx + 1); |
| |
| assert(FullTypes[Idx] == nullptr || FullTypes[Idx] == FullTy); |
| FullTypes[Idx] = FullTy; |
| |
| WeakTrackingVH &OldV = ValuePtrs[Idx]; |
| if (!OldV) { |
| OldV = V; |
| return; |
| } |
| |
| // Handle constants and non-constants (e.g. instrs) differently for |
| // efficiency. |
| if (Constant *PHC = dyn_cast<Constant>(&*OldV)) { |
| ResolveConstants.push_back(std::make_pair(PHC, Idx)); |
| OldV = V; |
| } else { |
| // If there was a forward reference to this value, replace it. |
| Value *PrevVal = OldV; |
| OldV->replaceAllUsesWith(V); |
| PrevVal->deleteValue(); |
| } |
| } |
| |
| Constant *BitcodeReaderValueList::getConstantFwdRef(unsigned Idx, Type *Ty) { |
| // Bail out for a clearly invalid value. |
| if (Idx >= RefsUpperBound) |
| return nullptr; |
| |
| if (Idx >= size()) |
| resize(Idx + 1); |
| |
| if (Value *V = ValuePtrs[Idx]) { |
| if (Ty != V->getType()) |
| report_fatal_error("Type mismatch in constant table!"); |
| return cast<Constant>(V); |
| } |
| |
| // Create and return a placeholder, which will later be RAUW'd. |
| Constant *C = new ConstantPlaceHolder(Ty, Context); |
| ValuePtrs[Idx] = C; |
| return C; |
| } |
| |
| Value *BitcodeReaderValueList::getValueFwdRef(unsigned Idx, Type *Ty, |
| Type **FullTy) { |
| // Bail out for a clearly invalid value. |
| if (Idx >= RefsUpperBound) |
| return nullptr; |
| |
| if (Idx >= size()) |
| resize(Idx + 1); |
| |
| if (Value *V = ValuePtrs[Idx]) { |
| // If the types don't match, it's invalid. |
| if (Ty && Ty != V->getType()) |
| return nullptr; |
| if (FullTy) |
| *FullTy = FullTypes[Idx]; |
| return V; |
| } |
| |
| // No type specified, must be invalid reference. |
| if (!Ty) |
| return nullptr; |
| |
| // Create and return a placeholder, which will later be RAUW'd. |
| Value *V = new Argument(Ty); |
| ValuePtrs[Idx] = V; |
| return V; |
| } |
| |
| /// Once all constants are read, this method bulk resolves any forward |
| /// references. The idea behind this is that we sometimes get constants (such |
| /// as large arrays) which reference *many* forward ref constants. Replacing |
| /// each of these causes a lot of thrashing when building/reuniquing the |
| /// constant. Instead of doing this, we look at all the uses and rewrite all |
| /// the place holders at once for any constant that uses a placeholder. |
| void BitcodeReaderValueList::resolveConstantForwardRefs() { |
| // Sort the values by-pointer so that they are efficient to look up with a |
| // binary search. |
| llvm::sort(ResolveConstants); |
| |
| SmallVector<Constant *, 64> NewOps; |
| |
| while (!ResolveConstants.empty()) { |
| Value *RealVal = operator[](ResolveConstants.back().second); |
| Constant *Placeholder = ResolveConstants.back().first; |
| ResolveConstants.pop_back(); |
| |
| // Loop over all users of the placeholder, updating them to reference the |
| // new value. If they reference more than one placeholder, update them all |
| // at once. |
| while (!Placeholder->use_empty()) { |
| auto UI = Placeholder->user_begin(); |
| User *U = *UI; |
| |
| // If the using object isn't uniqued, just update the operands. This |
| // handles instructions and initializers for global variables. |
| if (!isa<Constant>(U) || isa<GlobalValue>(U)) { |
| UI.getUse().set(RealVal); |
| continue; |
| } |
| |
| // Otherwise, we have a constant that uses the placeholder. Replace that |
| // constant with a new constant that has *all* placeholder uses updated. |
| Constant *UserC = cast<Constant>(U); |
| for (User::op_iterator I = UserC->op_begin(), E = UserC->op_end(); I != E; |
| ++I) { |
| Value *NewOp; |
| if (!isa<ConstantPlaceHolder>(*I)) { |
| // Not a placeholder reference. |
| NewOp = *I; |
| } else if (*I == Placeholder) { |
| // Common case is that it just references this one placeholder. |
| NewOp = RealVal; |
| } else { |
| // Otherwise, look up the placeholder in ResolveConstants. |
| ResolveConstantsTy::iterator It = llvm::lower_bound( |
| ResolveConstants, |
| std::pair<Constant *, unsigned>(cast<Constant>(*I), 0)); |
| assert(It != ResolveConstants.end() && It->first == *I); |
| NewOp = operator[](It->second); |
| } |
| |
| NewOps.push_back(cast<Constant>(NewOp)); |
| } |
| |
| // Make the new constant. |
| Constant *NewC; |
| if (ConstantArray *UserCA = dyn_cast<ConstantArray>(UserC)) { |
| NewC = ConstantArray::get(UserCA->getType(), NewOps); |
| } else if (ConstantStruct *UserCS = dyn_cast<ConstantStruct>(UserC)) { |
| NewC = ConstantStruct::get(UserCS->getType(), NewOps); |
| } else if (isa<ConstantVector>(UserC)) { |
| NewC = ConstantVector::get(NewOps); |
| } else { |
| assert(isa<ConstantExpr>(UserC) && "Must be a ConstantExpr."); |
| NewC = cast<ConstantExpr>(UserC)->getWithOperands(NewOps); |
| } |
| |
| UserC->replaceAllUsesWith(NewC); |
| UserC->destroyConstant(); |
| NewOps.clear(); |
| } |
| |
| // Update all ValueHandles, they should be the only users at this point. |
| Placeholder->replaceAllUsesWith(RealVal); |
| Placeholder->deleteValue(); |
| } |
| } |