blob: 37ba9e9904fa7148e3f4f15e8551fbc8d62b36af [file] [log] [blame]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001// Copyright 2015 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#include "src/interface-descriptors.h"
6#include "src/isolate.h"
7#include "test/cctest/compiler/function-tester.h"
8
9namespace v8 {
10namespace internal {
11namespace compiler {
12
13
14class CodeStubAssemblerTester : public CodeStubAssembler {
15 public:
Ben Murdochda12d292016-06-02 14:46:10 +010016 // Test generating code for a stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000017 CodeStubAssemblerTester(Isolate* isolate,
18 const CallInterfaceDescriptor& descriptor)
19 : CodeStubAssembler(isolate, isolate->runtime_zone(), descriptor,
Ben Murdoch097c5b22016-05-18 11:27:45 +010020 Code::ComputeFlags(Code::STUB), "test"),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000021 scope_(isolate) {}
22
Ben Murdochda12d292016-06-02 14:46:10 +010023 // Test generating code for a JS function (e.g. builtins).
24 CodeStubAssemblerTester(Isolate* isolate, int parameter_count)
25 : CodeStubAssembler(isolate, isolate->runtime_zone(), parameter_count,
26 Code::ComputeFlags(Code::FUNCTION), "test"),
27 scope_(isolate) {}
28
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000029 private:
30 HandleScope scope_;
31 LocalContext context_;
32};
33
34
35TEST(SimpleSmiReturn) {
36 Isolate* isolate(CcTest::InitIsolateOnce());
37 VoidDescriptor descriptor(isolate);
38 CodeStubAssemblerTester m(isolate, descriptor);
39 m.Return(m.SmiTag(m.Int32Constant(37)));
40 Handle<Code> code = m.GenerateCode();
41 FunctionTester ft(descriptor, code);
42 MaybeHandle<Object> result = ft.Call();
43 CHECK_EQ(37, Handle<Smi>::cast(result.ToHandleChecked())->value());
44}
45
46
47TEST(SimpleIntPtrReturn) {
48 Isolate* isolate(CcTest::InitIsolateOnce());
49 VoidDescriptor descriptor(isolate);
50 CodeStubAssemblerTester m(isolate, descriptor);
51 int test;
52 m.Return(m.IntPtrConstant(reinterpret_cast<intptr_t>(&test)));
53 Handle<Code> code = m.GenerateCode();
54 FunctionTester ft(descriptor, code);
55 MaybeHandle<Object> result = ft.Call();
56 CHECK_EQ(reinterpret_cast<intptr_t>(&test),
57 reinterpret_cast<intptr_t>(*result.ToHandleChecked()));
58}
59
60
61TEST(SimpleDoubleReturn) {
62 Isolate* isolate(CcTest::InitIsolateOnce());
63 VoidDescriptor descriptor(isolate);
64 CodeStubAssemblerTester m(isolate, descriptor);
65 m.Return(m.NumberConstant(0.5));
66 Handle<Code> code = m.GenerateCode();
67 FunctionTester ft(descriptor, code);
68 MaybeHandle<Object> result = ft.Call();
69 CHECK_EQ(0.5, Handle<HeapNumber>::cast(result.ToHandleChecked())->value());
70}
71
72
73TEST(SimpleCallRuntime1Arg) {
74 Isolate* isolate(CcTest::InitIsolateOnce());
75 VoidDescriptor descriptor(isolate);
76 CodeStubAssemblerTester m(isolate, descriptor);
77 Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
Ben Murdochda12d292016-06-02 14:46:10 +010078 Node* b = m.SmiTag(m.Int32Constant(0));
79 m.Return(m.CallRuntime(Runtime::kNumberToSmi, context, b));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000080 Handle<Code> code = m.GenerateCode();
81 FunctionTester ft(descriptor, code);
82 MaybeHandle<Object> result = ft.Call();
Ben Murdochda12d292016-06-02 14:46:10 +010083 CHECK_EQ(0, Handle<Smi>::cast(result.ToHandleChecked())->value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000084}
85
86
87TEST(SimpleTailCallRuntime1Arg) {
88 Isolate* isolate(CcTest::InitIsolateOnce());
89 VoidDescriptor descriptor(isolate);
90 CodeStubAssemblerTester m(isolate, descriptor);
91 Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
Ben Murdochda12d292016-06-02 14:46:10 +010092 Node* b = m.SmiTag(m.Int32Constant(0));
93 m.TailCallRuntime(Runtime::kNumberToSmi, context, b);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000094 Handle<Code> code = m.GenerateCode();
95 FunctionTester ft(descriptor, code);
96 MaybeHandle<Object> result = ft.Call();
Ben Murdochda12d292016-06-02 14:46:10 +010097 CHECK_EQ(0, Handle<Smi>::cast(result.ToHandleChecked())->value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000098}
99
100
101TEST(SimpleCallRuntime2Arg) {
102 Isolate* isolate(CcTest::InitIsolateOnce());
103 VoidDescriptor descriptor(isolate);
104 CodeStubAssemblerTester m(isolate, descriptor);
105 Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
106 Node* a = m.SmiTag(m.Int32Constant(2));
107 Node* b = m.SmiTag(m.Int32Constant(4));
108 m.Return(m.CallRuntime(Runtime::kMathPow, context, a, b));
109 Handle<Code> code = m.GenerateCode();
110 FunctionTester ft(descriptor, code);
111 MaybeHandle<Object> result = ft.Call();
112 CHECK_EQ(16, Handle<Smi>::cast(result.ToHandleChecked())->value());
113}
114
115
116TEST(SimpleTailCallRuntime2Arg) {
117 Isolate* isolate(CcTest::InitIsolateOnce());
118 VoidDescriptor descriptor(isolate);
119 CodeStubAssemblerTester m(isolate, descriptor);
120 Node* context = m.HeapConstant(Handle<Context>(isolate->native_context()));
121 Node* a = m.SmiTag(m.Int32Constant(2));
122 Node* b = m.SmiTag(m.Int32Constant(4));
123 m.TailCallRuntime(Runtime::kMathPow, context, a, b);
124 Handle<Code> code = m.GenerateCode();
125 FunctionTester ft(descriptor, code);
126 MaybeHandle<Object> result = ft.Call();
127 CHECK_EQ(16, Handle<Smi>::cast(result.ToHandleChecked())->value());
128}
129
Ben Murdoch097c5b22016-05-18 11:27:45 +0100130TEST(VariableMerge1) {
131 Isolate* isolate(CcTest::InitIsolateOnce());
132 VoidDescriptor descriptor(isolate);
133 CodeStubAssemblerTester m(isolate, descriptor);
134 CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
135 CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
136 Node* temp = m.Int32Constant(0);
137 var1.Bind(temp);
138 m.Branch(m.Int32Constant(1), &l1, &l2);
139 m.Bind(&l1);
140 CHECK_EQ(var1.value(), temp);
141 m.Goto(&merge);
142 m.Bind(&l2);
143 CHECK_EQ(var1.value(), temp);
144 m.Goto(&merge);
145 m.Bind(&merge);
146 CHECK_EQ(var1.value(), temp);
147}
148
149TEST(VariableMerge2) {
150 Isolate* isolate(CcTest::InitIsolateOnce());
151 VoidDescriptor descriptor(isolate);
152 CodeStubAssemblerTester m(isolate, descriptor);
153 CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
154 CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
155 Node* temp = m.Int32Constant(0);
156 var1.Bind(temp);
157 m.Branch(m.Int32Constant(1), &l1, &l2);
158 m.Bind(&l1);
159 CHECK_EQ(var1.value(), temp);
160 m.Goto(&merge);
161 m.Bind(&l2);
162 Node* temp2 = m.Int32Constant(2);
163 var1.Bind(temp2);
164 CHECK_EQ(var1.value(), temp2);
165 m.Goto(&merge);
166 m.Bind(&merge);
167 CHECK_NE(var1.value(), temp);
168}
169
170TEST(VariableMerge3) {
171 Isolate* isolate(CcTest::InitIsolateOnce());
172 VoidDescriptor descriptor(isolate);
173 CodeStubAssemblerTester m(isolate, descriptor);
174 CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
175 CodeStubAssembler::Variable var2(&m, MachineRepresentation::kTagged);
176 CodeStubAssembler::Label l1(&m), l2(&m), merge(&m);
177 Node* temp = m.Int32Constant(0);
178 var1.Bind(temp);
179 var2.Bind(temp);
180 m.Branch(m.Int32Constant(1), &l1, &l2);
181 m.Bind(&l1);
182 CHECK_EQ(var1.value(), temp);
183 m.Goto(&merge);
184 m.Bind(&l2);
185 Node* temp2 = m.Int32Constant(2);
186 var1.Bind(temp2);
187 CHECK_EQ(var1.value(), temp2);
188 m.Goto(&merge);
189 m.Bind(&merge);
190 CHECK_NE(var1.value(), temp);
191 CHECK_NE(var1.value(), temp2);
192 CHECK_EQ(var2.value(), temp);
193}
194
195TEST(VariableMergeBindFirst) {
196 Isolate* isolate(CcTest::InitIsolateOnce());
197 VoidDescriptor descriptor(isolate);
198 CodeStubAssemblerTester m(isolate, descriptor);
199 CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
200 CodeStubAssembler::Label l1(&m), l2(&m), merge(&m, &var1), end(&m);
201 Node* temp = m.Int32Constant(0);
202 var1.Bind(temp);
203 m.Branch(m.Int32Constant(1), &l1, &l2);
204 m.Bind(&l1);
205 CHECK_EQ(var1.value(), temp);
206 m.Goto(&merge);
207 m.Bind(&merge);
208 CHECK(var1.value() != temp);
209 CHECK(var1.value() != nullptr);
210 m.Goto(&end);
211 m.Bind(&l2);
212 Node* temp2 = m.Int32Constant(2);
213 var1.Bind(temp2);
214 CHECK_EQ(var1.value(), temp2);
215 m.Goto(&merge);
216 m.Bind(&end);
217 CHECK(var1.value() != temp);
218 CHECK(var1.value() != nullptr);
219}
220
221TEST(VariableMergeSwitch) {
222 Isolate* isolate(CcTest::InitIsolateOnce());
223 VoidDescriptor descriptor(isolate);
224 CodeStubAssemblerTester m(isolate, descriptor);
225 CodeStubAssembler::Variable var1(&m, MachineRepresentation::kTagged);
226 CodeStubAssembler::Label l1(&m), l2(&m), default_label(&m);
227 CodeStubAssembler::Label* labels[] = {&l1, &l2};
228 int32_t values[] = {1, 2};
229 Node* temp = m.Int32Constant(0);
230 var1.Bind(temp);
231 m.Switch(m.Int32Constant(2), &default_label, values, labels, 2);
232 m.Bind(&l1);
233 DCHECK_EQ(temp, var1.value());
234 m.Return(temp);
235 m.Bind(&l2);
236 DCHECK_EQ(temp, var1.value());
237 m.Return(temp);
238 m.Bind(&default_label);
239 DCHECK_EQ(temp, var1.value());
240 m.Return(temp);
241}
242
243TEST(FixedArrayAccessSmiIndex) {
244 Isolate* isolate(CcTest::InitIsolateOnce());
245 VoidDescriptor descriptor(isolate);
246 CodeStubAssemblerTester m(isolate, descriptor);
247 Handle<FixedArray> array = isolate->factory()->NewFixedArray(5);
248 array->set(4, Smi::FromInt(733));
Ben Murdochc5610432016-08-08 18:44:38 +0100249 m.Return(m.LoadFixedArrayElement(m.HeapConstant(array),
250 m.SmiTag(m.Int32Constant(4)), 0,
251 CodeStubAssembler::SMI_PARAMETERS));
Ben Murdoch097c5b22016-05-18 11:27:45 +0100252 Handle<Code> code = m.GenerateCode();
253 FunctionTester ft(descriptor, code);
254 MaybeHandle<Object> result = ft.Call();
255 CHECK_EQ(733, Handle<Smi>::cast(result.ToHandleChecked())->value());
256}
257
Ben Murdochda12d292016-06-02 14:46:10 +0100258TEST(LoadHeapNumberValue) {
259 Isolate* isolate(CcTest::InitIsolateOnce());
260 VoidDescriptor descriptor(isolate);
261 CodeStubAssemblerTester m(isolate, descriptor);
262 Handle<HeapNumber> number = isolate->factory()->NewHeapNumber(1234);
263 m.Return(m.SmiTag(
264 m.ChangeFloat64ToUint32(m.LoadHeapNumberValue(m.HeapConstant(number)))));
265 Handle<Code> code = m.GenerateCode();
266 FunctionTester ft(descriptor, code);
267 MaybeHandle<Object> result = ft.Call();
268 CHECK_EQ(1234, Handle<Smi>::cast(result.ToHandleChecked())->value());
269}
270
271TEST(LoadInstanceType) {
272 Isolate* isolate(CcTest::InitIsolateOnce());
273 VoidDescriptor descriptor(isolate);
274 CodeStubAssemblerTester m(isolate, descriptor);
275 Handle<HeapObject> undefined = isolate->factory()->undefined_value();
276 m.Return(m.SmiTag(m.LoadInstanceType(m.HeapConstant(undefined))));
277 Handle<Code> code = m.GenerateCode();
278 FunctionTester ft(descriptor, code);
279 MaybeHandle<Object> result = ft.Call();
280 CHECK_EQ(InstanceType::ODDBALL_TYPE,
281 Handle<Smi>::cast(result.ToHandleChecked())->value());
282}
283
284namespace {
285
286class TestBitField : public BitField<unsigned, 3, 3> {};
287
288} // namespace
289
290TEST(BitFieldDecode) {
291 Isolate* isolate(CcTest::InitIsolateOnce());
292 VoidDescriptor descriptor(isolate);
293 CodeStubAssemblerTester m(isolate, descriptor);
294 m.Return(m.SmiTag(m.BitFieldDecode<TestBitField>(m.Int32Constant(0x2f))));
295 Handle<Code> code = m.GenerateCode();
296 FunctionTester ft(descriptor, code);
297 MaybeHandle<Object> result = ft.Call();
298 // value = 00101111
299 // mask = 00111000
300 // result = 101
301 CHECK_EQ(5, Handle<Smi>::cast(result.ToHandleChecked())->value());
302}
303
304namespace {
305
306Handle<JSFunction> CreateFunctionFromCode(int parameter_count_with_receiver,
307 Handle<Code> code) {
308 Isolate* isolate = code->GetIsolate();
309 Handle<String> name = isolate->factory()->InternalizeUtf8String("test");
310 Handle<JSFunction> function =
311 isolate->factory()->NewFunctionWithoutPrototype(name, code);
312 function->shared()->set_internal_formal_parameter_count(
313 parameter_count_with_receiver - 1); // Implicit undefined receiver.
314 return function;
315}
316
317} // namespace
318
319TEST(JSFunction) {
320 const int kNumParams = 3; // Receiver, left, right.
321 Isolate* isolate(CcTest::InitIsolateOnce());
322 CodeStubAssemblerTester m(isolate, kNumParams);
323 m.Return(m.SmiTag(m.Int32Add(m.SmiToWord32(m.Parameter(1)),
324 m.SmiToWord32(m.Parameter(2)))));
325 Handle<Code> code = m.GenerateCode();
326 Handle<JSFunction> function = CreateFunctionFromCode(kNumParams, code);
327 Handle<Object> args[] = {Handle<Smi>(Smi::FromInt(23), isolate),
328 Handle<Smi>(Smi::FromInt(34), isolate)};
329 MaybeHandle<Object> result =
330 Execution::Call(isolate, function, isolate->factory()->undefined_value(),
331 arraysize(args), args);
332 CHECK_EQ(57, Handle<Smi>::cast(result.ToHandleChecked())->value());
333}
334
335TEST(SplitEdgeBranchMerge) {
336 Isolate* isolate(CcTest::InitIsolateOnce());
337 VoidDescriptor descriptor(isolate);
338 CodeStubAssemblerTester m(isolate, descriptor);
339 CodeStubAssembler::Label l1(&m), merge(&m);
340 m.Branch(m.Int32Constant(1), &l1, &merge);
341 m.Bind(&l1);
342 m.Goto(&merge);
343 m.Bind(&merge);
344 USE(m.GenerateCode());
345}
346
347TEST(SplitEdgeSwitchMerge) {
348 Isolate* isolate(CcTest::InitIsolateOnce());
349 VoidDescriptor descriptor(isolate);
350 CodeStubAssemblerTester m(isolate, descriptor);
351 CodeStubAssembler::Label l1(&m), l2(&m), l3(&m), default_label(&m);
352 CodeStubAssembler::Label* labels[] = {&l1, &l2};
353 int32_t values[] = {1, 2};
354 m.Branch(m.Int32Constant(1), &l3, &l1);
355 m.Bind(&l3);
356 m.Switch(m.Int32Constant(2), &default_label, values, labels, 2);
357 m.Bind(&l1);
358 m.Goto(&l2);
359 m.Bind(&l2);
360 m.Goto(&default_label);
361 m.Bind(&default_label);
362 USE(m.GenerateCode());
363}
364
Ben Murdochc5610432016-08-08 18:44:38 +0100365TEST(TestToConstant) {
366 Isolate* isolate(CcTest::InitIsolateOnce());
367 VoidDescriptor descriptor(isolate);
368 CodeStubAssemblerTester m(isolate, descriptor);
369 int32_t value32;
370 int64_t value64;
371 Node* a = m.Int32Constant(5);
372 CHECK(m.ToInt32Constant(a, value32));
373 CHECK(m.ToInt64Constant(a, value64));
374
375 a = m.Int64Constant(static_cast<int64_t>(1) << 32);
376 CHECK(!m.ToInt32Constant(a, value32));
377 CHECK(m.ToInt64Constant(a, value64));
378
379 a = m.Int64Constant(13);
380 CHECK(m.ToInt32Constant(a, value32));
381 CHECK(m.ToInt64Constant(a, value64));
382
383 a = m.UndefinedConstant();
384 CHECK(!m.ToInt32Constant(a, value32));
385 CHECK(!m.ToInt64Constant(a, value64));
386
387 a = m.UndefinedConstant();
388 CHECK(!m.ToInt32Constant(a, value32));
389 CHECK(!m.ToInt64Constant(a, value64));
390}
391
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000392} // namespace compiler
393} // namespace internal
394} // namespace v8