InterpState.h

Go to the documentation of this file.

//===--- InterpState.h - Interpreter state for the constexpr VM -*- C++ -*-===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// Definition of the interpreter state and entry point.
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_CLANG_AST_INTERP_INTERPSTATE_H
#define LLVM_CLANG_AST_INTERP_INTERPSTATE_H
 
#include "Context.h"
#include "DynamicAllocator.h"
#include "Floating.h"
#include "Function.h"
#include "InterpFrame.h"
#include "InterpStack.h"
#include "State.h"
 
namespace clang {
namespace interp {
class Context;
class SourceMapper;
 
struct StdAllocatorCaller {
  const Expr *Call = nullptr;
  QualType AllocType;
  explicit operator bool() { return Call; }
};
 
/// Interpreter context.
class InterpState final : public State, public SourceMapper {
public:
  InterpState(const State &Parent, Program &P, InterpStack &Stk, Context &Ctx,
              SourceMapper *M = nullptr);
  InterpState(const State &Parent, Program &P, InterpStack &Stk, Context &Ctx,
              const Function *Func);
 
  ~InterpState();
 
  void cleanup();
 
  InterpState(const InterpState &) = delete;
  InterpState &operator=(const InterpState &) = delete;
 
  bool diagnosing() const { return getEvalStatus().Diag != nullptr; }
 
  // Stack frame accessors.
  const Frame *getCurrentFrame() override;
  unsigned getCallStackDepth() override {
    return Current ? (Current->getDepth() + 1) : 1;
  }
  const Frame *getBottomFrame() const override { return &BottomFrame; }
 
  bool stepsLeft() const override { return true; }
  bool inConstantContext() const;
 
  /// Deallocates a pointer.
  void deallocate(Block *B);
 
  /// Delegates source mapping to the mapper.
  SourceInfo getSource(const Function *F, CodePtr PC) const override {
    if (M)
      return M->getSource(F, PC);
 
    assert(F && "Function cannot be null");
    return F->getSource(PC);
  }
 
  Context &getContext() const { return Ctx; }
 
  void setEvalLocation(SourceLocation SL) { this->EvalLocation = SL; }
 
  DynamicAllocator &getAllocator() {
    if (!Alloc) {
      Alloc = std::make_unique<DynamicAllocator>();
    }
 
    return *Alloc;
  }
 
  /// Diagnose any dynamic allocations that haven't been freed yet.
  /// Will return \c false if there were any allocations to diagnose,
  /// \c true otherwise.
  bool maybeDiagnoseDanglingAllocations();
 
  StdAllocatorCaller getStdAllocatorCaller(StringRef Name) const;
 
  void *allocate(size_t Size, unsigned Align = 8) const {
    if (!Allocator)
      Allocator.emplace();
    return Allocator->Allocate(Size, Align);
  }
  template <typename T> T *allocate(size_t Num = 1) const {
    return static_cast<T *>(allocate(Num * sizeof(T), alignof(T)));
  }
 
  template <typename T> T allocAP(unsigned BitWidth) {
    unsigned NumWords = APInt::getNumWords(BitWidth);
    if (NumWords == 1)
      return T(BitWidth);
    uint64_t *Mem = (uint64_t *)this->allocate(NumWords * sizeof(uint64_t));
    // std::memset(Mem, 0, NumWords * sizeof(uint64_t)); // Debug
    return T(Mem, BitWidth);
  }
 
  Floating allocFloat(const llvm::fltSemantics &Sem) {
    if (Floating::singleWord(Sem))
      return Floating(llvm::APFloatBase::SemanticsToEnum(Sem));
 
    unsigned NumWords =
        APInt::getNumWords(llvm::APFloatBase::getSizeInBits(Sem));
    uint64_t *Mem = (uint64_t *)this->allocate(NumWords * sizeof(uint64_t));
    // std::memset(Mem, 0, NumWords * sizeof(uint64_t)); // Debug
    return Floating(Mem, llvm::APFloatBase::SemanticsToEnum(Sem));
  }
  const CXXRecordDecl **allocMemberPointerPath(unsigned Length) {
    return reinterpret_cast<const CXXRecordDecl **>(
        this->allocate(Length * sizeof(CXXRecordDecl *)));
  }
 
  /// Note that a step has been executed. If there are no more steps remaining,
  /// diagnoses and returns \c false.
  bool noteStep(CodePtr OpPC);
 
private:
  friend class EvaluationResult;
  friend class InterpStateCCOverride;
  /// Dead block chain.
  DeadBlock *DeadBlocks = nullptr;
  /// Reference to the offset-source mapping.
  SourceMapper *M;
  /// Allocator used for dynamic allocations performed via the program.
  std::unique_ptr<DynamicAllocator> Alloc;
  /// Allocator for everything else, e.g. floating-point values.
  mutable std::optional<llvm::BumpPtrAllocator> Allocator;
 
public:
  /// Reference to the module containing all bytecode.
  Program &P;
  /// Temporary stack.
  InterpStack &Stk;
  /// Interpreter Context.
  Context &Ctx;
  /// Bottom function frame.
  InterpFrame BottomFrame;
  /// The current frame.
  InterpFrame *Current = nullptr;
  /// Source location of the evaluating expression
  SourceLocation EvalLocation;
  /// Declaration we're initializing/evaluting, if any.
  const VarDecl *EvaluatingDecl = nullptr;
  /// Steps left during evaluation.
  unsigned StepsLeft = 1;
  /// Whether infinite evaluation steps have been requested. If this is false,
  /// we use the StepsLeft value above.
  const bool InfiniteSteps = false;
  /// ID identifying this evaluation.
  const unsigned EvalID;
 
  /// Things needed to do speculative execution.
  SmallVectorImpl<PartialDiagnosticAt> *PrevDiags = nullptr;
  unsigned SpeculationDepth = 0;
  std::optional<bool> ConstantContextOverride;
 
  llvm::SmallVector<
      std::pair<const Expr *, const LifetimeExtendedTemporaryDecl *>>
      SeenGlobalTemporaries;
 
  /// List of blocks we're currently running either constructors or destructors
  /// for.
  llvm::SmallVector<const Block *> InitializingBlocks;
};
 
class InterpStateCCOverride final {
public:
  InterpStateCCOverride(InterpState &Ctx, bool Value)
      : Ctx(Ctx), OldCC(Ctx.ConstantContextOverride) {
    // We only override this if the new value is true.
    Enabled = Value;
    if (Enabled)
      Ctx.ConstantContextOverride = Value;
  }
  ~InterpStateCCOverride() {
    if (Enabled)
      Ctx.ConstantContextOverride = OldCC;
  }
 
private:
  bool Enabled;
  InterpState &Ctx;
  std::optional<bool> OldCC;
};
 
} // namespace interp
} // namespace clang
 
#endif