Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(156)

Side by Side Diff: src/deoptimizer.h

Issue 2161543002: [turbofan] Add support for eager/soft deoptimization reasons. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Do the ports properly Created 4 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/deoptimize-reason.cc ('k') | src/deoptimizer.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #ifndef V8_DEOPTIMIZER_H_ 5 #ifndef V8_DEOPTIMIZER_H_
6 #define V8_DEOPTIMIZER_H_ 6 #define V8_DEOPTIMIZER_H_
7 7
8 #include "src/allocation.h" 8 #include "src/allocation.h"
9 #include "src/deoptimize-reason.h"
9 #include "src/macro-assembler.h" 10 #include "src/macro-assembler.h"
10 11
11 12
12 namespace v8 { 13 namespace v8 {
13 namespace internal { 14 namespace internal {
14 15
15 class FrameDescription; 16 class FrameDescription;
16 class TranslationIterator; 17 class TranslationIterator;
17 class DeoptimizedFrameInfo; 18 class DeoptimizedFrameInfo;
18 class TranslatedState; 19 class TranslatedState;
(...skipping 296 matching lines...) Expand 10 before | Expand all | Expand 10 after
315 // from given native context. 316 // from given native context.
316 virtual void EnterContext(Context* context) = 0; 317 virtual void EnterContext(Context* context) = 0;
317 318
318 virtual void VisitFunction(JSFunction* function) = 0; 319 virtual void VisitFunction(JSFunction* function) = 0;
319 320
320 // Function which is called after iteration of all optimized functions 321 // Function which is called after iteration of all optimized functions
321 // from given native context. 322 // from given native context.
322 virtual void LeaveContext(Context* context) = 0; 323 virtual void LeaveContext(Context* context) = 0;
323 }; 324 };
324 325
325 #define DEOPT_MESSAGES_LIST(V) \
326 V(kAccessCheck, "Access check needed") \
327 V(kNoReason, "no reason") \
328 V(kConstantGlobalVariableAssignment, "Constant global variable assignment") \
329 V(kConversionOverflow, "conversion overflow") \
330 V(kDivisionByZero, "division by zero") \
331 V(kElementsKindUnhandledInKeyedLoadGenericStub, \
332 "ElementsKind unhandled in KeyedLoadGenericStub") \
333 V(kExpectedHeapNumber, "Expected heap number") \
334 V(kExpectedSmi, "Expected smi") \
335 V(kForcedDeoptToRuntime, "Forced deopt to runtime") \
336 V(kHole, "hole") \
337 V(kHoleyArrayDespitePackedElements_kindFeedback, \
338 "Holey array despite packed elements_kind feedback") \
339 V(kInstanceMigrationFailed, "instance migration failed") \
340 V(kInsufficientTypeFeedbackForCallWithArguments, \
341 "Insufficient type feedback for call with arguments") \
342 V(kFastPathFailed, "Falling off the fast path") \
343 V(kInsufficientTypeFeedbackForCombinedTypeOfBinaryOperation, \
344 "Insufficient type feedback for combined type of binary operation") \
345 V(kInsufficientTypeFeedbackForGenericNamedAccess, \
346 "Insufficient type feedback for generic named access") \
347 V(kInsufficientTypeFeedbackForKeyedLoad, \
348 "Insufficient type feedback for keyed load") \
349 V(kInsufficientTypeFeedbackForKeyedStore, \
350 "Insufficient type feedback for keyed store") \
351 V(kInsufficientTypeFeedbackForLHSOfBinaryOperation, \
352 "Insufficient type feedback for LHS of binary operation") \
353 V(kInsufficientTypeFeedbackForRHSOfBinaryOperation, \
354 "Insufficient type feedback for RHS of binary operation") \
355 V(kKeyIsNegative, "key is negative") \
356 V(kLiteralsWereDisposed, "literals have been disposed") \
357 V(kLostPrecision, "lost precision") \
358 V(kLostPrecisionOrNaN, "lost precision or NaN") \
359 V(kMementoFound, "memento found") \
360 V(kMinusZero, "minus zero") \
361 V(kNaN, "NaN") \
362 V(kNegativeKeyEncountered, "Negative key encountered") \
363 V(kNegativeValue, "negative value") \
364 V(kNoCache, "no cache") \
365 V(kNonStrictElementsInKeyedLoadGenericStub, \
366 "non-strict elements in KeyedLoadGenericStub") \
367 V(kNotADateObject, "not a date object") \
368 V(kNotAHeapNumber, "not a heap number") \
369 V(kNotAHeapNumberUndefinedBoolean, "not a heap number/undefined/true/false") \
370 V(kNotAHeapNumberUndefined, "not a heap number/undefined") \
371 V(kNotAJavaScriptObject, "not a JavaScript object") \
372 V(kNotASmi, "not a Smi") \
373 V(kNull, "null") \
374 V(kOutOfBounds, "out of bounds") \
375 V(kOutsideOfRange, "Outside of range") \
376 V(kOverflow, "overflow") \
377 V(kProxy, "proxy") \
378 V(kReceiverWasAGlobalObject, "receiver was a global object") \
379 V(kSmi, "Smi") \
380 V(kTooManyArguments, "too many arguments") \
381 V(kTooManyUndetectableTypes, "Too many undetectable types") \
382 V(kTracingElementsTransitions, "Tracing elements transitions") \
383 V(kTypeMismatchBetweenFeedbackAndConstant, \
384 "Type mismatch between feedback and constant") \
385 V(kUndefined, "undefined") \
386 V(kUnexpectedCellContentsInConstantGlobalStore, \
387 "Unexpected cell contents in constant global store") \
388 V(kUnexpectedCellContentsInGlobalStore, \
389 "Unexpected cell contents in global store") \
390 V(kUnexpectedObject, "unexpected object") \
391 V(kUnexpectedRHSOfBinaryOperation, "Unexpected RHS of binary operation") \
392 V(kUninitializedBoilerplateInFastClone, \
393 "Uninitialized boilerplate in fast clone") \
394 V(kUninitializedBoilerplateLiterals, "Uninitialized boilerplate literals") \
395 V(kUnknownMapInPolymorphicAccess, "Unknown map in polymorphic access") \
396 V(kUnknownMapInPolymorphicCall, "Unknown map in polymorphic call") \
397 V(kUnknownMapInPolymorphicElementAccess, \
398 "Unknown map in polymorphic element access") \
399 V(kUnknownMap, "Unknown map") \
400 V(kValueMismatch, "value mismatch") \
401 V(kWrongInstanceType, "wrong instance type") \
402 V(kWrongMap, "wrong map") \
403 V(kUndefinedOrNullInForIn, "null or undefined in for-in") \
404 V(kUndefinedOrNullInToObject, "null or undefined in ToObject")
405
406 class Deoptimizer : public Malloced { 326 class Deoptimizer : public Malloced {
407 public: 327 public:
408 enum BailoutType { EAGER, LAZY, SOFT, kLastBailoutType = SOFT }; 328 enum BailoutType { EAGER, LAZY, SOFT, kLastBailoutType = SOFT };
409 329
410 enum class BailoutState { 330 enum class BailoutState {
411 NO_REGISTERS, 331 NO_REGISTERS,
412 TOS_REGISTER, 332 TOS_REGISTER,
413 }; 333 };
414 334
415 static const char* BailoutStateToString(BailoutState state) { 335 static const char* BailoutStateToString(BailoutState state) {
416 switch (state) { 336 switch (state) {
417 case BailoutState::NO_REGISTERS: 337 case BailoutState::NO_REGISTERS:
418 return "NO_REGISTERS"; 338 return "NO_REGISTERS";
419 case BailoutState::TOS_REGISTER: 339 case BailoutState::TOS_REGISTER:
420 return "TOS_REGISTER"; 340 return "TOS_REGISTER";
421 } 341 }
422 UNREACHABLE(); 342 UNREACHABLE();
423 return nullptr; 343 return nullptr;
424 } 344 }
425 345
426 #define DEOPT_MESSAGES_CONSTANTS(C, T) C,
427 enum DeoptReason {
428 DEOPT_MESSAGES_LIST(DEOPT_MESSAGES_CONSTANTS) kLastDeoptReason
429 };
430 #undef DEOPT_MESSAGES_CONSTANTS
431 static const char* GetDeoptReason(DeoptReason deopt_reason);
432
433 struct DeoptInfo { 346 struct DeoptInfo {
434 DeoptInfo(SourcePosition position, DeoptReason deopt_reason, int deopt_id) 347 DeoptInfo(SourcePosition position, DeoptimizeReason deopt_reason,
348 int deopt_id)
435 : position(position), deopt_reason(deopt_reason), deopt_id(deopt_id) {} 349 : position(position), deopt_reason(deopt_reason), deopt_id(deopt_id) {}
436 350
437 SourcePosition position; 351 SourcePosition position;
438 DeoptReason deopt_reason; 352 DeoptimizeReason deopt_reason;
439 int deopt_id; 353 int deopt_id;
440 354
441 static const int kNoDeoptId = -1; 355 static const int kNoDeoptId = -1;
442 }; 356 };
443 357
444 static DeoptInfo GetDeoptInfo(Code* code, byte* from); 358 static DeoptInfo GetDeoptInfo(Code* code, byte* from);
445 359
446 static int ComputeSourcePosition(SharedFunctionInfo* shared, 360 static int ComputeSourcePosition(SharedFunctionInfo* shared,
447 BailoutId node_id); 361 BailoutId node_id);
448 362
(...skipping 703 matching lines...) Expand 10 before | Expand all | Expand 10 after
1152 std::vector<Handle<Object> > expression_stack_; 1066 std::vector<Handle<Object> > expression_stack_;
1153 int source_position_; 1067 int source_position_;
1154 1068
1155 friend class Deoptimizer; 1069 friend class Deoptimizer;
1156 }; 1070 };
1157 1071
1158 } // namespace internal 1072 } // namespace internal
1159 } // namespace v8 1073 } // namespace v8
1160 1074
1161 #endif // V8_DEOPTIMIZER_H_ 1075 #endif // V8_DEOPTIMIZER_H_
OLDNEW
« no previous file with comments | « src/deoptimize-reason.cc ('k') | src/deoptimizer.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698