OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/v8.h" | 5 #include "src/v8.h" |
6 | 6 |
7 #if V8_TARGET_ARCH_X87 | 7 #if V8_TARGET_ARCH_X87 |
8 | 8 |
9 #include "src/base/bits.h" | 9 #include "src/base/bits.h" |
10 #include "src/code-factory.h" | 10 #include "src/code-factory.h" |
(...skipping 1395 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1406 int32_t mask = divisor < 0 ? -(divisor + 1) : (divisor - 1); | 1406 int32_t mask = divisor < 0 ? -(divisor + 1) : (divisor - 1); |
1407 Label dividend_is_not_negative, done; | 1407 Label dividend_is_not_negative, done; |
1408 if (hmod->CheckFlag(HValue::kLeftCanBeNegative)) { | 1408 if (hmod->CheckFlag(HValue::kLeftCanBeNegative)) { |
1409 __ test(dividend, dividend); | 1409 __ test(dividend, dividend); |
1410 __ j(not_sign, ÷nd_is_not_negative, Label::kNear); | 1410 __ j(not_sign, ÷nd_is_not_negative, Label::kNear); |
1411 // Note that this is correct even for kMinInt operands. | 1411 // Note that this is correct even for kMinInt operands. |
1412 __ neg(dividend); | 1412 __ neg(dividend); |
1413 __ and_(dividend, mask); | 1413 __ and_(dividend, mask); |
1414 __ neg(dividend); | 1414 __ neg(dividend); |
1415 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1415 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1416 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1416 DeoptimizeIf(zero, instr, "minus zero"); |
1417 } | 1417 } |
1418 __ jmp(&done, Label::kNear); | 1418 __ jmp(&done, Label::kNear); |
1419 } | 1419 } |
1420 | 1420 |
1421 __ bind(÷nd_is_not_negative); | 1421 __ bind(÷nd_is_not_negative); |
1422 __ and_(dividend, mask); | 1422 __ and_(dividend, mask); |
1423 __ bind(&done); | 1423 __ bind(&done); |
1424 } | 1424 } |
1425 | 1425 |
1426 | 1426 |
1427 void LCodeGen::DoModByConstI(LModByConstI* instr) { | 1427 void LCodeGen::DoModByConstI(LModByConstI* instr) { |
1428 Register dividend = ToRegister(instr->dividend()); | 1428 Register dividend = ToRegister(instr->dividend()); |
1429 int32_t divisor = instr->divisor(); | 1429 int32_t divisor = instr->divisor(); |
1430 DCHECK(ToRegister(instr->result()).is(eax)); | 1430 DCHECK(ToRegister(instr->result()).is(eax)); |
1431 | 1431 |
1432 if (divisor == 0) { | 1432 if (divisor == 0) { |
1433 DeoptimizeIf(no_condition, instr, Deoptimizer::kDivisionByZero); | 1433 DeoptimizeIf(no_condition, instr, "division by zero"); |
1434 return; | 1434 return; |
1435 } | 1435 } |
1436 | 1436 |
1437 __ TruncatingDiv(dividend, Abs(divisor)); | 1437 __ TruncatingDiv(dividend, Abs(divisor)); |
1438 __ imul(edx, edx, Abs(divisor)); | 1438 __ imul(edx, edx, Abs(divisor)); |
1439 __ mov(eax, dividend); | 1439 __ mov(eax, dividend); |
1440 __ sub(eax, edx); | 1440 __ sub(eax, edx); |
1441 | 1441 |
1442 // Check for negative zero. | 1442 // Check for negative zero. |
1443 HMod* hmod = instr->hydrogen(); | 1443 HMod* hmod = instr->hydrogen(); |
1444 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1444 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1445 Label remainder_not_zero; | 1445 Label remainder_not_zero; |
1446 __ j(not_zero, &remainder_not_zero, Label::kNear); | 1446 __ j(not_zero, &remainder_not_zero, Label::kNear); |
1447 __ cmp(dividend, Immediate(0)); | 1447 __ cmp(dividend, Immediate(0)); |
1448 DeoptimizeIf(less, instr, Deoptimizer::kMinusZero); | 1448 DeoptimizeIf(less, instr, "minus zero"); |
1449 __ bind(&remainder_not_zero); | 1449 __ bind(&remainder_not_zero); |
1450 } | 1450 } |
1451 } | 1451 } |
1452 | 1452 |
1453 | 1453 |
1454 void LCodeGen::DoModI(LModI* instr) { | 1454 void LCodeGen::DoModI(LModI* instr) { |
1455 HMod* hmod = instr->hydrogen(); | 1455 HMod* hmod = instr->hydrogen(); |
1456 | 1456 |
1457 Register left_reg = ToRegister(instr->left()); | 1457 Register left_reg = ToRegister(instr->left()); |
1458 DCHECK(left_reg.is(eax)); | 1458 DCHECK(left_reg.is(eax)); |
1459 Register right_reg = ToRegister(instr->right()); | 1459 Register right_reg = ToRegister(instr->right()); |
1460 DCHECK(!right_reg.is(eax)); | 1460 DCHECK(!right_reg.is(eax)); |
1461 DCHECK(!right_reg.is(edx)); | 1461 DCHECK(!right_reg.is(edx)); |
1462 Register result_reg = ToRegister(instr->result()); | 1462 Register result_reg = ToRegister(instr->result()); |
1463 DCHECK(result_reg.is(edx)); | 1463 DCHECK(result_reg.is(edx)); |
1464 | 1464 |
1465 Label done; | 1465 Label done; |
1466 // Check for x % 0, idiv would signal a divide error. We have to | 1466 // Check for x % 0, idiv would signal a divide error. We have to |
1467 // deopt in this case because we can't return a NaN. | 1467 // deopt in this case because we can't return a NaN. |
1468 if (hmod->CheckFlag(HValue::kCanBeDivByZero)) { | 1468 if (hmod->CheckFlag(HValue::kCanBeDivByZero)) { |
1469 __ test(right_reg, Operand(right_reg)); | 1469 __ test(right_reg, Operand(right_reg)); |
1470 DeoptimizeIf(zero, instr, Deoptimizer::kDivisionByZero); | 1470 DeoptimizeIf(zero, instr, "division by zero"); |
1471 } | 1471 } |
1472 | 1472 |
1473 // Check for kMinInt % -1, idiv would signal a divide error. We | 1473 // Check for kMinInt % -1, idiv would signal a divide error. We |
1474 // have to deopt if we care about -0, because we can't return that. | 1474 // have to deopt if we care about -0, because we can't return that. |
1475 if (hmod->CheckFlag(HValue::kCanOverflow)) { | 1475 if (hmod->CheckFlag(HValue::kCanOverflow)) { |
1476 Label no_overflow_possible; | 1476 Label no_overflow_possible; |
1477 __ cmp(left_reg, kMinInt); | 1477 __ cmp(left_reg, kMinInt); |
1478 __ j(not_equal, &no_overflow_possible, Label::kNear); | 1478 __ j(not_equal, &no_overflow_possible, Label::kNear); |
1479 __ cmp(right_reg, -1); | 1479 __ cmp(right_reg, -1); |
1480 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1480 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1481 DeoptimizeIf(equal, instr, Deoptimizer::kMinusZero); | 1481 DeoptimizeIf(equal, instr, "minus zero"); |
1482 } else { | 1482 } else { |
1483 __ j(not_equal, &no_overflow_possible, Label::kNear); | 1483 __ j(not_equal, &no_overflow_possible, Label::kNear); |
1484 __ Move(result_reg, Immediate(0)); | 1484 __ Move(result_reg, Immediate(0)); |
1485 __ jmp(&done, Label::kNear); | 1485 __ jmp(&done, Label::kNear); |
1486 } | 1486 } |
1487 __ bind(&no_overflow_possible); | 1487 __ bind(&no_overflow_possible); |
1488 } | 1488 } |
1489 | 1489 |
1490 // Sign extend dividend in eax into edx:eax. | 1490 // Sign extend dividend in eax into edx:eax. |
1491 __ cdq(); | 1491 __ cdq(); |
1492 | 1492 |
1493 // If we care about -0, test if the dividend is <0 and the result is 0. | 1493 // If we care about -0, test if the dividend is <0 and the result is 0. |
1494 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1494 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1495 Label positive_left; | 1495 Label positive_left; |
1496 __ test(left_reg, Operand(left_reg)); | 1496 __ test(left_reg, Operand(left_reg)); |
1497 __ j(not_sign, &positive_left, Label::kNear); | 1497 __ j(not_sign, &positive_left, Label::kNear); |
1498 __ idiv(right_reg); | 1498 __ idiv(right_reg); |
1499 __ test(result_reg, Operand(result_reg)); | 1499 __ test(result_reg, Operand(result_reg)); |
1500 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1500 DeoptimizeIf(zero, instr, "minus zero"); |
1501 __ jmp(&done, Label::kNear); | 1501 __ jmp(&done, Label::kNear); |
1502 __ bind(&positive_left); | 1502 __ bind(&positive_left); |
1503 } | 1503 } |
1504 __ idiv(right_reg); | 1504 __ idiv(right_reg); |
1505 __ bind(&done); | 1505 __ bind(&done); |
1506 } | 1506 } |
1507 | 1507 |
1508 | 1508 |
1509 void LCodeGen::DoDivByPowerOf2I(LDivByPowerOf2I* instr) { | 1509 void LCodeGen::DoDivByPowerOf2I(LDivByPowerOf2I* instr) { |
1510 Register dividend = ToRegister(instr->dividend()); | 1510 Register dividend = ToRegister(instr->dividend()); |
1511 int32_t divisor = instr->divisor(); | 1511 int32_t divisor = instr->divisor(); |
1512 Register result = ToRegister(instr->result()); | 1512 Register result = ToRegister(instr->result()); |
1513 DCHECK(divisor == kMinInt || base::bits::IsPowerOfTwo32(Abs(divisor))); | 1513 DCHECK(divisor == kMinInt || base::bits::IsPowerOfTwo32(Abs(divisor))); |
1514 DCHECK(!result.is(dividend)); | 1514 DCHECK(!result.is(dividend)); |
1515 | 1515 |
1516 // Check for (0 / -x) that will produce negative zero. | 1516 // Check for (0 / -x) that will produce negative zero. |
1517 HDiv* hdiv = instr->hydrogen(); | 1517 HDiv* hdiv = instr->hydrogen(); |
1518 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { | 1518 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { |
1519 __ test(dividend, dividend); | 1519 __ test(dividend, dividend); |
1520 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1520 DeoptimizeIf(zero, instr, "minus zero"); |
1521 } | 1521 } |
1522 // Check for (kMinInt / -1). | 1522 // Check for (kMinInt / -1). |
1523 if (hdiv->CheckFlag(HValue::kCanOverflow) && divisor == -1) { | 1523 if (hdiv->CheckFlag(HValue::kCanOverflow) && divisor == -1) { |
1524 __ cmp(dividend, kMinInt); | 1524 __ cmp(dividend, kMinInt); |
1525 DeoptimizeIf(zero, instr, Deoptimizer::kOverflow); | 1525 DeoptimizeIf(zero, instr, "overflow"); |
1526 } | 1526 } |
1527 // Deoptimize if remainder will not be 0. | 1527 // Deoptimize if remainder will not be 0. |
1528 if (!hdiv->CheckFlag(HInstruction::kAllUsesTruncatingToInt32) && | 1528 if (!hdiv->CheckFlag(HInstruction::kAllUsesTruncatingToInt32) && |
1529 divisor != 1 && divisor != -1) { | 1529 divisor != 1 && divisor != -1) { |
1530 int32_t mask = divisor < 0 ? -(divisor + 1) : (divisor - 1); | 1530 int32_t mask = divisor < 0 ? -(divisor + 1) : (divisor - 1); |
1531 __ test(dividend, Immediate(mask)); | 1531 __ test(dividend, Immediate(mask)); |
1532 DeoptimizeIf(not_zero, instr, Deoptimizer::kLostPrecision); | 1532 DeoptimizeIf(not_zero, instr, "lost precision"); |
1533 } | 1533 } |
1534 __ Move(result, dividend); | 1534 __ Move(result, dividend); |
1535 int32_t shift = WhichPowerOf2Abs(divisor); | 1535 int32_t shift = WhichPowerOf2Abs(divisor); |
1536 if (shift > 0) { | 1536 if (shift > 0) { |
1537 // The arithmetic shift is always OK, the 'if' is an optimization only. | 1537 // The arithmetic shift is always OK, the 'if' is an optimization only. |
1538 if (shift > 1) __ sar(result, 31); | 1538 if (shift > 1) __ sar(result, 31); |
1539 __ shr(result, 32 - shift); | 1539 __ shr(result, 32 - shift); |
1540 __ add(result, dividend); | 1540 __ add(result, dividend); |
1541 __ sar(result, shift); | 1541 __ sar(result, shift); |
1542 } | 1542 } |
1543 if (divisor < 0) __ neg(result); | 1543 if (divisor < 0) __ neg(result); |
1544 } | 1544 } |
1545 | 1545 |
1546 | 1546 |
1547 void LCodeGen::DoDivByConstI(LDivByConstI* instr) { | 1547 void LCodeGen::DoDivByConstI(LDivByConstI* instr) { |
1548 Register dividend = ToRegister(instr->dividend()); | 1548 Register dividend = ToRegister(instr->dividend()); |
1549 int32_t divisor = instr->divisor(); | 1549 int32_t divisor = instr->divisor(); |
1550 DCHECK(ToRegister(instr->result()).is(edx)); | 1550 DCHECK(ToRegister(instr->result()).is(edx)); |
1551 | 1551 |
1552 if (divisor == 0) { | 1552 if (divisor == 0) { |
1553 DeoptimizeIf(no_condition, instr, Deoptimizer::kDivisionByZero); | 1553 DeoptimizeIf(no_condition, instr, "division by zero"); |
1554 return; | 1554 return; |
1555 } | 1555 } |
1556 | 1556 |
1557 // Check for (0 / -x) that will produce negative zero. | 1557 // Check for (0 / -x) that will produce negative zero. |
1558 HDiv* hdiv = instr->hydrogen(); | 1558 HDiv* hdiv = instr->hydrogen(); |
1559 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { | 1559 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { |
1560 __ test(dividend, dividend); | 1560 __ test(dividend, dividend); |
1561 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1561 DeoptimizeIf(zero, instr, "minus zero"); |
1562 } | 1562 } |
1563 | 1563 |
1564 __ TruncatingDiv(dividend, Abs(divisor)); | 1564 __ TruncatingDiv(dividend, Abs(divisor)); |
1565 if (divisor < 0) __ neg(edx); | 1565 if (divisor < 0) __ neg(edx); |
1566 | 1566 |
1567 if (!hdiv->CheckFlag(HInstruction::kAllUsesTruncatingToInt32)) { | 1567 if (!hdiv->CheckFlag(HInstruction::kAllUsesTruncatingToInt32)) { |
1568 __ mov(eax, edx); | 1568 __ mov(eax, edx); |
1569 __ imul(eax, eax, divisor); | 1569 __ imul(eax, eax, divisor); |
1570 __ sub(eax, dividend); | 1570 __ sub(eax, dividend); |
1571 DeoptimizeIf(not_equal, instr, Deoptimizer::kLostPrecision); | 1571 DeoptimizeIf(not_equal, instr, "lost precision"); |
1572 } | 1572 } |
1573 } | 1573 } |
1574 | 1574 |
1575 | 1575 |
1576 // TODO(svenpanne) Refactor this to avoid code duplication with DoFlooringDivI. | 1576 // TODO(svenpanne) Refactor this to avoid code duplication with DoFlooringDivI. |
1577 void LCodeGen::DoDivI(LDivI* instr) { | 1577 void LCodeGen::DoDivI(LDivI* instr) { |
1578 HBinaryOperation* hdiv = instr->hydrogen(); | 1578 HBinaryOperation* hdiv = instr->hydrogen(); |
1579 Register dividend = ToRegister(instr->dividend()); | 1579 Register dividend = ToRegister(instr->dividend()); |
1580 Register divisor = ToRegister(instr->divisor()); | 1580 Register divisor = ToRegister(instr->divisor()); |
1581 Register remainder = ToRegister(instr->temp()); | 1581 Register remainder = ToRegister(instr->temp()); |
1582 DCHECK(dividend.is(eax)); | 1582 DCHECK(dividend.is(eax)); |
1583 DCHECK(remainder.is(edx)); | 1583 DCHECK(remainder.is(edx)); |
1584 DCHECK(ToRegister(instr->result()).is(eax)); | 1584 DCHECK(ToRegister(instr->result()).is(eax)); |
1585 DCHECK(!divisor.is(eax)); | 1585 DCHECK(!divisor.is(eax)); |
1586 DCHECK(!divisor.is(edx)); | 1586 DCHECK(!divisor.is(edx)); |
1587 | 1587 |
1588 // Check for x / 0. | 1588 // Check for x / 0. |
1589 if (hdiv->CheckFlag(HValue::kCanBeDivByZero)) { | 1589 if (hdiv->CheckFlag(HValue::kCanBeDivByZero)) { |
1590 __ test(divisor, divisor); | 1590 __ test(divisor, divisor); |
1591 DeoptimizeIf(zero, instr, Deoptimizer::kDivisionByZero); | 1591 DeoptimizeIf(zero, instr, "division by zero"); |
1592 } | 1592 } |
1593 | 1593 |
1594 // Check for (0 / -x) that will produce negative zero. | 1594 // Check for (0 / -x) that will produce negative zero. |
1595 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1595 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1596 Label dividend_not_zero; | 1596 Label dividend_not_zero; |
1597 __ test(dividend, dividend); | 1597 __ test(dividend, dividend); |
1598 __ j(not_zero, ÷nd_not_zero, Label::kNear); | 1598 __ j(not_zero, ÷nd_not_zero, Label::kNear); |
1599 __ test(divisor, divisor); | 1599 __ test(divisor, divisor); |
1600 DeoptimizeIf(sign, instr, Deoptimizer::kMinusZero); | 1600 DeoptimizeIf(sign, instr, "minus zero"); |
1601 __ bind(÷nd_not_zero); | 1601 __ bind(÷nd_not_zero); |
1602 } | 1602 } |
1603 | 1603 |
1604 // Check for (kMinInt / -1). | 1604 // Check for (kMinInt / -1). |
1605 if (hdiv->CheckFlag(HValue::kCanOverflow)) { | 1605 if (hdiv->CheckFlag(HValue::kCanOverflow)) { |
1606 Label dividend_not_min_int; | 1606 Label dividend_not_min_int; |
1607 __ cmp(dividend, kMinInt); | 1607 __ cmp(dividend, kMinInt); |
1608 __ j(not_zero, ÷nd_not_min_int, Label::kNear); | 1608 __ j(not_zero, ÷nd_not_min_int, Label::kNear); |
1609 __ cmp(divisor, -1); | 1609 __ cmp(divisor, -1); |
1610 DeoptimizeIf(zero, instr, Deoptimizer::kOverflow); | 1610 DeoptimizeIf(zero, instr, "overflow"); |
1611 __ bind(÷nd_not_min_int); | 1611 __ bind(÷nd_not_min_int); |
1612 } | 1612 } |
1613 | 1613 |
1614 // Sign extend to edx (= remainder). | 1614 // Sign extend to edx (= remainder). |
1615 __ cdq(); | 1615 __ cdq(); |
1616 __ idiv(divisor); | 1616 __ idiv(divisor); |
1617 | 1617 |
1618 if (!hdiv->CheckFlag(HValue::kAllUsesTruncatingToInt32)) { | 1618 if (!hdiv->CheckFlag(HValue::kAllUsesTruncatingToInt32)) { |
1619 // Deoptimize if remainder is not 0. | 1619 // Deoptimize if remainder is not 0. |
1620 __ test(remainder, remainder); | 1620 __ test(remainder, remainder); |
1621 DeoptimizeIf(not_zero, instr, Deoptimizer::kLostPrecision); | 1621 DeoptimizeIf(not_zero, instr, "lost precision"); |
1622 } | 1622 } |
1623 } | 1623 } |
1624 | 1624 |
1625 | 1625 |
1626 void LCodeGen::DoFlooringDivByPowerOf2I(LFlooringDivByPowerOf2I* instr) { | 1626 void LCodeGen::DoFlooringDivByPowerOf2I(LFlooringDivByPowerOf2I* instr) { |
1627 Register dividend = ToRegister(instr->dividend()); | 1627 Register dividend = ToRegister(instr->dividend()); |
1628 int32_t divisor = instr->divisor(); | 1628 int32_t divisor = instr->divisor(); |
1629 DCHECK(dividend.is(ToRegister(instr->result()))); | 1629 DCHECK(dividend.is(ToRegister(instr->result()))); |
1630 | 1630 |
1631 // If the divisor is positive, things are easy: There can be no deopts and we | 1631 // If the divisor is positive, things are easy: There can be no deopts and we |
1632 // can simply do an arithmetic right shift. | 1632 // can simply do an arithmetic right shift. |
1633 if (divisor == 1) return; | 1633 if (divisor == 1) return; |
1634 int32_t shift = WhichPowerOf2Abs(divisor); | 1634 int32_t shift = WhichPowerOf2Abs(divisor); |
1635 if (divisor > 1) { | 1635 if (divisor > 1) { |
1636 __ sar(dividend, shift); | 1636 __ sar(dividend, shift); |
1637 return; | 1637 return; |
1638 } | 1638 } |
1639 | 1639 |
1640 // If the divisor is negative, we have to negate and handle edge cases. | 1640 // If the divisor is negative, we have to negate and handle edge cases. |
1641 __ neg(dividend); | 1641 __ neg(dividend); |
1642 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1642 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1643 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1643 DeoptimizeIf(zero, instr, "minus zero"); |
1644 } | 1644 } |
1645 | 1645 |
1646 // Dividing by -1 is basically negation, unless we overflow. | 1646 // Dividing by -1 is basically negation, unless we overflow. |
1647 if (divisor == -1) { | 1647 if (divisor == -1) { |
1648 if (instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { | 1648 if (instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { |
1649 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 1649 DeoptimizeIf(overflow, instr, "overflow"); |
1650 } | 1650 } |
1651 return; | 1651 return; |
1652 } | 1652 } |
1653 | 1653 |
1654 // If the negation could not overflow, simply shifting is OK. | 1654 // If the negation could not overflow, simply shifting is OK. |
1655 if (!instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { | 1655 if (!instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { |
1656 __ sar(dividend, shift); | 1656 __ sar(dividend, shift); |
1657 return; | 1657 return; |
1658 } | 1658 } |
1659 | 1659 |
1660 Label not_kmin_int, done; | 1660 Label not_kmin_int, done; |
1661 __ j(no_overflow, ¬_kmin_int, Label::kNear); | 1661 __ j(no_overflow, ¬_kmin_int, Label::kNear); |
1662 __ mov(dividend, Immediate(kMinInt / divisor)); | 1662 __ mov(dividend, Immediate(kMinInt / divisor)); |
1663 __ jmp(&done, Label::kNear); | 1663 __ jmp(&done, Label::kNear); |
1664 __ bind(¬_kmin_int); | 1664 __ bind(¬_kmin_int); |
1665 __ sar(dividend, shift); | 1665 __ sar(dividend, shift); |
1666 __ bind(&done); | 1666 __ bind(&done); |
1667 } | 1667 } |
1668 | 1668 |
1669 | 1669 |
1670 void LCodeGen::DoFlooringDivByConstI(LFlooringDivByConstI* instr) { | 1670 void LCodeGen::DoFlooringDivByConstI(LFlooringDivByConstI* instr) { |
1671 Register dividend = ToRegister(instr->dividend()); | 1671 Register dividend = ToRegister(instr->dividend()); |
1672 int32_t divisor = instr->divisor(); | 1672 int32_t divisor = instr->divisor(); |
1673 DCHECK(ToRegister(instr->result()).is(edx)); | 1673 DCHECK(ToRegister(instr->result()).is(edx)); |
1674 | 1674 |
1675 if (divisor == 0) { | 1675 if (divisor == 0) { |
1676 DeoptimizeIf(no_condition, instr, Deoptimizer::kDivisionByZero); | 1676 DeoptimizeIf(no_condition, instr, "division by zero"); |
1677 return; | 1677 return; |
1678 } | 1678 } |
1679 | 1679 |
1680 // Check for (0 / -x) that will produce negative zero. | 1680 // Check for (0 / -x) that will produce negative zero. |
1681 HMathFloorOfDiv* hdiv = instr->hydrogen(); | 1681 HMathFloorOfDiv* hdiv = instr->hydrogen(); |
1682 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { | 1682 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) { |
1683 __ test(dividend, dividend); | 1683 __ test(dividend, dividend); |
1684 DeoptimizeIf(zero, instr, Deoptimizer::kMinusZero); | 1684 DeoptimizeIf(zero, instr, "minus zero"); |
1685 } | 1685 } |
1686 | 1686 |
1687 // Easy case: We need no dynamic check for the dividend and the flooring | 1687 // Easy case: We need no dynamic check for the dividend and the flooring |
1688 // division is the same as the truncating division. | 1688 // division is the same as the truncating division. |
1689 if ((divisor > 0 && !hdiv->CheckFlag(HValue::kLeftCanBeNegative)) || | 1689 if ((divisor > 0 && !hdiv->CheckFlag(HValue::kLeftCanBeNegative)) || |
1690 (divisor < 0 && !hdiv->CheckFlag(HValue::kLeftCanBePositive))) { | 1690 (divisor < 0 && !hdiv->CheckFlag(HValue::kLeftCanBePositive))) { |
1691 __ TruncatingDiv(dividend, Abs(divisor)); | 1691 __ TruncatingDiv(dividend, Abs(divisor)); |
1692 if (divisor < 0) __ neg(edx); | 1692 if (divisor < 0) __ neg(edx); |
1693 return; | 1693 return; |
1694 } | 1694 } |
(...skipping 26 matching lines...) Expand all Loading... |
1721 Register result = ToRegister(instr->result()); | 1721 Register result = ToRegister(instr->result()); |
1722 DCHECK(dividend.is(eax)); | 1722 DCHECK(dividend.is(eax)); |
1723 DCHECK(remainder.is(edx)); | 1723 DCHECK(remainder.is(edx)); |
1724 DCHECK(result.is(eax)); | 1724 DCHECK(result.is(eax)); |
1725 DCHECK(!divisor.is(eax)); | 1725 DCHECK(!divisor.is(eax)); |
1726 DCHECK(!divisor.is(edx)); | 1726 DCHECK(!divisor.is(edx)); |
1727 | 1727 |
1728 // Check for x / 0. | 1728 // Check for x / 0. |
1729 if (hdiv->CheckFlag(HValue::kCanBeDivByZero)) { | 1729 if (hdiv->CheckFlag(HValue::kCanBeDivByZero)) { |
1730 __ test(divisor, divisor); | 1730 __ test(divisor, divisor); |
1731 DeoptimizeIf(zero, instr, Deoptimizer::kDivisionByZero); | 1731 DeoptimizeIf(zero, instr, "division by zero"); |
1732 } | 1732 } |
1733 | 1733 |
1734 // Check for (0 / -x) that will produce negative zero. | 1734 // Check for (0 / -x) that will produce negative zero. |
1735 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1735 if (hdiv->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1736 Label dividend_not_zero; | 1736 Label dividend_not_zero; |
1737 __ test(dividend, dividend); | 1737 __ test(dividend, dividend); |
1738 __ j(not_zero, ÷nd_not_zero, Label::kNear); | 1738 __ j(not_zero, ÷nd_not_zero, Label::kNear); |
1739 __ test(divisor, divisor); | 1739 __ test(divisor, divisor); |
1740 DeoptimizeIf(sign, instr, Deoptimizer::kMinusZero); | 1740 DeoptimizeIf(sign, instr, "minus zero"); |
1741 __ bind(÷nd_not_zero); | 1741 __ bind(÷nd_not_zero); |
1742 } | 1742 } |
1743 | 1743 |
1744 // Check for (kMinInt / -1). | 1744 // Check for (kMinInt / -1). |
1745 if (hdiv->CheckFlag(HValue::kCanOverflow)) { | 1745 if (hdiv->CheckFlag(HValue::kCanOverflow)) { |
1746 Label dividend_not_min_int; | 1746 Label dividend_not_min_int; |
1747 __ cmp(dividend, kMinInt); | 1747 __ cmp(dividend, kMinInt); |
1748 __ j(not_zero, ÷nd_not_min_int, Label::kNear); | 1748 __ j(not_zero, ÷nd_not_min_int, Label::kNear); |
1749 __ cmp(divisor, -1); | 1749 __ cmp(divisor, -1); |
1750 DeoptimizeIf(zero, instr, Deoptimizer::kOverflow); | 1750 DeoptimizeIf(zero, instr, "overflow"); |
1751 __ bind(÷nd_not_min_int); | 1751 __ bind(÷nd_not_min_int); |
1752 } | 1752 } |
1753 | 1753 |
1754 // Sign extend to edx (= remainder). | 1754 // Sign extend to edx (= remainder). |
1755 __ cdq(); | 1755 __ cdq(); |
1756 __ idiv(divisor); | 1756 __ idiv(divisor); |
1757 | 1757 |
1758 Label done; | 1758 Label done; |
1759 __ test(remainder, remainder); | 1759 __ test(remainder, remainder); |
1760 __ j(zero, &done, Label::kNear); | 1760 __ j(zero, &done, Label::kNear); |
(...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1818 __ imul(left, left, constant); | 1818 __ imul(left, left, constant); |
1819 } | 1819 } |
1820 } else { | 1820 } else { |
1821 if (instr->hydrogen()->representation().IsSmi()) { | 1821 if (instr->hydrogen()->representation().IsSmi()) { |
1822 __ SmiUntag(left); | 1822 __ SmiUntag(left); |
1823 } | 1823 } |
1824 __ imul(left, ToOperand(right)); | 1824 __ imul(left, ToOperand(right)); |
1825 } | 1825 } |
1826 | 1826 |
1827 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { | 1827 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { |
1828 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 1828 DeoptimizeIf(overflow, instr, "overflow"); |
1829 } | 1829 } |
1830 | 1830 |
1831 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1831 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1832 // Bail out if the result is supposed to be negative zero. | 1832 // Bail out if the result is supposed to be negative zero. |
1833 Label done; | 1833 Label done; |
1834 __ test(left, Operand(left)); | 1834 __ test(left, Operand(left)); |
1835 __ j(not_zero, &done); | 1835 __ j(not_zero, &done); |
1836 if (right->IsConstantOperand()) { | 1836 if (right->IsConstantOperand()) { |
1837 if (ToInteger32(LConstantOperand::cast(right)) < 0) { | 1837 if (ToInteger32(LConstantOperand::cast(right)) < 0) { |
1838 DeoptimizeIf(no_condition, instr, Deoptimizer::kMinusZero); | 1838 DeoptimizeIf(no_condition, instr, "minus zero"); |
1839 } else if (ToInteger32(LConstantOperand::cast(right)) == 0) { | 1839 } else if (ToInteger32(LConstantOperand::cast(right)) == 0) { |
1840 __ cmp(ToRegister(instr->temp()), Immediate(0)); | 1840 __ cmp(ToRegister(instr->temp()), Immediate(0)); |
1841 DeoptimizeIf(less, instr, Deoptimizer::kMinusZero); | 1841 DeoptimizeIf(less, instr, "minus zero"); |
1842 } | 1842 } |
1843 } else { | 1843 } else { |
1844 // Test the non-zero operand for negative sign. | 1844 // Test the non-zero operand for negative sign. |
1845 __ or_(ToRegister(instr->temp()), ToOperand(right)); | 1845 __ or_(ToRegister(instr->temp()), ToOperand(right)); |
1846 DeoptimizeIf(sign, instr, Deoptimizer::kMinusZero); | 1846 DeoptimizeIf(sign, instr, "minus zero"); |
1847 } | 1847 } |
1848 __ bind(&done); | 1848 __ bind(&done); |
1849 } | 1849 } |
1850 } | 1850 } |
1851 | 1851 |
1852 | 1852 |
1853 void LCodeGen::DoBitI(LBitI* instr) { | 1853 void LCodeGen::DoBitI(LBitI* instr) { |
1854 LOperand* left = instr->left(); | 1854 LOperand* left = instr->left(); |
1855 LOperand* right = instr->right(); | 1855 LOperand* right = instr->right(); |
1856 DCHECK(left->Equals(instr->result())); | 1856 DCHECK(left->Equals(instr->result())); |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1909 case Token::ROR: | 1909 case Token::ROR: |
1910 __ ror_cl(ToRegister(left)); | 1910 __ ror_cl(ToRegister(left)); |
1911 break; | 1911 break; |
1912 case Token::SAR: | 1912 case Token::SAR: |
1913 __ sar_cl(ToRegister(left)); | 1913 __ sar_cl(ToRegister(left)); |
1914 break; | 1914 break; |
1915 case Token::SHR: | 1915 case Token::SHR: |
1916 __ shr_cl(ToRegister(left)); | 1916 __ shr_cl(ToRegister(left)); |
1917 if (instr->can_deopt()) { | 1917 if (instr->can_deopt()) { |
1918 __ test(ToRegister(left), ToRegister(left)); | 1918 __ test(ToRegister(left), ToRegister(left)); |
1919 DeoptimizeIf(sign, instr, Deoptimizer::kNegativeValue); | 1919 DeoptimizeIf(sign, instr, "negative value"); |
1920 } | 1920 } |
1921 break; | 1921 break; |
1922 case Token::SHL: | 1922 case Token::SHL: |
1923 __ shl_cl(ToRegister(left)); | 1923 __ shl_cl(ToRegister(left)); |
1924 break; | 1924 break; |
1925 default: | 1925 default: |
1926 UNREACHABLE(); | 1926 UNREACHABLE(); |
1927 break; | 1927 break; |
1928 } | 1928 } |
1929 } else { | 1929 } else { |
1930 int value = ToInteger32(LConstantOperand::cast(right)); | 1930 int value = ToInteger32(LConstantOperand::cast(right)); |
1931 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F); | 1931 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F); |
1932 switch (instr->op()) { | 1932 switch (instr->op()) { |
1933 case Token::ROR: | 1933 case Token::ROR: |
1934 if (shift_count == 0 && instr->can_deopt()) { | 1934 if (shift_count == 0 && instr->can_deopt()) { |
1935 __ test(ToRegister(left), ToRegister(left)); | 1935 __ test(ToRegister(left), ToRegister(left)); |
1936 DeoptimizeIf(sign, instr, Deoptimizer::kNegativeValue); | 1936 DeoptimizeIf(sign, instr, "negative value"); |
1937 } else { | 1937 } else { |
1938 __ ror(ToRegister(left), shift_count); | 1938 __ ror(ToRegister(left), shift_count); |
1939 } | 1939 } |
1940 break; | 1940 break; |
1941 case Token::SAR: | 1941 case Token::SAR: |
1942 if (shift_count != 0) { | 1942 if (shift_count != 0) { |
1943 __ sar(ToRegister(left), shift_count); | 1943 __ sar(ToRegister(left), shift_count); |
1944 } | 1944 } |
1945 break; | 1945 break; |
1946 case Token::SHR: | 1946 case Token::SHR: |
1947 if (shift_count != 0) { | 1947 if (shift_count != 0) { |
1948 __ shr(ToRegister(left), shift_count); | 1948 __ shr(ToRegister(left), shift_count); |
1949 } else if (instr->can_deopt()) { | 1949 } else if (instr->can_deopt()) { |
1950 __ test(ToRegister(left), ToRegister(left)); | 1950 __ test(ToRegister(left), ToRegister(left)); |
1951 DeoptimizeIf(sign, instr, Deoptimizer::kNegativeValue); | 1951 DeoptimizeIf(sign, instr, "negative value"); |
1952 } | 1952 } |
1953 break; | 1953 break; |
1954 case Token::SHL: | 1954 case Token::SHL: |
1955 if (shift_count != 0) { | 1955 if (shift_count != 0) { |
1956 if (instr->hydrogen_value()->representation().IsSmi() && | 1956 if (instr->hydrogen_value()->representation().IsSmi() && |
1957 instr->can_deopt()) { | 1957 instr->can_deopt()) { |
1958 if (shift_count != 1) { | 1958 if (shift_count != 1) { |
1959 __ shl(ToRegister(left), shift_count - 1); | 1959 __ shl(ToRegister(left), shift_count - 1); |
1960 } | 1960 } |
1961 __ SmiTag(ToRegister(left)); | 1961 __ SmiTag(ToRegister(left)); |
1962 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 1962 DeoptimizeIf(overflow, instr, "overflow"); |
1963 } else { | 1963 } else { |
1964 __ shl(ToRegister(left), shift_count); | 1964 __ shl(ToRegister(left), shift_count); |
1965 } | 1965 } |
1966 } | 1966 } |
1967 break; | 1967 break; |
1968 default: | 1968 default: |
1969 UNREACHABLE(); | 1969 UNREACHABLE(); |
1970 break; | 1970 break; |
1971 } | 1971 } |
1972 } | 1972 } |
1973 } | 1973 } |
1974 | 1974 |
1975 | 1975 |
1976 void LCodeGen::DoSubI(LSubI* instr) { | 1976 void LCodeGen::DoSubI(LSubI* instr) { |
1977 LOperand* left = instr->left(); | 1977 LOperand* left = instr->left(); |
1978 LOperand* right = instr->right(); | 1978 LOperand* right = instr->right(); |
1979 DCHECK(left->Equals(instr->result())); | 1979 DCHECK(left->Equals(instr->result())); |
1980 | 1980 |
1981 if (right->IsConstantOperand()) { | 1981 if (right->IsConstantOperand()) { |
1982 __ sub(ToOperand(left), | 1982 __ sub(ToOperand(left), |
1983 ToImmediate(right, instr->hydrogen()->representation())); | 1983 ToImmediate(right, instr->hydrogen()->representation())); |
1984 } else { | 1984 } else { |
1985 __ sub(ToRegister(left), ToOperand(right)); | 1985 __ sub(ToRegister(left), ToOperand(right)); |
1986 } | 1986 } |
1987 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { | 1987 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { |
1988 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 1988 DeoptimizeIf(overflow, instr, "overflow"); |
1989 } | 1989 } |
1990 } | 1990 } |
1991 | 1991 |
1992 | 1992 |
1993 void LCodeGen::DoConstantI(LConstantI* instr) { | 1993 void LCodeGen::DoConstantI(LConstantI* instr) { |
1994 __ Move(ToRegister(instr->result()), Immediate(instr->value())); | 1994 __ Move(ToRegister(instr->result()), Immediate(instr->value())); |
1995 } | 1995 } |
1996 | 1996 |
1997 | 1997 |
1998 void LCodeGen::DoConstantS(LConstantS* instr) { | 1998 void LCodeGen::DoConstantS(LConstantS* instr) { |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2038 void LCodeGen::DoDateField(LDateField* instr) { | 2038 void LCodeGen::DoDateField(LDateField* instr) { |
2039 Register object = ToRegister(instr->date()); | 2039 Register object = ToRegister(instr->date()); |
2040 Register result = ToRegister(instr->result()); | 2040 Register result = ToRegister(instr->result()); |
2041 Register scratch = ToRegister(instr->temp()); | 2041 Register scratch = ToRegister(instr->temp()); |
2042 Smi* index = instr->index(); | 2042 Smi* index = instr->index(); |
2043 Label runtime, done; | 2043 Label runtime, done; |
2044 DCHECK(object.is(result)); | 2044 DCHECK(object.is(result)); |
2045 DCHECK(object.is(eax)); | 2045 DCHECK(object.is(eax)); |
2046 | 2046 |
2047 __ test(object, Immediate(kSmiTagMask)); | 2047 __ test(object, Immediate(kSmiTagMask)); |
2048 DeoptimizeIf(zero, instr, Deoptimizer::kSmi); | 2048 DeoptimizeIf(zero, instr, "Smi"); |
2049 __ CmpObjectType(object, JS_DATE_TYPE, scratch); | 2049 __ CmpObjectType(object, JS_DATE_TYPE, scratch); |
2050 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotADateObject); | 2050 DeoptimizeIf(not_equal, instr, "not a date object"); |
2051 | 2051 |
2052 if (index->value() == 0) { | 2052 if (index->value() == 0) { |
2053 __ mov(result, FieldOperand(object, JSDate::kValueOffset)); | 2053 __ mov(result, FieldOperand(object, JSDate::kValueOffset)); |
2054 } else { | 2054 } else { |
2055 if (index->value() < JSDate::kFirstUncachedField) { | 2055 if (index->value() < JSDate::kFirstUncachedField) { |
2056 ExternalReference stamp = ExternalReference::date_cache_stamp(isolate()); | 2056 ExternalReference stamp = ExternalReference::date_cache_stamp(isolate()); |
2057 __ mov(scratch, Operand::StaticVariable(stamp)); | 2057 __ mov(scratch, Operand::StaticVariable(stamp)); |
2058 __ cmp(scratch, FieldOperand(object, JSDate::kCacheStampOffset)); | 2058 __ cmp(scratch, FieldOperand(object, JSDate::kCacheStampOffset)); |
2059 __ j(not_equal, &runtime, Label::kNear); | 2059 __ j(not_equal, &runtime, Label::kNear); |
2060 __ mov(result, FieldOperand(object, JSDate::kValueOffset + | 2060 __ mov(result, FieldOperand(object, JSDate::kValueOffset + |
(...skipping 109 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2170 __ lea(ToRegister(instr->result()), address); | 2170 __ lea(ToRegister(instr->result()), address); |
2171 } | 2171 } |
2172 } else { | 2172 } else { |
2173 if (right->IsConstantOperand()) { | 2173 if (right->IsConstantOperand()) { |
2174 __ add(ToOperand(left), | 2174 __ add(ToOperand(left), |
2175 ToImmediate(right, instr->hydrogen()->representation())); | 2175 ToImmediate(right, instr->hydrogen()->representation())); |
2176 } else { | 2176 } else { |
2177 __ add(ToRegister(left), ToOperand(right)); | 2177 __ add(ToRegister(left), ToOperand(right)); |
2178 } | 2178 } |
2179 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { | 2179 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) { |
2180 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 2180 DeoptimizeIf(overflow, instr, "overflow"); |
2181 } | 2181 } |
2182 } | 2182 } |
2183 } | 2183 } |
2184 | 2184 |
2185 | 2185 |
2186 void LCodeGen::DoMathMinMax(LMathMinMax* instr) { | 2186 void LCodeGen::DoMathMinMax(LMathMinMax* instr) { |
2187 LOperand* left = instr->left(); | 2187 LOperand* left = instr->left(); |
2188 LOperand* right = instr->right(); | 2188 LOperand* right = instr->right(); |
2189 DCHECK(left->Equals(instr->result())); | 2189 DCHECK(left->Equals(instr->result())); |
2190 HMathMinMax::Operation operation = instr->hydrogen()->operation(); | 2190 HMathMinMax::Operation operation = instr->hydrogen()->operation(); |
(...skipping 222 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2413 } | 2413 } |
2414 | 2414 |
2415 if (expected.Contains(ToBooleanStub::SMI)) { | 2415 if (expected.Contains(ToBooleanStub::SMI)) { |
2416 // Smis: 0 -> false, all other -> true. | 2416 // Smis: 0 -> false, all other -> true. |
2417 __ test(reg, Operand(reg)); | 2417 __ test(reg, Operand(reg)); |
2418 __ j(equal, instr->FalseLabel(chunk_)); | 2418 __ j(equal, instr->FalseLabel(chunk_)); |
2419 __ JumpIfSmi(reg, instr->TrueLabel(chunk_)); | 2419 __ JumpIfSmi(reg, instr->TrueLabel(chunk_)); |
2420 } else if (expected.NeedsMap()) { | 2420 } else if (expected.NeedsMap()) { |
2421 // If we need a map later and have a Smi -> deopt. | 2421 // If we need a map later and have a Smi -> deopt. |
2422 __ test(reg, Immediate(kSmiTagMask)); | 2422 __ test(reg, Immediate(kSmiTagMask)); |
2423 DeoptimizeIf(zero, instr, Deoptimizer::kSmi); | 2423 DeoptimizeIf(zero, instr, "Smi"); |
2424 } | 2424 } |
2425 | 2425 |
2426 Register map = no_reg; // Keep the compiler happy. | 2426 Register map = no_reg; // Keep the compiler happy. |
2427 if (expected.NeedsMap()) { | 2427 if (expected.NeedsMap()) { |
2428 map = ToRegister(instr->temp()); | 2428 map = ToRegister(instr->temp()); |
2429 DCHECK(!map.is(reg)); | 2429 DCHECK(!map.is(reg)); |
2430 __ mov(map, FieldOperand(reg, HeapObject::kMapOffset)); | 2430 __ mov(map, FieldOperand(reg, HeapObject::kMapOffset)); |
2431 | 2431 |
2432 if (expected.CanBeUndetectable()) { | 2432 if (expected.CanBeUndetectable()) { |
2433 // Undetectable -> false. | 2433 // Undetectable -> false. |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2470 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset)); | 2470 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset)); |
2471 __ FCmp(); | 2471 __ FCmp(); |
2472 __ j(zero, instr->FalseLabel(chunk_)); | 2472 __ j(zero, instr->FalseLabel(chunk_)); |
2473 __ jmp(instr->TrueLabel(chunk_)); | 2473 __ jmp(instr->TrueLabel(chunk_)); |
2474 __ bind(¬_heap_number); | 2474 __ bind(¬_heap_number); |
2475 } | 2475 } |
2476 | 2476 |
2477 if (!expected.IsGeneric()) { | 2477 if (!expected.IsGeneric()) { |
2478 // We've seen something for the first time -> deopt. | 2478 // We've seen something for the first time -> deopt. |
2479 // This can only happen if we are not generic already. | 2479 // This can only happen if we are not generic already. |
2480 DeoptimizeIf(no_condition, instr, Deoptimizer::kUnexpectedObject); | 2480 DeoptimizeIf(no_condition, instr, "unexpected object"); |
2481 } | 2481 } |
2482 } | 2482 } |
2483 } | 2483 } |
2484 } | 2484 } |
2485 | 2485 |
2486 | 2486 |
2487 void LCodeGen::EmitGoto(int block) { | 2487 void LCodeGen::EmitGoto(int block) { |
2488 if (!IsNextEmittedBlock(block)) { | 2488 if (!IsNextEmittedBlock(block)) { |
2489 __ jmp(chunk_->GetAssemblyLabel(LookupDestination(block))); | 2489 __ jmp(chunk_->GetAssemblyLabel(LookupDestination(block))); |
2490 } | 2490 } |
(...skipping 619 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3110 info()->AddNoFrameRange(no_frame_start, masm_->pc_offset()); | 3110 info()->AddNoFrameRange(no_frame_start, masm_->pc_offset()); |
3111 } | 3111 } |
3112 } | 3112 } |
3113 | 3113 |
3114 | 3114 |
3115 void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) { | 3115 void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) { |
3116 Register result = ToRegister(instr->result()); | 3116 Register result = ToRegister(instr->result()); |
3117 __ mov(result, Operand::ForCell(instr->hydrogen()->cell().handle())); | 3117 __ mov(result, Operand::ForCell(instr->hydrogen()->cell().handle())); |
3118 if (instr->hydrogen()->RequiresHoleCheck()) { | 3118 if (instr->hydrogen()->RequiresHoleCheck()) { |
3119 __ cmp(result, factory()->the_hole_value()); | 3119 __ cmp(result, factory()->the_hole_value()); |
3120 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3120 DeoptimizeIf(equal, instr, "hole"); |
3121 } | 3121 } |
3122 } | 3122 } |
3123 | 3123 |
3124 | 3124 |
3125 template <class T> | 3125 template <class T> |
3126 void LCodeGen::EmitVectorLoadICRegisters(T* instr) { | 3126 void LCodeGen::EmitVectorLoadICRegisters(T* instr) { |
3127 DCHECK(FLAG_vector_ics); | 3127 DCHECK(FLAG_vector_ics); |
3128 Register vector_register = ToRegister(instr->temp_vector()); | 3128 Register vector_register = ToRegister(instr->temp_vector()); |
3129 Register slot_register = VectorLoadICDescriptor::SlotRegister(); | 3129 Register slot_register = VectorLoadICDescriptor::SlotRegister(); |
3130 DCHECK(vector_register.is(VectorLoadICDescriptor::VectorRegister())); | 3130 DCHECK(vector_register.is(VectorLoadICDescriptor::VectorRegister())); |
(...skipping 28 matching lines...) Expand all Loading... |
3159 void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) { | 3159 void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) { |
3160 Register value = ToRegister(instr->value()); | 3160 Register value = ToRegister(instr->value()); |
3161 Handle<PropertyCell> cell_handle = instr->hydrogen()->cell().handle(); | 3161 Handle<PropertyCell> cell_handle = instr->hydrogen()->cell().handle(); |
3162 | 3162 |
3163 // If the cell we are storing to contains the hole it could have | 3163 // If the cell we are storing to contains the hole it could have |
3164 // been deleted from the property dictionary. In that case, we need | 3164 // been deleted from the property dictionary. In that case, we need |
3165 // to update the property details in the property dictionary to mark | 3165 // to update the property details in the property dictionary to mark |
3166 // it as no longer deleted. We deoptimize in that case. | 3166 // it as no longer deleted. We deoptimize in that case. |
3167 if (instr->hydrogen()->RequiresHoleCheck()) { | 3167 if (instr->hydrogen()->RequiresHoleCheck()) { |
3168 __ cmp(Operand::ForCell(cell_handle), factory()->the_hole_value()); | 3168 __ cmp(Operand::ForCell(cell_handle), factory()->the_hole_value()); |
3169 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3169 DeoptimizeIf(equal, instr, "hole"); |
3170 } | 3170 } |
3171 | 3171 |
3172 // Store the value. | 3172 // Store the value. |
3173 __ mov(Operand::ForCell(cell_handle), value); | 3173 __ mov(Operand::ForCell(cell_handle), value); |
3174 // Cells are always rescanned, so no write barrier here. | 3174 // Cells are always rescanned, so no write barrier here. |
3175 } | 3175 } |
3176 | 3176 |
3177 | 3177 |
3178 void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) { | 3178 void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) { |
3179 Register context = ToRegister(instr->context()); | 3179 Register context = ToRegister(instr->context()); |
3180 Register result = ToRegister(instr->result()); | 3180 Register result = ToRegister(instr->result()); |
3181 __ mov(result, ContextOperand(context, instr->slot_index())); | 3181 __ mov(result, ContextOperand(context, instr->slot_index())); |
3182 | 3182 |
3183 if (instr->hydrogen()->RequiresHoleCheck()) { | 3183 if (instr->hydrogen()->RequiresHoleCheck()) { |
3184 __ cmp(result, factory()->the_hole_value()); | 3184 __ cmp(result, factory()->the_hole_value()); |
3185 if (instr->hydrogen()->DeoptimizesOnHole()) { | 3185 if (instr->hydrogen()->DeoptimizesOnHole()) { |
3186 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3186 DeoptimizeIf(equal, instr, "hole"); |
3187 } else { | 3187 } else { |
3188 Label is_not_hole; | 3188 Label is_not_hole; |
3189 __ j(not_equal, &is_not_hole, Label::kNear); | 3189 __ j(not_equal, &is_not_hole, Label::kNear); |
3190 __ mov(result, factory()->undefined_value()); | 3190 __ mov(result, factory()->undefined_value()); |
3191 __ bind(&is_not_hole); | 3191 __ bind(&is_not_hole); |
3192 } | 3192 } |
3193 } | 3193 } |
3194 } | 3194 } |
3195 | 3195 |
3196 | 3196 |
3197 void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) { | 3197 void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) { |
3198 Register context = ToRegister(instr->context()); | 3198 Register context = ToRegister(instr->context()); |
3199 Register value = ToRegister(instr->value()); | 3199 Register value = ToRegister(instr->value()); |
3200 | 3200 |
3201 Label skip_assignment; | 3201 Label skip_assignment; |
3202 | 3202 |
3203 Operand target = ContextOperand(context, instr->slot_index()); | 3203 Operand target = ContextOperand(context, instr->slot_index()); |
3204 if (instr->hydrogen()->RequiresHoleCheck()) { | 3204 if (instr->hydrogen()->RequiresHoleCheck()) { |
3205 __ cmp(target, factory()->the_hole_value()); | 3205 __ cmp(target, factory()->the_hole_value()); |
3206 if (instr->hydrogen()->DeoptimizesOnHole()) { | 3206 if (instr->hydrogen()->DeoptimizesOnHole()) { |
3207 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3207 DeoptimizeIf(equal, instr, "hole"); |
3208 } else { | 3208 } else { |
3209 __ j(not_equal, &skip_assignment, Label::kNear); | 3209 __ j(not_equal, &skip_assignment, Label::kNear); |
3210 } | 3210 } |
3211 } | 3211 } |
3212 | 3212 |
3213 __ mov(target, value); | 3213 __ mov(target, value); |
3214 if (instr->hydrogen()->NeedsWriteBarrier()) { | 3214 if (instr->hydrogen()->NeedsWriteBarrier()) { |
3215 SmiCheck check_needed = | 3215 SmiCheck check_needed = |
3216 instr->hydrogen()->value()->type().IsHeapObject() | 3216 instr->hydrogen()->value()->type().IsHeapObject() |
3217 ? OMIT_SMI_CHECK : INLINE_SMI_CHECK; | 3217 ? OMIT_SMI_CHECK : INLINE_SMI_CHECK; |
(...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3291 Register function = ToRegister(instr->function()); | 3291 Register function = ToRegister(instr->function()); |
3292 Register temp = ToRegister(instr->temp()); | 3292 Register temp = ToRegister(instr->temp()); |
3293 Register result = ToRegister(instr->result()); | 3293 Register result = ToRegister(instr->result()); |
3294 | 3294 |
3295 // Get the prototype or initial map from the function. | 3295 // Get the prototype or initial map from the function. |
3296 __ mov(result, | 3296 __ mov(result, |
3297 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset)); | 3297 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset)); |
3298 | 3298 |
3299 // Check that the function has a prototype or an initial map. | 3299 // Check that the function has a prototype or an initial map. |
3300 __ cmp(Operand(result), Immediate(factory()->the_hole_value())); | 3300 __ cmp(Operand(result), Immediate(factory()->the_hole_value())); |
3301 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3301 DeoptimizeIf(equal, instr, "hole"); |
3302 | 3302 |
3303 // If the function does not have an initial map, we're done. | 3303 // If the function does not have an initial map, we're done. |
3304 Label done; | 3304 Label done; |
3305 __ CmpObjectType(result, MAP_TYPE, temp); | 3305 __ CmpObjectType(result, MAP_TYPE, temp); |
3306 __ j(not_equal, &done, Label::kNear); | 3306 __ j(not_equal, &done, Label::kNear); |
3307 | 3307 |
3308 // Get the prototype from the initial map. | 3308 // Get the prototype from the initial map. |
3309 __ mov(result, FieldOperand(result, Map::kPrototypeOffset)); | 3309 __ mov(result, FieldOperand(result, Map::kPrototypeOffset)); |
3310 | 3310 |
3311 // All done. | 3311 // All done. |
(...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3382 break; | 3382 break; |
3383 case EXTERNAL_INT32_ELEMENTS: | 3383 case EXTERNAL_INT32_ELEMENTS: |
3384 case INT32_ELEMENTS: | 3384 case INT32_ELEMENTS: |
3385 __ mov(result, operand); | 3385 __ mov(result, operand); |
3386 break; | 3386 break; |
3387 case EXTERNAL_UINT32_ELEMENTS: | 3387 case EXTERNAL_UINT32_ELEMENTS: |
3388 case UINT32_ELEMENTS: | 3388 case UINT32_ELEMENTS: |
3389 __ mov(result, operand); | 3389 __ mov(result, operand); |
3390 if (!instr->hydrogen()->CheckFlag(HInstruction::kUint32)) { | 3390 if (!instr->hydrogen()->CheckFlag(HInstruction::kUint32)) { |
3391 __ test(result, Operand(result)); | 3391 __ test(result, Operand(result)); |
3392 DeoptimizeIf(negative, instr, Deoptimizer::kNegativeValue); | 3392 DeoptimizeIf(negative, instr, "negative value"); |
3393 } | 3393 } |
3394 break; | 3394 break; |
3395 case EXTERNAL_FLOAT32_ELEMENTS: | 3395 case EXTERNAL_FLOAT32_ELEMENTS: |
3396 case EXTERNAL_FLOAT64_ELEMENTS: | 3396 case EXTERNAL_FLOAT64_ELEMENTS: |
3397 case FLOAT32_ELEMENTS: | 3397 case FLOAT32_ELEMENTS: |
3398 case FLOAT64_ELEMENTS: | 3398 case FLOAT64_ELEMENTS: |
3399 case FAST_SMI_ELEMENTS: | 3399 case FAST_SMI_ELEMENTS: |
3400 case FAST_ELEMENTS: | 3400 case FAST_ELEMENTS: |
3401 case FAST_DOUBLE_ELEMENTS: | 3401 case FAST_DOUBLE_ELEMENTS: |
3402 case FAST_HOLEY_SMI_ELEMENTS: | 3402 case FAST_HOLEY_SMI_ELEMENTS: |
3403 case FAST_HOLEY_ELEMENTS: | 3403 case FAST_HOLEY_ELEMENTS: |
3404 case FAST_HOLEY_DOUBLE_ELEMENTS: | 3404 case FAST_HOLEY_DOUBLE_ELEMENTS: |
3405 case DICTIONARY_ELEMENTS: | 3405 case DICTIONARY_ELEMENTS: |
3406 case SLOPPY_ARGUMENTS_ELEMENTS: | 3406 case SLOPPY_ARGUMENTS_ELEMENTS: |
3407 UNREACHABLE(); | 3407 UNREACHABLE(); |
3408 break; | 3408 break; |
3409 } | 3409 } |
3410 } | 3410 } |
3411 } | 3411 } |
3412 | 3412 |
3413 | 3413 |
3414 void LCodeGen::DoLoadKeyedFixedDoubleArray(LLoadKeyed* instr) { | 3414 void LCodeGen::DoLoadKeyedFixedDoubleArray(LLoadKeyed* instr) { |
3415 if (instr->hydrogen()->RequiresHoleCheck()) { | 3415 if (instr->hydrogen()->RequiresHoleCheck()) { |
3416 Operand hole_check_operand = BuildFastArrayOperand( | 3416 Operand hole_check_operand = BuildFastArrayOperand( |
3417 instr->elements(), instr->key(), | 3417 instr->elements(), instr->key(), |
3418 instr->hydrogen()->key()->representation(), | 3418 instr->hydrogen()->key()->representation(), |
3419 FAST_DOUBLE_ELEMENTS, | 3419 FAST_DOUBLE_ELEMENTS, |
3420 instr->base_offset() + sizeof(kHoleNanLower32)); | 3420 instr->base_offset() + sizeof(kHoleNanLower32)); |
3421 __ cmp(hole_check_operand, Immediate(kHoleNanUpper32)); | 3421 __ cmp(hole_check_operand, Immediate(kHoleNanUpper32)); |
3422 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3422 DeoptimizeIf(equal, instr, "hole"); |
3423 } | 3423 } |
3424 | 3424 |
3425 Operand double_load_operand = BuildFastArrayOperand( | 3425 Operand double_load_operand = BuildFastArrayOperand( |
3426 instr->elements(), | 3426 instr->elements(), |
3427 instr->key(), | 3427 instr->key(), |
3428 instr->hydrogen()->key()->representation(), | 3428 instr->hydrogen()->key()->representation(), |
3429 FAST_DOUBLE_ELEMENTS, | 3429 FAST_DOUBLE_ELEMENTS, |
3430 instr->base_offset()); | 3430 instr->base_offset()); |
3431 X87Mov(ToX87Register(instr->result()), double_load_operand); | 3431 X87Mov(ToX87Register(instr->result()), double_load_operand); |
3432 } | 3432 } |
3433 | 3433 |
3434 | 3434 |
3435 void LCodeGen::DoLoadKeyedFixedArray(LLoadKeyed* instr) { | 3435 void LCodeGen::DoLoadKeyedFixedArray(LLoadKeyed* instr) { |
3436 Register result = ToRegister(instr->result()); | 3436 Register result = ToRegister(instr->result()); |
3437 | 3437 |
3438 // Load the result. | 3438 // Load the result. |
3439 __ mov(result, | 3439 __ mov(result, |
3440 BuildFastArrayOperand(instr->elements(), instr->key(), | 3440 BuildFastArrayOperand(instr->elements(), instr->key(), |
3441 instr->hydrogen()->key()->representation(), | 3441 instr->hydrogen()->key()->representation(), |
3442 FAST_ELEMENTS, instr->base_offset())); | 3442 FAST_ELEMENTS, instr->base_offset())); |
3443 | 3443 |
3444 // Check for the hole value. | 3444 // Check for the hole value. |
3445 if (instr->hydrogen()->RequiresHoleCheck()) { | 3445 if (instr->hydrogen()->RequiresHoleCheck()) { |
3446 if (IsFastSmiElementsKind(instr->hydrogen()->elements_kind())) { | 3446 if (IsFastSmiElementsKind(instr->hydrogen()->elements_kind())) { |
3447 __ test(result, Immediate(kSmiTagMask)); | 3447 __ test(result, Immediate(kSmiTagMask)); |
3448 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotASmi); | 3448 DeoptimizeIf(not_equal, instr, "not a Smi"); |
3449 } else { | 3449 } else { |
3450 __ cmp(result, factory()->the_hole_value()); | 3450 __ cmp(result, factory()->the_hole_value()); |
3451 DeoptimizeIf(equal, instr, Deoptimizer::kHole); | 3451 DeoptimizeIf(equal, instr, "hole"); |
3452 } | 3452 } |
3453 } | 3453 } |
3454 } | 3454 } |
3455 | 3455 |
3456 | 3456 |
3457 void LCodeGen::DoLoadKeyed(LLoadKeyed* instr) { | 3457 void LCodeGen::DoLoadKeyed(LLoadKeyed* instr) { |
3458 if (instr->is_typed_elements()) { | 3458 if (instr->is_typed_elements()) { |
3459 DoLoadKeyedExternalArray(instr); | 3459 DoLoadKeyedExternalArray(instr); |
3460 } else if (instr->hydrogen()->representation().IsDouble()) { | 3460 } else if (instr->hydrogen()->representation().IsDouble()) { |
3461 DoLoadKeyedFixedDoubleArray(instr); | 3461 DoLoadKeyedFixedDoubleArray(instr); |
(...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3588 } | 3588 } |
3589 | 3589 |
3590 // Normal function. Replace undefined or null with global receiver. | 3590 // Normal function. Replace undefined or null with global receiver. |
3591 __ cmp(receiver, factory()->null_value()); | 3591 __ cmp(receiver, factory()->null_value()); |
3592 __ j(equal, &global_object, Label::kNear); | 3592 __ j(equal, &global_object, Label::kNear); |
3593 __ cmp(receiver, factory()->undefined_value()); | 3593 __ cmp(receiver, factory()->undefined_value()); |
3594 __ j(equal, &global_object, Label::kNear); | 3594 __ j(equal, &global_object, Label::kNear); |
3595 | 3595 |
3596 // The receiver should be a JS object. | 3596 // The receiver should be a JS object. |
3597 __ test(receiver, Immediate(kSmiTagMask)); | 3597 __ test(receiver, Immediate(kSmiTagMask)); |
3598 DeoptimizeIf(equal, instr, Deoptimizer::kSmi); | 3598 DeoptimizeIf(equal, instr, "Smi"); |
3599 __ CmpObjectType(receiver, FIRST_SPEC_OBJECT_TYPE, scratch); | 3599 __ CmpObjectType(receiver, FIRST_SPEC_OBJECT_TYPE, scratch); |
3600 DeoptimizeIf(below, instr, Deoptimizer::kNotAJavaScriptObject); | 3600 DeoptimizeIf(below, instr, "not a JavaScript object"); |
3601 | 3601 |
3602 __ jmp(&receiver_ok, Label::kNear); | 3602 __ jmp(&receiver_ok, Label::kNear); |
3603 __ bind(&global_object); | 3603 __ bind(&global_object); |
3604 __ mov(receiver, FieldOperand(function, JSFunction::kContextOffset)); | 3604 __ mov(receiver, FieldOperand(function, JSFunction::kContextOffset)); |
3605 const int global_offset = Context::SlotOffset(Context::GLOBAL_OBJECT_INDEX); | 3605 const int global_offset = Context::SlotOffset(Context::GLOBAL_OBJECT_INDEX); |
3606 __ mov(receiver, Operand(receiver, global_offset)); | 3606 __ mov(receiver, Operand(receiver, global_offset)); |
3607 const int proxy_offset = GlobalObject::kGlobalProxyOffset; | 3607 const int proxy_offset = GlobalObject::kGlobalProxyOffset; |
3608 __ mov(receiver, FieldOperand(receiver, proxy_offset)); | 3608 __ mov(receiver, FieldOperand(receiver, proxy_offset)); |
3609 __ bind(&receiver_ok); | 3609 __ bind(&receiver_ok); |
3610 } | 3610 } |
3611 | 3611 |
3612 | 3612 |
3613 void LCodeGen::DoApplyArguments(LApplyArguments* instr) { | 3613 void LCodeGen::DoApplyArguments(LApplyArguments* instr) { |
3614 Register receiver = ToRegister(instr->receiver()); | 3614 Register receiver = ToRegister(instr->receiver()); |
3615 Register function = ToRegister(instr->function()); | 3615 Register function = ToRegister(instr->function()); |
3616 Register length = ToRegister(instr->length()); | 3616 Register length = ToRegister(instr->length()); |
3617 Register elements = ToRegister(instr->elements()); | 3617 Register elements = ToRegister(instr->elements()); |
3618 DCHECK(receiver.is(eax)); // Used for parameter count. | 3618 DCHECK(receiver.is(eax)); // Used for parameter count. |
3619 DCHECK(function.is(edi)); // Required by InvokeFunction. | 3619 DCHECK(function.is(edi)); // Required by InvokeFunction. |
3620 DCHECK(ToRegister(instr->result()).is(eax)); | 3620 DCHECK(ToRegister(instr->result()).is(eax)); |
3621 | 3621 |
3622 // Copy the arguments to this function possibly from the | 3622 // Copy the arguments to this function possibly from the |
3623 // adaptor frame below it. | 3623 // adaptor frame below it. |
3624 const uint32_t kArgumentsLimit = 1 * KB; | 3624 const uint32_t kArgumentsLimit = 1 * KB; |
3625 __ cmp(length, kArgumentsLimit); | 3625 __ cmp(length, kArgumentsLimit); |
3626 DeoptimizeIf(above, instr, Deoptimizer::kTooManyArguments); | 3626 DeoptimizeIf(above, instr, "too many arguments"); |
3627 | 3627 |
3628 __ push(receiver); | 3628 __ push(receiver); |
3629 __ mov(receiver, length); | 3629 __ mov(receiver, length); |
3630 | 3630 |
3631 // Loop through the arguments pushing them onto the execution | 3631 // Loop through the arguments pushing them onto the execution |
3632 // stack. | 3632 // stack. |
3633 Label invoke, loop; | 3633 Label invoke, loop; |
3634 // length is a small non-negative integer, due to the test above. | 3634 // length is a small non-negative integer, due to the test above. |
3635 __ test(length, Operand(length)); | 3635 __ test(length, Operand(length)); |
3636 __ j(zero, &invoke, Label::kNear); | 3636 __ j(zero, &invoke, Label::kNear); |
(...skipping 204 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3841 } | 3841 } |
3842 | 3842 |
3843 RecordSafepointWithLazyDeopt(instr, RECORD_SIMPLE_SAFEPOINT); | 3843 RecordSafepointWithLazyDeopt(instr, RECORD_SIMPLE_SAFEPOINT); |
3844 } | 3844 } |
3845 | 3845 |
3846 | 3846 |
3847 void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LMathAbs* instr) { | 3847 void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LMathAbs* instr) { |
3848 Register input_reg = ToRegister(instr->value()); | 3848 Register input_reg = ToRegister(instr->value()); |
3849 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), | 3849 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), |
3850 factory()->heap_number_map()); | 3850 factory()->heap_number_map()); |
3851 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumber); | 3851 DeoptimizeIf(not_equal, instr, "not a heap number"); |
3852 | 3852 |
3853 Label slow, allocated, done; | 3853 Label slow, allocated, done; |
3854 Register tmp = input_reg.is(eax) ? ecx : eax; | 3854 Register tmp = input_reg.is(eax) ? ecx : eax; |
3855 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx; | 3855 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx; |
3856 | 3856 |
3857 // Preserve the value of all registers. | 3857 // Preserve the value of all registers. |
3858 PushSafepointRegistersScope scope(this); | 3858 PushSafepointRegistersScope scope(this); |
3859 | 3859 |
3860 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset)); | 3860 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset)); |
3861 // Check the sign of the argument. If the argument is positive, just | 3861 // Check the sign of the argument. If the argument is positive, just |
(...skipping 26 matching lines...) Expand all Loading... |
3888 __ bind(&done); | 3888 __ bind(&done); |
3889 } | 3889 } |
3890 | 3890 |
3891 | 3891 |
3892 void LCodeGen::EmitIntegerMathAbs(LMathAbs* instr) { | 3892 void LCodeGen::EmitIntegerMathAbs(LMathAbs* instr) { |
3893 Register input_reg = ToRegister(instr->value()); | 3893 Register input_reg = ToRegister(instr->value()); |
3894 __ test(input_reg, Operand(input_reg)); | 3894 __ test(input_reg, Operand(input_reg)); |
3895 Label is_positive; | 3895 Label is_positive; |
3896 __ j(not_sign, &is_positive, Label::kNear); | 3896 __ j(not_sign, &is_positive, Label::kNear); |
3897 __ neg(input_reg); // Sets flags. | 3897 __ neg(input_reg); // Sets flags. |
3898 DeoptimizeIf(negative, instr, Deoptimizer::kOverflow); | 3898 DeoptimizeIf(negative, instr, "overflow"); |
3899 __ bind(&is_positive); | 3899 __ bind(&is_positive); |
3900 } | 3900 } |
3901 | 3901 |
3902 | 3902 |
3903 void LCodeGen::DoMathAbs(LMathAbs* instr) { | 3903 void LCodeGen::DoMathAbs(LMathAbs* instr) { |
3904 // Class for deferred case. | 3904 // Class for deferred case. |
3905 class DeferredMathAbsTaggedHeapNumber FINAL : public LDeferredCode { | 3905 class DeferredMathAbsTaggedHeapNumber FINAL : public LDeferredCode { |
3906 public: | 3906 public: |
3907 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen, | 3907 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen, |
3908 LMathAbs* instr, | 3908 LMathAbs* instr, |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3941 void LCodeGen::DoMathFloor(LMathFloor* instr) { | 3941 void LCodeGen::DoMathFloor(LMathFloor* instr) { |
3942 Register output_reg = ToRegister(instr->result()); | 3942 Register output_reg = ToRegister(instr->result()); |
3943 X87Register input_reg = ToX87Register(instr->value()); | 3943 X87Register input_reg = ToX87Register(instr->value()); |
3944 X87Fxch(input_reg); | 3944 X87Fxch(input_reg); |
3945 | 3945 |
3946 Label not_minus_zero, done; | 3946 Label not_minus_zero, done; |
3947 // Deoptimize on unordered. | 3947 // Deoptimize on unordered. |
3948 __ fldz(); | 3948 __ fldz(); |
3949 __ fld(1); | 3949 __ fld(1); |
3950 __ FCmp(); | 3950 __ FCmp(); |
3951 DeoptimizeIf(parity_even, instr, Deoptimizer::kNaN); | 3951 DeoptimizeIf(parity_even, instr, "NaN"); |
3952 __ j(below, ¬_minus_zero, Label::kNear); | 3952 __ j(below, ¬_minus_zero, Label::kNear); |
3953 | 3953 |
3954 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 3954 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
3955 // Check for negative zero. | 3955 // Check for negative zero. |
3956 __ j(not_equal, ¬_minus_zero, Label::kNear); | 3956 __ j(not_equal, ¬_minus_zero, Label::kNear); |
3957 // +- 0.0. | 3957 // +- 0.0. |
3958 __ fld(0); | 3958 __ fld(0); |
3959 __ FXamSign(); | 3959 __ FXamSign(); |
3960 DeoptimizeIf(not_zero, instr, Deoptimizer::kMinusZero); | 3960 DeoptimizeIf(not_zero, instr, "minus zero"); |
3961 __ Move(output_reg, Immediate(0)); | 3961 __ Move(output_reg, Immediate(0)); |
3962 __ jmp(&done, Label::kFar); | 3962 __ jmp(&done, Label::kFar); |
3963 } | 3963 } |
3964 | 3964 |
3965 // Positive input. | 3965 // Positive input. |
3966 // rc=01B, round down. | 3966 // rc=01B, round down. |
3967 __ bind(¬_minus_zero); | 3967 __ bind(¬_minus_zero); |
3968 __ fnclex(); | 3968 __ fnclex(); |
3969 __ X87SetRC(0x0400); | 3969 __ X87SetRC(0x0400); |
3970 __ sub(esp, Immediate(kPointerSize)); | 3970 __ sub(esp, Immediate(kPointerSize)); |
3971 __ fist_s(Operand(esp, 0)); | 3971 __ fist_s(Operand(esp, 0)); |
3972 __ pop(output_reg); | 3972 __ pop(output_reg); |
3973 __ X87CheckIA(); | 3973 __ X87CheckIA(); |
3974 DeoptimizeIf(equal, instr, Deoptimizer::kOverflow); | 3974 DeoptimizeIf(equal, instr, "overflow"); |
3975 __ fnclex(); | 3975 __ fnclex(); |
3976 __ X87SetRC(0x0000); | 3976 __ X87SetRC(0x0000); |
3977 __ bind(&done); | 3977 __ bind(&done); |
3978 } | 3978 } |
3979 | 3979 |
3980 | 3980 |
3981 void LCodeGen::DoMathRound(LMathRound* instr) { | 3981 void LCodeGen::DoMathRound(LMathRound* instr) { |
3982 X87Register input_reg = ToX87Register(instr->value()); | 3982 X87Register input_reg = ToX87Register(instr->value()); |
3983 Register result = ToRegister(instr->result()); | 3983 Register result = ToRegister(instr->result()); |
3984 X87Fxch(input_reg); | 3984 X87Fxch(input_reg); |
(...skipping 13 matching lines...) Expand all Loading... |
3998 __ fadd_d(Operand::StaticVariable(one_half)); | 3998 __ fadd_d(Operand::StaticVariable(one_half)); |
3999 // rc=11B, round toward zero. | 3999 // rc=11B, round toward zero. |
4000 __ X87SetRC(0x0c00); | 4000 __ X87SetRC(0x0c00); |
4001 __ sub(esp, Immediate(kPointerSize)); | 4001 __ sub(esp, Immediate(kPointerSize)); |
4002 // Clear exception bits. | 4002 // Clear exception bits. |
4003 __ fnclex(); | 4003 __ fnclex(); |
4004 __ fistp_s(MemOperand(esp, 0)); | 4004 __ fistp_s(MemOperand(esp, 0)); |
4005 // Check overflow. | 4005 // Check overflow. |
4006 __ X87CheckIA(); | 4006 __ X87CheckIA(); |
4007 __ pop(result); | 4007 __ pop(result); |
4008 DeoptimizeIf(equal, instr, Deoptimizer::kConversionOverflow); | 4008 DeoptimizeIf(equal, instr, "conversion overflow"); |
4009 __ fnclex(); | 4009 __ fnclex(); |
4010 // Restore round mode. | 4010 // Restore round mode. |
4011 __ X87SetRC(0x0000); | 4011 __ X87SetRC(0x0000); |
4012 __ jmp(&done); | 4012 __ jmp(&done); |
4013 | 4013 |
4014 __ bind(&below_one_half); | 4014 __ bind(&below_one_half); |
4015 __ fld_d(Operand::StaticVariable(minus_one_half)); | 4015 __ fld_d(Operand::StaticVariable(minus_one_half)); |
4016 __ fld(1); | 4016 __ fld(1); |
4017 __ FCmp(); | 4017 __ FCmp(); |
4018 __ j(carry, &below_minus_one_half); | 4018 __ j(carry, &below_minus_one_half); |
4019 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if | 4019 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if |
4020 // we can ignore the difference between a result of -0 and +0. | 4020 // we can ignore the difference between a result of -0 and +0. |
4021 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 4021 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
4022 // If the sign is positive, we return +0. | 4022 // If the sign is positive, we return +0. |
4023 __ fld(0); | 4023 __ fld(0); |
4024 __ FXamSign(); | 4024 __ FXamSign(); |
4025 DeoptimizeIf(not_zero, instr, Deoptimizer::kMinusZero); | 4025 DeoptimizeIf(not_zero, instr, "minus zero"); |
4026 } | 4026 } |
4027 __ Move(result, Immediate(0)); | 4027 __ Move(result, Immediate(0)); |
4028 __ jmp(&done); | 4028 __ jmp(&done); |
4029 | 4029 |
4030 __ bind(&below_minus_one_half); | 4030 __ bind(&below_minus_one_half); |
4031 __ fld(0); | 4031 __ fld(0); |
4032 __ fadd_d(Operand::StaticVariable(one_half)); | 4032 __ fadd_d(Operand::StaticVariable(one_half)); |
4033 // rc=01B, round down. | 4033 // rc=01B, round down. |
4034 __ X87SetRC(0x0400); | 4034 __ X87SetRC(0x0400); |
4035 __ sub(esp, Immediate(kPointerSize)); | 4035 __ sub(esp, Immediate(kPointerSize)); |
4036 // Clear exception bits. | 4036 // Clear exception bits. |
4037 __ fnclex(); | 4037 __ fnclex(); |
4038 __ fistp_s(MemOperand(esp, 0)); | 4038 __ fistp_s(MemOperand(esp, 0)); |
4039 // Check overflow. | 4039 // Check overflow. |
4040 __ X87CheckIA(); | 4040 __ X87CheckIA(); |
4041 __ pop(result); | 4041 __ pop(result); |
4042 DeoptimizeIf(equal, instr, Deoptimizer::kConversionOverflow); | 4042 DeoptimizeIf(equal, instr, "conversion overflow"); |
4043 __ fnclex(); | 4043 __ fnclex(); |
4044 // Restore round mode. | 4044 // Restore round mode. |
4045 __ X87SetRC(0x0000); | 4045 __ X87SetRC(0x0000); |
4046 | 4046 |
4047 __ bind(&done); | 4047 __ bind(&done); |
4048 } | 4048 } |
4049 | 4049 |
4050 | 4050 |
4051 void LCodeGen::DoMathFround(LMathFround* instr) { | 4051 void LCodeGen::DoMathFround(LMathFround* instr) { |
4052 X87Register input_reg = ToX87Register(instr->value()); | 4052 X87Register input_reg = ToX87Register(instr->value()); |
(...skipping 111 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4164 __ push(exponent); | 4164 __ push(exponent); |
4165 __ fild_s(MemOperand(esp, 0)); | 4165 __ fild_s(MemOperand(esp, 0)); |
4166 __ pop(exponent); | 4166 __ pop(exponent); |
4167 } else if (exponent_type.IsTagged()) { | 4167 } else if (exponent_type.IsTagged()) { |
4168 Register exponent = ToRegister(instr->right()); | 4168 Register exponent = ToRegister(instr->right()); |
4169 Register temp = exponent.is(ecx) ? eax : ecx; | 4169 Register temp = exponent.is(ecx) ? eax : ecx; |
4170 Label no_deopt, done; | 4170 Label no_deopt, done; |
4171 X87LoadForUsage(base); | 4171 X87LoadForUsage(base); |
4172 __ JumpIfSmi(exponent, &no_deopt); | 4172 __ JumpIfSmi(exponent, &no_deopt); |
4173 __ CmpObjectType(exponent, HEAP_NUMBER_TYPE, temp); | 4173 __ CmpObjectType(exponent, HEAP_NUMBER_TYPE, temp); |
4174 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumber); | 4174 DeoptimizeIf(not_equal, instr, "not a heap number"); |
4175 // Heap number(double) | 4175 // Heap number(double) |
4176 __ fld_d(FieldOperand(exponent, HeapNumber::kValueOffset)); | 4176 __ fld_d(FieldOperand(exponent, HeapNumber::kValueOffset)); |
4177 __ jmp(&done); | 4177 __ jmp(&done); |
4178 // SMI | 4178 // SMI |
4179 __ bind(&no_deopt); | 4179 __ bind(&no_deopt); |
4180 __ SmiUntag(exponent); | 4180 __ SmiUntag(exponent); |
4181 __ push(exponent); | 4181 __ push(exponent); |
4182 __ fild_s(MemOperand(esp, 0)); | 4182 __ fild_s(MemOperand(esp, 0)); |
4183 __ pop(exponent); | 4183 __ pop(exponent); |
4184 __ bind(&done); | 4184 __ bind(&done); |
(...skipping 380 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4565 instr->hydrogen()->index()->representation())); | 4565 instr->hydrogen()->index()->representation())); |
4566 } else { | 4566 } else { |
4567 __ cmp(ToRegister(instr->index()), ToOperand(instr->length())); | 4567 __ cmp(ToRegister(instr->index()), ToOperand(instr->length())); |
4568 } | 4568 } |
4569 if (FLAG_debug_code && instr->hydrogen()->skip_check()) { | 4569 if (FLAG_debug_code && instr->hydrogen()->skip_check()) { |
4570 Label done; | 4570 Label done; |
4571 __ j(NegateCondition(cc), &done, Label::kNear); | 4571 __ j(NegateCondition(cc), &done, Label::kNear); |
4572 __ int3(); | 4572 __ int3(); |
4573 __ bind(&done); | 4573 __ bind(&done); |
4574 } else { | 4574 } else { |
4575 DeoptimizeIf(cc, instr, Deoptimizer::kOutOfBounds); | 4575 DeoptimizeIf(cc, instr, "out of bounds"); |
4576 } | 4576 } |
4577 } | 4577 } |
4578 | 4578 |
4579 | 4579 |
4580 void LCodeGen::DoStoreKeyedExternalArray(LStoreKeyed* instr) { | 4580 void LCodeGen::DoStoreKeyedExternalArray(LStoreKeyed* instr) { |
4581 ElementsKind elements_kind = instr->elements_kind(); | 4581 ElementsKind elements_kind = instr->elements_kind(); |
4582 LOperand* key = instr->key(); | 4582 LOperand* key = instr->key(); |
4583 if (!key->IsConstantOperand() && | 4583 if (!key->IsConstantOperand() && |
4584 ExternalArrayOpRequiresTemp(instr->hydrogen()->key()->representation(), | 4584 ExternalArrayOpRequiresTemp(instr->hydrogen()->key()->representation(), |
4585 elements_kind)) { | 4585 elements_kind)) { |
(...skipping 172 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4758 CodeFactory::KeyedStoreIC(isolate(), instr->strict_mode()).code(); | 4758 CodeFactory::KeyedStoreIC(isolate(), instr->strict_mode()).code(); |
4759 CallCode(ic, RelocInfo::CODE_TARGET, instr); | 4759 CallCode(ic, RelocInfo::CODE_TARGET, instr); |
4760 } | 4760 } |
4761 | 4761 |
4762 | 4762 |
4763 void LCodeGen::DoTrapAllocationMemento(LTrapAllocationMemento* instr) { | 4763 void LCodeGen::DoTrapAllocationMemento(LTrapAllocationMemento* instr) { |
4764 Register object = ToRegister(instr->object()); | 4764 Register object = ToRegister(instr->object()); |
4765 Register temp = ToRegister(instr->temp()); | 4765 Register temp = ToRegister(instr->temp()); |
4766 Label no_memento_found; | 4766 Label no_memento_found; |
4767 __ TestJSArrayForAllocationMemento(object, temp, &no_memento_found); | 4767 __ TestJSArrayForAllocationMemento(object, temp, &no_memento_found); |
4768 DeoptimizeIf(equal, instr, Deoptimizer::kMementoFound); | 4768 DeoptimizeIf(equal, instr, "memento found"); |
4769 __ bind(&no_memento_found); | 4769 __ bind(&no_memento_found); |
4770 } | 4770 } |
4771 | 4771 |
4772 | 4772 |
4773 void LCodeGen::DoTransitionElementsKind(LTransitionElementsKind* instr) { | 4773 void LCodeGen::DoTransitionElementsKind(LTransitionElementsKind* instr) { |
4774 Register object_reg = ToRegister(instr->object()); | 4774 Register object_reg = ToRegister(instr->object()); |
4775 | 4775 |
4776 Handle<Map> from_map = instr->original_map(); | 4776 Handle<Map> from_map = instr->original_map(); |
4777 Handle<Map> to_map = instr->transitioned_map(); | 4777 Handle<Map> to_map = instr->transitioned_map(); |
4778 ElementsKind from_kind = instr->from_kind(); | 4778 ElementsKind from_kind = instr->from_kind(); |
(...skipping 351 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5130 __ StoreToSafepointRegisterSlot(reg, eax); | 5130 __ StoreToSafepointRegisterSlot(reg, eax); |
5131 } | 5131 } |
5132 | 5132 |
5133 | 5133 |
5134 void LCodeGen::DoSmiTag(LSmiTag* instr) { | 5134 void LCodeGen::DoSmiTag(LSmiTag* instr) { |
5135 HChange* hchange = instr->hydrogen(); | 5135 HChange* hchange = instr->hydrogen(); |
5136 Register input = ToRegister(instr->value()); | 5136 Register input = ToRegister(instr->value()); |
5137 if (hchange->CheckFlag(HValue::kCanOverflow) && | 5137 if (hchange->CheckFlag(HValue::kCanOverflow) && |
5138 hchange->value()->CheckFlag(HValue::kUint32)) { | 5138 hchange->value()->CheckFlag(HValue::kUint32)) { |
5139 __ test(input, Immediate(0xc0000000)); | 5139 __ test(input, Immediate(0xc0000000)); |
5140 DeoptimizeIf(not_zero, instr, Deoptimizer::kOverflow); | 5140 DeoptimizeIf(not_zero, instr, "overflow"); |
5141 } | 5141 } |
5142 __ SmiTag(input); | 5142 __ SmiTag(input); |
5143 if (hchange->CheckFlag(HValue::kCanOverflow) && | 5143 if (hchange->CheckFlag(HValue::kCanOverflow) && |
5144 !hchange->value()->CheckFlag(HValue::kUint32)) { | 5144 !hchange->value()->CheckFlag(HValue::kUint32)) { |
5145 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 5145 DeoptimizeIf(overflow, instr, "overflow"); |
5146 } | 5146 } |
5147 } | 5147 } |
5148 | 5148 |
5149 | 5149 |
5150 void LCodeGen::DoSmiUntag(LSmiUntag* instr) { | 5150 void LCodeGen::DoSmiUntag(LSmiUntag* instr) { |
5151 LOperand* input = instr->value(); | 5151 LOperand* input = instr->value(); |
5152 Register result = ToRegister(input); | 5152 Register result = ToRegister(input); |
5153 DCHECK(input->IsRegister() && input->Equals(instr->result())); | 5153 DCHECK(input->IsRegister() && input->Equals(instr->result())); |
5154 if (instr->needs_check()) { | 5154 if (instr->needs_check()) { |
5155 __ test(result, Immediate(kSmiTagMask)); | 5155 __ test(result, Immediate(kSmiTagMask)); |
5156 DeoptimizeIf(not_zero, instr, Deoptimizer::kNotASmi); | 5156 DeoptimizeIf(not_zero, instr, "not a Smi"); |
5157 } else { | 5157 } else { |
5158 __ AssertSmi(result); | 5158 __ AssertSmi(result); |
5159 } | 5159 } |
5160 __ SmiUntag(result); | 5160 __ SmiUntag(result); |
5161 } | 5161 } |
5162 | 5162 |
5163 | 5163 |
5164 void LCodeGen::EmitNumberUntagDNoSSE2(LNumberUntagD* instr, Register input_reg, | 5164 void LCodeGen::EmitNumberUntagDNoSSE2(LNumberUntagD* instr, Register input_reg, |
5165 Register temp_reg, X87Register res_reg, | 5165 Register temp_reg, X87Register res_reg, |
5166 NumberUntagDMode mode) { | 5166 NumberUntagDMode mode) { |
5167 bool can_convert_undefined_to_nan = | 5167 bool can_convert_undefined_to_nan = |
5168 instr->hydrogen()->can_convert_undefined_to_nan(); | 5168 instr->hydrogen()->can_convert_undefined_to_nan(); |
5169 bool deoptimize_on_minus_zero = instr->hydrogen()->deoptimize_on_minus_zero(); | 5169 bool deoptimize_on_minus_zero = instr->hydrogen()->deoptimize_on_minus_zero(); |
5170 | 5170 |
5171 Label load_smi, done; | 5171 Label load_smi, done; |
5172 | 5172 |
5173 X87PrepareToWrite(res_reg); | 5173 X87PrepareToWrite(res_reg); |
5174 if (mode == NUMBER_CANDIDATE_IS_ANY_TAGGED) { | 5174 if (mode == NUMBER_CANDIDATE_IS_ANY_TAGGED) { |
5175 // Smi check. | 5175 // Smi check. |
5176 __ JumpIfSmi(input_reg, &load_smi); | 5176 __ JumpIfSmi(input_reg, &load_smi); |
5177 | 5177 |
5178 // Heap number map check. | 5178 // Heap number map check. |
5179 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), | 5179 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), |
5180 factory()->heap_number_map()); | 5180 factory()->heap_number_map()); |
5181 if (!can_convert_undefined_to_nan) { | 5181 if (!can_convert_undefined_to_nan) { |
5182 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumber); | 5182 DeoptimizeIf(not_equal, instr, "not a heap number"); |
5183 } else { | 5183 } else { |
5184 Label heap_number, convert; | 5184 Label heap_number, convert; |
5185 __ j(equal, &heap_number); | 5185 __ j(equal, &heap_number); |
5186 | 5186 |
5187 // Convert undefined (or hole) to NaN. | 5187 // Convert undefined (or hole) to NaN. |
5188 __ cmp(input_reg, factory()->undefined_value()); | 5188 __ cmp(input_reg, factory()->undefined_value()); |
5189 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumberUndefined); | 5189 DeoptimizeIf(not_equal, instr, "not a heap number/undefined"); |
5190 | 5190 |
5191 __ bind(&convert); | 5191 __ bind(&convert); |
5192 ExternalReference nan = | 5192 ExternalReference nan = |
5193 ExternalReference::address_of_canonical_non_hole_nan(); | 5193 ExternalReference::address_of_canonical_non_hole_nan(); |
5194 __ fld_d(Operand::StaticVariable(nan)); | 5194 __ fld_d(Operand::StaticVariable(nan)); |
5195 __ jmp(&done, Label::kNear); | 5195 __ jmp(&done, Label::kNear); |
5196 | 5196 |
5197 __ bind(&heap_number); | 5197 __ bind(&heap_number); |
5198 } | 5198 } |
5199 // Heap number to x87 conversion. | 5199 // Heap number to x87 conversion. |
5200 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); | 5200 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); |
5201 if (deoptimize_on_minus_zero) { | 5201 if (deoptimize_on_minus_zero) { |
5202 __ fldz(); | 5202 __ fldz(); |
5203 __ FCmp(); | 5203 __ FCmp(); |
5204 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); | 5204 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); |
5205 __ j(not_zero, &done, Label::kNear); | 5205 __ j(not_zero, &done, Label::kNear); |
5206 | 5206 |
5207 // Use general purpose registers to check if we have -0.0 | 5207 // Use general purpose registers to check if we have -0.0 |
5208 __ mov(temp_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset)); | 5208 __ mov(temp_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset)); |
5209 __ test(temp_reg, Immediate(HeapNumber::kSignMask)); | 5209 __ test(temp_reg, Immediate(HeapNumber::kSignMask)); |
5210 __ j(zero, &done, Label::kNear); | 5210 __ j(zero, &done, Label::kNear); |
5211 | 5211 |
5212 // Pop FPU stack before deoptimizing. | 5212 // Pop FPU stack before deoptimizing. |
5213 __ fstp(0); | 5213 __ fstp(0); |
5214 DeoptimizeIf(not_zero, instr, Deoptimizer::kMinusZero); | 5214 DeoptimizeIf(not_zero, instr, "minus zero"); |
5215 } | 5215 } |
5216 __ jmp(&done, Label::kNear); | 5216 __ jmp(&done, Label::kNear); |
5217 } else { | 5217 } else { |
5218 DCHECK(mode == NUMBER_CANDIDATE_IS_SMI); | 5218 DCHECK(mode == NUMBER_CANDIDATE_IS_SMI); |
5219 } | 5219 } |
5220 | 5220 |
5221 __ bind(&load_smi); | 5221 __ bind(&load_smi); |
5222 // Clobbering a temp is faster than re-tagging the | 5222 // Clobbering a temp is faster than re-tagging the |
5223 // input register since we avoid dependencies. | 5223 // input register since we avoid dependencies. |
5224 __ mov(temp_reg, input_reg); | 5224 __ mov(temp_reg, input_reg); |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5257 __ jmp(done); | 5257 __ jmp(done); |
5258 | 5258 |
5259 __ bind(&check_bools); | 5259 __ bind(&check_bools); |
5260 __ cmp(input_reg, factory()->true_value()); | 5260 __ cmp(input_reg, factory()->true_value()); |
5261 __ j(not_equal, &check_false, Label::kNear); | 5261 __ j(not_equal, &check_false, Label::kNear); |
5262 __ Move(input_reg, Immediate(1)); | 5262 __ Move(input_reg, Immediate(1)); |
5263 __ jmp(done); | 5263 __ jmp(done); |
5264 | 5264 |
5265 __ bind(&check_false); | 5265 __ bind(&check_false); |
5266 __ cmp(input_reg, factory()->false_value()); | 5266 __ cmp(input_reg, factory()->false_value()); |
5267 DeoptimizeIf(not_equal, instr, | 5267 DeoptimizeIf(not_equal, instr, "not a heap number/undefined/true/false"); |
5268 Deoptimizer::kNotAHeapNumberUndefinedTrueFalse); | |
5269 __ Move(input_reg, Immediate(0)); | 5268 __ Move(input_reg, Immediate(0)); |
5270 } else { | 5269 } else { |
5271 // TODO(olivf) Converting a number on the fpu is actually quite slow. We | 5270 // TODO(olivf) Converting a number on the fpu is actually quite slow. We |
5272 // should first try a fast conversion and then bailout to this slow case. | 5271 // should first try a fast conversion and then bailout to this slow case. |
5273 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), | 5272 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), |
5274 isolate()->factory()->heap_number_map()); | 5273 isolate()->factory()->heap_number_map()); |
5275 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumber); | 5274 DeoptimizeIf(not_equal, instr, "not a heap number"); |
5276 | 5275 |
5277 __ sub(esp, Immediate(kPointerSize)); | 5276 __ sub(esp, Immediate(kPointerSize)); |
5278 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); | 5277 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset)); |
5279 | 5278 |
5280 if (instr->hydrogen()->GetMinusZeroMode() == FAIL_ON_MINUS_ZERO) { | 5279 if (instr->hydrogen()->GetMinusZeroMode() == FAIL_ON_MINUS_ZERO) { |
5281 Label no_precision_lost, not_nan, zero_check; | 5280 Label no_precision_lost, not_nan, zero_check; |
5282 __ fld(0); | 5281 __ fld(0); |
5283 | 5282 |
5284 __ fist_s(MemOperand(esp, 0)); | 5283 __ fist_s(MemOperand(esp, 0)); |
5285 __ fild_s(MemOperand(esp, 0)); | 5284 __ fild_s(MemOperand(esp, 0)); |
5286 __ FCmp(); | 5285 __ FCmp(); |
5287 __ pop(input_reg); | 5286 __ pop(input_reg); |
5288 | 5287 |
5289 __ j(equal, &no_precision_lost, Label::kNear); | 5288 __ j(equal, &no_precision_lost, Label::kNear); |
5290 __ fstp(0); | 5289 __ fstp(0); |
5291 DeoptimizeIf(no_condition, instr, Deoptimizer::kLostPrecision); | 5290 DeoptimizeIf(no_condition, instr, "lost precision"); |
5292 __ bind(&no_precision_lost); | 5291 __ bind(&no_precision_lost); |
5293 | 5292 |
5294 __ j(parity_odd, ¬_nan); | 5293 __ j(parity_odd, ¬_nan); |
5295 __ fstp(0); | 5294 __ fstp(0); |
5296 DeoptimizeIf(no_condition, instr, Deoptimizer::kNaN); | 5295 DeoptimizeIf(no_condition, instr, "NaN"); |
5297 __ bind(¬_nan); | 5296 __ bind(¬_nan); |
5298 | 5297 |
5299 __ test(input_reg, Operand(input_reg)); | 5298 __ test(input_reg, Operand(input_reg)); |
5300 __ j(zero, &zero_check, Label::kNear); | 5299 __ j(zero, &zero_check, Label::kNear); |
5301 __ fstp(0); | 5300 __ fstp(0); |
5302 __ jmp(done); | 5301 __ jmp(done); |
5303 | 5302 |
5304 __ bind(&zero_check); | 5303 __ bind(&zero_check); |
5305 // To check for minus zero, we load the value again as float, and check | 5304 // To check for minus zero, we load the value again as float, and check |
5306 // if that is still 0. | 5305 // if that is still 0. |
5307 __ sub(esp, Immediate(kPointerSize)); | 5306 __ sub(esp, Immediate(kPointerSize)); |
5308 __ fstp_s(Operand(esp, 0)); | 5307 __ fstp_s(Operand(esp, 0)); |
5309 __ pop(input_reg); | 5308 __ pop(input_reg); |
5310 __ test(input_reg, Operand(input_reg)); | 5309 __ test(input_reg, Operand(input_reg)); |
5311 DeoptimizeIf(not_zero, instr, Deoptimizer::kMinusZero); | 5310 DeoptimizeIf(not_zero, instr, "minus zero"); |
5312 } else { | 5311 } else { |
5313 __ fist_s(MemOperand(esp, 0)); | 5312 __ fist_s(MemOperand(esp, 0)); |
5314 __ fild_s(MemOperand(esp, 0)); | 5313 __ fild_s(MemOperand(esp, 0)); |
5315 __ FCmp(); | 5314 __ FCmp(); |
5316 __ pop(input_reg); | 5315 __ pop(input_reg); |
5317 DeoptimizeIf(not_equal, instr, Deoptimizer::kLostPrecision); | 5316 DeoptimizeIf(not_equal, instr, "lost precision"); |
5318 DeoptimizeIf(parity_even, instr, Deoptimizer::kNaN); | 5317 DeoptimizeIf(parity_even, instr, "NaN"); |
5319 } | 5318 } |
5320 } | 5319 } |
5321 } | 5320 } |
5322 | 5321 |
5323 | 5322 |
5324 void LCodeGen::DoTaggedToI(LTaggedToI* instr) { | 5323 void LCodeGen::DoTaggedToI(LTaggedToI* instr) { |
5325 class DeferredTaggedToI FINAL : public LDeferredCode { | 5324 class DeferredTaggedToI FINAL : public LDeferredCode { |
5326 public: | 5325 public: |
5327 DeferredTaggedToI(LCodeGen* codegen, | 5326 DeferredTaggedToI(LCodeGen* codegen, |
5328 LTaggedToI* instr, | 5327 LTaggedToI* instr, |
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5389 X87Fxch(input_reg); | 5388 X87Fxch(input_reg); |
5390 __ TruncateX87TOSToI(result_reg); | 5389 __ TruncateX87TOSToI(result_reg); |
5391 } else { | 5390 } else { |
5392 Label lost_precision, is_nan, minus_zero, done; | 5391 Label lost_precision, is_nan, minus_zero, done; |
5393 X87Register input_reg = ToX87Register(input); | 5392 X87Register input_reg = ToX87Register(input); |
5394 X87Fxch(input_reg); | 5393 X87Fxch(input_reg); |
5395 __ X87TOSToI(result_reg, instr->hydrogen()->GetMinusZeroMode(), | 5394 __ X87TOSToI(result_reg, instr->hydrogen()->GetMinusZeroMode(), |
5396 &lost_precision, &is_nan, &minus_zero); | 5395 &lost_precision, &is_nan, &minus_zero); |
5397 __ jmp(&done); | 5396 __ jmp(&done); |
5398 __ bind(&lost_precision); | 5397 __ bind(&lost_precision); |
5399 DeoptimizeIf(no_condition, instr, Deoptimizer::kLostPrecision); | 5398 DeoptimizeIf(no_condition, instr, "lost precision"); |
5400 __ bind(&is_nan); | 5399 __ bind(&is_nan); |
5401 DeoptimizeIf(no_condition, instr, Deoptimizer::kNaN); | 5400 DeoptimizeIf(no_condition, instr, "NaN"); |
5402 __ bind(&minus_zero); | 5401 __ bind(&minus_zero); |
5403 DeoptimizeIf(no_condition, instr, Deoptimizer::kMinusZero); | 5402 DeoptimizeIf(no_condition, instr, "minus zero"); |
5404 __ bind(&done); | 5403 __ bind(&done); |
5405 } | 5404 } |
5406 } | 5405 } |
5407 | 5406 |
5408 | 5407 |
5409 void LCodeGen::DoDoubleToSmi(LDoubleToSmi* instr) { | 5408 void LCodeGen::DoDoubleToSmi(LDoubleToSmi* instr) { |
5410 LOperand* input = instr->value(); | 5409 LOperand* input = instr->value(); |
5411 DCHECK(input->IsDoubleRegister()); | 5410 DCHECK(input->IsDoubleRegister()); |
5412 LOperand* result = instr->result(); | 5411 LOperand* result = instr->result(); |
5413 DCHECK(result->IsRegister()); | 5412 DCHECK(result->IsRegister()); |
5414 Register result_reg = ToRegister(result); | 5413 Register result_reg = ToRegister(result); |
5415 | 5414 |
5416 Label lost_precision, is_nan, minus_zero, done; | 5415 Label lost_precision, is_nan, minus_zero, done; |
5417 X87Register input_reg = ToX87Register(input); | 5416 X87Register input_reg = ToX87Register(input); |
5418 X87Fxch(input_reg); | 5417 X87Fxch(input_reg); |
5419 __ X87TOSToI(result_reg, instr->hydrogen()->GetMinusZeroMode(), | 5418 __ X87TOSToI(result_reg, instr->hydrogen()->GetMinusZeroMode(), |
5420 &lost_precision, &is_nan, &minus_zero); | 5419 &lost_precision, &is_nan, &minus_zero); |
5421 __ jmp(&done); | 5420 __ jmp(&done); |
5422 __ bind(&lost_precision); | 5421 __ bind(&lost_precision); |
5423 DeoptimizeIf(no_condition, instr, Deoptimizer::kLostPrecision); | 5422 DeoptimizeIf(no_condition, instr, "lost precision"); |
5424 __ bind(&is_nan); | 5423 __ bind(&is_nan); |
5425 DeoptimizeIf(no_condition, instr, Deoptimizer::kNaN); | 5424 DeoptimizeIf(no_condition, instr, "NaN"); |
5426 __ bind(&minus_zero); | 5425 __ bind(&minus_zero); |
5427 DeoptimizeIf(no_condition, instr, Deoptimizer::kMinusZero); | 5426 DeoptimizeIf(no_condition, instr, "minus zero"); |
5428 __ bind(&done); | 5427 __ bind(&done); |
5429 __ SmiTag(result_reg); | 5428 __ SmiTag(result_reg); |
5430 DeoptimizeIf(overflow, instr, Deoptimizer::kOverflow); | 5429 DeoptimizeIf(overflow, instr, "overflow"); |
5431 } | 5430 } |
5432 | 5431 |
5433 | 5432 |
5434 void LCodeGen::DoCheckSmi(LCheckSmi* instr) { | 5433 void LCodeGen::DoCheckSmi(LCheckSmi* instr) { |
5435 LOperand* input = instr->value(); | 5434 LOperand* input = instr->value(); |
5436 __ test(ToOperand(input), Immediate(kSmiTagMask)); | 5435 __ test(ToOperand(input), Immediate(kSmiTagMask)); |
5437 DeoptimizeIf(not_zero, instr, Deoptimizer::kNotASmi); | 5436 DeoptimizeIf(not_zero, instr, "not a Smi"); |
5438 } | 5437 } |
5439 | 5438 |
5440 | 5439 |
5441 void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) { | 5440 void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) { |
5442 if (!instr->hydrogen()->value()->type().IsHeapObject()) { | 5441 if (!instr->hydrogen()->value()->type().IsHeapObject()) { |
5443 LOperand* input = instr->value(); | 5442 LOperand* input = instr->value(); |
5444 __ test(ToOperand(input), Immediate(kSmiTagMask)); | 5443 __ test(ToOperand(input), Immediate(kSmiTagMask)); |
5445 DeoptimizeIf(zero, instr, Deoptimizer::kSmi); | 5444 DeoptimizeIf(zero, instr, "Smi"); |
5446 } | 5445 } |
5447 } | 5446 } |
5448 | 5447 |
5449 | 5448 |
5450 void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) { | 5449 void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) { |
5451 Register input = ToRegister(instr->value()); | 5450 Register input = ToRegister(instr->value()); |
5452 Register temp = ToRegister(instr->temp()); | 5451 Register temp = ToRegister(instr->temp()); |
5453 | 5452 |
5454 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset)); | 5453 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset)); |
5455 | 5454 |
5456 if (instr->hydrogen()->is_interval_check()) { | 5455 if (instr->hydrogen()->is_interval_check()) { |
5457 InstanceType first; | 5456 InstanceType first; |
5458 InstanceType last; | 5457 InstanceType last; |
5459 instr->hydrogen()->GetCheckInterval(&first, &last); | 5458 instr->hydrogen()->GetCheckInterval(&first, &last); |
5460 | 5459 |
5461 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset), | 5460 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset), |
5462 static_cast<int8_t>(first)); | 5461 static_cast<int8_t>(first)); |
5463 | 5462 |
5464 // If there is only one type in the interval check for equality. | 5463 // If there is only one type in the interval check for equality. |
5465 if (first == last) { | 5464 if (first == last) { |
5466 DeoptimizeIf(not_equal, instr, Deoptimizer::kWrongInstanceType); | 5465 DeoptimizeIf(not_equal, instr, "wrong instance type"); |
5467 } else { | 5466 } else { |
5468 DeoptimizeIf(below, instr, Deoptimizer::kWrongInstanceType); | 5467 DeoptimizeIf(below, instr, "wrong instance type"); |
5469 // Omit check for the last type. | 5468 // Omit check for the last type. |
5470 if (last != LAST_TYPE) { | 5469 if (last != LAST_TYPE) { |
5471 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset), | 5470 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset), |
5472 static_cast<int8_t>(last)); | 5471 static_cast<int8_t>(last)); |
5473 DeoptimizeIf(above, instr, Deoptimizer::kWrongInstanceType); | 5472 DeoptimizeIf(above, instr, "wrong instance type"); |
5474 } | 5473 } |
5475 } | 5474 } |
5476 } else { | 5475 } else { |
5477 uint8_t mask; | 5476 uint8_t mask; |
5478 uint8_t tag; | 5477 uint8_t tag; |
5479 instr->hydrogen()->GetCheckMaskAndTag(&mask, &tag); | 5478 instr->hydrogen()->GetCheckMaskAndTag(&mask, &tag); |
5480 | 5479 |
5481 if (base::bits::IsPowerOfTwo32(mask)) { | 5480 if (base::bits::IsPowerOfTwo32(mask)) { |
5482 DCHECK(tag == 0 || base::bits::IsPowerOfTwo32(tag)); | 5481 DCHECK(tag == 0 || base::bits::IsPowerOfTwo32(tag)); |
5483 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), mask); | 5482 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), mask); |
5484 DeoptimizeIf(tag == 0 ? not_zero : zero, instr, | 5483 DeoptimizeIf(tag == 0 ? not_zero : zero, instr, "wrong instance type"); |
5485 Deoptimizer::kWrongInstanceType); | |
5486 } else { | 5484 } else { |
5487 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset)); | 5485 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset)); |
5488 __ and_(temp, mask); | 5486 __ and_(temp, mask); |
5489 __ cmp(temp, tag); | 5487 __ cmp(temp, tag); |
5490 DeoptimizeIf(not_equal, instr, Deoptimizer::kWrongInstanceType); | 5488 DeoptimizeIf(not_equal, instr, "wrong instance type"); |
5491 } | 5489 } |
5492 } | 5490 } |
5493 } | 5491 } |
5494 | 5492 |
5495 | 5493 |
5496 void LCodeGen::DoCheckValue(LCheckValue* instr) { | 5494 void LCodeGen::DoCheckValue(LCheckValue* instr) { |
5497 Handle<HeapObject> object = instr->hydrogen()->object().handle(); | 5495 Handle<HeapObject> object = instr->hydrogen()->object().handle(); |
5498 if (instr->hydrogen()->object_in_new_space()) { | 5496 if (instr->hydrogen()->object_in_new_space()) { |
5499 Register reg = ToRegister(instr->value()); | 5497 Register reg = ToRegister(instr->value()); |
5500 Handle<Cell> cell = isolate()->factory()->NewCell(object); | 5498 Handle<Cell> cell = isolate()->factory()->NewCell(object); |
5501 __ cmp(reg, Operand::ForCell(cell)); | 5499 __ cmp(reg, Operand::ForCell(cell)); |
5502 } else { | 5500 } else { |
5503 Operand operand = ToOperand(instr->value()); | 5501 Operand operand = ToOperand(instr->value()); |
5504 __ cmp(operand, object); | 5502 __ cmp(operand, object); |
5505 } | 5503 } |
5506 DeoptimizeIf(not_equal, instr, Deoptimizer::kValueMismatch); | 5504 DeoptimizeIf(not_equal, instr, "value mismatch"); |
5507 } | 5505 } |
5508 | 5506 |
5509 | 5507 |
5510 void LCodeGen::DoDeferredInstanceMigration(LCheckMaps* instr, Register object) { | 5508 void LCodeGen::DoDeferredInstanceMigration(LCheckMaps* instr, Register object) { |
5511 { | 5509 { |
5512 PushSafepointRegistersScope scope(this); | 5510 PushSafepointRegistersScope scope(this); |
5513 __ push(object); | 5511 __ push(object); |
5514 __ xor_(esi, esi); | 5512 __ xor_(esi, esi); |
5515 __ CallRuntimeSaveDoubles(Runtime::kTryMigrateInstance); | 5513 __ CallRuntimeSaveDoubles(Runtime::kTryMigrateInstance); |
5516 RecordSafepointWithRegisters( | 5514 RecordSafepointWithRegisters( |
5517 instr->pointer_map(), 1, Safepoint::kNoLazyDeopt); | 5515 instr->pointer_map(), 1, Safepoint::kNoLazyDeopt); |
5518 | 5516 |
5519 __ test(eax, Immediate(kSmiTagMask)); | 5517 __ test(eax, Immediate(kSmiTagMask)); |
5520 } | 5518 } |
5521 DeoptimizeIf(zero, instr, Deoptimizer::kInstanceMigrationFailed); | 5519 DeoptimizeIf(zero, instr, "instance migration failed"); |
5522 } | 5520 } |
5523 | 5521 |
5524 | 5522 |
5525 void LCodeGen::DoCheckMaps(LCheckMaps* instr) { | 5523 void LCodeGen::DoCheckMaps(LCheckMaps* instr) { |
5526 class DeferredCheckMaps FINAL : public LDeferredCode { | 5524 class DeferredCheckMaps FINAL : public LDeferredCode { |
5527 public: | 5525 public: |
5528 DeferredCheckMaps(LCodeGen* codegen, | 5526 DeferredCheckMaps(LCodeGen* codegen, |
5529 LCheckMaps* instr, | 5527 LCheckMaps* instr, |
5530 Register object, | 5528 Register object, |
5531 const X87Stack& x87_stack) | 5529 const X87Stack& x87_stack) |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5568 Handle<Map> map = maps->at(i).handle(); | 5566 Handle<Map> map = maps->at(i).handle(); |
5569 __ CompareMap(reg, map); | 5567 __ CompareMap(reg, map); |
5570 __ j(equal, &success, Label::kNear); | 5568 __ j(equal, &success, Label::kNear); |
5571 } | 5569 } |
5572 | 5570 |
5573 Handle<Map> map = maps->at(maps->size() - 1).handle(); | 5571 Handle<Map> map = maps->at(maps->size() - 1).handle(); |
5574 __ CompareMap(reg, map); | 5572 __ CompareMap(reg, map); |
5575 if (instr->hydrogen()->HasMigrationTarget()) { | 5573 if (instr->hydrogen()->HasMigrationTarget()) { |
5576 __ j(not_equal, deferred->entry()); | 5574 __ j(not_equal, deferred->entry()); |
5577 } else { | 5575 } else { |
5578 DeoptimizeIf(not_equal, instr, Deoptimizer::kWrongMap); | 5576 DeoptimizeIf(not_equal, instr, "wrong map"); |
5579 } | 5577 } |
5580 | 5578 |
5581 __ bind(&success); | 5579 __ bind(&success); |
5582 } | 5580 } |
5583 | 5581 |
5584 | 5582 |
5585 void LCodeGen::DoClampDToUint8(LClampDToUint8* instr) { | 5583 void LCodeGen::DoClampDToUint8(LClampDToUint8* instr) { |
5586 X87Register value_reg = ToX87Register(instr->unclamped()); | 5584 X87Register value_reg = ToX87Register(instr->unclamped()); |
5587 Register result_reg = ToRegister(instr->result()); | 5585 Register result_reg = ToRegister(instr->result()); |
5588 X87Fxch(value_reg); | 5586 X87Fxch(value_reg); |
(...skipping 20 matching lines...) Expand all Loading... |
5609 __ JumpIfSmi(input_reg, &is_smi); | 5607 __ JumpIfSmi(input_reg, &is_smi); |
5610 | 5608 |
5611 // Check for heap number | 5609 // Check for heap number |
5612 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), | 5610 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset), |
5613 factory()->heap_number_map()); | 5611 factory()->heap_number_map()); |
5614 __ j(equal, &heap_number, Label::kNear); | 5612 __ j(equal, &heap_number, Label::kNear); |
5615 | 5613 |
5616 // Check for undefined. Undefined is converted to zero for clamping | 5614 // Check for undefined. Undefined is converted to zero for clamping |
5617 // conversions. | 5615 // conversions. |
5618 __ cmp(input_reg, factory()->undefined_value()); | 5616 __ cmp(input_reg, factory()->undefined_value()); |
5619 DeoptimizeIf(not_equal, instr, Deoptimizer::kNotAHeapNumberUndefined); | 5617 DeoptimizeIf(not_equal, instr, "not a heap number/undefined"); |
5620 __ jmp(&zero_result, Label::kNear); | 5618 __ jmp(&zero_result, Label::kNear); |
5621 | 5619 |
5622 // Heap number | 5620 // Heap number |
5623 __ bind(&heap_number); | 5621 __ bind(&heap_number); |
5624 | 5622 |
5625 // Surprisingly, all of the hand-crafted bit-manipulations below are much | 5623 // Surprisingly, all of the hand-crafted bit-manipulations below are much |
5626 // faster than the x86 FPU built-in instruction, especially since "banker's | 5624 // faster than the x86 FPU built-in instruction, especially since "banker's |
5627 // rounding" would be additionally very expensive | 5625 // rounding" would be additionally very expensive |
5628 | 5626 |
5629 // Get exponent word. | 5627 // Get exponent word. |
(...skipping 550 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6180 DCHECK(!environment->HasBeenRegistered()); | 6178 DCHECK(!environment->HasBeenRegistered()); |
6181 RegisterEnvironmentForDeoptimization(environment, Safepoint::kNoLazyDeopt); | 6179 RegisterEnvironmentForDeoptimization(environment, Safepoint::kNoLazyDeopt); |
6182 | 6180 |
6183 GenerateOsrPrologue(); | 6181 GenerateOsrPrologue(); |
6184 } | 6182 } |
6185 | 6183 |
6186 | 6184 |
6187 void LCodeGen::DoForInPrepareMap(LForInPrepareMap* instr) { | 6185 void LCodeGen::DoForInPrepareMap(LForInPrepareMap* instr) { |
6188 DCHECK(ToRegister(instr->context()).is(esi)); | 6186 DCHECK(ToRegister(instr->context()).is(esi)); |
6189 __ cmp(eax, isolate()->factory()->undefined_value()); | 6187 __ cmp(eax, isolate()->factory()->undefined_value()); |
6190 DeoptimizeIf(equal, instr, Deoptimizer::kUndefined); | 6188 DeoptimizeIf(equal, instr, "undefined"); |
6191 | 6189 |
6192 __ cmp(eax, isolate()->factory()->null_value()); | 6190 __ cmp(eax, isolate()->factory()->null_value()); |
6193 DeoptimizeIf(equal, instr, Deoptimizer::kNull); | 6191 DeoptimizeIf(equal, instr, "null"); |
6194 | 6192 |
6195 __ test(eax, Immediate(kSmiTagMask)); | 6193 __ test(eax, Immediate(kSmiTagMask)); |
6196 DeoptimizeIf(zero, instr, Deoptimizer::kSmi); | 6194 DeoptimizeIf(zero, instr, "Smi"); |
6197 | 6195 |
6198 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); | 6196 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); |
6199 __ CmpObjectType(eax, LAST_JS_PROXY_TYPE, ecx); | 6197 __ CmpObjectType(eax, LAST_JS_PROXY_TYPE, ecx); |
6200 DeoptimizeIf(below_equal, instr, Deoptimizer::kWrongInstanceType); | 6198 DeoptimizeIf(below_equal, instr, "wrong instance type"); |
6201 | 6199 |
6202 Label use_cache, call_runtime; | 6200 Label use_cache, call_runtime; |
6203 __ CheckEnumCache(&call_runtime); | 6201 __ CheckEnumCache(&call_runtime); |
6204 | 6202 |
6205 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); | 6203 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); |
6206 __ jmp(&use_cache, Label::kNear); | 6204 __ jmp(&use_cache, Label::kNear); |
6207 | 6205 |
6208 // Get the set of properties to enumerate. | 6206 // Get the set of properties to enumerate. |
6209 __ bind(&call_runtime); | 6207 __ bind(&call_runtime); |
6210 __ push(eax); | 6208 __ push(eax); |
6211 CallRuntime(Runtime::kGetPropertyNamesFast, 1, instr); | 6209 CallRuntime(Runtime::kGetPropertyNamesFast, 1, instr); |
6212 | 6210 |
6213 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), | 6211 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), |
6214 isolate()->factory()->meta_map()); | 6212 isolate()->factory()->meta_map()); |
6215 DeoptimizeIf(not_equal, instr, Deoptimizer::kWrongMap); | 6213 DeoptimizeIf(not_equal, instr, "wrong map"); |
6216 __ bind(&use_cache); | 6214 __ bind(&use_cache); |
6217 } | 6215 } |
6218 | 6216 |
6219 | 6217 |
6220 void LCodeGen::DoForInCacheArray(LForInCacheArray* instr) { | 6218 void LCodeGen::DoForInCacheArray(LForInCacheArray* instr) { |
6221 Register map = ToRegister(instr->map()); | 6219 Register map = ToRegister(instr->map()); |
6222 Register result = ToRegister(instr->result()); | 6220 Register result = ToRegister(instr->result()); |
6223 Label load_cache, done; | 6221 Label load_cache, done; |
6224 __ EnumLength(result, map); | 6222 __ EnumLength(result, map); |
6225 __ cmp(result, Immediate(Smi::FromInt(0))); | 6223 __ cmp(result, Immediate(Smi::FromInt(0))); |
6226 __ j(not_equal, &load_cache, Label::kNear); | 6224 __ j(not_equal, &load_cache, Label::kNear); |
6227 __ mov(result, isolate()->factory()->empty_fixed_array()); | 6225 __ mov(result, isolate()->factory()->empty_fixed_array()); |
6228 __ jmp(&done, Label::kNear); | 6226 __ jmp(&done, Label::kNear); |
6229 | 6227 |
6230 __ bind(&load_cache); | 6228 __ bind(&load_cache); |
6231 __ LoadInstanceDescriptors(map, result); | 6229 __ LoadInstanceDescriptors(map, result); |
6232 __ mov(result, | 6230 __ mov(result, |
6233 FieldOperand(result, DescriptorArray::kEnumCacheOffset)); | 6231 FieldOperand(result, DescriptorArray::kEnumCacheOffset)); |
6234 __ mov(result, | 6232 __ mov(result, |
6235 FieldOperand(result, FixedArray::SizeFor(instr->idx()))); | 6233 FieldOperand(result, FixedArray::SizeFor(instr->idx()))); |
6236 __ bind(&done); | 6234 __ bind(&done); |
6237 __ test(result, result); | 6235 __ test(result, result); |
6238 DeoptimizeIf(equal, instr, Deoptimizer::kNoCache); | 6236 DeoptimizeIf(equal, instr, "no cache"); |
6239 } | 6237 } |
6240 | 6238 |
6241 | 6239 |
6242 void LCodeGen::DoCheckMapValue(LCheckMapValue* instr) { | 6240 void LCodeGen::DoCheckMapValue(LCheckMapValue* instr) { |
6243 Register object = ToRegister(instr->value()); | 6241 Register object = ToRegister(instr->value()); |
6244 __ cmp(ToRegister(instr->map()), | 6242 __ cmp(ToRegister(instr->map()), |
6245 FieldOperand(object, HeapObject::kMapOffset)); | 6243 FieldOperand(object, HeapObject::kMapOffset)); |
6246 DeoptimizeIf(not_equal, instr, Deoptimizer::kWrongMap); | 6244 DeoptimizeIf(not_equal, instr, "wrong map"); |
6247 } | 6245 } |
6248 | 6246 |
6249 | 6247 |
6250 void LCodeGen::DoDeferredLoadMutableDouble(LLoadFieldByIndex* instr, | 6248 void LCodeGen::DoDeferredLoadMutableDouble(LLoadFieldByIndex* instr, |
6251 Register object, | 6249 Register object, |
6252 Register index) { | 6250 Register index) { |
6253 PushSafepointRegistersScope scope(this); | 6251 PushSafepointRegistersScope scope(this); |
6254 __ push(object); | 6252 __ push(object); |
6255 __ push(index); | 6253 __ push(index); |
6256 __ xor_(esi, esi); | 6254 __ xor_(esi, esi); |
(...skipping 75 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6332 CallRuntime(Runtime::kPushBlockContext, 2, instr); | 6330 CallRuntime(Runtime::kPushBlockContext, 2, instr); |
6333 RecordSafepoint(Safepoint::kNoLazyDeopt); | 6331 RecordSafepoint(Safepoint::kNoLazyDeopt); |
6334 } | 6332 } |
6335 | 6333 |
6336 | 6334 |
6337 #undef __ | 6335 #undef __ |
6338 | 6336 |
6339 } } // namespace v8::internal | 6337 } } // namespace v8::internal |
6340 | 6338 |
6341 #endif // V8_TARGET_ARCH_X87 | 6339 #endif // V8_TARGET_ARCH_X87 |
OLD | NEW |