Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1292)

Side by Side Diff: src/compiler/operation-typer.cc

Issue 2381523002: [Turbofan] Introduce OtherNumberConstant. (Closed)
Patch Set: Better DCHECK in HeapConstantType(). Created 4 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/compiler/js-typed-lowering.cc ('k') | src/compiler/simplified-lowering.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2016 the V8 project authors. All rights reserved. 1 // Copyright 2016 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/operation-typer.h" 5 #include "src/compiler/operation-typer.h"
6 6
7 #include "src/compiler/common-operator.h" 7 #include "src/compiler/common-operator.h"
8 #include "src/compiler/type-cache.h" 8 #include "src/compiler/type-cache.h"
9 #include "src/compiler/types.h" 9 #include "src/compiler/types.h"
10 #include "src/factory.h" 10 #include "src/factory.h"
11 #include "src/isolate.h" 11 #include "src/isolate.h"
12 12
13 #include "src/objects-inl.h" 13 #include "src/objects-inl.h"
14 14
15 namespace v8 { 15 namespace v8 {
16 namespace internal { 16 namespace internal {
17 namespace compiler { 17 namespace compiler {
18 18
19 OperationTyper::OperationTyper(Isolate* isolate, Zone* zone) 19 OperationTyper::OperationTyper(Isolate* isolate, Zone* zone)
20 : zone_(zone), cache_(TypeCache::Get()) { 20 : zone_(zone), cache_(TypeCache::Get()) {
21 Factory* factory = isolate->factory(); 21 Factory* factory = isolate->factory();
22 infinity_ = Type::Constant(factory->infinity_value(), zone); 22 infinity_ = Type::NewConstant(factory->infinity_value(), zone);
23 minus_infinity_ = Type::Constant(factory->minus_infinity_value(), zone); 23 minus_infinity_ = Type::NewConstant(factory->minus_infinity_value(), zone);
24 Type* truncating_to_zero = Type::MinusZeroOrNaN(); 24 Type* truncating_to_zero = Type::MinusZeroOrNaN();
25 DCHECK(!truncating_to_zero->Maybe(Type::Integral32())); 25 DCHECK(!truncating_to_zero->Maybe(Type::Integral32()));
26 26
27 singleton_false_ = Type::Constant(factory->false_value(), zone); 27 singleton_false_ = Type::HeapConstant(factory->false_value(), zone);
28 singleton_true_ = Type::Constant(factory->true_value(), zone); 28 singleton_true_ = Type::HeapConstant(factory->true_value(), zone);
29 singleton_the_hole_ = Type::Constant(factory->the_hole_value(), zone); 29 singleton_the_hole_ = Type::HeapConstant(factory->the_hole_value(), zone);
30 signed32ish_ = Type::Union(Type::Signed32(), truncating_to_zero, zone); 30 signed32ish_ = Type::Union(Type::Signed32(), truncating_to_zero, zone);
31 unsigned32ish_ = Type::Union(Type::Unsigned32(), truncating_to_zero, zone); 31 unsigned32ish_ = Type::Union(Type::Unsigned32(), truncating_to_zero, zone);
32 } 32 }
33 33
34 Type* OperationTyper::Merge(Type* left, Type* right) { 34 Type* OperationTyper::Merge(Type* left, Type* right) {
35 return Type::Union(left, right, zone()); 35 return Type::Union(left, right, zone());
36 } 36 }
37 37
38 Type* OperationTyper::WeakenRange(Type* previous_range, Type* current_range) { 38 Type* OperationTyper::WeakenRange(Type* previous_range, Type* current_range) {
39 static const double kWeakenMinLimits[] = {0.0, 39 static const double kWeakenMinLimits[] = {0.0,
(...skipping 925 matching lines...) Expand 10 before | Expand all | Expand 10 after
965 return singleton_true(); 965 return singleton_true();
966 } 966 }
967 967
968 Type* OperationTyper::TypeTypeGuard(const Operator* sigma_op, Type* input) { 968 Type* OperationTyper::TypeTypeGuard(const Operator* sigma_op, Type* input) {
969 return Type::Intersect(input, TypeGuardTypeOf(sigma_op), zone()); 969 return Type::Intersect(input, TypeGuardTypeOf(sigma_op), zone());
970 } 970 }
971 971
972 } // namespace compiler 972 } // namespace compiler
973 } // namespace internal 973 } // namespace internal
974 } // namespace v8 974 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/js-typed-lowering.cc ('k') | src/compiler/simplified-lowering.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698