| Index: src/mips/lithium-mips.cc
|
| ===================================================================
|
| --- src/mips/lithium-mips.cc (revision 10404)
|
| +++ src/mips/lithium-mips.cc (working copy)
|
| @@ -1,4 +1,4 @@
|
| -// Copyright 2011 the V8 project authors. All rights reserved.
|
| +// Copyright 2012 the V8 project authors. All rights reserved.
|
| // Redistribution and use in source and binary forms, with or without
|
| // modification, are permitted provided that the following conditions are
|
| // met:
|
| @@ -1038,14 +1038,23 @@
|
|
|
|
|
| LInstruction* LChunkBuilder::DoBranch(HBranch* instr) {
|
| - HValue* v = instr->value();
|
| - if (v->EmitAtUses()) {
|
| - HBasicBlock* successor = HConstant::cast(v)->ToBoolean()
|
| + HValue* value = instr->value();
|
| + if (value->EmitAtUses()) {
|
| + HBasicBlock* successor = HConstant::cast(value)->ToBoolean()
|
| ? instr->FirstSuccessor()
|
| : instr->SecondSuccessor();
|
| return new LGoto(successor->block_id());
|
| }
|
| - return AssignEnvironment(new LBranch(UseRegister(v)));
|
| +
|
| + LBranch* result = new LBranch(UseRegister(value));
|
| + // Tagged values that are not known smis or booleans require a
|
| + // deoptimization environment.
|
| + Representation rep = value->representation();
|
| + HType type = value->type();
|
| + if (rep.IsTagged() && !type.IsSmi() && !type.IsBoolean()) {
|
| + return AssignEnvironment(result);
|
| + }
|
| + return result;
|
| }
|
|
|
|
|
| @@ -1345,7 +1354,12 @@
|
| } else {
|
| left = UseRegisterAtStart(instr->LeastConstantOperand());
|
| }
|
| - return AssignEnvironment(DefineAsRegister(new LMulI(left, right, temp)));
|
| + LMulI* mul = new LMulI(left, right, temp);
|
| + if (instr->CheckFlag(HValue::kCanOverflow) ||
|
| + instr->CheckFlag(HValue::kBailoutOnMinusZero)) {
|
| + AssignEnvironment(mul);
|
| + }
|
| + return DefineAsRegister(mul);
|
|
|
| } else if (instr->representation().IsDouble()) {
|
| return DoArithmeticD(Token::MUL, instr);
|
| @@ -1414,6 +1428,15 @@
|
| }
|
|
|
|
|
| +LInstruction* LChunkBuilder::DoRandom(HRandom* instr) {
|
| + ASSERT(instr->representation().IsDouble());
|
| + ASSERT(instr->global_object()->representation().IsTagged());
|
| + LOperand* global_object = UseFixed(instr->global_object(), a0);
|
| + LRandom* result = new LRandom(global_object);
|
| + return MarkAsCall(DefineFixedDouble(result, f0), instr);
|
| +}
|
| +
|
| +
|
| LInstruction* LChunkBuilder::DoCompareGeneric(HCompareGeneric* instr) {
|
| Representation r = instr->GetInputRepresentation();
|
| ASSERT(instr->left()->representation().IsTagged());
|
| @@ -1558,7 +1581,7 @@
|
| LInstruction* LChunkBuilder::DoValueOf(HValueOf* instr) {
|
| LOperand* object = UseRegister(instr->value());
|
| LValueOf* result = new LValueOf(object, TempRegister());
|
| - return AssignEnvironment(DefineAsRegister(result));
|
| + return DefineAsRegister(result);
|
| }
|
|
|
|
|
| @@ -1877,7 +1900,8 @@
|
| LOperand* obj = UseRegisterAtStart(instr->object());
|
| LOperand* key = UseRegisterAtStart(instr->key());
|
| LLoadKeyedFastElement* result = new LLoadKeyedFastElement(obj, key);
|
| - return AssignEnvironment(DefineAsRegister(result));
|
| + if (instr->RequiresHoleCheck()) AssignEnvironment(result);
|
| + return DefineAsRegister(result);
|
| }
|
|
|
|
|
|
|