js-call-reducer.h 11.5 KB
Newer Older
1 2 3 4 5 6 7
// Copyright 2015 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.

#ifndef V8_COMPILER_JS_CALL_REDUCER_H_
#define V8_COMPILER_JS_CALL_REDUCER_H_

8
#include "src/base/flags.h"
9
#include "src/compiler/frame-states.h"
10
#include "src/compiler/globals.h"
11
#include "src/compiler/graph-reducer.h"
12
#include "src/compiler/node-properties.h"
13
#include "src/deoptimizer/deoptimize-reason.h"
14 15 16

namespace v8 {
namespace internal {
17 18 19

// Forward declarations.
class Factory;
20
class JSGlobalProxy;
21

22 23 24
namespace compiler {

// Forward declarations.
25
class CallFrequency;
26
class CommonOperatorBuilder;
27
class CompilationDependencies;
28
struct FeedbackSource;
29
struct FieldAccess;
30
class JSCallReducerAssembler;
31
class JSGraph;
32
class JSHeapBroker;
33
class JSOperatorBuilder;
34
class MapInference;
35
class NodeProperties;
36
class SimplifiedOperatorBuilder;
37

38
// Performs strength reduction on {JSConstruct} and {JSCall} nodes,
39
// which might allow inlining or other optimizations to be performed afterwards.
40
class V8_EXPORT_PRIVATE JSCallReducer final : public AdvancedReducer {
41
 public:
42
  // Flags that control the mode of operation.
43 44 45
  enum Flag {
    kNoFlags = 0u,
    kBailoutOnUninitialized = 1u << 0,
46
    kInlineJSToWasmCalls = 1u << 1,
47
  };
48
  using Flags = base::Flags<Flag>;
49

50
  JSCallReducer(Editor* editor, JSGraph* jsgraph, JSHeapBroker* broker,
51
                Zone* temp_zone, Flags flags)
52 53
      : AdvancedReducer(editor),
        jsgraph_(jsgraph),
54
        broker_(broker),
55
        temp_zone_(temp_zone),
56
        flags_(flags) {}
57

58 59
  const char* reducer_name() const override { return "JSCallReducer"; }

60 61
  Reduction Reduce(Node* node) final;

62 63 64 65
  // Processes the waitlist gathered while the reducer was running,
  // and does a final attempt to reduce the nodes in the waitlist.
  void Finalize() final;

66 67 68 69 70
  // JSCallReducer outsources much work to a graph assembler.
  void RevisitForGraphAssembler(Node* node) { Revisit(node); }
  Zone* ZoneForGraphAssembler() const { return temp_zone(); }
  JSGraph* JSGraphForGraphAssembler() const { return jsgraph(); }

71 72
  bool has_wasm_calls() const { return has_wasm_calls_; }

73 74
  CompilationDependencies* dependencies() const;

75
 private:
76
  Reduction ReduceBooleanConstructor(Node* node);
77
  Reduction ReduceCallApiFunction(Node* node,
78
                                  const SharedFunctionInfoRef& shared);
79 80
  Reduction ReduceCallWasmFunction(Node* node,
                                   const SharedFunctionInfoRef& shared);
81
  Reduction ReduceFunctionPrototypeApply(Node* node);
82
  Reduction ReduceFunctionPrototypeBind(Node* node);
83
  Reduction ReduceFunctionPrototypeCall(Node* node);
84
  Reduction ReduceFunctionPrototypeHasInstance(Node* node);
85
  Reduction ReduceObjectConstructor(Node* node);
86 87
  Reduction ReduceObjectGetPrototype(Node* node, Node* object);
  Reduction ReduceObjectGetPrototypeOf(Node* node);
88
  Reduction ReduceObjectIs(Node* node);
89
  Reduction ReduceObjectPrototypeGetProto(Node* node);
90
  Reduction ReduceObjectPrototypeHasOwnProperty(Node* node);
91
  Reduction ReduceObjectPrototypeIsPrototypeOf(Node* node);
92
  Reduction ReduceObjectCreate(Node* node);
93
  Reduction ReduceReflectApply(Node* node);
94
  Reduction ReduceReflectConstruct(Node* node);
95
  Reduction ReduceReflectGet(Node* node);
96
  Reduction ReduceReflectGetPrototypeOf(Node* node);
97
  Reduction ReduceReflectHas(Node* node);
98 99 100

