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

Side by Side Diff: src/typing.h

Issue 18524002: Revert "Derive synthetic type bounds for expressions" (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 7 years, 5 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 | Annotate | Revision Log
« no previous file with comments | « no previous file | src/typing.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 2013 the V8 project authors. All rights reserved. 1 // Copyright 2013 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after
61 61
62 TypeFeedbackOracle* oracle() { return &oracle_; } 62 TypeFeedbackOracle* oracle() { return &oracle_; }
63 Zone* zone() const { return info_->zone(); } 63 Zone* zone() const { return info_->zone(); }
64 64
65 void MergeLowerType(Expression* e, Handle<Type> t) { 65 void MergeLowerType(Expression* e, Handle<Type> t) {
66 e->set_lower_type(handle(Type::Union(e->lower_type(), t), isolate_)); 66 e->set_lower_type(handle(Type::Union(e->lower_type(), t), isolate_));
67 } 67 }
68 void MergeUpperType(Expression* e, Handle<Type> t) { 68 void MergeUpperType(Expression* e, Handle<Type> t) {
69 e->set_upper_type(handle(Type::Intersect(e->upper_type(), t), isolate_)); 69 e->set_upper_type(handle(Type::Intersect(e->upper_type(), t), isolate_));
70 } 70 }
71 void MergeLowerType(Expression* e, Type* t) {
72 MergeLowerType(e, handle(t, isolate_));
73 }
74 void MergeUpperType(Expression* e, Type* t) {
75 MergeUpperType(e, handle(t, isolate_));
76 }
77 71
78 void VisitDeclarations(ZoneList<Declaration*>* declarations); 72 void VisitDeclarations(ZoneList<Declaration*>* declarations);
79 void VisitStatements(ZoneList<Statement*>* statements); 73 void VisitStatements(ZoneList<Statement*>* statements);
80 74
81 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); 75 #define DECLARE_VISIT(type) virtual void Visit##type(type* node);
82 AST_NODE_LIST(DECLARE_VISIT) 76 AST_NODE_LIST(DECLARE_VISIT)
83 #undef DECLARE_VISIT 77 #undef DECLARE_VISIT
84 78
85 DISALLOW_COPY_AND_ASSIGN(AstTyper); 79 DISALLOW_COPY_AND_ASSIGN(AstTyper);
86 }; 80 };
87 81
88 } } // namespace v8::internal 82 } } // namespace v8::internal
89 83
90 #endif // V8_TYPING_H_ 84 #endif // V8_TYPING_H_
OLDNEW
« no previous file with comments | « no previous file | src/typing.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698