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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
// 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/wasm-js-lowering.h"
#include "src/compiler/common-operator.h"
#include "src/compiler/compiler-source-position-table.h"
#include "src/compiler/node-properties.h"
#include "src/compiler/opcodes.h"
#include "src/compiler/operator.h"
#include "src/wasm/wasm-code-manager.h"
namespace v8::internal::compiler {
WasmJSLowering::WasmJSLowering(Editor* editor, MachineGraph* mcgraph,
SourcePositionTable* source_position_table)
: AdvancedReducer(editor),
gasm_(mcgraph, mcgraph->zone()),
mcgraph_(mcgraph),
source_position_table_(source_position_table) {}
Reduction WasmJSLowering::Reduce(Node* node) {
switch (node->opcode()) {
case IrOpcode::kTrapIf:
case IrOpcode::kTrapUnless: {
Node* effect = NodeProperties::GetEffectInput(node);
Node* control = NodeProperties::GetControlInput(node);
Node* trap_condition = NodeProperties::GetValueInput(node, 0);
auto ool_trap = gasm_.MakeDeferredLabel();
gasm_.InitializeEffectControl(effect, control);
if (node->opcode() == IrOpcode::kTrapIf) {
gasm_.GotoIf(trap_condition, &ool_trap);
} else {
DCHECK_EQ(node->opcode(), IrOpcode::kTrapUnless);
gasm_.GotoIfNot(trap_condition, &ool_trap);
}
effect = gasm_.effect();
control = gasm_.control();
Node* goto_node = control;
// Generate out of line code.
gasm_.InitializeEffectControl(nullptr, nullptr);
gasm_.Bind(&ool_trap);
TrapId trap_id = TrapIdOf(node->op());
Builtin trap = wasm::RuntimeStubIdToBuiltinName(
static_cast<wasm::WasmCode::RuntimeStubId>(trap_id));
// Create new FrameState with the correct source position (the position
// of the trap location).
Node* frame_state = NodeProperties::GetValueInput(node, 1);
const FrameStateInfo& info = FrameState(frame_state).frame_state_info();
SourcePosition position = source_position_table_->GetSourcePosition(node);
Node* new_frame_state = mcgraph_->graph()->CloneNode(frame_state);
BytecodeOffset bailout_id(position.ScriptOffset());
const Operator* frame_state_op = mcgraph_->common()->FrameState(
bailout_id, info.state_combine(), info.function_info());
NodeProperties::ChangeOp(new_frame_state, frame_state_op);
gasm_.CallBuiltinWithFrameState(trap, Operator::kNoProperties,
new_frame_state);
Node* terminate = mcgraph_->graph()->NewNode(
mcgraph_->common()->Throw(), gasm_.effect(), gasm_.control());
MergeControlToEnd(mcgraph_->graph(), mcgraph_->common(), terminate);
// Replace the trap node with the conditional branch.
gasm_.InitializeEffectControl(effect, control);
ReplaceWithValue(node, goto_node, gasm_.effect(), gasm_.control());
node->Kill();
return Replace(goto_node);
}
default:
return NoChange();
}
}
} // namespace v8::internal::compiler
|
