| 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/verifier.h" |     5 #include "src/compiler/verifier.h" | 
|     6  |     6  | 
|     7 #include <algorithm> |     7 #include <algorithm> | 
|     8 #include <deque> |     8 #include <deque> | 
|     9 #include <queue> |     9 #include <queue> | 
|    10 #include <sstream> |    10 #include <sstream> | 
| (...skipping 532 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|   543       // Type is Boolean. |   543       // Type is Boolean. | 
|   544       CheckUpperIs(node, Type::Boolean()); |   544       CheckUpperIs(node, Type::Boolean()); | 
|   545       break; |   545       break; | 
|   546     case IrOpcode::kJSTypeOf: |   546     case IrOpcode::kJSTypeOf: | 
|   547       // Type is String. |   547       // Type is String. | 
|   548       CheckUpperIs(node, Type::String()); |   548       CheckUpperIs(node, Type::String()); | 
|   549       break; |   549       break; | 
|   550  |   550  | 
|   551     case IrOpcode::kJSLoadContext: |   551     case IrOpcode::kJSLoadContext: | 
|   552     case IrOpcode::kJSLoadDynamic: |   552     case IrOpcode::kJSLoadDynamic: | 
|   553     case IrOpcode::kJSLoadNativeContext: |  | 
|   554       // Type can be anything. |   553       // Type can be anything. | 
|   555       CheckUpperIs(node, Type::Any()); |   554       CheckUpperIs(node, Type::Any()); | 
|   556       break; |   555       break; | 
|   557     case IrOpcode::kJSStoreContext: |   556     case IrOpcode::kJSStoreContext: | 
|   558       // Type is empty. |   557       // Type is empty. | 
|   559       CheckNotTyped(node); |   558       CheckNotTyped(node); | 
|   560       break; |   559       break; | 
|   561     case IrOpcode::kJSCreateFunctionContext: |   560     case IrOpcode::kJSCreateFunctionContext: | 
|   562     case IrOpcode::kJSCreateCatchContext: |   561     case IrOpcode::kJSCreateCatchContext: | 
|   563     case IrOpcode::kJSCreateWithContext: |   562     case IrOpcode::kJSCreateWithContext: | 
| (...skipping 689 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|  1253          replacement->op()->EffectOutputCount() > 0); |  1252          replacement->op()->EffectOutputCount() > 0); | 
|  1254   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |  1253   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 
|  1255          replacement->opcode() == IrOpcode::kFrameState); |  1254          replacement->opcode() == IrOpcode::kFrameState); | 
|  1256 } |  1255 } | 
|  1257  |  1256  | 
|  1258 #endif  // DEBUG |  1257 #endif  // DEBUG | 
|  1259  |  1258  | 
|  1260 }  // namespace compiler |  1259 }  // namespace compiler | 
|  1261 }  // namespace internal |  1260 }  // namespace internal | 
|  1262 }  // namespace v8 |  1261 }  // namespace v8 | 
| OLD | NEW |