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 1960 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1971 return Type::Intersect(Type::Unsigned32(), Type::UntaggedUnsigned32(), | 1971 return Type::Intersect(Type::Unsigned32(), Type::UntaggedUnsigned32(), |
1972 zone()); | 1972 zone()); |
1973 } | 1973 } |
1974 | 1974 |
1975 | 1975 |
1976 Type* Typer::Visitor::TypeChangeInt32ToFloat64(Node* node) { | 1976 Type* Typer::Visitor::TypeChangeInt32ToFloat64(Node* node) { |
1977 return Type::Intersect(Type::Signed32(), Type::UntaggedFloat64(), zone()); | 1977 return Type::Intersect(Type::Signed32(), Type::UntaggedFloat64(), zone()); |
1978 } | 1978 } |
1979 | 1979 |
1980 | 1980 |
| 1981 Type* Typer::Visitor::TypeChangeInt64ToFloat64(Node* node) { |
| 1982 return Type::Intersect(Type::Signed64(), Type::UntaggedFloat64(), zone()); |
| 1983 } |
| 1984 |
| 1985 |
1981 Type* Typer::Visitor::TypeChangeInt32ToInt64(Node* node) { | 1986 Type* Typer::Visitor::TypeChangeInt32ToInt64(Node* node) { |
1982 return Type::Internal(); | 1987 return Type::Internal(); |
1983 } | 1988 } |
1984 | 1989 |
1985 | 1990 |
1986 Type* Typer::Visitor::TypeChangeUint32ToFloat64(Node* node) { | 1991 Type* Typer::Visitor::TypeChangeUint32ToFloat64(Node* node) { |
1987 return Type::Intersect(Type::Unsigned32(), Type::UntaggedFloat64(), zone()); | 1992 return Type::Intersect(Type::Unsigned32(), Type::UntaggedFloat64(), zone()); |
1988 } | 1993 } |
1989 | 1994 |
1990 | 1995 |
(...skipping 192 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2183 } | 2188 } |
2184 if (Type::IsInteger(*value)) { | 2189 if (Type::IsInteger(*value)) { |
2185 return Type::Range(value->Number(), value->Number(), zone()); | 2190 return Type::Range(value->Number(), value->Number(), zone()); |
2186 } | 2191 } |
2187 return Type::Constant(value, zone()); | 2192 return Type::Constant(value, zone()); |
2188 } | 2193 } |
2189 | 2194 |
2190 } // namespace compiler | 2195 } // namespace compiler |
2191 } // namespace internal | 2196 } // namespace internal |
2192 } // namespace v8 | 2197 } // namespace v8 |
OLD | NEW |