AuroraMiddleware/v8
1
0
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity
d69ce04d03
v8/test/cctest/compiler/test-run-intrinsics.cc
bmeurer 00f7d1f5f8 [intrinsics] Kill the %_IsMinusZero intrinsic. 
By now only the default %TypedArray%.prototype.sort compare function
and the JS implementation of SameValueZero were still using the odd
%_IsMinusZero intrinsic, whose semantics both included a number check
(actually HeapNumber test) plus testing if the heap number stores the
special -0 value. In both cases we already know that we deal with
number so we can reduce it to a simple number test for -0, which can
be expressed via dividing 1 by that value and checking the sign of
the result. In case of the compare function, we can be even smarter
and work with the reciprocal values in case x and y are equal to 0
(although long term we should probably rewrite the fast case for
the typed array sorting function in C++ anyway, which will be way,
way faster than our handwritten callback-style, type-feedback
polluted JS implementation).

R=yangguo@chromium.org

Review URL: https://codereview.chromium.org/1680783002

Cr-Commit-Position: refs/heads/master@{#33833}
2016-02-09 06:28:53 +00:00

290 lines
8.5 KiB
C++
Raw Blame History

// Copyright 2014 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "test/cctest/compiler/function-tester.h"
namespace v8 {
namespace internal {
namespace compiler {
uint32_t flags = CompilationInfo::kInliningEnabled;
TEST(Call) {
FunctionTester T("(function(a,b) { return %_Call(b, a, 1, 2, 3); })", flags);
CompileRun("function f(a,b,c) { return a + b + c + this.d; }");
T.CheckCall(T.Val(129), T.NewObject("({d:123})"), T.NewObject("f"));
T.CheckCall(T.Val("6x"), T.NewObject("({d:'x'})"), T.NewObject("f"));
}
TEST(ClassOf) {
FunctionTester T("(function(a) { return %_ClassOf(a); })", flags);
T.CheckCall(T.Val("Function"), T.NewObject("(function() {})"));
T.CheckCall(T.Val("Array"), T.NewObject("([1])"));
T.CheckCall(T.Val("Object"), T.NewObject("({})"));
T.CheckCall(T.Val("RegExp"), T.NewObject("(/x/)"));
T.CheckCall(T.null(), T.undefined());
T.CheckCall(T.null(), T.null());
T.CheckCall(T.null(), T.Val("x"));
T.CheckCall(T.null(), T.Val(1));
}
#define COUNTER_NAME "hurz"
static int* LookupCounter(const char* name) {
static int counter = 1234;
return strcmp(name, COUNTER_NAME) == 0 ? &counter : nullptr;
}
TEST(IncrementStatsCounter) {
FLAG_native_code_counters = true;
reinterpret_cast<v8::Isolate*>(CcTest::InitIsolateOnce())
->SetCounterFunction(LookupCounter);
FunctionTester T(
"(function() { %_IncrementStatsCounter('" COUNTER_NAME "'); })", flags);
StatsCounter counter(T.main_isolate(), COUNTER_NAME);
if (!counter.Enabled()) return;
int old_value = *counter.GetInternalPointer();
T.CheckCall(T.undefined());
CHECK_EQ(old_value + 1, *counter.GetInternalPointer());
}
#undef COUNTER_NAME
TEST(IsArray) {
FunctionTester T("(function(a) { return %_IsArray(a); })", flags);
T.CheckFalse(T.NewObject("new Date()"));
T.CheckFalse(T.NewObject("(function() {})"));
T.CheckTrue(T.NewObject("([1])"));
T.CheckFalse(T.NewObject("({})"));
T.CheckFalse(T.NewObject("(/x/)"));
T.CheckFalse(T.undefined());
T.CheckFalse(T.null());
T.CheckFalse(T.Val("x"));
T.CheckFalse(T.Val(1));
}
TEST(IsDate) {
FunctionTester T("(function(a) { return %_IsDate(a); })", flags);
T.CheckTrue(T.NewObject("new Date()"));
T.CheckFalse(T.NewObject("(function() {})"));
T.CheckFalse(T.NewObject("([1])"));
T.CheckFalse(T.NewObject("({})"));
T.CheckFalse(T.NewObject("(/x/)"));
T.CheckFalse(T.undefined());
T.CheckFalse(T.null());
T.CheckFalse(T.Val("x"));
T.CheckFalse(T.Val(1));
}
TEST(IsFunction) {
FunctionTester T("(function(a) { return %_IsFunction(a); })", flags);
T.CheckFalse(T.NewObject("new Date()"));
T.CheckTrue(T.NewObject("(function() {})"));
T.CheckFalse(T.NewObject("([1])"));
T.CheckFalse(T.NewObject("({})"));
T.CheckFalse(T.NewObject("(/x/)"));
T.CheckFalse(T.undefined());
T.CheckFalse(T.null());
T.CheckFalse(T.Val("x"));
T.CheckFalse(T.Val(1));
}
TEST(IsRegExp) {
FunctionTester T("(function(a) { return %_IsRegExp(a); })", flags);
T.CheckFalse(T.NewObject("new Date()"));
T.CheckFalse(T.NewObject("(function() {})"));
T.CheckFalse(T.NewObject("([1])"));
T.CheckFalse(T.NewObject("({})"));
T.CheckTrue(T.NewObject("(/x/)"));
T.CheckFalse(T.undefined());
T.CheckFalse(T.null());
T.CheckFalse(T.Val("x"));
T.CheckFalse(T.Val(1));
}
TEST(IsSmi) {
FunctionTester T("(function(a) { return %_IsSmi(a); })", flags);
T.CheckFalse(T.NewObject("new Date()"));
T.CheckFalse(T.NewObject("(function() {})"));
T.CheckFalse(T.NewObject("([1])"));
T.CheckFalse(T.NewObject("({})"));
T.CheckFalse(T.NewObject("(/x/)"));
T.CheckFalse(T.undefined());
T.CheckTrue(T.Val(1));
T.CheckFalse(T.Val(1.1));
T.CheckFalse(T.Val(-0.0));
T.CheckTrue(T.Val(-2));
T.CheckFalse(T.Val(-2.3));
}
TEST(ObjectEquals) {
FunctionTester T("(function(a,b) { return %_ObjectEquals(a,b); })", flags);
CompileRun("var o = {}");
T.CheckTrue(T.NewObject("(o)"), T.NewObject("(o)"));
T.CheckTrue(T.Val("internal"), T.Val("internal"));
T.CheckTrue(T.true_value(), T.true_value());
T.CheckFalse(T.true_value(), T.false_value());
T.CheckFalse(T.NewObject("({})"), T.NewObject("({})"));
T.CheckFalse(T.Val("a"), T.Val("b"));
}
TEST(OneByteSeqStringGetChar) {
FunctionTester T("(function(a,b) { return %_OneByteSeqStringGetChar(a,b); })",
flags);
Handle<SeqOneByteString> string =
T.main_isolate()->factory()->NewRawOneByteString(3).ToHandleChecked();
string->SeqOneByteStringSet(0, 'b');
string->SeqOneByteStringSet(1, 'a');
string->SeqOneByteStringSet(2, 'r');
T.CheckCall(T.Val('b'), string, T.Val(0.0));
T.CheckCall(T.Val('a'), string, T.Val(1));
T.CheckCall(T.Val('r'), string, T.Val(2));
}
TEST(OneByteSeqStringSetChar) {
FunctionTester T("(function(a,b) { %_OneByteSeqStringSetChar(a,88,b); })",
flags);
Handle<SeqOneByteString> string =
T.main_isolate()->factory()->NewRawOneByteString(3).ToHandleChecked();
string->SeqOneByteStringSet(0, 'b');
string->SeqOneByteStringSet(1, 'a');
string->SeqOneByteStringSet(2, 'r');
T.Call(T.Val(1), string);
CHECK_EQ('b', string->SeqOneByteStringGet(0));
CHECK_EQ('X', string->SeqOneByteStringGet(1));
CHECK_EQ('r', string->SeqOneByteStringGet(2));
}
TEST(SetValueOf) {
FunctionTester T("(function(a,b) { return %_SetValueOf(a,b); })", flags);
T.CheckCall(T.Val("a"), T.NewObject("(new String)"), T.Val("a"));
T.CheckCall(T.Val(123), T.NewObject("(new Number)"), T.Val(123));
T.CheckCall(T.Val("x"), T.undefined(), T.Val("x"));
}
TEST(StringAdd) {
FunctionTester T("(function(a,b) { return %_StringAdd(a,b); })", flags);
T.CheckCall(T.Val("aaabbb"), T.Val("aaa"), T.Val("bbb"));
T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(""));
T.CheckCall(T.Val("bbb"), T.Val(""), T.Val("bbb"));
}
TEST(StringCharAt) {
FunctionTester T("(function(a,b) { return %_StringCharAt(a,b); })", flags);
T.CheckCall(T.Val("e"), T.Val("huge fan!"), T.Val(3));
T.CheckCall(T.Val("f"), T.Val("\xE2\x9D\x8A fan!"), T.Val(2));
T.CheckCall(T.Val(""), T.Val("not a fan!"), T.Val(23));
}
TEST(StringCharCodeAt) {
FunctionTester T("(function(a,b) { return %_StringCharCodeAt(a,b); })",
flags);
T.CheckCall(T.Val('e'), T.Val("huge fan!"), T.Val(3));
T.CheckCall(T.Val('f'), T.Val("\xE2\x9D\x8A fan!"), T.Val(2));
T.CheckCall(T.nan(), T.Val("not a fan!"), T.Val(23));
}
TEST(StringCharFromCode) {
FunctionTester T("(function(a) { return %_StringCharFromCode(a); })", flags);
T.CheckCall(T.Val("a"), T.Val(97));
T.CheckCall(T.Val("\xE2\x9D\x8A"), T.Val(0x274A));
T.CheckCall(T.Val(""), T.undefined());
}
TEST(StringCompare) {
FunctionTester T("(function(a,b) { return %_StringCompare(a,b); })", flags);
T.CheckCall(T.Val(-1), T.Val("aaa"), T.Val("bbb"));
T.CheckCall(T.Val(0.0), T.Val("bbb"), T.Val("bbb"));
T.CheckCall(T.Val(+1), T.Val("ccc"), T.Val("bbb"));
}
TEST(SubString) {
FunctionTester T("(function(a,b) { return %_SubString(a,b,b+3); })", flags);
T.CheckCall(T.Val("aaa"), T.Val("aaabbb"), T.Val(0.0));
T.CheckCall(T.Val("abb"), T.Val("aaabbb"), T.Val(2));
T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(0.0));
}
TEST(TwoByteSeqStringGetChar) {
FunctionTester T("(function(a,b) { return %_TwoByteSeqStringGetChar(a,b); })",
flags);
Handle<SeqTwoByteString> string =
T.main_isolate()->factory()->NewRawTwoByteString(3).ToHandleChecked();
string->SeqTwoByteStringSet(0, 'b');
string->SeqTwoByteStringSet(1, 'a');
string->SeqTwoByteStringSet(2, 'r');
T.CheckCall(T.Val('b'), string, T.Val(0.0));
T.CheckCall(T.Val('a'), string, T.Val(1));
T.CheckCall(T.Val('r'), string, T.Val(2));
}
TEST(TwoByteSeqStringSetChar) {
FunctionTester T("(function(a,b) { %_TwoByteSeqStringSetChar(a,88,b); })",
flags);
Handle<SeqTwoByteString> string =
T.main_isolate()->factory()->NewRawTwoByteString(3).ToHandleChecked();
string->SeqTwoByteStringSet(0, 'b');
string->SeqTwoByteStringSet(1, 'a');
string->SeqTwoByteStringSet(2, 'r');
T.Call(T.Val(1), string);
CHECK_EQ('b', string->SeqTwoByteStringGet(0));
CHECK_EQ('X', string->SeqTwoByteStringGet(1));
CHECK_EQ('r', string->SeqTwoByteStringGet(2));
}
TEST(ValueOf) {
FunctionTester T("(function(a) { return %_ValueOf(a); })", flags);
T.CheckCall(T.Val("a"), T.Val("a"));
T.CheckCall(T.Val("b"), T.NewObject("(new String('b'))"));
T.CheckCall(T.Val(123), T.Val(123));
T.CheckCall(T.Val(456), T.NewObject("(new Number(456))"));
}
} // namespace compiler
} // namespace internal
} // namespace v8
Reference in New Issue View Git Blame Copy Permalink