1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided
11 // with the distribution.
12 // * Neither the name of Google Inc. nor the names of its
13 // contributors may be used to endorse or promote products derived
14 // from this software without specific prior written permission.
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 #include "src/compiler.h"
34 #include "src/disasm.h"
35 #include "src/parser.h"
36 #include "test/cctest/cctest.h"
38 using namespace v8::internal;
40 static Handle<Object> GetGlobalProperty(const char* name) {
41 Isolate* isolate = CcTest::i_isolate();
42 return Object::GetProperty(
43 isolate, isolate->global_object(), name).ToHandleChecked();
47 static void SetGlobalProperty(const char* name, Object* value) {
48 Isolate* isolate = CcTest::i_isolate();
49 Handle<Object> object(value, isolate);
50 Handle<String> internalized_name =
51 isolate->factory()->InternalizeUtf8String(name);
52 Handle<JSObject> global(isolate->context()->global_object());
53 Runtime::SetObjectProperty(isolate, global, internalized_name, object,
58 static Handle<JSFunction> Compile(const char* source) {
59 Isolate* isolate = CcTest::i_isolate();
60 Handle<String> source_code = isolate->factory()->NewStringFromUtf8(
61 CStrVector(source)).ToHandleChecked();
62 Handle<SharedFunctionInfo> shared_function = Compiler::CompileScript(
63 source_code, Handle<String>(), 0, 0, false,
64 Handle<Context>(isolate->native_context()), NULL, NULL,
65 v8::ScriptCompiler::kNoCompileOptions, NOT_NATIVES_CODE);
66 return isolate->factory()->NewFunctionFromSharedFunctionInfo(
67 shared_function, isolate->native_context());
71 static double Inc(Isolate* isolate, int x) {
72 const char* source = "result = %d + 1;";
73 EmbeddedVector<char, 512> buffer;
74 SNPrintF(buffer, source, x);
76 Handle<JSFunction> fun = Compile(buffer.start());
77 if (fun.is_null()) return -1;
79 Handle<JSObject> global(isolate->context()->global_object());
80 Execution::Call(isolate, fun, global, 0, NULL).Check();
81 return GetGlobalProperty("result")->Number();
86 CcTest::InitializeVM();
87 v8::HandleScope scope(CcTest::isolate());
88 CHECK_EQ(4.0, Inc(CcTest::i_isolate(), 3));
92 static double Add(Isolate* isolate, int x, int y) {
93 Handle<JSFunction> fun = Compile("result = x + y;");
94 if (fun.is_null()) return -1;
96 SetGlobalProperty("x", Smi::FromInt(x));
97 SetGlobalProperty("y", Smi::FromInt(y));
98 Handle<JSObject> global(isolate->context()->global_object());
99 Execution::Call(isolate, fun, global, 0, NULL).Check();
100 return GetGlobalProperty("result")->Number();
105 CcTest::InitializeVM();
106 v8::HandleScope scope(CcTest::isolate());
107 CHECK_EQ(5.0, Add(CcTest::i_isolate(), 2, 3));
111 static double Abs(Isolate* isolate, int x) {
112 Handle<JSFunction> fun = Compile("if (x < 0) result = -x; else result = x;");
113 if (fun.is_null()) return -1;
115 SetGlobalProperty("x", Smi::FromInt(x));
116 Handle<JSObject> global(isolate->context()->global_object());
117 Execution::Call(isolate, fun, global, 0, NULL).Check();
118 return GetGlobalProperty("result")->Number();
123 CcTest::InitializeVM();
124 v8::HandleScope scope(CcTest::isolate());
125 CHECK_EQ(3.0, Abs(CcTest::i_isolate(), -3));
129 static double Sum(Isolate* isolate, int n) {
130 Handle<JSFunction> fun =
131 Compile("s = 0; while (n > 0) { s += n; n -= 1; }; result = s;");
132 if (fun.is_null()) return -1;
134 SetGlobalProperty("n", Smi::FromInt(n));
135 Handle<JSObject> global(isolate->context()->global_object());
136 Execution::Call(isolate, fun, global, 0, NULL).Check();
137 return GetGlobalProperty("result")->Number();
142 CcTest::InitializeVM();
143 v8::HandleScope scope(CcTest::isolate());
144 CHECK_EQ(5050.0, Sum(CcTest::i_isolate(), 100));
149 v8::HandleScope scope(CcTest::isolate());
150 v8::Local<v8::Context> context = CcTest::NewContext(PRINT_EXTENSION);
151 v8::Context::Scope context_scope(context);
152 const char* source = "for (n = 0; n < 100; ++n) print(n, 1, 2);";
153 Handle<JSFunction> fun = Compile(source);
154 if (fun.is_null()) return;
155 Handle<JSObject> global(CcTest::i_isolate()->context()->global_object());
156 Execution::Call(CcTest::i_isolate(), fun, global, 0, NULL).Check();
160 // The following test method stems from my coding efforts today. It
161 // tests all the functionality I have added to the compiler today
163 CcTest::InitializeVM();
164 v8::HandleScope scope(CcTest::isolate());
168 "if (a == a) r+=1;\n" // 1
169 "if (a != new Object()) r+=2;\n" // 2
171 "if (a.x == 42) r+=4;\n" // 4
172 "function foo() { var x = 87; return x; }\n"
173 "if (foo() == 87) r+=8;\n" // 8
174 "function bar() { var x; x = 99; return x; }\n"
175 "if (bar() == 99) r+=16;\n" // 16
176 "function baz() { var x = 1, y, z = 2; y = 3; return x + y + z; }\n"
177 "if (baz() == 6) r+=32;\n" // 32
178 "function Cons0() { this.x = 42; this.y = 87; }\n"
179 "if (new Cons0().x == 42) r+=64;\n" // 64
180 "if (new Cons0().y == 87) r+=128;\n" // 128
181 "function Cons2(x, y) { this.sum = x + y; }\n"
182 "if (new Cons2(3,4).sum == 7) r+=256;"; // 256
184 Handle<JSFunction> fun = Compile(source);
185 CHECK(!fun.is_null());
186 Handle<JSObject> global(CcTest::i_isolate()->context()->global_object());
188 CcTest::i_isolate(), fun, global, 0, NULL).Check();
189 CHECK_EQ(511.0, GetGlobalProperty("r")->Number());
193 TEST(UncaughtThrow) {
194 CcTest::InitializeVM();
195 v8::HandleScope scope(CcTest::isolate());
197 const char* source = "throw 42;";
198 Handle<JSFunction> fun = Compile(source);
199 CHECK(!fun.is_null());
200 Isolate* isolate = fun->GetIsolate();
201 Handle<JSObject> global(isolate->context()->global_object());
202 CHECK(Execution::Call(isolate, fun, global, 0, NULL).is_null());
203 CHECK_EQ(42.0, isolate->pending_exception()->Number());
207 // Tests calling a builtin function from C/C++ code, and the builtin function
208 // performs GC. It creates a stack frame looks like following:
214 FLAG_expose_gc = true;
215 v8::HandleScope scope(CcTest::isolate());
216 v8::Local<v8::Context> context =
217 CcTest::NewContext(PRINT_EXTENSION | GC_EXTENSION);
218 v8::Context::Scope context_scope(context);
220 const char* source = "function foo(a) { gc(), print(a); }";
222 Handle<JSFunction> fun0 = Compile(source);
223 CHECK(!fun0.is_null());
224 Isolate* isolate = fun0->GetIsolate();
226 // Run the generated code to populate the global object with 'foo'.
227 Handle<JSObject> global(isolate->context()->global_object());
228 Execution::Call(isolate, fun0, global, 0, NULL).Check();
230 Handle<String> foo_string =
231 isolate->factory()->InternalizeOneByteString(STATIC_CHAR_VECTOR("foo"));
232 Handle<Object> fun1 = Object::GetProperty(
233 isolate->global_object(), foo_string).ToHandleChecked();
234 CHECK(fun1->IsJSFunction());
236 Handle<Object> argv[] = {isolate->factory()->InternalizeOneByteString(
237 STATIC_CHAR_VECTOR("hello"))};
238 Execution::Call(isolate,
239 Handle<JSFunction>::cast(fun1),
246 // Regression 236. Calling InitLineEnds on a Script with undefined
247 // source resulted in crash.
248 TEST(Regression236) {
249 CcTest::InitializeVM();
250 Isolate* isolate = CcTest::i_isolate();
251 Factory* factory = isolate->factory();
252 v8::HandleScope scope(CcTest::isolate());
254 Handle<Script> script = factory->NewScript(factory->empty_string());
255 script->set_source(CcTest::heap()->undefined_value());
256 CHECK_EQ(-1, Script::GetLineNumber(script, 0));
257 CHECK_EQ(-1, Script::GetLineNumber(script, 100));
258 CHECK_EQ(-1, Script::GetLineNumber(script, -1));
262 TEST(GetScriptLineNumber) {
263 LocalContext context;
264 v8::HandleScope scope(CcTest::isolate());
265 v8::ScriptOrigin origin =
266 v8::ScriptOrigin(v8::String::NewFromUtf8(CcTest::isolate(), "test"));
267 const char function_f[] = "function f() {}";
268 const int max_rows = 1000;
269 const int buffer_size = max_rows + sizeof(function_f);
270 ScopedVector<char> buffer(buffer_size);
271 memset(buffer.start(), '\n', buffer_size - 1);
272 buffer[buffer_size - 1] = '\0';
274 for (int i = 0; i < max_rows; ++i) {
276 buffer[i - 1] = '\n';
277 MemCopy(&buffer[i], function_f, sizeof(function_f) - 1);
278 v8::Handle<v8::String> script_body =
279 v8::String::NewFromUtf8(CcTest::isolate(), buffer.start());
280 v8::Script::Compile(script_body, &origin)->Run();
281 v8::Local<v8::Function> f =
282 v8::Local<v8::Function>::Cast(context->Global()->Get(
283 v8::String::NewFromUtf8(CcTest::isolate(), "f")));
284 CHECK_EQ(i, f->GetScriptLineNumber());
289 TEST(FeedbackVectorPreservedAcrossRecompiles) {
290 if (i::FLAG_always_opt || !i::FLAG_crankshaft) return;
291 i::FLAG_allow_natives_syntax = true;
292 CcTest::InitializeVM();
293 if (!CcTest::i_isolate()->use_crankshaft()) return;
294 v8::HandleScope scope(CcTest::isolate());
296 // Make sure function f has a call that uses a type feedback slot.
297 CompileRun("function fun() {};"
299 "function f(a) { a(); } f(fun1);");
301 Handle<JSFunction> f =
302 v8::Utils::OpenHandle(
303 *v8::Handle<v8::Function>::Cast(
304 CcTest::global()->Get(v8_str("f"))));
306 // We shouldn't have deoptimization support. We want to recompile and
307 // verify that our feedback vector preserves information.
308 CHECK(!f->shared()->has_deoptimization_support());
309 Handle<TypeFeedbackVector> feedback_vector(f->shared()->feedback_vector());
311 // Verify that we gathered feedback.
312 int expected_slots = 0;
313 int expected_ic_slots = FLAG_vector_ics ? 2 : 1;
314 CHECK_EQ(expected_slots, feedback_vector->Slots());
315 CHECK_EQ(expected_ic_slots, feedback_vector->ICSlots());
316 FeedbackVectorICSlot slot_for_a(FLAG_vector_ics ? 1 : 0);
317 CHECK(feedback_vector->Get(slot_for_a)->IsJSFunction());
319 CompileRun("%OptimizeFunctionOnNextCall(f); f(fun1);");
321 // Verify that the feedback is still "gathered" despite a recompilation
323 CHECK(f->IsOptimized());
324 CHECK(f->shared()->has_deoptimization_support());
325 CHECK(f->shared()->feedback_vector()->Get(slot_for_a)->IsJSFunction());
329 TEST(FeedbackVectorUnaffectedByScopeChanges) {
330 if (i::FLAG_always_opt || !i::FLAG_lazy) return;
331 CcTest::InitializeVM();
332 v8::HandleScope scope(CcTest::isolate());
334 CompileRun("function builder() {"
335 " call_target = function() { return 3; };"
336 " return (function() {"
338 " return function() {"
344 "morphing_call = builder();");
346 Handle<JSFunction> f =
347 v8::Utils::OpenHandle(
348 *v8::Handle<v8::Function>::Cast(
349 CcTest::global()->Get(v8_str("morphing_call"))));
351 int expected_slots = 0;
352 int expected_ic_slots = FLAG_vector_ics ? 2 : 1;
353 CHECK_EQ(expected_slots, f->shared()->feedback_vector()->Slots());
354 CHECK_EQ(expected_ic_slots, f->shared()->feedback_vector()->ICSlots());
356 // And yet it's not compiled.
357 CHECK(!f->shared()->is_compiled());
359 CompileRun("morphing_call();");
361 // The vector should have the same size despite the new scoping.
362 CHECK_EQ(expected_slots, f->shared()->feedback_vector()->Slots());
363 CHECK_EQ(expected_ic_slots, f->shared()->feedback_vector()->ICSlots());
364 CHECK(f->shared()->is_compiled());
368 // Test that optimized code for different closures is actually shared
369 // immediately by the FastNewClosureStub when run in the same context.
370 TEST(OptimizedCodeSharing) {
371 // Skip test if --cache-optimized-code is not activated by default because
372 // FastNewClosureStub that is baked into the snapshot is incorrect.
373 if (!FLAG_cache_optimized_code) return;
374 FLAG_stress_compaction = false;
375 FLAG_allow_natives_syntax = true;
376 CcTest::InitializeVM();
377 v8::HandleScope scope(CcTest::isolate());
378 for (int i = 0; i < 10; i++) {
380 env->Global()->Set(v8::String::NewFromUtf8(CcTest::isolate(), "x"),
381 v8::Integer::New(CcTest::isolate(), i));
382 CompileRun("function MakeClosure() {"
383 " return function() { return x; };"
385 "var closure0 = MakeClosure();"
386 "%DebugPrint(closure0());"
387 "%OptimizeFunctionOnNextCall(closure0);"
388 "%DebugPrint(closure0());"
389 "var closure1 = MakeClosure();"
390 "var closure2 = MakeClosure();");
391 Handle<JSFunction> fun1 = v8::Utils::OpenHandle(
392 *v8::Local<v8::Function>::Cast(env->Global()->Get(v8_str("closure1"))));
393 Handle<JSFunction> fun2 = v8::Utils::OpenHandle(
394 *v8::Local<v8::Function>::Cast(env->Global()->Get(v8_str("closure2"))));
395 CHECK(fun1->IsOptimized()
396 || !CcTest::i_isolate()->use_crankshaft() || !fun1->IsOptimizable());
397 CHECK(fun2->IsOptimized()
398 || !CcTest::i_isolate()->use_crankshaft() || !fun2->IsOptimizable());
399 CHECK_EQ(fun1->code(), fun2->code());
404 #ifdef ENABLE_DISASSEMBLER
405 static Handle<JSFunction> GetJSFunction(v8::Handle<v8::Object> obj,
406 const char* property_name) {
407 v8::Local<v8::Function> fun =
408 v8::Local<v8::Function>::Cast(obj->Get(v8_str(property_name)));
409 return v8::Utils::OpenHandle(*fun);
413 static void CheckCodeForUnsafeLiteral(Handle<JSFunction> f) {
414 // Create a disassembler with default name lookup.
415 disasm::NameConverter name_converter;
416 disasm::Disassembler d(name_converter);
418 if (f->code()->kind() == Code::FUNCTION) {
419 Address pc = f->code()->instruction_start();
421 Min(f->code()->instruction_size(),
422 static_cast<int>(f->code()->back_edge_table_offset()));
423 Address end = pc + decode_size;
425 v8::internal::EmbeddedVector<char, 128> decode_buffer;
426 v8::internal::EmbeddedVector<char, 128> smi_hex_buffer;
427 Smi* smi = Smi::FromInt(12345678);
428 SNPrintF(smi_hex_buffer, "0x%" V8PRIxPTR, reinterpret_cast<intptr_t>(smi));
430 int num_const = d.ConstantPoolSizeAt(pc);
431 if (num_const >= 0) {
432 pc += (num_const + 1) * kPointerSize;
434 pc += d.InstructionDecode(decode_buffer, pc);
435 CHECK(strstr(decode_buffer.start(), smi_hex_buffer.start()) == NULL);
442 TEST(SplitConstantsInFullCompiler) {
443 LocalContext context;
444 v8::HandleScope scope(CcTest::isolate());
446 CompileRun("function f() { a = 12345678 }; f();");
447 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
448 CompileRun("function f(x) { a = 12345678 + x}; f(1);");
449 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
450 CompileRun("function f(x) { var arguments = 1; x += 12345678}; f(1);");
451 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
452 CompileRun("function f(x) { var arguments = 1; x = 12345678}; f(1);");
453 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));