blob: cdc9ba1553276ed9edaad35f8d0d25f0210ef7c6 [file] [log] [blame]
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001// Copyright 2011 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
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.
15//
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.
27
28#include "v8.h"
29
ager@chromium.org7c537e22008-10-16 08:43:32 +000030#include "bootstrapper.h"
karlklose@chromium.org44bc7082011-04-11 12:33:05 +000031#include "codegen.h"
ager@chromium.orgc4c92722009-11-18 14:12:51 +000032#include "compiler.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000033#include "debug.h"
ager@chromium.org7c537e22008-10-16 08:43:32 +000034#include "prettyprinter.h"
ager@chromium.org71daaf62009-04-01 07:22:49 +000035#include "rewriter.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036#include "runtime.h"
37#include "stub-cache.h"
38
kasperl@chromium.org71affb52009-05-26 05:44:31 +000039namespace v8 {
40namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000041
ager@chromium.org5c838252010-02-19 08:53:10 +000042#define __ ACCESS_MASM(masm_)
43
44#ifdef DEBUG
45
46Comment::Comment(MacroAssembler* masm, const char* msg)
47 : masm_(masm), msg_(msg) {
48 __ RecordComment(msg);
49}
50
51
52Comment::~Comment() {
53 if (msg_[0] == '[') __ RecordComment("]");
54}
55
56#endif // DEBUG
57
58#undef __
59
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +000060
ager@chromium.org5c838252010-02-19 08:53:10 +000061void CodeGenerator::MakeCodePrologue(CompilationInfo* info) {
ager@chromium.org7c537e22008-10-16 08:43:32 +000062#ifdef DEBUG
63 bool print_source = false;
64 bool print_ast = false;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000065 bool print_json_ast = false;
ager@chromium.org7c537e22008-10-16 08:43:32 +000066 const char* ftype;
67
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000068 if (Isolate::Current()->bootstrapper()->IsActive()) {
ager@chromium.org7c537e22008-10-16 08:43:32 +000069 print_source = FLAG_print_builtin_source;
70 print_ast = FLAG_print_builtin_ast;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000071 print_json_ast = FLAG_print_builtin_json_ast;
ager@chromium.org7c537e22008-10-16 08:43:32 +000072 ftype = "builtin";
73 } else {
74 print_source = FLAG_print_source;
75 print_ast = FLAG_print_ast;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000076 print_json_ast = FLAG_print_json_ast;
kasperl@chromium.orga5551262010-12-07 12:49:48 +000077 Vector<const char> filter = CStrVector(FLAG_hydrogen_filter);
78 if (print_source && !filter.is_empty()) {
79 print_source = info->function()->name()->IsEqualTo(filter);
80 }
81 if (print_ast && !filter.is_empty()) {
82 print_ast = info->function()->name()->IsEqualTo(filter);
83 }
84 if (print_json_ast && !filter.is_empty()) {
85 print_json_ast = info->function()->name()->IsEqualTo(filter);
86 }
ager@chromium.org7c537e22008-10-16 08:43:32 +000087 ftype = "user-defined";
88 }
89
90 if (FLAG_trace_codegen || print_source || print_ast) {
91 PrintF("*** Generate code for %s function: ", ftype);
ager@chromium.org5c838252010-02-19 08:53:10 +000092 info->function()->name()->ShortPrint();
ager@chromium.org7c537e22008-10-16 08:43:32 +000093 PrintF(" ***\n");
94 }
95
96 if (print_source) {
ager@chromium.org5c838252010-02-19 08:53:10 +000097 PrintF("--- Source from AST ---\n%s\n",
98 PrettyPrinter().PrintProgram(info->function()));
ager@chromium.org7c537e22008-10-16 08:43:32 +000099 }
100
101 if (print_ast) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000102 PrintF("--- AST ---\n%s\n",
103 AstPrinter().PrintProgram(info->function()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000104 }
105
106 if (print_json_ast) {
107 JsonAstBuilder builder;
ager@chromium.org5c838252010-02-19 08:53:10 +0000108 PrintF("%s", builder.BuildProgram(info->function()));
ager@chromium.org7c537e22008-10-16 08:43:32 +0000109 }
110#endif // DEBUG
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000111}
ager@chromium.org7c537e22008-10-16 08:43:32 +0000112
ager@chromium.org7c537e22008-10-16 08:43:32 +0000113
ager@chromium.org5c838252010-02-19 08:53:10 +0000114Handle<Code> CodeGenerator::MakeCodeEpilogue(MacroAssembler* masm,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000115 Code::Flags flags,
ager@chromium.org5c838252010-02-19 08:53:10 +0000116 CompilationInfo* info) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000117 Isolate* isolate = info->isolate();
118
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000119 // Allocate and install the code.
ager@chromium.org7c537e22008-10-16 08:43:32 +0000120 CodeDesc desc;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000121 masm->GetCode(&desc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000122 Handle<Code> code =
123 isolate->factory()->NewCode(desc, flags, masm->CodeObject());
ager@chromium.org7c537e22008-10-16 08:43:32 +0000124
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000125 if (!code.is_null()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000126 isolate->counters()->total_compiled_code_size()->Increment(
127 code->instruction_size());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000128 }
129 return code;
130}
131
132
133void CodeGenerator::PrintCode(Handle<Code> code, CompilationInfo* info) {
ager@chromium.org7c537e22008-10-16 08:43:32 +0000134#ifdef ENABLE_DISASSEMBLER
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000135 bool print_code = Isolate::Current()->bootstrapper()->IsActive()
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000136 ? FLAG_print_builtin_code
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000137 : (FLAG_print_code || (info->IsOptimizing() && FLAG_print_opt_code));
138 Vector<const char> filter = CStrVector(FLAG_hydrogen_filter);
139 FunctionLiteral* function = info->function();
140 bool match = filter.is_empty() || function->debug_name()->IsEqualTo(filter);
141 if (print_code && match) {
ager@chromium.org7c537e22008-10-16 08:43:32 +0000142 // Print the source code if available.
ager@chromium.org5c838252010-02-19 08:53:10 +0000143 Handle<Script> script = info->script();
ager@chromium.org7c537e22008-10-16 08:43:32 +0000144 if (!script->IsUndefined() && !script->source()->IsUndefined()) {
145 PrintF("--- Raw source ---\n");
146 StringInputBuffer stream(String::cast(script->source()));
ager@chromium.org5c838252010-02-19 08:53:10 +0000147 stream.Seek(function->start_position());
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000148 // fun->end_position() points to the last character in the stream. We
ager@chromium.org7c537e22008-10-16 08:43:32 +0000149 // need to compensate by adding one to calculate the length.
ager@chromium.org5c838252010-02-19 08:53:10 +0000150 int source_len =
151 function->end_position() - function->start_position() + 1;
ager@chromium.org7c537e22008-10-16 08:43:32 +0000152 for (int i = 0; i < source_len; i++) {
153 if (stream.has_more()) PrintF("%c", stream.GetNext());
154 }
155 PrintF("\n\n");
156 }
whesse@chromium.org023421e2010-12-21 12:19:12 +0000157 if (info->IsOptimizing()) {
158 if (FLAG_print_unopt_code) {
159 PrintF("--- Unoptimized code ---\n");
160 info->closure()->shared()->code()->Disassemble(
161 *function->debug_name()->ToCString());
162 }
163 PrintF("--- Optimized code ---\n");
164 } else {
165 PrintF("--- Code ---\n");
166 }
167 code->Disassemble(*function->debug_name()->ToCString());
ager@chromium.org7c537e22008-10-16 08:43:32 +0000168 }
169#endif // ENABLE_DISASSEMBLER
ager@chromium.org7c537e22008-10-16 08:43:32 +0000170}
171
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000172
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000173bool CodeGenerator::ShouldGenerateLog(Expression* type) {
174 ASSERT(type != NULL);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +0000175 Isolate* isolate = Isolate::Current();
176 if (!isolate->logger()->is_logging() && !CpuProfiler::is_profiling(isolate)) {
177 return false;
178 }
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000179 Handle<String> name = Handle<String>::cast(type->AsLiteral()->handle());
180 if (FLAG_log_regexp) {
kmillikin@chromium.org7c2628c2011-08-10 11:27:35 +0000181 if (name->IsEqualTo(CStrVector("regexp")))
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000182 return true;
183 }
184 return false;
185}
186
187
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000188bool CodeGenerator::RecordPositions(MacroAssembler* masm,
189 int pos,
190 bool right_here) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000191 if (pos != RelocInfo::kNoPosition) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000192 masm->positions_recorder()->RecordStatementPosition(pos);
193 masm->positions_recorder()->RecordPosition(pos);
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000194 if (right_here) {
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000195 return masm->positions_recorder()->WriteRecordedPositions();
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000196 }
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000197 }
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000198 return false;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000199}
200
201
ager@chromium.org7c537e22008-10-16 08:43:32 +0000202void ArgumentsAccessStub::Generate(MacroAssembler* masm) {
203 switch (type_) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000204 case READ_ELEMENT:
205 GenerateReadElement(masm);
206 break;
whesse@chromium.org7b260152011-06-20 15:33:18 +0000207 case NEW_NON_STRICT_FAST:
208 GenerateNewNonStrictFast(masm);
209 break;
210 case NEW_NON_STRICT_SLOW:
211 GenerateNewNonStrictSlow(masm);
212 break;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000213 case NEW_STRICT:
whesse@chromium.org7b260152011-06-20 15:33:18 +0000214 GenerateNewStrict(masm);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000215 break;
ager@chromium.org7c537e22008-10-16 08:43:32 +0000216 }
217}
218
219
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000220int CEntryStub::MinorKey() {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000221 ASSERT(result_size_ == 1 || result_size_ == 2);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000222 int result = save_doubles_ ? 1 : 0;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000223#ifdef _WIN64
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000224 return result | ((result_size_ == 1) ? 0 : 2);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000225#else
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000226 return result;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000227#endif
228}
229
230
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000231} } // namespace v8::internal