  Reduction ReduceArrayConstructor(Node* node);
  Reduction ReduceArrayEvery(Node* node, const SharedFunctionInfoRef& shared);
101
  Reduction ReduceArrayFilter(Node* node, const SharedFunctionInfoRef& shared);
102 103
  Reduction ReduceArrayFindIndex(Node* node,
                                 const SharedFunctionInfoRef& shared);
104 105 106 107 108 109
  Reduction ReduceArrayFind(Node* node, const SharedFunctionInfoRef& shared);
  Reduction ReduceArrayForEach(Node* node, const SharedFunctionInfoRef& shared);
  Reduction ReduceArrayIncludes(Node* node);
  Reduction ReduceArrayIndexOf(Node* node);
  Reduction ReduceArrayIsArray(Node* node);
  Reduction ReduceArrayMap(Node* node, const SharedFunctionInfoRef& shared);
110
  Reduction ReduceArrayPrototypePop(Node* node);
111
  Reduction ReduceArrayPrototypePush(Node* node);
112
  Reduction ReduceArrayPrototypeShift(Node* node);
113
  Reduction ReduceArrayPrototypeSlice(Node* node);
114 115 116
  Reduction ReduceArrayReduce(Node* node, const SharedFunctionInfoRef& shared);
  Reduction ReduceArrayReduceRight(Node* node,
                                   const SharedFunctionInfoRef& shared);
117 118
  Reduction ReduceArraySome(Node* node, const SharedFunctionInfoRef& shared);

119 120 121
  enum class ArrayIteratorKind { kArrayLike, kTypedArray };
  Reduction ReduceArrayIterator(Node* node, ArrayIteratorKind array_kind,
                                IterationKind iteration_kind);
122
  Reduction ReduceArrayIteratorPrototypeNext(Node* node);
123 124 125
  Reduction ReduceFastArrayIteratorNext(InstanceType type, Node* node,
                                        IterationKind kind);

126 127 128 129
  Reduction ReduceCallOrConstructWithArrayLikeOrSpreadOfCreateArguments(
      Node* node, Node* arguments_list, int arraylike_or_spread_index,
      CallFrequency const& frequency, FeedbackSource const& feedback,
      SpeculationMode speculation_mode, CallFeedbackRelation feedback_relation);
130
  Reduction ReduceCallOrConstructWithArrayLikeOrSpread(
131 132 133 134
      Node* node, int argument_count, int arraylike_or_spread_index,
      CallFrequency const& frequency, FeedbackSource const& feedback_source,
      SpeculationMode speculation_mode, CallFeedbackRelation feedback_relation,
      Node* target, Effect effect, Control control);
135
  Reduction ReduceJSConstruct(Node* node);
136
  Reduction ReduceJSConstructWithArrayLike(Node* node);
137
  Reduction ReduceJSConstructWithSpread(Node* node);
138
  Reduction ReduceJSCall(Node* node);
139
  Reduction ReduceJSCall(Node* node, const SharedFunctionInfoRef& shared);
140
  Reduction ReduceJSCallWithArrayLike(Node* node);
141
  Reduction ReduceJSCallWithSpread(Node* node);
142
  Reduction ReduceRegExpPrototypeTest(Node* node);
143
  Reduction ReduceReturnReceiver(Node* node);
144
  Reduction ReduceStringPrototypeIndexOf(Node* node);
145
  Reduction ReduceStringPrototypeSubstring(Node* node);
146
  Reduction ReduceStringPrototypeSlice(Node* node);
147
  Reduction ReduceStringPrototypeSubstr(Node* node);
148
  Reduction ReduceStringPrototypeStringAt(
149
      const Operator* string_access_operator, Node* node);
150
  Reduction ReduceStringPrototypeCharAt(Node* node);
151
  Reduction ReduceStringPrototypeStartsWith(Node* node);
152 153 154 155 156 157 158

#ifdef V8_INTL_SUPPORT
  Reduction ReduceStringPrototypeToLowerCaseIntl(Node* node);
  Reduction ReduceStringPrototypeToUpperCaseIntl(Node* node);
#endif  // V8_INTL_SUPPORT

