blob: 83cb5b2c66bdfd45ff7dba8f503f5a9aed5b527f [file] [log] [blame]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001// Copyright 2014 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#ifndef V8_COMPILER_COMMON_OPERATOR_H_
6#define V8_COMPILER_COMMON_OPERATOR_H_
7
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00008#include "src/compiler/frame-states.h"
9#include "src/machine-type.h"
10#include "src/zone-containers.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000011
12namespace v8 {
13namespace internal {
14
15// Forward declarations.
16class ExternalReference;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000017template <class>
18class TypeImpl;
19struct ZoneTypeConfig;
20typedef TypeImpl<ZoneTypeConfig> Type;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000021
22
23namespace compiler {
24
25// Forward declarations.
26class CallDescriptor;
Emily Bernierd0a1eb72015-03-24 16:35:39 -040027struct CommonOperatorGlobalCache;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000028class Operator;
29
30
Emily Bernierd0a1eb72015-03-24 16:35:39 -040031// Prediction hint for branches.
32enum class BranchHint : uint8_t { kNone, kTrue, kFalse };
33
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000034inline BranchHint NegateBranchHint(BranchHint hint) {
35 switch (hint) {
36 case BranchHint::kNone:
37 return hint;
38 case BranchHint::kTrue:
39 return BranchHint::kFalse;
40 case BranchHint::kFalse:
41 return BranchHint::kTrue;
42 }
43 UNREACHABLE();
44 return hint;
45}
46
Emily Bernierd0a1eb72015-03-24 16:35:39 -040047inline size_t hash_value(BranchHint hint) { return static_cast<size_t>(hint); }
48
49std::ostream& operator<<(std::ostream&, BranchHint);
50
51BranchHint BranchHintOf(const Operator* const);
52
53
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000054// Deoptimize bailout kind.
55enum class DeoptimizeKind : uint8_t { kEager, kSoft };
Emily Bernierd0a1eb72015-03-24 16:35:39 -040056
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000057size_t hash_value(DeoptimizeKind kind);
58
59std::ostream& operator<<(std::ostream&, DeoptimizeKind);
60
61DeoptimizeKind DeoptimizeKindOf(const Operator* const);
62
63
64// Prediction whether throw-site is surrounded by any local catch-scope.
65enum class IfExceptionHint { kLocallyUncaught, kLocallyCaught };
66
67size_t hash_value(IfExceptionHint hint);
68
69std::ostream& operator<<(std::ostream&, IfExceptionHint);
70
71
72class SelectParameters final {
73 public:
74 explicit SelectParameters(MachineRepresentation representation,
75 BranchHint hint = BranchHint::kNone)
76 : representation_(representation), hint_(hint) {}
77
78 MachineRepresentation representation() const { return representation_; }
Emily Bernierd0a1eb72015-03-24 16:35:39 -040079 BranchHint hint() const { return hint_; }
80
81 private:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000082 const MachineRepresentation representation_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -040083 const BranchHint hint_;
84};
85
86bool operator==(SelectParameters const&, SelectParameters const&);
87bool operator!=(SelectParameters const&, SelectParameters const&);
88
89size_t hash_value(SelectParameters const& p);
90
91std::ostream& operator<<(std::ostream&, SelectParameters const& p);
92
93SelectParameters const& SelectParametersOf(const Operator* const);
94
95
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000096size_t ProjectionIndexOf(const Operator* const);
97
98MachineRepresentation PhiRepresentationOf(const Operator* const);
99
100
101// The {IrOpcode::kParameter} opcode represents an incoming parameter to the
102// function. This class bundles the index and a debug name for such operators.
103class ParameterInfo final {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400104 public:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000105 ParameterInfo(int index, const char* debug_name)
106 : index_(index), debug_name_(debug_name) {}
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400107
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000108 int index() const { return index_; }
109 const char* debug_name() const { return debug_name_; }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400110
111 private:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000112 int index_;
113 const char* debug_name_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000114};
115
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000116std::ostream& operator<<(std::ostream&, ParameterInfo const&);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000117
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000118int ParameterIndexOf(const Operator* const);
119const ParameterInfo& ParameterInfoOf(const Operator* const);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400120
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000121
122// Interface for building common operators that can be used at any level of IR,
123// including JavaScript, mid-level, and low-level.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000124class CommonOperatorBuilder final : public ZoneObject {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000125 public:
126 explicit CommonOperatorBuilder(Zone* zone);
127
128 const Operator* Dead();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000129 const Operator* End(size_t control_input_count);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400130 const Operator* Branch(BranchHint = BranchHint::kNone);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000131 const Operator* IfTrue();
132 const Operator* IfFalse();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000133 const Operator* IfSuccess();
134 const Operator* IfException(IfExceptionHint hint);
135 const Operator* Switch(size_t control_output_count);
136 const Operator* IfValue(int32_t value);
137 const Operator* IfDefault();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000138 const Operator* Throw();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000139 const Operator* Deoptimize(DeoptimizeKind kind);
140 const Operator* Return(int value_input_count = 1);
141 const Operator* Terminate();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000142
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000143 const Operator* Start(int value_output_count);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400144 const Operator* Loop(int control_input_count);
145 const Operator* Merge(int control_input_count);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000146 const Operator* Parameter(int index, const char* debug_name = nullptr);
147
148 const Operator* OsrNormalEntry();
149 const Operator* OsrLoopEntry();
150 const Operator* OsrValue(int index);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000151
152 const Operator* Int32Constant(int32_t);
153 const Operator* Int64Constant(int64_t);
154 const Operator* Float32Constant(volatile float);
155 const Operator* Float64Constant(volatile double);
156 const Operator* ExternalConstant(const ExternalReference&);
157 const Operator* NumberConstant(volatile double);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000158 const Operator* HeapConstant(const Handle<HeapObject>&);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000159
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000160 const Operator* Select(MachineRepresentation, BranchHint = BranchHint::kNone);
161 const Operator* Phi(MachineRepresentation representation,
162 int value_input_count);
163 const Operator* EffectPhi(int effect_input_count);
164 const Operator* EffectSet(int arguments);
165 const Operator* Guard(Type* type);
166 const Operator* BeginRegion();
167 const Operator* FinishRegion();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000168 const Operator* StateValues(int arguments);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000169 const Operator* ObjectState(int pointer_slots, int id);
170 const Operator* TypedStateValues(const ZoneVector<MachineType>* types);
171 const Operator* FrameState(BailoutId bailout_id,
172 OutputFrameStateCombine state_combine,
173 const FrameStateFunctionInfo* function_info);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000174 const Operator* Call(const CallDescriptor* descriptor);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000175 const Operator* TailCall(const CallDescriptor* descriptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000176 const Operator* Projection(size_t index);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000177 const Operator* LazyBailout();
178
179 // Constructs a new merge or phi operator with the same opcode as {op}, but
180 // with {size} inputs.
181 const Operator* ResizeMergeOrPhi(const Operator* op, int size);
182
183 // Constructs function info for frame state construction.
184 const FrameStateFunctionInfo* CreateFrameStateFunctionInfo(
185 FrameStateType type, int parameter_count, int local_count,
186 Handle<SharedFunctionInfo> shared_info,
187 ContextCallingMode context_calling_mode);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000188
189 private:
190 Zone* zone() const { return zone_; }
191
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400192 const CommonOperatorGlobalCache& cache_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000193 Zone* const zone_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400194
195 DISALLOW_COPY_AND_ASSIGN(CommonOperatorBuilder);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000196};
197
198} // namespace compiler
199} // namespace internal
200} // namespace v8
201
202#endif // V8_COMPILER_COMMON_OPERATOR_H_