From: jkummerow@chromium.org Date: Tue, 27 Aug 2013 11:44:45 +0000 (+0000) Subject: H-BuildIncrement should make use of available type feedback X-Git-Tag: upstream/4.7.83~12811 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=da037f9872098b6aebe9952112d0971a423d309d;p=platform%2Fupstream%2Fv8.git H-BuildIncrement should make use of available type feedback R=verwaest@chromium.org Review URL: https://codereview.chromium.org/22611009 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@16353 ce2b1a6d-e550-0410-aec6-3dcde31c8c00 --- diff --git a/src/ast.h b/src/ast.h index f61f495..0fac145 100644 --- a/src/ast.h +++ b/src/ast.h @@ -1963,7 +1963,7 @@ class CountOperation V8_FINAL : public Expression { Expression* expression() const { return expression_; } virtual int position() const V8_OVERRIDE { return pos_; } - void RecordTypeFeedback(TypeFeedbackOracle* oracle, Zone* znoe); + void RecordTypeFeedback(TypeFeedbackOracle* oracle, Zone* zone); virtual bool IsMonomorphic() V8_OVERRIDE { return is_monomorphic_; } virtual SmallMapList* GetReceiverTypes() V8_OVERRIDE { return &receiver_types_; diff --git a/src/hydrogen.cc b/src/hydrogen.cc index 95090d5..968340d 100644 --- a/src/hydrogen.cc +++ b/src/hydrogen.cc @@ -7494,7 +7494,12 @@ HInstruction* HOptimizedGraphBuilder::BuildIncrement( HConstant* delta = (expr->op() == Token::INC) ? graph()->GetConstant1() : graph()->GetConstantMinus1(); - HInstruction* instr = Add(Top(), delta); + HInstruction* instr = AddUncasted(Top(), delta); + if (instr->IsAdd()) { + HAdd* add = HAdd::cast(instr); + add->set_observed_input_representation(1, rep); + add->set_observed_input_representation(2, Representation::Smi()); + } instr->SetFlag(HInstruction::kCannotBeTagged); instr->ClearAllSideEffects(); return instr; diff --git a/src/hydrogen.h b/src/hydrogen.h index 2b9fd96..8332c13 100644 --- a/src/hydrogen.h +++ b/src/hydrogen.h @@ -1058,7 +1058,7 @@ class HGraphBuilder { template I* Add(P1 p1, P2 p2) { - return static_cast(AddUncasted(p1, p2)); + return I::cast(AddUncasted(p1, p2)); } template diff --git a/test/mjsunit/compiler/increment-typefeedback.js b/test/mjsunit/compiler/increment-typefeedback.js new file mode 100644 index 0000000..7989592 --- /dev/null +++ b/test/mjsunit/compiler/increment-typefeedback.js @@ -0,0 +1,39 @@ +// Copyright 2013 the V8 project authors. All rights reserved. +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions are +// met: +// +// * Redistributions of source code must retain the above copyright +// notice, this list of conditions and the following disclaimer. +// * Redistributions in binary form must reproduce the above +// copyright notice, this list of conditions and the following +// disclaimer in the documentation and/or other materials provided +// with the distribution. +// * Neither the name of Google Inc. nor the names of its +// contributors may be used to endorse or promote products derived +// from this software without specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +// Flags: --allow-natives-syntax + +function f(x) { + x++; + return x; +} + +f(0.5); +f(0.5); +%OptimizeFunctionOnNextCall(f); +f(0.5); +assertOptimized(f);