  Reduction ReduceStringFromCharCode(Node* node);
159
  Reduction ReduceStringFromCodePoint(Node* node);
160
  Reduction ReduceStringPrototypeIterator(Node* node);
161
  Reduction ReduceStringPrototypeLocaleCompare(Node* node);
162
  Reduction ReduceStringIteratorPrototypeNext(Node* node);
163
  Reduction ReduceStringPrototypeConcat(Node* node);
164

165
  Reduction ReducePromiseConstructor(Node* node);
166 167 168
  Reduction ReducePromiseInternalConstructor(Node* node);
  Reduction ReducePromiseInternalReject(Node* node);
  Reduction ReducePromiseInternalResolve(Node* node);
169 170 171
  Reduction ReducePromisePrototypeCatch(Node* node);
  Reduction ReducePromisePrototypeFinally(Node* node);
  Reduction ReducePromisePrototypeThen(Node* node);
172
  Reduction ReducePromiseResolveTrampoline(Node* node);
173

174
  Reduction ReduceTypedArrayConstructor(Node* node,
175
                                        const SharedFunctionInfoRef& shared);
176
  Reduction ReduceTypedArrayPrototypeToStringTag(Node* node);
177

178
  Reduction ReduceForInsufficientFeedback(Node* node, DeoptimizeReason reason);
179

180 181 182 183 184 185
  Reduction ReduceMathUnary(Node* node, const Operator* op);
  Reduction ReduceMathBinary(Node* node, const Operator* op);
  Reduction ReduceMathImul(Node* node);
  Reduction ReduceMathClz32(Node* node);
  Reduction ReduceMathMinMax(Node* node, const Operator* op, Node* empty_value);

186
  Reduction ReduceNumberIsFinite(Node* node);
187
  Reduction ReduceNumberIsInteger(Node* node);
188
  Reduction ReduceNumberIsSafeInteger(Node* node);
189
  Reduction ReduceNumberIsNaN(Node* node);
190

191 192 193
  Reduction ReduceGlobalIsFinite(Node* node);
  Reduction ReduceGlobalIsNaN(Node* node);

194 195
  Reduction ReduceMapPrototypeHas(Node* node);
  Reduction ReduceMapPrototypeGet(Node* node);
196 197 198 199 200 201 202 203 204
  Reduction ReduceCollectionIteration(Node* node,
                                      CollectionKind collection_kind,
                                      IterationKind iteration_kind);
  Reduction ReduceCollectionPrototypeSize(Node* node,
                                          CollectionKind collection_kind);
  Reduction ReduceCollectionIteratorPrototypeNext(
      Node* node, int entry_size, Handle<HeapObject> empty_collection,
      InstanceType collection_iterator_instance_type_first,
      InstanceType collection_iterator_instance_type_last);
205

206 207 208 209 210
  Reduction ReduceArrayBufferIsView(Node* node);
  Reduction ReduceArrayBufferViewAccessor(Node* node,
                                          InstanceType instance_type,
                                          FieldAccess const& access);

211 212 213
  enum class DataViewAccess { kGet, kSet };
  Reduction ReduceDataViewAccess(Node* node, DataViewAccess access,
                                 ExternalArrayType element_type);
214

215 216
  Reduction ReduceDatePrototypeGetTime(Node* node);
  Reduction ReduceDateNow(Node* node);
217
  Reduction ReduceNumberParseInt(Node* node);
218

219
  Reduction ReduceNumberConstructor(Node* node);
220
  Reduction ReduceBigIntAsN(Node* node, Builtin builtin);
221

222 223 224
  // The pendant to ReplaceWithValue when using GraphAssembler-based reductions.
  Reduction ReplaceWithSubgraph(JSCallReducerAssembler* gasm, Node* subgraph);

225
  // Helper to verify promise receiver maps are as expected.
226
  // On bailout from a reduction, be sure to return inference.NoChange().
227
  bool DoPromiseChecks(MapInference* inference);
228

229 230 231
  Node* CreateClosureFromBuiltinSharedFunctionInfo(SharedFunctionInfoRef shared,
                                                   Node* context, Node* effect,
                                                   Node* control);
232

233 234
  void CheckIfElementsKind(Node* receiver_elements_kind, ElementsKind kind,
                           Node* control, Node** if_true, Node** if_false);
235 236
  Node* LoadReceiverElementsKind(Node* receiver, Effect* effect,
                                 Control control);
237

238 239
  bool IsBuiltinOrApiFunction(JSFunctionRef target_ref) const;

240 241 242 243 244 245 246 247 248
  // Check whether an array has the expected length. Returns the new effect.
  Node* CheckArrayLength(Node* array, ElementsKind elements_kind,
                         uint32_t array_length,
                         const FeedbackSource& feedback_source, Effect effect,
                         Control control);

  // Check whether the given new target value is a constructor function.
  void CheckIfConstructor(Node* call);

249 250
  Graph* graph() const;
  JSGraph* jsgraph() const { return jsgraph_; }
251
  JSHeapBroker* broker() const { return broker_; }
252
  Zone* temp_zone() const { return temp_zone_; }
253
  Isolate* isolate() const;
254
  Factory* factory() const;
255
  NativeContextRef native_context() const;
256
  CommonOperatorBuilder* common() const;
257
  JSOperatorBuilder* javascript() const;
258
  SimplifiedOperatorBuilder* simplified() const;
259
  Flags flags() const { return flags_; }
260

261
  JSGraph* const jsgraph_;
262
  JSHeapBroker* const broker_;
263
  Zone* const temp_zone_;
264
  Flags const flags_;
265
  std::set<Node*> waitlist_;
266

267 268 269
  // For preventing infinite recursion via ReduceJSCallWithArrayLikeOrSpread.
  std::unordered_set<Node*> generated_calls_with_array_like_or_spread_;

270
  bool has_wasm_calls_ = false;
271 272 273 274 275 276 277
};

}  // namespace compiler
}  // namespace internal
}  // namespace v8

#endif  // V8_COMPILER_JS_CALL_REDUCER_H_