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

Side by Side Diff: src/typing.cc

Issue 219523003: Provide Type::Contains methods. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Allow raw pointers Created 6 years, 8 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 | « src/types.cc ('k') | no next file » | 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 65 matching lines...) Expand 10 before | Expand all | Expand 10 after
76 var->name()->Print(); 76 var->name()->Print();
77 PrintF(" : "); 77 PrintF(" : ");
78 value->ShortPrint(); 78 value->ShortPrint();
79 PrintF(" -> "); 79 PrintF(" -> ");
80 type->TypePrint(); 80 type->TypePrint();
81 } 81 }
82 #endif // OBJECT_PRINT 82 #endif // OBJECT_PRINT
83 83
84 84
85 Effect AstTyper::ObservedOnStack(Object* value) { 85 Effect AstTyper::ObservedOnStack(Object* value) {
86 Type* lower = Type::OfCurrently(handle(value, isolate()), zone()); 86 Type* lower = Type::NowOf(handle(value, isolate()), zone());
87 return Effect(Bounds(lower, Type::Any(zone()))); 87 return Effect(Bounds(lower, Type::Any(zone())));
88 } 88 }
89 89
90 90
91 void AstTyper::ObserveTypesAtOsrEntry(IterationStatement* stmt) { 91 void AstTyper::ObserveTypesAtOsrEntry(IterationStatement* stmt) {
92 if (stmt->OsrEntryId() != info_->osr_ast_id()) return; 92 if (stmt->OsrEntryId() != info_->osr_ast_id()) return;
93 93
94 DisallowHeapAllocation no_gc; 94 DisallowHeapAllocation no_gc;
95 JavaScriptFrameIterator it(isolate()); 95 JavaScriptFrameIterator it(isolate());
96 JavaScriptFrame* frame = it.frame(); 96 JavaScriptFrame* frame = it.frame();
(...skipping 695 matching lines...) Expand 10 before | Expand all | Expand 10 after
792 void AstTyper::VisitModuleUrl(ModuleUrl* module) { 792 void AstTyper::VisitModuleUrl(ModuleUrl* module) {
793 } 793 }
794 794
795 795
796 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { 796 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) {
797 RECURSE(Visit(stmt->body())); 797 RECURSE(Visit(stmt->body()));
798 } 798 }
799 799
800 800
801 } } // namespace v8::internal 801 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/types.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698