| OLD | NEW | 
|---|
| 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 401 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 412   } | 412   } | 
| 413 | 413 | 
| 414   switch (expr->op()) { | 414   switch (expr->op()) { | 
| 415     case Token::NOT: | 415     case Token::NOT: | 
| 416     case Token::DELETE: | 416     case Token::DELETE: | 
| 417       NarrowType(expr, Bounds(Type::Boolean(), isolate_)); | 417       NarrowType(expr, Bounds(Type::Boolean(), isolate_)); | 
| 418       break; | 418       break; | 
| 419     case Token::VOID: | 419     case Token::VOID: | 
| 420       NarrowType(expr, Bounds(Type::Undefined(), isolate_)); | 420       NarrowType(expr, Bounds(Type::Undefined(), isolate_)); | 
| 421       break; | 421       break; | 
| 422     case Token::ADD: |  | 
| 423     case Token::SUB: { |  | 
| 424       Type* upper = *expr->expression()->bounds().upper; |  | 
| 425       if (!upper->Is(Type::Number())) upper = Type::Number(); |  | 
| 426       NarrowType(expr, Bounds(Type::Smi(), upper, isolate_)); |  | 
| 427       break; |  | 
| 428     } |  | 
| 429     case Token::BIT_NOT: | 422     case Token::BIT_NOT: | 
| 430       NarrowType(expr, Bounds(Type::Smi(), Type::Signed32(), isolate_)); | 423       NarrowType(expr, Bounds(Type::Smi(), Type::Signed32(), isolate_)); | 
| 431       break; | 424       break; | 
| 432     case Token::TYPEOF: | 425     case Token::TYPEOF: | 
| 433       NarrowType(expr, Bounds(Type::InternalizedString(), isolate_)); | 426       NarrowType(expr, Bounds(Type::InternalizedString(), isolate_)); | 
| 434       break; | 427       break; | 
| 435     default: | 428     default: | 
| 436       UNREACHABLE(); | 429       UNREACHABLE(); | 
| 437   } | 430   } | 
| 438 } | 431 } | 
| (...skipping 150 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 589 void AstTyper::VisitModuleUrl(ModuleUrl* module) { | 582 void AstTyper::VisitModuleUrl(ModuleUrl* module) { | 
| 590 } | 583 } | 
| 591 | 584 | 
| 592 | 585 | 
| 593 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { | 586 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { | 
| 594   RECURSE(Visit(stmt->body())); | 587   RECURSE(Visit(stmt->body())); | 
| 595 } | 588 } | 
| 596 | 589 | 
| 597 | 590 | 
| 598 } }  // namespace v8::internal | 591 } }  // namespace v8::internal | 
| OLD | NEW | 
|---|