chromium/v8/src/compiler/turboshaft/memory-optimization-reducer.cc

// Copyright 2022 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include "src/compiler/turboshaft/memory-optimization-reducer.h"

#include <optional>

#include "src/codegen/interface-descriptors-inl.h"
#include "src/compiler/linkage.h"
#include "src/roots/roots-inl.h"

namespace v8::internal::compiler::turboshaft {

const TSCallDescriptor* CreateAllocateBuiltinDescriptor(Zone* zone,
                                                        Isolate* isolate) { … }

void MemoryAnalyzer::Run() { … }

void MemoryAnalyzer::Process(const Operation& op) { … }

// Update the successor block states based on the state of the current block.
// For loop backedges, we need to re-start the analysis from the loop header
// unless the backedge state is unchanged.
void MemoryAnalyzer::ProcessBlockTerminator(const Operation& op) { … }

// We try to merge the new allocation into a previous dominating allocation.
// We also allow folding allocations across blocks, as long as there is a
// dominating relationship.
void MemoryAnalyzer::ProcessAllocation(const AllocateOp& alloc) { … }

void MemoryAnalyzer::ProcessStore(const StoreOp& store) { … }

void MemoryAnalyzer::MergeCurrentStateIntoSuccessor(const Block* successor) { … }

}  // namespace v8::internal::compiler::turboshaft