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/typer.h" | 5 #include "src/compiler/typer.h" |
6 | 6 |
7 #include "src/base/flags.h" | 7 #include "src/base/flags.h" |
8 #include "src/bootstrapper.h" | 8 #include "src/bootstrapper.h" |
9 #include "src/compilation-dependencies.h" | 9 #include "src/compilation-dependencies.h" |
10 #include "src/compiler/common-operator.h" | 10 #include "src/compiler/common-operator.h" |
(...skipping 1944 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1955 if (arg->Is(Type::TaggedSigned())) return typer_->singleton_true_; | 1955 if (arg->Is(Type::TaggedSigned())) return typer_->singleton_true_; |
1956 if (arg->Is(Type::TaggedPointer())) return typer_->singleton_false_; | 1956 if (arg->Is(Type::TaggedPointer())) return typer_->singleton_false_; |
1957 return Type::Boolean(); | 1957 return Type::Boolean(); |
1958 } | 1958 } |
1959 | 1959 |
1960 | 1960 |
1961 // Machine operators. | 1961 // Machine operators. |
1962 | 1962 |
1963 Type* Typer::Visitor::TypeLoad(Node* node) { return Type::Any(); } | 1963 Type* Typer::Visitor::TypeLoad(Node* node) { return Type::Any(); } |
1964 | 1964 |
| 1965 Type* Typer::Visitor::TypeStackSlot(Node* node) { return Type::Any(); } |
1965 | 1966 |
1966 Type* Typer::Visitor::TypeStore(Node* node) { | 1967 Type* Typer::Visitor::TypeStore(Node* node) { |
1967 UNREACHABLE(); | 1968 UNREACHABLE(); |
1968 return nullptr; | 1969 return nullptr; |
1969 } | 1970 } |
1970 | 1971 |
1971 | 1972 |
1972 Type* Typer::Visitor::TypeWord32And(Node* node) { return Type::Integral32(); } | 1973 Type* Typer::Visitor::TypeWord32And(Node* node) { return Type::Integral32(); } |
1973 | 1974 |
1974 | 1975 |
(...skipping 476 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2451 } | 2452 } |
2452 if (Type::IsInteger(*value)) { | 2453 if (Type::IsInteger(*value)) { |
2453 return Type::Range(value->Number(), value->Number(), zone()); | 2454 return Type::Range(value->Number(), value->Number(), zone()); |
2454 } | 2455 } |
2455 return Type::Constant(value, zone()); | 2456 return Type::Constant(value, zone()); |
2456 } | 2457 } |
2457 | 2458 |
2458 } // namespace compiler | 2459 } // namespace compiler |
2459 } // namespace internal | 2460 } // namespace internal |
2460 } // namespace v8 | 2461 } // namespace v8 |
OLD | NEW |