| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/intermediate_language.h" | 5 #include "vm/intermediate_language.h" |
| 6 | 6 |
| 7 #include "vm/bit_vector.h" | 7 #include "vm/bit_vector.h" |
| 8 #include "vm/bootstrap.h" | 8 #include "vm/bootstrap.h" |
| 9 #include "vm/compiler.h" | 9 #include "vm/compiler.h" |
| 10 #include "vm/constant_propagator.h" | 10 #include "vm/constant_propagator.h" |
| (...skipping 18 matching lines...) Expand all Loading... |
| 29 | 29 |
| 30 namespace dart { | 30 namespace dart { |
| 31 | 31 |
| 32 DEFINE_FLAG(bool, propagate_ic_data, true, | 32 DEFINE_FLAG(bool, propagate_ic_data, true, |
| 33 "Propagate IC data from unoptimized to optimized IC calls."); | 33 "Propagate IC data from unoptimized to optimized IC calls."); |
| 34 DEFINE_FLAG(bool, two_args_smi_icd, true, | 34 DEFINE_FLAG(bool, two_args_smi_icd, true, |
| 35 "Generate special IC stubs for two args Smi operations"); | 35 "Generate special IC stubs for two args Smi operations"); |
| 36 DEFINE_FLAG(bool, unbox_numeric_fields, true, | 36 DEFINE_FLAG(bool, unbox_numeric_fields, true, |
| 37 "Support unboxed double and float32x4 fields."); | 37 "Support unboxed double and float32x4 fields."); |
| 38 DECLARE_FLAG(bool, eliminate_type_checks); | 38 DECLARE_FLAG(bool, eliminate_type_checks); |
| 39 DECLARE_FLAG(bool, support_externalizable_strings); |
| 39 | 40 |
| 40 | 41 |
| 41 #if defined(DEBUG) | 42 #if defined(DEBUG) |
| 42 void Instruction::CheckField(const Field& field) const { | 43 void Instruction::CheckField(const Field& field) const { |
| 43 ASSERT(field.IsZoneHandle()); | 44 ASSERT(field.IsZoneHandle()); |
| 44 ASSERT(!Compiler::IsBackgroundCompilation() || !field.IsOriginal()); | 45 ASSERT(!Compiler::IsBackgroundCompilation() || !field.IsOriginal()); |
| 45 } | 46 } |
| 46 #endif // DEBUG | 47 #endif // DEBUG |
| 47 | 48 |
| 48 | 49 |
| (...skipping 113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 162 // TODO(fschneider): Make sure ic_data are sorted to hit more cases. | 163 // TODO(fschneider): Make sure ic_data are sorted to hit more cases. |
| 163 if (unary_checks().GetReceiverClassIdAt(i) != | 164 if (unary_checks().GetReceiverClassIdAt(i) != |
| 164 other_check->unary_checks().GetReceiverClassIdAt(i)) { | 165 other_check->unary_checks().GetReceiverClassIdAt(i)) { |
| 165 return false; | 166 return false; |
| 166 } | 167 } |
| 167 } | 168 } |
| 168 return true; | 169 return true; |
| 169 } | 170 } |
| 170 | 171 |
| 171 | 172 |
| 172 bool CheckClassInstr::IsImmutableClassId(intptr_t cid) { | |
| 173 switch (cid) { | |
| 174 case kOneByteStringCid: | |
| 175 case kTwoByteStringCid: | |
| 176 return false; | |
| 177 default: | |
| 178 return true; | |
| 179 } | |
| 180 } | |
| 181 | |
| 182 | |
| 183 static bool AreAllChecksImmutable(const ICData& checks) { | 173 static bool AreAllChecksImmutable(const ICData& checks) { |
| 184 const intptr_t len = checks.NumberOfChecks(); | 174 const intptr_t len = checks.NumberOfChecks(); |
| 185 for (intptr_t i = 0; i < len; i++) { | 175 for (intptr_t i = 0; i < len; i++) { |
| 186 if (checks.IsUsedAt(i)) { | 176 if (checks.IsUsedAt(i)) { |
| 187 if (!CheckClassInstr::IsImmutableClassId( | 177 if (Field::IsExternalizableCid( |
| 188 checks.GetReceiverClassIdAt(i))) { | 178 checks.GetReceiverClassIdAt(i))) { |
| 189 return false; | 179 return false; |
| 190 } | 180 } |
| 191 } | 181 } |
| 192 } | 182 } |
| 193 return true; | 183 return true; |
| 194 } | 184 } |
| 195 | 185 |
| 196 | 186 |
| 197 EffectSet CheckClassInstr::Dependencies() const { | 187 EffectSet CheckClassInstr::Dependencies() const { |
| 198 // Externalization of strings via the API can change the class-id. | 188 // Externalization of strings via the API can change the class-id. |
| 199 return !AreAllChecksImmutable(unary_checks()) ? | 189 return !AreAllChecksImmutable(unary_checks()) ? |
| 200 EffectSet::Externalization() : EffectSet::None(); | 190 EffectSet::Externalization() : EffectSet::None(); |
| 201 } | 191 } |
| 202 | 192 |
| 203 | 193 |
| 204 EffectSet CheckClassIdInstr::Dependencies() const { | 194 EffectSet CheckClassIdInstr::Dependencies() const { |
| 205 // Externalization of strings via the API can change the class-id. | 195 // Externalization of strings via the API can change the class-id. |
| 206 return !CheckClassInstr::IsImmutableClassId(cid_) ? | 196 return Field::IsExternalizableCid(cid_) ? |
| 207 EffectSet::Externalization() : EffectSet::None(); | 197 EffectSet::Externalization() : EffectSet::None(); |
| 208 } | 198 } |
| 209 | 199 |
| 210 | 200 |
| 211 bool CheckClassInstr::DeoptIfNull() const { | 201 bool CheckClassInstr::DeoptIfNull() const { |
| 212 if (unary_checks().NumberOfChecks() != 1) { | 202 if (unary_checks().NumberOfChecks() != 1) { |
| 213 return false; | 203 return false; |
| 214 } | 204 } |
| 215 CompileType* in_type = value()->Type(); | 205 CompileType* in_type = value()->Type(); |
| 216 const intptr_t cid = unary_checks().GetCidAt(0); | 206 const intptr_t cid = unary_checks().GetCidAt(0); |
| (...skipping 3534 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3751 set_native_c_function(native_function); | 3741 set_native_c_function(native_function); |
| 3752 function().SetIsNativeAutoSetupScope(auto_setup_scope); | 3742 function().SetIsNativeAutoSetupScope(auto_setup_scope); |
| 3753 Dart_NativeEntryResolver resolver = library.native_entry_resolver(); | 3743 Dart_NativeEntryResolver resolver = library.native_entry_resolver(); |
| 3754 bool is_bootstrap_native = Bootstrap::IsBootstapResolver(resolver); | 3744 bool is_bootstrap_native = Bootstrap::IsBootstapResolver(resolver); |
| 3755 set_is_bootstrap_native(is_bootstrap_native); | 3745 set_is_bootstrap_native(is_bootstrap_native); |
| 3756 } | 3746 } |
| 3757 | 3747 |
| 3758 #undef __ | 3748 #undef __ |
| 3759 | 3749 |
| 3760 } // namespace dart | 3750 } // namespace dart |
| OLD | NEW |