| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include <limits> | 5 #include <limits> |
| 6 | 6 |
| 7 #include "src/compiler/change-lowering.h" |
| 7 #include "src/compiler/control-builders.h" | 8 #include "src/compiler/control-builders.h" |
| 8 #include "src/compiler/generic-node-inl.h" | 9 #include "src/compiler/generic-node-inl.h" |
| 10 #include "src/compiler/js-graph.h" |
| 9 #include "src/compiler/node-properties-inl.h" | 11 #include "src/compiler/node-properties-inl.h" |
| 10 #include "src/compiler/pipeline.h" | 12 #include "src/compiler/pipeline.h" |
| 11 #include "src/compiler/simplified-lowering.h" | |
| 12 #include "src/compiler/simplified-node-factory.h" | 13 #include "src/compiler/simplified-node-factory.h" |
| 13 #include "src/compiler/typer.h" | 14 #include "src/compiler/typer.h" |
| 14 #include "src/compiler/verifier.h" | 15 #include "src/compiler/verifier.h" |
| 15 #include "src/execution.h" | 16 #include "src/execution.h" |
| 16 #include "src/parser.h" | 17 #include "src/parser.h" |
| 17 #include "src/rewriter.h" | 18 #include "src/rewriter.h" |
| 18 #include "src/scopes.h" | 19 #include "src/scopes.h" |
| 19 #include "test/cctest/cctest.h" | 20 #include "test/cctest/cctest.h" |
| 20 #include "test/cctest/compiler/codegen-tester.h" | 21 #include "test/cctest/compiler/codegen-tester.h" |
| 21 #include "test/cctest/compiler/graph-builder-tester.h" | 22 #include "test/cctest/compiler/graph-builder-tester.h" |
| 22 #include "test/cctest/compiler/value-helper.h" | 23 #include "test/cctest/compiler/value-helper.h" |
| 23 | 24 |
| 24 using namespace v8::internal; | 25 using namespace v8::internal; |
| 25 using namespace v8::internal::compiler; | 26 using namespace v8::internal::compiler; |
| 26 | 27 |
| 27 template <typename ReturnType> | 28 template <typename ReturnType> |
| 28 class ChangesLoweringTester : public GraphBuilderTester<ReturnType> { | 29 class ChangesLoweringTester : public GraphBuilderTester<ReturnType> { |
| 29 public: | 30 public: |
| 30 explicit ChangesLoweringTester(MachineType p0 = kMachNone) | 31 explicit ChangesLoweringTester(MachineType p0 = kMachNone) |
| 31 : GraphBuilderTester<ReturnType>(p0), | 32 : GraphBuilderTester<ReturnType>(p0), |
| 32 typer(this->zone()), | 33 typer(this->zone()), |
| 33 jsgraph(this->graph(), this->common(), &typer), | 34 jsgraph(this->graph(), this->common(), &typer), |
| 34 lowering(&jsgraph), | |
| 35 function(Handle<JSFunction>::null()) {} | 35 function(Handle<JSFunction>::null()) {} |
| 36 | 36 |
| 37 Typer typer; | 37 Typer typer; |
| 38 JSGraph jsgraph; | 38 JSGraph jsgraph; |
| 39 SimplifiedLowering lowering; | |
| 40 Handle<JSFunction> function; | 39 Handle<JSFunction> function; |
| 41 | 40 |
| 42 Node* start() { return this->graph()->start(); } | 41 Node* start() { return this->graph()->start(); } |
| 43 | 42 |
| 44 template <typename T> | 43 template <typename T> |
| 45 T* CallWithPotentialGC() { | 44 T* CallWithPotentialGC() { |
| 46 // TODO(titzer): we need to wrap the code in a JSFunction and call it via | 45 // TODO(titzer): we need to wrap the code in a JSFunction and call it via |
| 47 // Execution::Call() so that the GC knows about the frame, can walk it, | 46 // Execution::Call() so that the GC knows about the frame, can walk it, |
| 48 // relocate the code object if necessary, etc. | 47 // relocate the code object if necessary, etc. |
| 49 // This is pretty ugly and at the least should be moved up to helpers. | 48 // This is pretty ugly and at the least should be moved up to helpers. |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 102 | 101 |
| 103 void BuildAndLower(Operator* op) { | 102 void BuildAndLower(Operator* op) { |
| 104 // We build a graph by hand here, because the raw machine assembler | 103 // We build a graph by hand here, because the raw machine assembler |
| 105 // does not add the correct control and effect nodes. | 104 // does not add the correct control and effect nodes. |
| 106 Node* p0 = this->Parameter(0); | 105 Node* p0 = this->Parameter(0); |
| 107 Node* change = this->graph()->NewNode(op, p0); | 106 Node* change = this->graph()->NewNode(op, p0); |
| 108 Node* ret = this->graph()->NewNode(this->common()->Return(), change, | 107 Node* ret = this->graph()->NewNode(this->common()->Return(), change, |
| 109 this->start(), this->start()); | 108 this->start(), this->start()); |
| 110 Node* end = this->graph()->NewNode(this->common()->End(), ret); | 109 Node* end = this->graph()->NewNode(this->common()->End(), ret); |
| 111 this->graph()->SetEnd(end); | 110 this->graph()->SetEnd(end); |
| 112 this->lowering.LowerChange(change, this->start(), this->start()); | 111 LowerChange(change); |
| 113 Verifier::Run(this->graph()); | |
| 114 } | 112 } |
| 115 | 113 |
| 116 void BuildStoreAndLower(Operator* op, Operator* store_op, void* location) { | 114 void BuildStoreAndLower(Operator* op, Operator* store_op, void* location) { |
| 117 // We build a graph by hand here, because the raw machine assembler | 115 // We build a graph by hand here, because the raw machine assembler |
| 118 // does not add the correct control and effect nodes. | 116 // does not add the correct control and effect nodes. |
| 119 Node* p0 = this->Parameter(0); | 117 Node* p0 = this->Parameter(0); |
| 120 Node* change = this->graph()->NewNode(op, p0); | 118 Node* change = this->graph()->NewNode(op, p0); |
| 121 Node* store = this->graph()->NewNode( | 119 Node* store = this->graph()->NewNode( |
| 122 store_op, this->PointerConstant(location), this->Int32Constant(0), | 120 store_op, this->PointerConstant(location), this->Int32Constant(0), |
| 123 change, this->start(), this->start()); | 121 change, this->start(), this->start()); |
| 124 Node* ret = this->graph()->NewNode( | 122 Node* ret = this->graph()->NewNode( |
| 125 this->common()->Return(), this->Int32Constant(0), store, this->start()); | 123 this->common()->Return(), this->Int32Constant(0), store, this->start()); |
| 126 Node* end = this->graph()->NewNode(this->common()->End(), ret); | 124 Node* end = this->graph()->NewNode(this->common()->End(), ret); |
| 127 this->graph()->SetEnd(end); | 125 this->graph()->SetEnd(end); |
| 128 this->lowering.LowerChange(change, this->start(), this->start()); | 126 LowerChange(change); |
| 129 Verifier::Run(this->graph()); | |
| 130 } | 127 } |
| 131 | 128 |
| 132 void BuildLoadAndLower(Operator* op, Operator* load_op, void* location) { | 129 void BuildLoadAndLower(Operator* op, Operator* load_op, void* location) { |
| 133 // We build a graph by hand here, because the raw machine assembler | 130 // We build a graph by hand here, because the raw machine assembler |
| 134 // does not add the correct control and effect nodes. | 131 // does not add the correct control and effect nodes. |
| 135 Node* load = | 132 Node* load = |
| 136 this->graph()->NewNode(load_op, this->PointerConstant(location), | 133 this->graph()->NewNode(load_op, this->PointerConstant(location), |
| 137 this->Int32Constant(0), this->start()); | 134 this->Int32Constant(0), this->start()); |
| 138 Node* change = this->graph()->NewNode(op, load); | 135 Node* change = this->graph()->NewNode(op, load); |
| 139 Node* ret = this->graph()->NewNode(this->common()->Return(), change, | 136 Node* ret = this->graph()->NewNode(this->common()->Return(), change, |
| 140 this->start(), this->start()); | 137 this->start(), this->start()); |
| 141 Node* end = this->graph()->NewNode(this->common()->End(), ret); | 138 Node* end = this->graph()->NewNode(this->common()->End(), ret); |
| 142 this->graph()->SetEnd(end); | 139 this->graph()->SetEnd(end); |
| 143 this->lowering.LowerChange(change, this->start(), this->start()); | 140 LowerChange(change); |
| 141 } |
| 142 |
| 143 void LowerChange(Node* change) { |
| 144 // Run the graph reducer with changes lowering on a single node. |
| 145 CompilationInfo info(this->isolate(), this->zone()); |
| 146 Linkage linkage(&info); |
| 147 ChangeLowering lowering(&jsgraph, &linkage, this->machine()); |
| 148 GraphReducer reducer(this->graph()); |
| 149 reducer.AddReducer(&lowering); |
| 150 reducer.ReduceNode(change); |
| 144 Verifier::Run(this->graph()); | 151 Verifier::Run(this->graph()); |
| 145 } | 152 } |
| 146 | 153 |
| 147 Factory* factory() { return this->isolate()->factory(); } | 154 Factory* factory() { return this->isolate()->factory(); } |
| 148 Heap* heap() { return this->isolate()->heap(); } | 155 Heap* heap() { return this->isolate()->heap(); } |
| 149 }; | 156 }; |
| 150 | 157 |
| 151 | 158 |
| 152 TEST(RunChangeTaggedToInt32) { | 159 TEST(RunChangeTaggedToInt32) { |
| 153 // Build and lower a graph by hand. | 160 // Build and lower a graph by hand. |
| (...skipping 134 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 288 } | 295 } |
| 289 | 296 |
| 290 if (Pipeline::SupportedTarget()) { | 297 if (Pipeline::SupportedTarget()) { |
| 291 Object* result = t.Call(0); | 298 Object* result = t.Call(0); |
| 292 Object* false_obj = t.heap()->false_value(); | 299 Object* false_obj = t.heap()->false_value(); |
| 293 CHECK_EQ(false_obj, result); | 300 CHECK_EQ(false_obj, result); |
| 294 } | 301 } |
| 295 } | 302 } |
| 296 | 303 |
| 297 | 304 |
| 298 bool TODO_INT32_TO_TAGGED_WILL_WORK(int32_t v) { | |
| 299 // TODO(titzer): enable all UI32 -> Tagged checking when inline allocation | |
| 300 // works. | |
| 301 return Smi::IsValid(v); | |
| 302 } | |
| 303 | |
| 304 | |
| 305 bool TODO_UINT32_TO_TAGGED_WILL_WORK(uint32_t v) { | |
| 306 // TODO(titzer): enable all UI32 -> Tagged checking when inline allocation | |
| 307 // works. | |
| 308 return v <= static_cast<uint32_t>(Smi::kMaxValue); | |
| 309 } | |
| 310 | |
| 311 | |
| 312 TEST(RunChangeInt32ToTagged) { | 305 TEST(RunChangeInt32ToTagged) { |
| 313 ChangesLoweringTester<Object*> t; | 306 ChangesLoweringTester<Object*> t; |
| 314 int32_t input; | 307 int32_t input; |
| 315 t.BuildLoadAndLower(t.simplified()->ChangeInt32ToTagged(), | 308 t.BuildLoadAndLower(t.simplified()->ChangeInt32ToTagged(), |
| 316 t.machine()->Load(kMachInt32), &input); | 309 t.machine()->Load(kMachInt32), &input); |
| 317 | 310 |
| 318 if (Pipeline::SupportedTarget()) { | 311 if (Pipeline::SupportedTarget()) { |
| 319 FOR_INT32_INPUTS(i) { | 312 FOR_INT32_INPUTS(i) { |
| 320 input = *i; | 313 input = *i; |
| 321 Object* result = t.CallWithPotentialGC<Object>(); | 314 Object* result = t.CallWithPotentialGC<Object>(); |
| 322 if (TODO_INT32_TO_TAGGED_WILL_WORK(input)) { | 315 t.CheckNumber(static_cast<double>(input), result); |
| 323 t.CheckNumber(static_cast<double>(input), result); | |
| 324 } | |
| 325 } | 316 } |
| 326 } | 317 } |
| 327 | 318 |
| 328 if (Pipeline::SupportedTarget()) { | 319 if (Pipeline::SupportedTarget()) { |
| 329 FOR_INT32_INPUTS(i) { | 320 FOR_INT32_INPUTS(i) { |
| 330 input = *i; | 321 input = *i; |
| 331 SimulateFullSpace(CcTest::heap()->new_space()); | 322 CcTest::heap()->DisableInlineAllocation(); |
| 332 Object* result = t.CallWithPotentialGC<Object>(); | 323 Object* result = t.CallWithPotentialGC<Object>(); |
| 333 if (TODO_INT32_TO_TAGGED_WILL_WORK(input)) { | 324 t.CheckNumber(static_cast<double>(input), result); |
| 334 t.CheckNumber(static_cast<double>(input), result); | |
| 335 } | |
| 336 } | 325 } |
| 337 } | 326 } |
| 338 } | 327 } |
| 339 | 328 |
| 340 | 329 |
| 341 TEST(RunChangeUint32ToTagged) { | 330 TEST(RunChangeUint32ToTagged) { |
| 342 ChangesLoweringTester<Object*> t; | 331 ChangesLoweringTester<Object*> t; |
| 343 uint32_t input; | 332 uint32_t input; |
| 344 t.BuildLoadAndLower(t.simplified()->ChangeUint32ToTagged(), | 333 t.BuildLoadAndLower(t.simplified()->ChangeUint32ToTagged(), |
| 345 t.machine()->Load(kMachUint32), &input); | 334 t.machine()->Load(kMachUint32), &input); |
| 346 | 335 |
| 347 if (Pipeline::SupportedTarget()) { | 336 if (Pipeline::SupportedTarget()) { |
| 348 FOR_UINT32_INPUTS(i) { | 337 FOR_UINT32_INPUTS(i) { |
| 349 input = *i; | 338 input = *i; |
| 350 Object* result = t.CallWithPotentialGC<Object>(); | 339 Object* result = t.CallWithPotentialGC<Object>(); |
| 351 double expected = static_cast<double>(input); | 340 double expected = static_cast<double>(input); |
| 352 if (TODO_UINT32_TO_TAGGED_WILL_WORK(input)) { | 341 t.CheckNumber(expected, result); |
| 353 t.CheckNumber(expected, result); | |
| 354 } | |
| 355 } | 342 } |
| 356 } | 343 } |
| 357 | 344 |
| 358 if (Pipeline::SupportedTarget()) { | 345 if (Pipeline::SupportedTarget()) { |
| 359 FOR_UINT32_INPUTS(i) { | 346 FOR_UINT32_INPUTS(i) { |
| 360 input = *i; | 347 input = *i; |
| 361 SimulateFullSpace(CcTest::heap()->new_space()); | 348 CcTest::heap()->DisableInlineAllocation(); |
| 362 Object* result = t.CallWithPotentialGC<Object>(); | 349 Object* result = t.CallWithPotentialGC<Object>(); |
| 363 double expected = static_cast<double>(static_cast<uint32_t>(input)); | 350 double expected = static_cast<double>(static_cast<uint32_t>(input)); |
| 364 if (TODO_UINT32_TO_TAGGED_WILL_WORK(input)) { | 351 t.CheckNumber(expected, result); |
| 365 t.CheckNumber(expected, result); | |
| 366 } | |
| 367 } | 352 } |
| 368 } | 353 } |
| 369 } | 354 } |
| 370 | 355 |
| 371 | 356 |
| 372 // TODO(titzer): lowering of Float64->Tagged needs inline allocation. | |
| 373 #define TODO_FLOAT64_TO_TAGGED false | |
| 374 | |
| 375 TEST(RunChangeFloat64ToTagged) { | 357 TEST(RunChangeFloat64ToTagged) { |
| 376 ChangesLoweringTester<Object*> t; | 358 ChangesLoweringTester<Object*> t; |
| 377 double input; | 359 double input; |
| 378 t.BuildLoadAndLower(t.simplified()->ChangeFloat64ToTagged(), | 360 t.BuildLoadAndLower(t.simplified()->ChangeFloat64ToTagged(), |
| 379 t.machine()->Load(kMachFloat64), &input); | 361 t.machine()->Load(kMachFloat64), &input); |
| 380 | 362 |
| 381 // TODO(titzer): need inline allocation to change float to tagged. | 363 { |
| 382 if (TODO_FLOAT64_TO_TAGGED && Pipeline::SupportedTarget()) { | |
| 383 FOR_FLOAT64_INPUTS(i) { | 364 FOR_FLOAT64_INPUTS(i) { |
| 384 input = *i; | 365 input = *i; |
| 385 Object* result = t.CallWithPotentialGC<Object>(); | 366 Object* result = t.CallWithPotentialGC<Object>(); |
| 386 t.CheckNumber(input, result); | 367 t.CheckNumber(input, result); |
| 387 } | 368 } |
| 388 } | 369 } |
| 389 | 370 |
| 390 if (TODO_FLOAT64_TO_TAGGED && Pipeline::SupportedTarget()) { | 371 { |
| 391 FOR_FLOAT64_INPUTS(i) { | 372 FOR_FLOAT64_INPUTS(i) { |
| 392 input = *i; | 373 input = *i; |
| 393 SimulateFullSpace(CcTest::heap()->new_space()); | 374 CcTest::heap()->DisableInlineAllocation(); |
| 394 Object* result = t.CallWithPotentialGC<Object>(); | 375 Object* result = t.CallWithPotentialGC<Object>(); |
| 395 t.CheckNumber(input, result); | 376 t.CheckNumber(input, result); |
| 396 } | 377 } |
| 397 } | 378 } |
| 398 } | 379 } |
| OLD | NEW |