blob: 76966088f188afad69cb8d6b89cc89ee5747468d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// Copyright 2023 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/type-assertions-phase.h"
#include "src/compiler/js-heap-broker.h"
#include "src/compiler/turboshaft/assert-types-reducer.h"
#include "src/compiler/turboshaft/type-inference-reducer.h"
#include "src/compiler/turboshaft/value-numbering-reducer.h"
namespace v8::internal::compiler::turboshaft {
void TypeAssertionsPhase::Run(PipelineData* data, Zone* temp_zone) {
UnparkedScopeIfNeeded scope(data->broker());
turboshaft::TypeInferenceReducerArgs typing_args{
data->isolate(),
turboshaft::TypeInferenceReducerArgs::InputGraphTyping::kPrecise,
turboshaft::TypeInferenceReducerArgs::OutputGraphTyping::
kPreserveFromInputGraph};
turboshaft::OptimizationPhase<turboshaft::AssertTypesReducer,
turboshaft::ValueNumberingReducer,
turboshaft::TypeInferenceReducer>::
Run(data->isolate(), &data->graph(), temp_zone, data->node_origins(),
std::tuple{typing_args,
turboshaft::AssertTypesReducerArgs{data->isolate()}});
}
} // namespace v8::internal::compiler::turboshaft
|
