| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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 #include "src/compiler/operator-properties.h" | 5 #include "src/compiler/operator-properties.h" |
| 6 | 6 |
| 7 #include "src/compiler/js-operator.h" | 7 #include "src/compiler/js-operator.h" |
| 8 #include "src/compiler/linkage.h" | 8 #include "src/compiler/linkage.h" |
| 9 #include "src/compiler/opcodes.h" | 9 #include "src/compiler/opcodes.h" |
| 10 | 10 |
| (...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 73 case IrOpcode::kJSCallConstruct: | 73 case IrOpcode::kJSCallConstruct: |
| 74 case IrOpcode::kJSCallFunction: | 74 case IrOpcode::kJSCallFunction: |
| 75 | 75 |
| 76 // Misc operations | 76 // Misc operations |
| 77 case IrOpcode::kJSConvertReceiver: | 77 case IrOpcode::kJSConvertReceiver: |
| 78 case IrOpcode::kJSForInNext: | 78 case IrOpcode::kJSForInNext: |
| 79 case IrOpcode::kJSForInPrepare: | 79 case IrOpcode::kJSForInPrepare: |
| 80 case IrOpcode::kJSStackCheck: | 80 case IrOpcode::kJSStackCheck: |
| 81 return 1; | 81 return 1; |
| 82 | 82 |
| 83 // We record the frame state immediately before and immediately after | |
| 84 // every property or global variable access. | |
| 85 | |
| 86 return 2; | |
| 87 | |
| 88 // Binary operators that can deopt in the middle the operation (e.g., | 83 // Binary operators that can deopt in the middle the operation (e.g., |
| 89 // as a result of lazy deopt in ToNumber conversion) need a second frame | 84 // as a result of lazy deopt in ToNumber conversion) need a second frame |
| 90 // state so that we can resume before the operation. | 85 // state so that we can resume before the operation. |
| 91 case IrOpcode::kJSMultiply: | 86 case IrOpcode::kJSMultiply: |
| 92 case IrOpcode::kJSAdd: | 87 case IrOpcode::kJSAdd: |
| 93 case IrOpcode::kJSBitwiseAnd: | 88 case IrOpcode::kJSBitwiseAnd: |
| 94 case IrOpcode::kJSBitwiseOr: | 89 case IrOpcode::kJSBitwiseOr: |
| 95 case IrOpcode::kJSBitwiseXor: | 90 case IrOpcode::kJSBitwiseXor: |
| 96 case IrOpcode::kJSDivide: | 91 case IrOpcode::kJSDivide: |
| 97 case IrOpcode::kJSModulus: | 92 case IrOpcode::kJSModulus: |
| 98 case IrOpcode::kJSShiftLeft: | 93 case IrOpcode::kJSShiftLeft: |
| 99 case IrOpcode::kJSShiftRight: | 94 case IrOpcode::kJSShiftRight: |
| 100 case IrOpcode::kJSShiftRightLogical: | 95 case IrOpcode::kJSShiftRightLogical: |
| 101 case IrOpcode::kJSSubtract: | 96 case IrOpcode::kJSSubtract: |
| 102 return 2; | 97 return 2; |
| 103 | 98 |
| 104 // Compare operators that can deopt in the middle the operation (e.g., | 99 // Compare operators that can deopt in the middle the operation (e.g., |
| 105 // as a result of lazy deopt in ToNumber conversion) need a second frame | 100 // as a result of lazy deopt in ToNumber conversion) need a second frame |
| 106 // state so that we can resume before the operation. | 101 // state so that we can resume before the operation. |
| 107 case IrOpcode::kJSGreaterThan: | 102 case IrOpcode::kJSGreaterThan: |
| 108 case IrOpcode::kJSGreaterThanOrEqual: | 103 case IrOpcode::kJSGreaterThanOrEqual: |
| 109 case IrOpcode::kJSLessThan: | 104 case IrOpcode::kJSLessThan: |
| 110 case IrOpcode::kJSLessThanOrEqual: | 105 case IrOpcode::kJSLessThanOrEqual: |
| 111 return 2; | 106 return 2; |
| 112 | 107 |
| 113 // Simplified operators with type feedback. | |
| 114 case IrOpcode::kSpeculativeNumberAdd: | |
| 115 case IrOpcode::kSpeculativeNumberSubtract: | |
| 116 // Checked conversions. | 108 // Checked conversions. |
| 117 case IrOpcode::kCheckedUint32ToInt32: | 109 case IrOpcode::kCheckedUint32ToInt32: |
| 118 case IrOpcode::kCheckedFloat64ToInt32: | 110 case IrOpcode::kCheckedFloat64ToInt32: |
| 119 case IrOpcode::kCheckedTaggedToInt32: | 111 case IrOpcode::kCheckedTaggedToInt32: |
| 120 case IrOpcode::kCheckedTaggedToFloat64: | 112 case IrOpcode::kCheckedTaggedToFloat64: |
| 121 return 1; | 113 return 1; |
| 122 | 114 |
| 123 default: | 115 default: |
| 124 return 0; | 116 return 0; |
| 125 } | 117 } |
| (...skipping 15 matching lines...) Expand all Loading... |
| 141 opcode == IrOpcode::kDead || opcode == IrOpcode::kLoop || | 133 opcode == IrOpcode::kDead || opcode == IrOpcode::kLoop || |
| 142 opcode == IrOpcode::kMerge || opcode == IrOpcode::kIfTrue || | 134 opcode == IrOpcode::kMerge || opcode == IrOpcode::kIfTrue || |
| 143 opcode == IrOpcode::kIfFalse || opcode == IrOpcode::kIfSuccess || | 135 opcode == IrOpcode::kIfFalse || opcode == IrOpcode::kIfSuccess || |
| 144 opcode == IrOpcode::kIfException || opcode == IrOpcode::kIfValue || | 136 opcode == IrOpcode::kIfException || opcode == IrOpcode::kIfValue || |
| 145 opcode == IrOpcode::kIfDefault; | 137 opcode == IrOpcode::kIfDefault; |
| 146 } | 138 } |
| 147 | 139 |
| 148 } // namespace compiler | 140 } // namespace compiler |
| 149 } // namespace internal | 141 } // namespace internal |
| 150 } // namespace v8 | 142 } // namespace v8 |
| OLD | NEW |