2018-02-19 13:31:18 +00:00
|
|
|
// Copyright 2018 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.
|
|
|
|
|
2018-02-21 11:38:35 +00:00
|
|
|
#include <cctype>
|
|
|
|
|
2018-02-19 13:31:18 +00:00
|
|
|
#include "src/compilation-dependencies.h"
|
2018-02-21 11:38:35 +00:00
|
|
|
#include "src/compiler/js-call-reducer.h"
|
2018-02-19 13:31:18 +00:00
|
|
|
#include "src/compiler/js-graph.h"
|
|
|
|
#include "src/compiler/simplified-operator.h"
|
2018-04-06 07:23:04 +00:00
|
|
|
#include "src/factory.h"
|
2018-02-22 14:41:23 +00:00
|
|
|
#include "src/feedback-vector.h"
|
2018-02-19 13:31:18 +00:00
|
|
|
#include "src/isolate.h"
|
|
|
|
#include "test/unittests/compiler/graph-unittest.h"
|
2018-02-21 11:38:35 +00:00
|
|
|
#include "test/unittests/compiler/node-test-utils.h"
|
2018-02-19 13:31:18 +00:00
|
|
|
|
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace compiler {
|
|
|
|
|
|
|
|
class JSCallReducerTest : public TypedGraphTest {
|
|
|
|
public:
|
|
|
|
JSCallReducerTest()
|
|
|
|
: TypedGraphTest(3), javascript_(zone()), deps_(isolate(), zone()) {}
|
|
|
|
~JSCallReducerTest() override {}
|
|
|
|
|
|
|
|
protected:
|
|
|
|
Reduction Reduce(Node* node) {
|
|
|
|
MachineOperatorBuilder machine(zone());
|
|
|
|
SimplifiedOperatorBuilder simplified(zone());
|
|
|
|
JSGraph jsgraph(isolate(), graph(), common(), javascript(), &simplified,
|
|
|
|
&machine);
|
|
|
|
// TODO(titzer): mock the GraphReducer here for better unit testing.
|
|
|
|
GraphReducer graph_reducer(zone(), graph());
|
|
|
|
|
|
|
|
JSCallReducer reducer(&graph_reducer, &jsgraph, JSCallReducer::kNoFlags,
|
|
|
|
native_context(), &deps_);
|
|
|
|
return reducer.Reduce(node);
|
|
|
|
}
|
|
|
|
|
|
|
|
JSOperatorBuilder* javascript() { return &javascript_; }
|
|
|
|
|
2018-02-21 11:38:35 +00:00
|
|
|
static void SetUpTestCase() {
|
|
|
|
old_flag_lazy_ = i::FLAG_lazy_deserialization;
|
|
|
|
old_flag_lazy_handler_ = i::FLAG_lazy_handler_deserialization;
|
|
|
|
i::FLAG_lazy_deserialization = false;
|
|
|
|
i::FLAG_lazy_handler_deserialization = false;
|
|
|
|
TypedGraphTest::SetUpTestCase();
|
|
|
|
}
|
|
|
|
|
|
|
|
static void TearDownTestCase() {
|
|
|
|
TypedGraphTest::TearDownTestCase();
|
|
|
|
i::FLAG_lazy_deserialization = old_flag_lazy_;
|
|
|
|
i::FLAG_lazy_handler_deserialization = old_flag_lazy_handler_;
|
|
|
|
}
|
|
|
|
|
|
|
|
Node* MathFunction(const std::string& name) {
|
|
|
|
Handle<Object> m =
|
|
|
|
JSObject::GetProperty(
|
|
|
|
isolate()->global_object(),
|
|
|
|
isolate()->factory()->NewStringFromAsciiChecked("Math"))
|
|
|
|
.ToHandleChecked();
|
|
|
|
Handle<JSFunction> f = Handle<JSFunction>::cast(
|
|
|
|
Object::GetProperty(
|
|
|
|
m, isolate()->factory()->NewStringFromAsciiChecked(name.c_str()))
|
|
|
|
.ToHandleChecked());
|
|
|
|
return HeapConstant(f);
|
|
|
|
}
|
|
|
|
|
2018-02-23 13:03:27 +00:00
|
|
|
Node* StringFunction(const char* name) {
|
|
|
|
Handle<Object> m =
|
|
|
|
JSObject::GetProperty(
|
|
|
|
isolate()->global_object(),
|
|
|
|
isolate()->factory()->NewStringFromAsciiChecked("String"))
|
|
|
|
.ToHandleChecked();
|
|
|
|
Handle<JSFunction> f = Handle<JSFunction>::cast(
|
|
|
|
Object::GetProperty(
|
|
|
|
m, isolate()->factory()->NewStringFromAsciiChecked(name))
|
|
|
|
.ToHandleChecked());
|
|
|
|
return HeapConstant(f);
|
|
|
|
}
|
|
|
|
|
2018-03-16 08:36:57 +00:00
|
|
|
Node* NumberFunction(const char* name) {
|
|
|
|
Handle<Object> m =
|
|
|
|
JSObject::GetProperty(
|
|
|
|
isolate()->global_object(),
|
|
|
|
isolate()->factory()->NewStringFromAsciiChecked("Number"))
|
|
|
|
.ToHandleChecked();
|
|
|
|
Handle<JSFunction> f = Handle<JSFunction>::cast(
|
|
|
|
Object::GetProperty(
|
|
|
|
m, isolate()->factory()->NewStringFromAsciiChecked(name))
|
|
|
|
.ToHandleChecked());
|
|
|
|
return HeapConstant(f);
|
|
|
|
}
|
|
|
|
|
2018-02-21 11:38:35 +00:00
|
|
|
std::string op_name_for(const char* fnc) {
|
|
|
|
std::string string_fnc(fnc);
|
|
|
|
char initial = std::toupper(fnc[0]);
|
|
|
|
return std::string("Number") + initial +
|
|
|
|
string_fnc.substr(1, std::string::npos);
|
|
|
|
}
|
|
|
|
|
2018-02-22 14:41:23 +00:00
|
|
|
const Operator* Call(int arity) {
|
|
|
|
FeedbackVectorSpec spec(zone());
|
|
|
|
spec.AddCallICSlot();
|
|
|
|
Handle<FeedbackMetadata> metadata = FeedbackMetadata::New(isolate(), &spec);
|
|
|
|
Handle<SharedFunctionInfo> shared =
|
2018-03-22 16:09:55 +00:00
|
|
|
isolate()->factory()->NewSharedFunctionInfoForBuiltin(
|
2018-03-23 14:24:03 +00:00
|
|
|
isolate()->factory()->empty_string(), Builtins::kIllegal);
|
2018-04-06 11:49:15 +00:00
|
|
|
// Set the raw feedback metadata to circumvent checks that we are not
|
|
|
|
// overwriting existing metadata.
|
|
|
|
shared->set_raw_outer_scope_info_or_feedback_metadata(*metadata);
|
2018-02-22 14:41:23 +00:00
|
|
|
Handle<FeedbackVector> vector = FeedbackVector::New(isolate(), shared);
|
|
|
|
VectorSlotPair feedback(vector, FeedbackSlot(0));
|
|
|
|
return javascript()->Call(arity, CallFrequency(), feedback,
|
|
|
|
ConvertReceiverMode::kAny,
|
|
|
|
SpeculationMode::kAllowSpeculation);
|
|
|
|
}
|
|
|
|
|
2018-02-19 13:31:18 +00:00
|
|
|
private:
|
|
|
|
JSOperatorBuilder javascript_;
|
|
|
|
CompilationDependencies deps_;
|
2018-02-21 11:38:35 +00:00
|
|
|
|
|
|
|
static bool old_flag_lazy_;
|
|
|
|
static bool old_flag_lazy_handler_;
|
2018-02-19 13:31:18 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, PromiseConstructorNoArgs) {
|
|
|
|
Node* promise = HeapConstant(handle(native_context()->promise_function()));
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
|
|
|
Node* construct =
|
|
|
|
graph()->NewNode(javascript()->Construct(2), promise, promise, context,
|
|
|
|
frame_state, effect, control);
|
|
|
|
|
|
|
|
Reduction r = Reduce(construct);
|
|
|
|
|
|
|
|
ASSERT_FALSE(r.Changed());
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, PromiseConstructorSubclass) {
|
|
|
|
Node* promise = HeapConstant(handle(native_context()->promise_function()));
|
|
|
|
Node* new_target = HeapConstant(handle(native_context()->array_function()));
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
|
|
|
Node* executor = UndefinedConstant();
|
|
|
|
Node* construct =
|
|
|
|
graph()->NewNode(javascript()->Construct(3), promise, executor,
|
|
|
|
new_target, context, frame_state, effect, control);
|
|
|
|
|
|
|
|
Reduction r = Reduce(construct);
|
|
|
|
|
|
|
|
ASSERT_FALSE(r.Changed());
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, PromiseConstructorBasic) {
|
|
|
|
Node* promise = HeapConstant(handle(native_context()->promise_function()));
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
|
|
|
Node* executor = UndefinedConstant();
|
|
|
|
Node* construct =
|
|
|
|
graph()->NewNode(javascript()->Construct(3), promise, executor, promise,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
|
|
|
|
Reduction r = Reduce(construct);
|
|
|
|
|
|
|
|
if (FLAG_experimental_inline_promise_constructor) {
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
} else {
|
|
|
|
ASSERT_FALSE(r.Changed());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-02-21 11:38:35 +00:00
|
|
|
// Exactly the same as PromiseConstructorBasic which expects a reduction,
|
|
|
|
// except that we invalidate the protector cell.
|
2018-02-19 13:31:18 +00:00
|
|
|
TEST_F(JSCallReducerTest, PromiseConstructorWithHook) {
|
|
|
|
Node* promise = HeapConstant(handle(native_context()->promise_function()));
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
|
|
|
Node* executor = UndefinedConstant();
|
|
|
|
Node* construct =
|
|
|
|
graph()->NewNode(javascript()->Construct(3), promise, executor, promise,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
|
|
|
|
isolate()->InvalidatePromiseHookProtector();
|
|
|
|
|
|
|
|
Reduction r = Reduce(construct);
|
|
|
|
|
|
|
|
ASSERT_FALSE(r.Changed());
|
|
|
|
}
|
|
|
|
|
2018-02-21 11:38:35 +00:00
|
|
|
bool JSCallReducerTest::old_flag_lazy_;
|
|
|
|
bool JSCallReducerTest::old_flag_lazy_handler_;
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math unaries
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
const char* kMathUnaries[] = {
|
|
|
|
"abs", "acos", "acosh", "asin", "asinh", "atan", "cbrt",
|
|
|
|
"ceil", "cos", "cosh", "exp", "expm1", "floor", "fround",
|
|
|
|
"log", "log1p", "log10", "log2", "round", "sign", "sin",
|
|
|
|
"sinh", "sqrt", "tan", "tanh", "trunc"};
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathUnaryWithNumber) {
|
|
|
|
TRACED_FOREACH(const char*, fnc, kMathUnaries) {
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* jsfunction = MathFunction(fnc);
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(3), jsfunction, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(std::string(IrOpcode::Mnemonic(r.replacement()->opcode())),
|
|
|
|
op_name_for(fnc));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math binaries
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
const char* kMathBinaries[] = {"atan2", "pow"};
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathBinaryWithNumber) {
|
|
|
|
TRACED_FOREACH(const char*, fnc, kMathBinaries) {
|
|
|
|
Node* jsfunction = MathFunction(fnc);
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* p1 = Parameter(Type::Any(), 0);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(4), jsfunction, UndefinedConstant(), p0,
|
|
|
|
p1, context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(std::string(IrOpcode::Mnemonic(r.replacement()->opcode())),
|
|
|
|
op_name_for(fnc));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math.clz32
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathClz32WithUnsigned32) {
|
|
|
|
Node* jsfunction = MathFunction("clz32");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
|
|
|
Node* p0 = Parameter(Type::Unsigned32(), 0);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(3), jsfunction, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
2018-02-22 08:06:56 +00:00
|
|
|
EXPECT_THAT(r.replacement(),
|
|
|
|
IsNumberClz32(IsNumberToUint32(IsSpeculativeToNumber(p0))));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathClz32WithUnsigned32NoArg) {
|
|
|
|
Node* jsfunction = MathFunction("clz32");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(2), jsfunction, UndefinedConstant(),
|
|
|
|
context, frame_state, effect, control);
|
2018-02-22 08:06:56 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsNumberConstant(32));
|
2018-02-21 11:38:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math.imul
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathImulWithUnsigned32) {
|
|
|
|
Node* jsfunction = MathFunction("imul");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Unsigned32(), 0);
|
|
|
|
Node* p1 = Parameter(Type::Unsigned32(), 1);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(4), jsfunction, UndefinedConstant(), p0,
|
|
|
|
p1, context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(std::string(IrOpcode::Mnemonic(r.replacement()->opcode())),
|
|
|
|
op_name_for("imul"));
|
|
|
|
}
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math.min
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMinWithNoArguments) {
|
|
|
|
Node* jsfunction = MathFunction("min");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(2), jsfunction, UndefinedConstant(),
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsNumberConstant(V8_INFINITY));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMinWithNumber) {
|
|
|
|
Node* jsfunction = MathFunction("min");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(3), jsfunction, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsSpeculativeToNumber(p0));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMinWithTwoArguments) {
|
|
|
|
Node* jsfunction = MathFunction("min");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* p1 = Parameter(Type::Any(), 1);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(4), jsfunction, UndefinedConstant(), p0,
|
|
|
|
p1, context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsNumberMin(IsSpeculativeToNumber(p0),
|
|
|
|
IsSpeculativeToNumber(p1)));
|
|
|
|
}
|
|
|
|
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Math.max
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMaxWithNoArguments) {
|
|
|
|
Node* jsfunction = MathFunction("max");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(2), jsfunction, UndefinedConstant(),
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsNumberConstant(-V8_INFINITY));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMaxWithNumber) {
|
|
|
|
Node* jsfunction = MathFunction("max");
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(3), jsfunction, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsSpeculativeToNumber(p0));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, MathMaxWithTwoArguments) {
|
|
|
|
Node* jsfunction = MathFunction("max");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* p1 = Parameter(Type::Any(), 1);
|
2018-02-22 14:41:23 +00:00
|
|
|
Node* call = graph()->NewNode(Call(4), jsfunction, UndefinedConstant(), p0,
|
|
|
|
p1, context, frame_state, effect, control);
|
2018-02-21 11:38:35 +00:00
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsNumberMax(IsSpeculativeToNumber(p0),
|
|
|
|
IsSpeculativeToNumber(p1)));
|
|
|
|
}
|
|
|
|
|
2018-02-23 13:03:27 +00:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// String.fromCharCode
|
|
|
|
|
2018-03-23 13:03:34 +00:00
|
|
|
TEST_F(JSCallReducerTest, StringFromSingleCharCodeWithNumber) {
|
2018-02-23 13:03:27 +00:00
|
|
|
Node* function = StringFunction("fromCharCode");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* call = graph()->NewNode(Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
2018-03-23 13:03:34 +00:00
|
|
|
EXPECT_THAT(r.replacement(),
|
|
|
|
IsStringFromSingleCharCode(IsSpeculativeToNumber(p0)));
|
2018-02-23 13:03:27 +00:00
|
|
|
}
|
|
|
|
|
2018-03-23 13:03:34 +00:00
|
|
|
TEST_F(JSCallReducerTest, StringFromSingleCharCodeWithPlainPrimitive) {
|
2018-02-23 13:03:27 +00:00
|
|
|
Node* function = StringFunction("fromCharCode");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::PlainPrimitive(), 0);
|
|
|
|
Node* call = graph()->NewNode(Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
2018-03-23 13:03:34 +00:00
|
|
|
EXPECT_THAT(r.replacement(),
|
|
|
|
IsStringFromSingleCharCode(IsSpeculativeToNumber(p0)));
|
2018-02-23 13:03:27 +00:00
|
|
|
}
|
|
|
|
|
2018-03-16 08:36:57 +00:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Number.isFinite
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, NumberIsFinite) {
|
|
|
|
Node* function = NumberFunction("isFinite");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* call = graph()->NewNode(Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsObjectIsFiniteNumber(p0));
|
|
|
|
}
|
|
|
|
|
2018-03-16 08:37:33 +00:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Number.isInteger
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, NumberIsIntegerWithNumber) {
|
|
|
|
Node* function = NumberFunction("isInteger");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* call =
|
|
|
|
graph()->NewNode(javascript()->Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsObjectIsInteger(p0));
|
|
|
|
}
|
|
|
|
|
2018-03-16 12:56:59 +00:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Number.isNaN
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, NumberIsNaNWithNumber) {
|
|
|
|
Node* function = NumberFunction("isNaN");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* call =
|
|
|
|
graph()->NewNode(javascript()->Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsObjectIsNaN(p0));
|
|
|
|
}
|
|
|
|
|
2018-03-21 12:04:47 +00:00
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
// Number.isSafeInteger
|
|
|
|
|
|
|
|
TEST_F(JSCallReducerTest, NumberIsSafeIntegerWithIntegral32) {
|
|
|
|
Node* function = NumberFunction("isSafeInteger");
|
|
|
|
|
|
|
|
Node* effect = graph()->start();
|
|
|
|
Node* control = graph()->start();
|
|
|
|
Node* context = UndefinedConstant();
|
|
|
|
Node* frame_state = graph()->start();
|
|
|
|
Node* p0 = Parameter(Type::Any(), 0);
|
|
|
|
Node* call =
|
|
|
|
graph()->NewNode(javascript()->Call(3), function, UndefinedConstant(), p0,
|
|
|
|
context, frame_state, effect, control);
|
|
|
|
Reduction r = Reduce(call);
|
|
|
|
|
|
|
|
ASSERT_TRUE(r.Changed());
|
|
|
|
EXPECT_THAT(r.replacement(), IsObjectIsSafeInteger(p0));
|
|
|
|
}
|
|
|
|
|
2018-02-19 13:31:18 +00:00
|
|
|
} // namespace compiler
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|