| OLD | NEW |
| 1 // Copyright 2008 the V8 project authors. All rights reserved. | 1 // Copyright 2008 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 24 matching lines...) Expand all Loading... |
| 35 | 35 |
| 36 namespace v8 { | 36 namespace v8 { |
| 37 namespace internal { | 37 namespace internal { |
| 38 | 38 |
| 39 // ------------------------------------------------------------------------- | 39 // ------------------------------------------------------------------------- |
| 40 // Result implementation. | 40 // Result implementation. |
| 41 | 41 |
| 42 void Result::ToRegister() { | 42 void Result::ToRegister() { |
| 43 ASSERT(is_valid()); | 43 ASSERT(is_valid()); |
| 44 if (is_constant()) { | 44 if (is_constant()) { |
| 45 Result fresh = CodeGeneratorScope::Current()->allocator()->Allocate(); | 45 CodeGenerator* code_generator = |
| 46 CodeGeneratorScope::Current(Isolate::Current()); |
| 47 Result fresh = code_generator->allocator()->Allocate(); |
| 46 ASSERT(fresh.is_valid()); | 48 ASSERT(fresh.is_valid()); |
| 47 if (is_untagged_int32()) { | 49 if (is_untagged_int32()) { |
| 48 fresh.set_untagged_int32(true); | 50 fresh.set_untagged_int32(true); |
| 49 if (handle()->IsSmi()) { | 51 if (handle()->IsSmi()) { |
| 50 CodeGeneratorScope::Current()->masm()->Set( | 52 code_generator->masm()->Set( |
| 51 fresh.reg(), | 53 fresh.reg(), |
| 52 Immediate(Smi::cast(*handle())->value())); | 54 Immediate(Smi::cast(*handle())->value())); |
| 53 } else if (handle()->IsHeapNumber()) { | 55 } else if (handle()->IsHeapNumber()) { |
| 54 double double_value = HeapNumber::cast(*handle())->value(); | 56 double double_value = HeapNumber::cast(*handle())->value(); |
| 55 int32_t value = DoubleToInt32(double_value); | 57 int32_t value = DoubleToInt32(double_value); |
| 56 if (double_value == 0 && signbit(double_value)) { | 58 if (double_value == 0 && signbit(double_value)) { |
| 57 // Negative zero must not be converted to an int32 unless | 59 // Negative zero must not be converted to an int32 unless |
| 58 // the context allows it. | 60 // the context allows it. |
| 59 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(equal); | 61 code_generator->unsafe_bailout_->Branch(equal); |
| 60 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(not_equal); | 62 code_generator->unsafe_bailout_->Branch(not_equal); |
| 61 } else if (double_value == value) { | 63 } else if (double_value == value) { |
| 62 CodeGeneratorScope::Current()->masm()->Set( | 64 code_generator->masm()->Set(fresh.reg(), Immediate(value)); |
| 63 fresh.reg(), Immediate(value)); | |
| 64 } else { | 65 } else { |
| 65 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(equal); | 66 code_generator->unsafe_bailout_->Branch(equal); |
| 66 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(not_equal); | 67 code_generator->unsafe_bailout_->Branch(not_equal); |
| 67 } | 68 } |
| 68 } else { | 69 } else { |
| 69 // Constant is not a number. This was not predicted by AST analysis. | 70 // Constant is not a number. This was not predicted by AST analysis. |
| 70 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(equal); | 71 code_generator->unsafe_bailout_->Branch(equal); |
| 71 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(not_equal); | 72 code_generator->unsafe_bailout_->Branch(not_equal); |
| 72 } | 73 } |
| 73 } else if (CodeGeneratorScope::Current()->IsUnsafeSmi(handle())) { | 74 } else if (code_generator->IsUnsafeSmi(handle())) { |
| 74 CodeGeneratorScope::Current()->MoveUnsafeSmi(fresh.reg(), handle()); | 75 code_generator->MoveUnsafeSmi(fresh.reg(), handle()); |
| 75 } else { | 76 } else { |
| 76 CodeGeneratorScope::Current()->masm()->Set(fresh.reg(), | 77 code_generator->masm()->Set(fresh.reg(), Immediate(handle())); |
| 77 Immediate(handle())); | |
| 78 } | 78 } |
| 79 // This result becomes a copy of the fresh one. | 79 // This result becomes a copy of the fresh one. |
| 80 fresh.set_type_info(type_info()); | 80 fresh.set_type_info(type_info()); |
| 81 *this = fresh; | 81 *this = fresh; |
| 82 } | 82 } |
| 83 ASSERT(is_register()); | 83 ASSERT(is_register()); |
| 84 } | 84 } |
| 85 | 85 |
| 86 | 86 |
| 87 void Result::ToRegister(Register target) { | 87 void Result::ToRegister(Register target) { |
| 88 CodeGenerator* code_generator = |
| 89 CodeGeneratorScope::Current(Isolate::Current()); |
| 88 ASSERT(is_valid()); | 90 ASSERT(is_valid()); |
| 89 if (!is_register() || !reg().is(target)) { | 91 if (!is_register() || !reg().is(target)) { |
| 90 Result fresh = CodeGeneratorScope::Current()->allocator()->Allocate(target); | 92 Result fresh = code_generator->allocator()->Allocate(target); |
| 91 ASSERT(fresh.is_valid()); | 93 ASSERT(fresh.is_valid()); |
| 92 if (is_register()) { | 94 if (is_register()) { |
| 93 CodeGeneratorScope::Current()->masm()->mov(fresh.reg(), reg()); | 95 code_generator->masm()->mov(fresh.reg(), reg()); |
| 94 } else { | 96 } else { |
| 95 ASSERT(is_constant()); | 97 ASSERT(is_constant()); |
| 96 if (is_untagged_int32()) { | 98 if (is_untagged_int32()) { |
| 97 if (handle()->IsSmi()) { | 99 if (handle()->IsSmi()) { |
| 98 CodeGeneratorScope::Current()->masm()->Set( | 100 code_generator->masm()->Set( |
| 99 fresh.reg(), | 101 fresh.reg(), |
| 100 Immediate(Smi::cast(*handle())->value())); | 102 Immediate(Smi::cast(*handle())->value())); |
| 101 } else { | 103 } else { |
| 102 ASSERT(handle()->IsHeapNumber()); | 104 ASSERT(handle()->IsHeapNumber()); |
| 103 double double_value = HeapNumber::cast(*handle())->value(); | 105 double double_value = HeapNumber::cast(*handle())->value(); |
| 104 int32_t value = DoubleToInt32(double_value); | 106 int32_t value = DoubleToInt32(double_value); |
| 105 if (double_value == 0 && signbit(double_value)) { | 107 if (double_value == 0 && signbit(double_value)) { |
| 106 // Negative zero must not be converted to an int32 unless | 108 // Negative zero must not be converted to an int32 unless |
| 107 // the context allows it. | 109 // the context allows it. |
| 108 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(equal); | 110 code_generator->unsafe_bailout_->Branch(equal); |
| 109 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(not_equal); | 111 code_generator->unsafe_bailout_->Branch(not_equal); |
| 110 } else if (double_value == value) { | 112 } else if (double_value == value) { |
| 111 CodeGeneratorScope::Current()->masm()->Set( | 113 code_generator->masm()->Set(fresh.reg(), Immediate(value)); |
| 112 fresh.reg(), Immediate(value)); | |
| 113 } else { | 114 } else { |
| 114 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(equal); | 115 code_generator->unsafe_bailout_->Branch(equal); |
| 115 CodeGeneratorScope::Current()->unsafe_bailout_->Branch(not_equal); | 116 code_generator->unsafe_bailout_->Branch(not_equal); |
| 116 } | 117 } |
| 117 } | 118 } |
| 118 } else { | 119 } else { |
| 119 if (CodeGeneratorScope::Current()->IsUnsafeSmi(handle())) { | 120 if (code_generator->IsUnsafeSmi(handle())) { |
| 120 CodeGeneratorScope::Current()->MoveUnsafeSmi(fresh.reg(), handle()); | 121 code_generator->MoveUnsafeSmi(fresh.reg(), handle()); |
| 121 } else { | 122 } else { |
| 122 CodeGeneratorScope::Current()->masm()->Set(fresh.reg(), | 123 code_generator->masm()->Set(fresh.reg(), Immediate(handle())); |
| 123 Immediate(handle())); | |
| 124 } | 124 } |
| 125 } | 125 } |
| 126 } | 126 } |
| 127 fresh.set_type_info(type_info()); | 127 fresh.set_type_info(type_info()); |
| 128 fresh.set_untagged_int32(is_untagged_int32()); | 128 fresh.set_untagged_int32(is_untagged_int32()); |
| 129 *this = fresh; | 129 *this = fresh; |
| 130 } else if (is_register() && reg().is(target)) { | 130 } else if (is_register() && reg().is(target)) { |
| 131 ASSERT(CodeGeneratorScope::Current()->has_valid_frame()); | 131 ASSERT(code_generator->has_valid_frame()); |
| 132 CodeGeneratorScope::Current()->frame()->Spill(target); | 132 code_generator->frame()->Spill(target); |
| 133 ASSERT(CodeGeneratorScope::Current()->allocator()->count(target) == 1); | 133 ASSERT(code_generator->allocator()->count(target) == 1); |
| 134 } | 134 } |
| 135 ASSERT(is_register()); | 135 ASSERT(is_register()); |
| 136 ASSERT(reg().is(target)); | 136 ASSERT(reg().is(target)); |
| 137 } | 137 } |
| 138 | 138 |
| 139 | 139 |
| 140 // ------------------------------------------------------------------------- | 140 // ------------------------------------------------------------------------- |
| 141 // RegisterAllocator implementation. | 141 // RegisterAllocator implementation. |
| 142 | 142 |
| 143 Result RegisterAllocator::AllocateByteRegisterWithoutSpilling() { | 143 Result RegisterAllocator::AllocateByteRegisterWithoutSpilling() { |
| 144 Result result = AllocateWithoutSpilling(); | 144 Result result = AllocateWithoutSpilling(); |
| 145 // Check that the register is a byte register. If not, unuse the | 145 // Check that the register is a byte register. If not, unuse the |
| 146 // register if valid and return an invalid result. | 146 // register if valid and return an invalid result. |
| 147 if (result.is_valid() && !result.reg().is_byte_register()) { | 147 if (result.is_valid() && !result.reg().is_byte_register()) { |
| 148 result.Unuse(); | 148 result.Unuse(); |
| 149 return Result(); | 149 return Result(); |
| 150 } | 150 } |
| 151 return result; | 151 return result; |
| 152 } | 152 } |
| 153 | 153 |
| 154 | 154 |
| 155 } } // namespace v8::internal | 155 } } // namespace v8::internal |
| 156 | 156 |
| 157 #endif // V8_TARGET_ARCH_IA32 | 157 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |