| 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 <iomanip> | 7 #include <iomanip> |
| 8 | 8 |
| 9 #include "src/base/flags.h" | 9 #include "src/base/flags.h" |
| 10 #include "src/bootstrapper.h" | 10 #include "src/bootstrapper.h" |
| (...skipping 1962 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1973 } | 1973 } |
| 1974 | 1974 |
| 1975 Type* Typer::Visitor::TypeChangeUint32ToFloat64(Node* node) { | 1975 Type* Typer::Visitor::TypeChangeUint32ToFloat64(Node* node) { |
| 1976 return Type::Intersect(Type::Unsigned32(), Type::UntaggedFloat64(), zone()); | 1976 return Type::Intersect(Type::Unsigned32(), Type::UntaggedFloat64(), zone()); |
| 1977 } | 1977 } |
| 1978 | 1978 |
| 1979 Type* Typer::Visitor::TypeChangeUint32ToUint64(Node* node) { | 1979 Type* Typer::Visitor::TypeChangeUint32ToUint64(Node* node) { |
| 1980 return Type::Internal(); | 1980 return Type::Internal(); |
| 1981 } | 1981 } |
| 1982 | 1982 |
| 1983 Type* Typer::Visitor::TypeImpossibleToWord32(Node* node) { |
| 1984 return Type::None(); |
| 1985 } |
| 1986 |
| 1987 Type* Typer::Visitor::TypeImpossibleToWord64(Node* node) { |
| 1988 return Type::None(); |
| 1989 } |
| 1990 |
| 1991 Type* Typer::Visitor::TypeImpossibleToFloat32(Node* node) { |
| 1992 return Type::None(); |
| 1993 } |
| 1994 |
| 1995 Type* Typer::Visitor::TypeImpossibleToFloat64(Node* node) { |
| 1996 return Type::None(); |
| 1997 } |
| 1998 |
| 1999 Type* Typer::Visitor::TypeImpossibleToTagged(Node* node) { |
| 2000 return Type::None(); |
| 2001 } |
| 2002 |
| 2003 Type* Typer::Visitor::TypeImpossibleToBit(Node* node) { return Type::None(); } |
| 2004 |
| 1983 Type* Typer::Visitor::TypeTruncateFloat64ToFloat32(Node* node) { | 2005 Type* Typer::Visitor::TypeTruncateFloat64ToFloat32(Node* node) { |
| 1984 return Type::Intersect(Type::Number(), Type::UntaggedFloat32(), zone()); | 2006 return Type::Intersect(Type::Number(), Type::UntaggedFloat32(), zone()); |
| 1985 } | 2007 } |
| 1986 | 2008 |
| 1987 Type* Typer::Visitor::TypeTruncateFloat64ToWord32(Node* node) { | 2009 Type* Typer::Visitor::TypeTruncateFloat64ToWord32(Node* node) { |
| 1988 return Type::Intersect(Type::Integral32(), Type::UntaggedIntegral32(), | 2010 return Type::Intersect(Type::Integral32(), Type::UntaggedIntegral32(), |
| 1989 zone()); | 2011 zone()); |
| 1990 } | 2012 } |
| 1991 | 2013 |
| 1992 Type* Typer::Visitor::TypeTruncateInt64ToInt32(Node* node) { | 2014 Type* Typer::Visitor::TypeTruncateInt64ToInt32(Node* node) { |
| (...skipping 328 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2321 } | 2343 } |
| 2322 if (Type::IsInteger(*value)) { | 2344 if (Type::IsInteger(*value)) { |
| 2323 return Type::Range(value->Number(), value->Number(), zone()); | 2345 return Type::Range(value->Number(), value->Number(), zone()); |
| 2324 } | 2346 } |
| 2325 return Type::Constant(value, zone()); | 2347 return Type::Constant(value, zone()); |
| 2326 } | 2348 } |
| 2327 | 2349 |
| 2328 } // namespace compiler | 2350 } // namespace compiler |
| 2329 } // namespace internal | 2351 } // namespace internal |
| 2330 } // namespace v8 | 2352 } // namespace v8 |
| OLD | NEW |