| // 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 "src/v8.h" |
| |
| #include "test/cctest/compiler/function-tester.h" |
| |
| using namespace v8::internal; |
| using namespace v8::internal::compiler; |
| uint32_t flags = CompilationInfo::kInliningEnabled; |
| |
| TEST(IsSmi) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsSmi(a); })", flags); |
| |
| 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)); |
| T.CheckFalse(T.undefined()); |
| } |
| |
| |
| TEST(IsNonNegativeSmi) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsNonNegativeSmi(a); })", flags); |
| |
| T.CheckTrue(T.Val(1)); |
| T.CheckFalse(T.Val(1.1)); |
| T.CheckFalse(T.Val(-0.0)); |
| T.CheckFalse(T.Val(-2)); |
| T.CheckFalse(T.Val(-2.3)); |
| T.CheckFalse(T.undefined()); |
| } |
| |
| |
| TEST(IsMinusZero) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsMinusZero(a); })", flags); |
| |
| T.CheckFalse(T.Val(1)); |
| T.CheckFalse(T.Val(1.1)); |
| T.CheckTrue(T.Val(-0.0)); |
| T.CheckFalse(T.Val(-2)); |
| T.CheckFalse(T.Val(-2.3)); |
| T.CheckFalse(T.undefined()); |
| } |
| |
| |
| TEST(IsArray) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsArray(a); })", flags); |
| |
| 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(IsObject) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsObject(a); })", flags); |
| |
| T.CheckFalse(T.NewObject("(function() {})")); |
| T.CheckTrue(T.NewObject("([1])")); |
| T.CheckTrue(T.NewObject("({})")); |
| T.CheckTrue(T.NewObject("(/x/)")); |
| T.CheckFalse(T.undefined()); |
| T.CheckTrue(T.null()); |
| T.CheckFalse(T.Val("x")); |
| T.CheckFalse(T.Val(1)); |
| } |
| |
| |
| TEST(IsFunction) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsFunction(a); })", flags); |
| |
| 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) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a) { return %_IsRegExp(a); })", flags); |
| |
| 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(ClassOf) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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)); |
| } |
| |
| |
| TEST(ObjectEquals) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(ValueOf) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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))")); |
| } |
| |
| |
| TEST(SetValueOf) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(StringCharFromCode) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(StringCharAt) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(StringAdd) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(StringSubString) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(StringCompare) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| 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(CallFunction) { |
| FLAG_turbo_inlining_intrinsics = true; |
| FLAG_turbo_deoptimization = true; |
| FunctionTester T("(function(a,b) { return %_CallFunction(a, 1, 2, 3, b); })", |
| 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")); |
| } |