1 // Copyright 2011 the V8 project authors. All rights reserved. 2 // Redistribution and use in source and binary forms, with or without 3 // modification, are permitted provided that the following conditions are 4 // met: 5 // 6 // * Redistributions of source code must retain the above copyright 7 // notice, this list of conditions and the following disclaimer. 8 // * Redistributions in binary form must reproduce the above 9 // copyright notice, this list of conditions and the following 10 // disclaimer in the documentation and/or other materials provided 11 // with the distribution. 12 // * Neither the name of Google Inc. nor the names of its 13 // contributors may be used to endorse or promote products derived 14 // from this software without specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28 #include "v8.h" 29 30 #include "ast.h" 31 #include "scopes.h" 32 #include "variables.h" 33 34 namespace v8 { 35 namespace internal { 36 37 // ---------------------------------------------------------------------------- 38 // Implementation Variable. 39 40 const char* Variable::Mode2String(Mode mode) { 41 switch (mode) { 42 case VAR: return "VAR"; 43 case CONST: return "CONST"; 44 case DYNAMIC: return "DYNAMIC"; 45 case DYNAMIC_GLOBAL: return "DYNAMIC_GLOBAL"; 46 case DYNAMIC_LOCAL: return "DYNAMIC_LOCAL"; 47 case INTERNAL: return "INTERNAL"; 48 case TEMPORARY: return "TEMPORARY"; 49 } 50 UNREACHABLE(); 51 return NULL; 52 } 53 54 55 Property* Variable::AsProperty() const { 56 return rewrite_ == NULL ? NULL : rewrite_->AsProperty(); 57 } 58 59 60 Slot* Variable::AsSlot() const { 61 return rewrite_ == NULL ? NULL : rewrite_->AsSlot(); 62 } 63 64 65 bool Variable::IsStackAllocated() const { 66 Slot* slot = AsSlot(); 67 return slot != NULL && slot->IsStackAllocated(); 68 } 69 70 71 bool Variable::IsParameter() const { 72 Slot* s = AsSlot(); 73 return s != NULL && s->type() == Slot::PARAMETER; 74 } 75 76 77 bool Variable::IsStackLocal() const { 78 Slot* s = AsSlot(); 79 return s != NULL && s->type() == Slot::LOCAL; 80 } 81 82 83 bool Variable::IsContextSlot() const { 84 Slot* s = AsSlot(); 85 return s != NULL && s->type() == Slot::CONTEXT; 86 } 87 88 89 Variable::Variable(Scope* scope, 90 Handle<String> name, 91 Mode mode, 92 bool is_valid_LHS, 93 Kind kind) 94 : scope_(scope), 95 name_(name), 96 mode_(mode), 97 kind_(kind), 98 local_if_not_shadowed_(NULL), 99 rewrite_(NULL), 100 is_valid_LHS_(is_valid_LHS), 101 is_accessed_from_inner_scope_(false), 102 is_used_(false) { 103 // names must be canonicalized for fast equality checks 104 ASSERT(name->IsSymbol()); 105 } 106 107 108 bool Variable::is_global() const { 109 // Temporaries are never global, they must always be allocated in the 110 // activation frame. 111 return mode_ != TEMPORARY && scope_ != NULL && scope_->is_global_scope(); 112 } 113 114 } } // namespace v8::internal 115
