| Index: src/hydrogen.cc
|
| diff --git a/src/hydrogen.cc b/src/hydrogen.cc
|
| index 5c50ed04370affd764fd020d459c07574f4f3943..d3e67bb1a3a6c95122e8328fc056bdef36de300a 100644
|
| --- a/src/hydrogen.cc
|
| +++ b/src/hydrogen.cc
|
| @@ -1003,6 +1003,17 @@ HReturn* HGraphBuilder::AddReturn(HValue* value) {
|
| }
|
|
|
|
|
| +void HGraphBuilder::AddSoftDeoptimize() {
|
| + isolate()->counters()->soft_deopts_requested()->Increment();
|
| + if (FLAG_always_opt) return;
|
| + if (current_block()->IsDeoptimizing()) return;
|
| + Add<HSoftDeoptimize>();
|
| + isolate()->counters()->soft_deopts_inserted()->Increment();
|
| + current_block()->MarkAsDeoptimizing();
|
| + graph()->set_has_soft_deoptimize(true);
|
| +}
|
| +
|
| +
|
| HBasicBlock* HGraphBuilder::CreateBasicBlock(HEnvironment* env) {
|
| HBasicBlock* b = graph()->CreateBasicBlock();
|
| b->SetInitialEnvironment(env);
|
| @@ -1652,6 +1663,39 @@ HValue* HGraphBuilder::BuildCloneShallowArray(HContext* context,
|
| }
|
|
|
|
|
| +HInstruction* HGraphBuilder::BuildUnaryMathOp(
|
| + HValue* input, Handle<Type> type, Token::Value operation) {
|
| + // We only handle the numeric cases here
|
| + type = handle(
|
| + Type::Intersect(type, handle(Type::Number(), isolate())), isolate());
|
| +
|
| + switch (operation) {
|
| + default:
|
| + UNREACHABLE();
|
| + case Token::SUB: {
|
| + HInstruction* instr =
|
| + HMul::New(zone(), environment()->LookupContext(),
|
| + input, graph()->GetConstantMinus1());
|
| + Representation rep = Representation::FromType(type);
|
| + if (type->Is(Type::None())) {
|
| + AddSoftDeoptimize();
|
| + }
|
| + if (instr->IsBinaryOperation()) {
|
| + HBinaryOperation* binop = HBinaryOperation::cast(instr);
|
| + binop->set_observed_input_representation(1, rep);
|
| + binop->set_observed_input_representation(2, rep);
|
| + }
|
| + return instr;
|
| + }
|
| + case Token::BIT_NOT:
|
| + if (type->Is(Type::None())) {
|
| + AddSoftDeoptimize();
|
| + }
|
| + return new(zone()) HBitNot(input);
|
| + }
|
| +}
|
| +
|
| +
|
| void HGraphBuilder::BuildCompareNil(
|
| HValue* value,
|
| Handle<Type> type,
|
| @@ -4231,17 +4275,6 @@ void HOptimizedGraphBuilder::PushAndAdd(HInstruction* instr) {
|
| }
|
|
|
|
|
| -void HOptimizedGraphBuilder::AddSoftDeoptimize() {
|
| - isolate()->counters()->soft_deopts_requested()->Increment();
|
| - if (FLAG_always_opt) return;
|
| - if (current_block()->IsDeoptimizing()) return;
|
| - Add<HSoftDeoptimize>();
|
| - isolate()->counters()->soft_deopts_inserted()->Increment();
|
| - current_block()->MarkAsDeoptimizing();
|
| - graph()->set_has_soft_deoptimize(true);
|
| -}
|
| -
|
| -
|
| template <class Instruction>
|
| HInstruction* HOptimizedGraphBuilder::PreProcessCall(Instruction* call) {
|
| int count = call->argument_count();
|
| @@ -8526,18 +8559,8 @@ void HOptimizedGraphBuilder::VisitTypeof(UnaryOperation* expr) {
|
| void HOptimizedGraphBuilder::VisitSub(UnaryOperation* expr) {
|
| CHECK_ALIVE(VisitForValue(expr->expression()));
|
| HValue* value = Pop();
|
| - HValue* context = environment()->LookupContext();
|
| - HInstruction* instr =
|
| - HMul::New(zone(), context, value, graph()->GetConstantMinus1());
|
| Handle<Type> operand_type = expr->expression()->lower_type();
|
| - Representation rep = ToRepresentation(operand_type);
|
| - if (operand_type->Is(Type::None())) {
|
| - AddSoftDeoptimize();
|
| - }
|
| - if (instr->IsBinaryOperation()) {
|
| - HBinaryOperation::cast(instr)->set_observed_input_representation(1, rep);
|
| - HBinaryOperation::cast(instr)->set_observed_input_representation(2, rep);
|
| - }
|
| + HInstruction* instr = BuildUnaryMathOp(value, operand_type, Token::SUB);
|
| return ast_context()->ReturnInstruction(instr, expr->id());
|
| }
|
|
|
| @@ -8546,10 +8569,7 @@ void HOptimizedGraphBuilder::VisitBitNot(UnaryOperation* expr) {
|
| CHECK_ALIVE(VisitForValue(expr->expression()));
|
| HValue* value = Pop();
|
| Handle<Type> operand_type = expr->expression()->lower_type();
|
| - if (operand_type->Is(Type::None())) {
|
| - AddSoftDeoptimize();
|
| - }
|
| - HInstruction* instr = new(zone()) HBitNot(value);
|
| + HInstruction* instr = BuildUnaryMathOp(value, operand_type, Token::BIT_NOT);
|
| return ast_context()->ReturnInstruction(instr, expr->id());
|
| }
|
|
|
| @@ -8603,7 +8623,7 @@ HInstruction* HOptimizedGraphBuilder::BuildIncrement(
|
| CountOperation* expr) {
|
| // The input to the count operation is on top of the expression stack.
|
| TypeInfo info = expr->type();
|
| - Representation rep = ToRepresentation(info);
|
| + Representation rep = Representation::FromType(info);
|
| if (rep.IsNone() || rep.IsTagged()) {
|
| rep = Representation::Smi();
|
| }
|
| @@ -8911,9 +8931,10 @@ HInstruction* HOptimizedGraphBuilder::BuildBinaryOperation(
|
| Handle<Type> right_type = expr->right()->lower_type();
|
| Handle<Type> result_type = expr->result_type();
|
| Maybe<int> fixed_right_arg = expr->fixed_right_arg();
|
| - Representation left_rep = ToRepresentation(left_type);
|
| - Representation right_rep = ToRepresentation(right_type);
|
| - Representation result_rep = ToRepresentation(result_type);
|
| + Representation left_rep = Representation::FromType(left_type);
|
| + Representation right_rep = Representation::FromType(right_type);
|
| + Representation result_rep = Representation::FromType(result_type);
|
| +
|
| if (left_type->Is(Type::None())) {
|
| AddSoftDeoptimize();
|
| // TODO(rossberg): we should be able to get rid of non-continuous defaults.
|
| @@ -9141,26 +9162,6 @@ void HOptimizedGraphBuilder::VisitArithmeticExpression(BinaryOperation* expr) {
|
| }
|
|
|
|
|
| -// TODO(rossberg): this should die eventually.
|
| -Representation HOptimizedGraphBuilder::ToRepresentation(TypeInfo info) {
|
| - if (info.IsUninitialized()) return Representation::None();
|
| - // TODO(verwaest): Return Smi rather than Integer32.
|
| - if (info.IsSmi()) return Representation::Integer32();
|
| - if (info.IsInteger32()) return Representation::Integer32();
|
| - if (info.IsDouble()) return Representation::Double();
|
| - if (info.IsNumber()) return Representation::Double();
|
| - return Representation::Tagged();
|
| -}
|
| -
|
| -
|
| -Representation HOptimizedGraphBuilder::ToRepresentation(Handle<Type> type) {
|
| - if (type->Is(Type::None())) return Representation::None();
|
| - if (type->Is(Type::Signed32())) return Representation::Integer32();
|
| - if (type->Is(Type::Number())) return Representation::Double();
|
| - return Representation::Tagged();
|
| -}
|
| -
|
| -
|
| void HOptimizedGraphBuilder::HandleLiteralCompareTypeof(CompareOperation* expr,
|
| HTypeof* typeof_expr,
|
| Handle<String> check) {
|
| @@ -9253,9 +9254,9 @@ void HOptimizedGraphBuilder::VisitCompareOperation(CompareOperation* expr) {
|
| Handle<Type> left_type = expr->left()->lower_type();
|
| Handle<Type> right_type = expr->right()->lower_type();
|
| Handle<Type> combined_type = expr->combined_type();
|
| - Representation combined_rep = ToRepresentation(combined_type);
|
| - Representation left_rep = ToRepresentation(left_type);
|
| - Representation right_rep = ToRepresentation(right_type);
|
| + Representation combined_rep = Representation::FromType(combined_type);
|
| + Representation left_rep = Representation::FromType(left_type);
|
| + Representation right_rep = Representation::FromType(right_type);
|
|
|
| CHECK_ALIVE(VisitForValue(expr->left()));
|
| CHECK_ALIVE(VisitForValue(expr->right()));
|
| @@ -9384,8 +9385,8 @@ void HOptimizedGraphBuilder::VisitCompareOperation(CompareOperation* expr) {
|
| result->set_position(expr->position());
|
| return ast_context()->ReturnInstruction(result, expr->id());
|
| } else {
|
| - // TODO(verwaest): Remove once ToRepresentation properly returns Smi when
|
| - // the IC measures Smi.
|
| + // TODO(verwaest): Remove once Representation::FromType properly
|
| + // returns Smi when the IC measures Smi.
|
| if (left_type->Is(Type::Smi())) left_rep = Representation::Smi();
|
| if (right_type->Is(Type::Smi())) right_rep = Representation::Smi();
|
| HCompareIDAndBranch* result =
|
|
|