}
}
+ // The update expression resets the type of the loop variable. So we
+ // set it to smi before compiling the test expression.
+ if (node->is_fast_smi_loop()) {
+ // Set number type of the loop variable to smi.
+ Slot* slot = node->loop_variable()->slot();
+ ASSERT(slot->type() == Slot::LOCAL);
+ frame_->SetTypeForLocalAt(slot->index(), NumberInfo::Smi());
+ if (FLAG_debug_code) {
+ frame_->PushLocalAt(slot->index());
+ Result var = frame_->Pop();
+ var.ToRegister();
+ __ AbortIfNotSmi(var.reg(), "Loop variable not a smi.");
+ }
+ }
+
// Based on the condition analysis, compile the backward jump as
// necessary.
switch (info) {
old_value = allocator_->Allocate();
ASSERT(old_value.is_valid());
__ mov(old_value.reg(), new_value.reg());
+
+ // The old value that is return for postfix operations has the
+ // same type as the input value we got from the frame.
+ old_value.set_number_info(new_value.number_info());
}
+
// Ensure the new value is writable.
frame_->Spill(new_value.reg());
}
deferred->BindExit();
+ // The result of ++ or -- is always a number.
+ new_value.set_number_info(NumberInfo::Number());
// Postfix: store the old value in the allocated slot under the
// reference.
}
if (FLAG_safe_int32_compiler) {
- if (var->IsStackAllocated() && !var->is_arguments()) {
+ if (var->IsStackAllocated() &&
+ !var->is_arguments() &&
+ var->mode() != Variable::CONST) {
node->set_side_effect_free(true);
}
}