| 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 "src/v8.h" | 5 #include "src/v8.h" |
| 6 #include "test/cctest/cctest.h" | 6 #include "test/cctest/cctest.h" |
| 7 | 7 |
| 8 #include "src/compiler/access-builder.h" | 8 #include "src/compiler/access-builder.h" |
| 9 #include "src/compiler/common-operator.h" | 9 #include "src/compiler/common-operator.h" |
| 10 #include "src/compiler/generic-node-inl.h" | 10 #include "src/compiler/generic-node-inl.h" |
| (...skipping 21 matching lines...) Expand all Loading... |
| 32 ~TestLoop() { delete[] nodes; } | 32 ~TestLoop() { delete[] nodes; } |
| 33 }; | 33 }; |
| 34 | 34 |
| 35 | 35 |
| 36 static TestLoop* CreateLoop(Schedule* schedule, int count) { | 36 static TestLoop* CreateLoop(Schedule* schedule, int count) { |
| 37 TestLoop* loop = new TestLoop(); | 37 TestLoop* loop = new TestLoop(); |
| 38 loop->count = count; | 38 loop->count = count; |
| 39 loop->nodes = new BasicBlock* [count]; | 39 loop->nodes = new BasicBlock* [count]; |
| 40 for (int i = 0; i < count; i++) { | 40 for (int i = 0; i < count; i++) { |
| 41 loop->nodes[i] = schedule->NewBasicBlock(); | 41 loop->nodes[i] = schedule->NewBasicBlock(); |
| 42 if (i > 0) schedule->AddSuccessor(loop->nodes[i - 1], loop->nodes[i]); | 42 if (i > 0) { |
| 43 schedule->AddSuccessorForTesting(loop->nodes[i - 1], loop->nodes[i]); |
| 44 } |
| 43 } | 45 } |
| 44 schedule->AddSuccessor(loop->nodes[count - 1], loop->nodes[0]); | 46 schedule->AddSuccessorForTesting(loop->nodes[count - 1], loop->nodes[0]); |
| 45 return loop; | 47 return loop; |
| 46 } | 48 } |
| 47 | 49 |
| 48 | 50 |
| 49 static void CheckRPONumbers(BasicBlockVector* order, size_t expected, | 51 static void CheckRPONumbers(BasicBlockVector* order, size_t expected, |
| 50 bool loops_allowed) { | 52 bool loops_allowed) { |
| 51 CHECK(expected == order->size()); | 53 CHECK(expected == order->size()); |
| 52 for (int i = 0; i < static_cast<int>(order->size()); i++) { | 54 for (int i = 0; i < static_cast<int>(order->size()); i++) { |
| 53 CHECK(order->at(i)->rpo_number() == i); | 55 CHECK(order->at(i)->rpo_number() == i); |
| 54 if (!loops_allowed) CHECK_LT(order->at(i)->loop_end(), 0); | 56 if (!loops_allowed) CHECK_LT(order->at(i)->loop_end(), 0); |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 153 CHECK(block->rpo_number() + 1 == block->SuccessorAt(0)->rpo_number()); | 155 CHECK(block->rpo_number() + 1 == block->SuccessorAt(0)->rpo_number()); |
| 154 } | 156 } |
| 155 } | 157 } |
| 156 } | 158 } |
| 157 } | 159 } |
| 158 | 160 |
| 159 | 161 |
| 160 TEST(RPOSelfLoop) { | 162 TEST(RPOSelfLoop) { |
| 161 HandleAndZoneScope scope; | 163 HandleAndZoneScope scope; |
| 162 Schedule schedule(scope.main_zone()); | 164 Schedule schedule(scope.main_zone()); |
| 163 schedule.AddSuccessor(schedule.start(), schedule.start()); | 165 schedule.AddSuccessorForTesting(schedule.start(), schedule.start()); |
| 164 ZonePool zone_pool(scope.main_isolate()); | 166 ZonePool zone_pool(scope.main_isolate()); |
| 165 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 167 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 166 CheckRPONumbers(order, 1, true); | 168 CheckRPONumbers(order, 1, true); |
| 167 BasicBlock* loop[] = {schedule.start()}; | 169 BasicBlock* loop[] = {schedule.start()}; |
| 168 CheckLoopContains(loop, 1); | 170 CheckLoopContains(loop, 1); |
| 169 } | 171 } |
| 170 | 172 |
| 171 | 173 |
| 172 TEST(RPOEntryLoop) { | 174 TEST(RPOEntryLoop) { |
| 173 HandleAndZoneScope scope; | 175 HandleAndZoneScope scope; |
| 174 Schedule schedule(scope.main_zone()); | 176 Schedule schedule(scope.main_zone()); |
| 175 schedule.AddSuccessor(schedule.start(), schedule.end()); | 177 schedule.AddSuccessorForTesting(schedule.start(), schedule.end()); |
| 176 schedule.AddSuccessor(schedule.end(), schedule.start()); | 178 schedule.AddSuccessorForTesting(schedule.end(), schedule.start()); |
| 177 ZonePool zone_pool(scope.main_isolate()); | 179 ZonePool zone_pool(scope.main_isolate()); |
| 178 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 180 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 179 CheckRPONumbers(order, 2, true); | 181 CheckRPONumbers(order, 2, true); |
| 180 BasicBlock* loop[] = {schedule.start(), schedule.end()}; | 182 BasicBlock* loop[] = {schedule.start(), schedule.end()}; |
| 181 CheckLoopContains(loop, 2); | 183 CheckLoopContains(loop, 2); |
| 182 } | 184 } |
| 183 | 185 |
| 184 | 186 |
| 185 TEST(RPOEndLoop) { | 187 TEST(RPOEndLoop) { |
| 186 HandleAndZoneScope scope; | 188 HandleAndZoneScope scope; |
| 187 Schedule schedule(scope.main_zone()); | 189 Schedule schedule(scope.main_zone()); |
| 188 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 2)); | 190 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 2)); |
| 189 schedule.AddSuccessor(schedule.start(), loop1->header()); | 191 schedule.AddSuccessorForTesting(schedule.start(), loop1->header()); |
| 190 ZonePool zone_pool(scope.main_isolate()); | 192 ZonePool zone_pool(scope.main_isolate()); |
| 191 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 193 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 192 CheckRPONumbers(order, 3, true); | 194 CheckRPONumbers(order, 3, true); |
| 193 CheckLoopContains(loop1->nodes, loop1->count); | 195 CheckLoopContains(loop1->nodes, loop1->count); |
| 194 } | 196 } |
| 195 | 197 |
| 196 | 198 |
| 197 TEST(RPOEndLoopNested) { | 199 TEST(RPOEndLoopNested) { |
| 198 HandleAndZoneScope scope; | 200 HandleAndZoneScope scope; |
| 199 Schedule schedule(scope.main_zone()); | 201 Schedule schedule(scope.main_zone()); |
| 200 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 2)); | 202 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 2)); |
| 201 schedule.AddSuccessor(schedule.start(), loop1->header()); | 203 schedule.AddSuccessorForTesting(schedule.start(), loop1->header()); |
| 202 schedule.AddSuccessor(loop1->last(), schedule.start()); | 204 schedule.AddSuccessorForTesting(loop1->last(), schedule.start()); |
| 203 ZonePool zone_pool(scope.main_isolate()); | 205 ZonePool zone_pool(scope.main_isolate()); |
| 204 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 206 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 205 CheckRPONumbers(order, 3, true); | 207 CheckRPONumbers(order, 3, true); |
| 206 CheckLoopContains(loop1->nodes, loop1->count); | 208 CheckLoopContains(loop1->nodes, loop1->count); |
| 207 } | 209 } |
| 208 | 210 |
| 209 | 211 |
| 210 TEST(RPODiamond) { | 212 TEST(RPODiamond) { |
| 211 HandleAndZoneScope scope; | 213 HandleAndZoneScope scope; |
| 212 Schedule schedule(scope.main_zone()); | 214 Schedule schedule(scope.main_zone()); |
| 213 | 215 |
| 214 BasicBlock* A = schedule.start(); | 216 BasicBlock* A = schedule.start(); |
| 215 BasicBlock* B = schedule.NewBasicBlock(); | 217 BasicBlock* B = schedule.NewBasicBlock(); |
| 216 BasicBlock* C = schedule.NewBasicBlock(); | 218 BasicBlock* C = schedule.NewBasicBlock(); |
| 217 BasicBlock* D = schedule.end(); | 219 BasicBlock* D = schedule.end(); |
| 218 | 220 |
| 219 schedule.AddSuccessor(A, B); | 221 schedule.AddSuccessorForTesting(A, B); |
| 220 schedule.AddSuccessor(A, C); | 222 schedule.AddSuccessorForTesting(A, C); |
| 221 schedule.AddSuccessor(B, D); | 223 schedule.AddSuccessorForTesting(B, D); |
| 222 schedule.AddSuccessor(C, D); | 224 schedule.AddSuccessorForTesting(C, D); |
| 223 | 225 |
| 224 ZonePool zone_pool(scope.main_isolate()); | 226 ZonePool zone_pool(scope.main_isolate()); |
| 225 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 227 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 226 CheckRPONumbers(order, 4, false); | 228 CheckRPONumbers(order, 4, false); |
| 227 | 229 |
| 228 CHECK_EQ(0, A->rpo_number()); | 230 CHECK_EQ(0, A->rpo_number()); |
| 229 CHECK((B->rpo_number() == 1 && C->rpo_number() == 2) || | 231 CHECK((B->rpo_number() == 1 && C->rpo_number() == 2) || |
| 230 (B->rpo_number() == 2 && C->rpo_number() == 1)); | 232 (B->rpo_number() == 2 && C->rpo_number() == 1)); |
| 231 CHECK_EQ(3, D->rpo_number()); | 233 CHECK_EQ(3, D->rpo_number()); |
| 232 } | 234 } |
| 233 | 235 |
| 234 | 236 |
| 235 TEST(RPOLoop1) { | 237 TEST(RPOLoop1) { |
| 236 HandleAndZoneScope scope; | 238 HandleAndZoneScope scope; |
| 237 Schedule schedule(scope.main_zone()); | 239 Schedule schedule(scope.main_zone()); |
| 238 | 240 |
| 239 BasicBlock* A = schedule.start(); | 241 BasicBlock* A = schedule.start(); |
| 240 BasicBlock* B = schedule.NewBasicBlock(); | 242 BasicBlock* B = schedule.NewBasicBlock(); |
| 241 BasicBlock* C = schedule.NewBasicBlock(); | 243 BasicBlock* C = schedule.NewBasicBlock(); |
| 242 BasicBlock* D = schedule.end(); | 244 BasicBlock* D = schedule.end(); |
| 243 | 245 |
| 244 schedule.AddSuccessor(A, B); | 246 schedule.AddSuccessorForTesting(A, B); |
| 245 schedule.AddSuccessor(B, C); | 247 schedule.AddSuccessorForTesting(B, C); |
| 246 schedule.AddSuccessor(C, B); | 248 schedule.AddSuccessorForTesting(C, B); |
| 247 schedule.AddSuccessor(C, D); | 249 schedule.AddSuccessorForTesting(C, D); |
| 248 | 250 |
| 249 ZonePool zone_pool(scope.main_isolate()); | 251 ZonePool zone_pool(scope.main_isolate()); |
| 250 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 252 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 251 CheckRPONumbers(order, 4, true); | 253 CheckRPONumbers(order, 4, true); |
| 252 BasicBlock* loop[] = {B, C}; | 254 BasicBlock* loop[] = {B, C}; |
| 253 CheckLoopContains(loop, 2); | 255 CheckLoopContains(loop, 2); |
| 254 } | 256 } |
| 255 | 257 |
| 256 | 258 |
| 257 TEST(RPOLoop2) { | 259 TEST(RPOLoop2) { |
| 258 HandleAndZoneScope scope; | 260 HandleAndZoneScope scope; |
| 259 Schedule schedule(scope.main_zone()); | 261 Schedule schedule(scope.main_zone()); |
| 260 | 262 |
| 261 BasicBlock* A = schedule.start(); | 263 BasicBlock* A = schedule.start(); |
| 262 BasicBlock* B = schedule.NewBasicBlock(); | 264 BasicBlock* B = schedule.NewBasicBlock(); |
| 263 BasicBlock* C = schedule.NewBasicBlock(); | 265 BasicBlock* C = schedule.NewBasicBlock(); |
| 264 BasicBlock* D = schedule.end(); | 266 BasicBlock* D = schedule.end(); |
| 265 | 267 |
| 266 schedule.AddSuccessor(A, B); | 268 schedule.AddSuccessorForTesting(A, B); |
| 267 schedule.AddSuccessor(B, C); | 269 schedule.AddSuccessorForTesting(B, C); |
| 268 schedule.AddSuccessor(C, B); | 270 schedule.AddSuccessorForTesting(C, B); |
| 269 schedule.AddSuccessor(B, D); | 271 schedule.AddSuccessorForTesting(B, D); |
| 270 | 272 |
| 271 ZonePool zone_pool(scope.main_isolate()); | 273 ZonePool zone_pool(scope.main_isolate()); |
| 272 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 274 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 273 CheckRPONumbers(order, 4, true); | 275 CheckRPONumbers(order, 4, true); |
| 274 BasicBlock* loop[] = {B, C}; | 276 BasicBlock* loop[] = {B, C}; |
| 275 CheckLoopContains(loop, 2); | 277 CheckLoopContains(loop, 2); |
| 276 } | 278 } |
| 277 | 279 |
| 278 | 280 |
| 279 TEST(RPOLoopN) { | 281 TEST(RPOLoopN) { |
| 280 HandleAndZoneScope scope; | 282 HandleAndZoneScope scope; |
| 281 | 283 |
| 282 for (int i = 0; i < 11; i++) { | 284 for (int i = 0; i < 11; i++) { |
| 283 Schedule schedule(scope.main_zone()); | 285 Schedule schedule(scope.main_zone()); |
| 284 BasicBlock* A = schedule.start(); | 286 BasicBlock* A = schedule.start(); |
| 285 BasicBlock* B = schedule.NewBasicBlock(); | 287 BasicBlock* B = schedule.NewBasicBlock(); |
| 286 BasicBlock* C = schedule.NewBasicBlock(); | 288 BasicBlock* C = schedule.NewBasicBlock(); |
| 287 BasicBlock* D = schedule.NewBasicBlock(); | 289 BasicBlock* D = schedule.NewBasicBlock(); |
| 288 BasicBlock* E = schedule.NewBasicBlock(); | 290 BasicBlock* E = schedule.NewBasicBlock(); |
| 289 BasicBlock* F = schedule.NewBasicBlock(); | 291 BasicBlock* F = schedule.NewBasicBlock(); |
| 290 BasicBlock* G = schedule.end(); | 292 BasicBlock* G = schedule.end(); |
| 291 | 293 |
| 292 schedule.AddSuccessor(A, B); | 294 schedule.AddSuccessorForTesting(A, B); |
| 293 schedule.AddSuccessor(B, C); | 295 schedule.AddSuccessorForTesting(B, C); |
| 294 schedule.AddSuccessor(C, D); | 296 schedule.AddSuccessorForTesting(C, D); |
| 295 schedule.AddSuccessor(D, E); | 297 schedule.AddSuccessorForTesting(D, E); |
| 296 schedule.AddSuccessor(E, F); | 298 schedule.AddSuccessorForTesting(E, F); |
| 297 schedule.AddSuccessor(F, B); | 299 schedule.AddSuccessorForTesting(F, B); |
| 298 schedule.AddSuccessor(B, G); | 300 schedule.AddSuccessorForTesting(B, G); |
| 299 | 301 |
| 300 // Throw in extra backedges from time to time. | 302 // Throw in extra backedges from time to time. |
| 301 if (i == 1) schedule.AddSuccessor(B, B); | 303 if (i == 1) schedule.AddSuccessorForTesting(B, B); |
| 302 if (i == 2) schedule.AddSuccessor(C, B); | 304 if (i == 2) schedule.AddSuccessorForTesting(C, B); |
| 303 if (i == 3) schedule.AddSuccessor(D, B); | 305 if (i == 3) schedule.AddSuccessorForTesting(D, B); |
| 304 if (i == 4) schedule.AddSuccessor(E, B); | 306 if (i == 4) schedule.AddSuccessorForTesting(E, B); |
| 305 if (i == 5) schedule.AddSuccessor(F, B); | 307 if (i == 5) schedule.AddSuccessorForTesting(F, B); |
| 306 | 308 |
| 307 // Throw in extra loop exits from time to time. | 309 // Throw in extra loop exits from time to time. |
| 308 if (i == 6) schedule.AddSuccessor(B, G); | 310 if (i == 6) schedule.AddSuccessorForTesting(B, G); |
| 309 if (i == 7) schedule.AddSuccessor(C, G); | 311 if (i == 7) schedule.AddSuccessorForTesting(C, G); |
| 310 if (i == 8) schedule.AddSuccessor(D, G); | 312 if (i == 8) schedule.AddSuccessorForTesting(D, G); |
| 311 if (i == 9) schedule.AddSuccessor(E, G); | 313 if (i == 9) schedule.AddSuccessorForTesting(E, G); |
| 312 if (i == 10) schedule.AddSuccessor(F, G); | 314 if (i == 10) schedule.AddSuccessorForTesting(F, G); |
| 313 | 315 |
| 314 ZonePool zone_pool(scope.main_isolate()); | 316 ZonePool zone_pool(scope.main_isolate()); |
| 315 BasicBlockVector* order = | 317 BasicBlockVector* order = |
| 316 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 318 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 317 CheckRPONumbers(order, 7, true); | 319 CheckRPONumbers(order, 7, true); |
| 318 BasicBlock* loop[] = {B, C, D, E, F}; | 320 BasicBlock* loop[] = {B, C, D, E, F}; |
| 319 CheckLoopContains(loop, 5); | 321 CheckLoopContains(loop, 5); |
| 320 } | 322 } |
| 321 } | 323 } |
| 322 | 324 |
| 323 | 325 |
| 324 TEST(RPOLoopNest1) { | 326 TEST(RPOLoopNest1) { |
| 325 HandleAndZoneScope scope; | 327 HandleAndZoneScope scope; |
| 326 Schedule schedule(scope.main_zone()); | 328 Schedule schedule(scope.main_zone()); |
| 327 | 329 |
| 328 BasicBlock* A = schedule.start(); | 330 BasicBlock* A = schedule.start(); |
| 329 BasicBlock* B = schedule.NewBasicBlock(); | 331 BasicBlock* B = schedule.NewBasicBlock(); |
| 330 BasicBlock* C = schedule.NewBasicBlock(); | 332 BasicBlock* C = schedule.NewBasicBlock(); |
| 331 BasicBlock* D = schedule.NewBasicBlock(); | 333 BasicBlock* D = schedule.NewBasicBlock(); |
| 332 BasicBlock* E = schedule.NewBasicBlock(); | 334 BasicBlock* E = schedule.NewBasicBlock(); |
| 333 BasicBlock* F = schedule.end(); | 335 BasicBlock* F = schedule.end(); |
| 334 | 336 |
| 335 schedule.AddSuccessor(A, B); | 337 schedule.AddSuccessorForTesting(A, B); |
| 336 schedule.AddSuccessor(B, C); | 338 schedule.AddSuccessorForTesting(B, C); |
| 337 schedule.AddSuccessor(C, D); | 339 schedule.AddSuccessorForTesting(C, D); |
| 338 schedule.AddSuccessor(D, C); | 340 schedule.AddSuccessorForTesting(D, C); |
| 339 schedule.AddSuccessor(D, E); | 341 schedule.AddSuccessorForTesting(D, E); |
| 340 schedule.AddSuccessor(E, B); | 342 schedule.AddSuccessorForTesting(E, B); |
| 341 schedule.AddSuccessor(E, F); | 343 schedule.AddSuccessorForTesting(E, F); |
| 342 | 344 |
| 343 ZonePool zone_pool(scope.main_isolate()); | 345 ZonePool zone_pool(scope.main_isolate()); |
| 344 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 346 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 345 CheckRPONumbers(order, 6, true); | 347 CheckRPONumbers(order, 6, true); |
| 346 BasicBlock* loop1[] = {B, C, D, E}; | 348 BasicBlock* loop1[] = {B, C, D, E}; |
| 347 CheckLoopContains(loop1, 4); | 349 CheckLoopContains(loop1, 4); |
| 348 | 350 |
| 349 BasicBlock* loop2[] = {C, D}; | 351 BasicBlock* loop2[] = {C, D}; |
| 350 CheckLoopContains(loop2, 2); | 352 CheckLoopContains(loop2, 2); |
| 351 } | 353 } |
| 352 | 354 |
| 353 | 355 |
| 354 TEST(RPOLoopNest2) { | 356 TEST(RPOLoopNest2) { |
| 355 HandleAndZoneScope scope; | 357 HandleAndZoneScope scope; |
| 356 Schedule schedule(scope.main_zone()); | 358 Schedule schedule(scope.main_zone()); |
| 357 | 359 |
| 358 BasicBlock* A = schedule.start(); | 360 BasicBlock* A = schedule.start(); |
| 359 BasicBlock* B = schedule.NewBasicBlock(); | 361 BasicBlock* B = schedule.NewBasicBlock(); |
| 360 BasicBlock* C = schedule.NewBasicBlock(); | 362 BasicBlock* C = schedule.NewBasicBlock(); |
| 361 BasicBlock* D = schedule.NewBasicBlock(); | 363 BasicBlock* D = schedule.NewBasicBlock(); |
| 362 BasicBlock* E = schedule.NewBasicBlock(); | 364 BasicBlock* E = schedule.NewBasicBlock(); |
| 363 BasicBlock* F = schedule.NewBasicBlock(); | 365 BasicBlock* F = schedule.NewBasicBlock(); |
| 364 BasicBlock* G = schedule.NewBasicBlock(); | 366 BasicBlock* G = schedule.NewBasicBlock(); |
| 365 BasicBlock* H = schedule.end(); | 367 BasicBlock* H = schedule.end(); |
| 366 | 368 |
| 367 schedule.AddSuccessor(A, B); | 369 schedule.AddSuccessorForTesting(A, B); |
| 368 schedule.AddSuccessor(B, C); | 370 schedule.AddSuccessorForTesting(B, C); |
| 369 schedule.AddSuccessor(C, D); | 371 schedule.AddSuccessorForTesting(C, D); |
| 370 schedule.AddSuccessor(D, E); | 372 schedule.AddSuccessorForTesting(D, E); |
| 371 schedule.AddSuccessor(E, F); | 373 schedule.AddSuccessorForTesting(E, F); |
| 372 schedule.AddSuccessor(F, G); | 374 schedule.AddSuccessorForTesting(F, G); |
| 373 schedule.AddSuccessor(G, H); | 375 schedule.AddSuccessorForTesting(G, H); |
| 374 | 376 |
| 375 schedule.AddSuccessor(E, D); | 377 schedule.AddSuccessorForTesting(E, D); |
| 376 schedule.AddSuccessor(F, C); | 378 schedule.AddSuccessorForTesting(F, C); |
| 377 schedule.AddSuccessor(G, B); | 379 schedule.AddSuccessorForTesting(G, B); |
| 378 | 380 |
| 379 ZonePool zone_pool(scope.main_isolate()); | 381 ZonePool zone_pool(scope.main_isolate()); |
| 380 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 382 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 381 CheckRPONumbers(order, 8, true); | 383 CheckRPONumbers(order, 8, true); |
| 382 BasicBlock* loop1[] = {B, C, D, E, F, G}; | 384 BasicBlock* loop1[] = {B, C, D, E, F, G}; |
| 383 CheckLoopContains(loop1, 6); | 385 CheckLoopContains(loop1, 6); |
| 384 | 386 |
| 385 BasicBlock* loop2[] = {C, D, E, F}; | 387 BasicBlock* loop2[] = {C, D, E, F}; |
| 386 CheckLoopContains(loop2, 4); | 388 CheckLoopContains(loop2, 4); |
| 387 | 389 |
| 388 BasicBlock* loop3[] = {D, E}; | 390 BasicBlock* loop3[] = {D, E}; |
| 389 CheckLoopContains(loop3, 2); | 391 CheckLoopContains(loop3, 2); |
| 390 } | 392 } |
| 391 | 393 |
| 392 | 394 |
| 393 TEST(RPOLoopFollow1) { | 395 TEST(RPOLoopFollow1) { |
| 394 HandleAndZoneScope scope; | 396 HandleAndZoneScope scope; |
| 395 Schedule schedule(scope.main_zone()); | 397 Schedule schedule(scope.main_zone()); |
| 396 | 398 |
| 397 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); | 399 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); |
| 398 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); | 400 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); |
| 399 | 401 |
| 400 BasicBlock* A = schedule.start(); | 402 BasicBlock* A = schedule.start(); |
| 401 BasicBlock* E = schedule.end(); | 403 BasicBlock* E = schedule.end(); |
| 402 | 404 |
| 403 schedule.AddSuccessor(A, loop1->header()); | 405 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 404 schedule.AddSuccessor(loop1->header(), loop2->header()); | 406 schedule.AddSuccessorForTesting(loop1->header(), loop2->header()); |
| 405 schedule.AddSuccessor(loop2->last(), E); | 407 schedule.AddSuccessorForTesting(loop2->last(), E); |
| 406 | 408 |
| 407 ZonePool zone_pool(scope.main_isolate()); | 409 ZonePool zone_pool(scope.main_isolate()); |
| 408 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 410 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 409 | 411 |
| 410 CheckLoopContains(loop1->nodes, loop1->count); | 412 CheckLoopContains(loop1->nodes, loop1->count); |
| 411 | 413 |
| 412 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), | 414 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), |
| 413 static_cast<int>(order->size())); | 415 static_cast<int>(order->size())); |
| 414 CheckLoopContains(loop1->nodes, loop1->count); | 416 CheckLoopContains(loop1->nodes, loop1->count); |
| 415 CheckLoopContains(loop2->nodes, loop2->count); | 417 CheckLoopContains(loop2->nodes, loop2->count); |
| 416 } | 418 } |
| 417 | 419 |
| 418 | 420 |
| 419 TEST(RPOLoopFollow2) { | 421 TEST(RPOLoopFollow2) { |
| 420 HandleAndZoneScope scope; | 422 HandleAndZoneScope scope; |
| 421 Schedule schedule(scope.main_zone()); | 423 Schedule schedule(scope.main_zone()); |
| 422 | 424 |
| 423 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); | 425 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); |
| 424 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); | 426 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); |
| 425 | 427 |
| 426 BasicBlock* A = schedule.start(); | 428 BasicBlock* A = schedule.start(); |
| 427 BasicBlock* S = schedule.NewBasicBlock(); | 429 BasicBlock* S = schedule.NewBasicBlock(); |
| 428 BasicBlock* E = schedule.end(); | 430 BasicBlock* E = schedule.end(); |
| 429 | 431 |
| 430 schedule.AddSuccessor(A, loop1->header()); | 432 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 431 schedule.AddSuccessor(loop1->header(), S); | 433 schedule.AddSuccessorForTesting(loop1->header(), S); |
| 432 schedule.AddSuccessor(S, loop2->header()); | 434 schedule.AddSuccessorForTesting(S, loop2->header()); |
| 433 schedule.AddSuccessor(loop2->last(), E); | 435 schedule.AddSuccessorForTesting(loop2->last(), E); |
| 434 | 436 |
| 435 ZonePool zone_pool(scope.main_isolate()); | 437 ZonePool zone_pool(scope.main_isolate()); |
| 436 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 438 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 437 | 439 |
| 438 CheckLoopContains(loop1->nodes, loop1->count); | 440 CheckLoopContains(loop1->nodes, loop1->count); |
| 439 | 441 |
| 440 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), | 442 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), |
| 441 static_cast<int>(order->size())); | 443 static_cast<int>(order->size())); |
| 442 CheckLoopContains(loop1->nodes, loop1->count); | 444 CheckLoopContains(loop1->nodes, loop1->count); |
| 443 CheckLoopContains(loop2->nodes, loop2->count); | 445 CheckLoopContains(loop2->nodes, loop2->count); |
| 444 } | 446 } |
| 445 | 447 |
| 446 | 448 |
| 447 TEST(RPOLoopFollowN) { | 449 TEST(RPOLoopFollowN) { |
| 448 HandleAndZoneScope scope; | 450 HandleAndZoneScope scope; |
| 449 | 451 |
| 450 for (int size = 1; size < 5; size++) { | 452 for (int size = 1; size < 5; size++) { |
| 451 for (int exit = 0; exit < size; exit++) { | 453 for (int exit = 0; exit < size; exit++) { |
| 452 Schedule schedule(scope.main_zone()); | 454 Schedule schedule(scope.main_zone()); |
| 453 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); | 455 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); |
| 454 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, size)); | 456 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, size)); |
| 455 BasicBlock* A = schedule.start(); | 457 BasicBlock* A = schedule.start(); |
| 456 BasicBlock* E = schedule.end(); | 458 BasicBlock* E = schedule.end(); |
| 457 | 459 |
| 458 schedule.AddSuccessor(A, loop1->header()); | 460 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 459 schedule.AddSuccessor(loop1->nodes[exit], loop2->header()); | 461 schedule.AddSuccessorForTesting(loop1->nodes[exit], loop2->header()); |
| 460 schedule.AddSuccessor(loop2->nodes[exit], E); | 462 schedule.AddSuccessorForTesting(loop2->nodes[exit], E); |
| 461 ZonePool zone_pool(scope.main_isolate()); | 463 ZonePool zone_pool(scope.main_isolate()); |
| 462 BasicBlockVector* order = | 464 BasicBlockVector* order = |
| 463 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 465 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 464 CheckLoopContains(loop1->nodes, loop1->count); | 466 CheckLoopContains(loop1->nodes, loop1->count); |
| 465 | 467 |
| 466 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), | 468 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), |
| 467 static_cast<int>(order->size())); | 469 static_cast<int>(order->size())); |
| 468 CheckLoopContains(loop1->nodes, loop1->count); | 470 CheckLoopContains(loop1->nodes, loop1->count); |
| 469 CheckLoopContains(loop2->nodes, loop2->count); | 471 CheckLoopContains(loop2->nodes, loop2->count); |
| 470 } | 472 } |
| 471 } | 473 } |
| 472 } | 474 } |
| 473 | 475 |
| 474 | 476 |
| 475 TEST(RPONestedLoopFollow1) { | 477 TEST(RPONestedLoopFollow1) { |
| 476 HandleAndZoneScope scope; | 478 HandleAndZoneScope scope; |
| 477 Schedule schedule(scope.main_zone()); | 479 Schedule schedule(scope.main_zone()); |
| 478 | 480 |
| 479 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); | 481 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, 1)); |
| 480 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); | 482 SmartPointer<TestLoop> loop2(CreateLoop(&schedule, 1)); |
| 481 | 483 |
| 482 BasicBlock* A = schedule.start(); | 484 BasicBlock* A = schedule.start(); |
| 483 BasicBlock* B = schedule.NewBasicBlock(); | 485 BasicBlock* B = schedule.NewBasicBlock(); |
| 484 BasicBlock* C = schedule.NewBasicBlock(); | 486 BasicBlock* C = schedule.NewBasicBlock(); |
| 485 BasicBlock* E = schedule.end(); | 487 BasicBlock* E = schedule.end(); |
| 486 | 488 |
| 487 schedule.AddSuccessor(A, B); | 489 schedule.AddSuccessorForTesting(A, B); |
| 488 schedule.AddSuccessor(B, loop1->header()); | 490 schedule.AddSuccessorForTesting(B, loop1->header()); |
| 489 schedule.AddSuccessor(loop1->header(), loop2->header()); | 491 schedule.AddSuccessorForTesting(loop1->header(), loop2->header()); |
| 490 schedule.AddSuccessor(loop2->last(), C); | 492 schedule.AddSuccessorForTesting(loop2->last(), C); |
| 491 schedule.AddSuccessor(C, E); | 493 schedule.AddSuccessorForTesting(C, E); |
| 492 schedule.AddSuccessor(C, B); | 494 schedule.AddSuccessorForTesting(C, B); |
| 493 | 495 |
| 494 ZonePool zone_pool(scope.main_isolate()); | 496 ZonePool zone_pool(scope.main_isolate()); |
| 495 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 497 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 496 | 498 |
| 497 CheckLoopContains(loop1->nodes, loop1->count); | 499 CheckLoopContains(loop1->nodes, loop1->count); |
| 498 | 500 |
| 499 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), | 501 CHECK_EQ(static_cast<int>(schedule.BasicBlockCount()), |
| 500 static_cast<int>(order->size())); | 502 static_cast<int>(order->size())); |
| 501 CheckLoopContains(loop1->nodes, loop1->count); | 503 CheckLoopContains(loop1->nodes, loop1->count); |
| 502 CheckLoopContains(loop2->nodes, loop2->count); | 504 CheckLoopContains(loop2->nodes, loop2->count); |
| 503 | 505 |
| 504 BasicBlock* loop3[] = {B, loop1->nodes[0], loop2->nodes[0], C}; | 506 BasicBlock* loop3[] = {B, loop1->nodes[0], loop2->nodes[0], C}; |
| 505 CheckLoopContains(loop3, 4); | 507 CheckLoopContains(loop3, 4); |
| 506 } | 508 } |
| 507 | 509 |
| 508 | 510 |
| 509 TEST(RPOLoopBackedges1) { | 511 TEST(RPOLoopBackedges1) { |
| 510 HandleAndZoneScope scope; | 512 HandleAndZoneScope scope; |
| 511 | 513 |
| 512 int size = 8; | 514 int size = 8; |
| 513 for (int i = 0; i < size; i++) { | 515 for (int i = 0; i < size; i++) { |
| 514 for (int j = 0; j < size; j++) { | 516 for (int j = 0; j < size; j++) { |
| 515 Schedule schedule(scope.main_zone()); | 517 Schedule schedule(scope.main_zone()); |
| 516 BasicBlock* A = schedule.start(); | 518 BasicBlock* A = schedule.start(); |
| 517 BasicBlock* E = schedule.end(); | 519 BasicBlock* E = schedule.end(); |
| 518 | 520 |
| 519 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); | 521 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); |
| 520 schedule.AddSuccessor(A, loop1->header()); | 522 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 521 schedule.AddSuccessor(loop1->last(), E); | 523 schedule.AddSuccessorForTesting(loop1->last(), E); |
| 522 | 524 |
| 523 schedule.AddSuccessor(loop1->nodes[i], loop1->header()); | 525 schedule.AddSuccessorForTesting(loop1->nodes[i], loop1->header()); |
| 524 schedule.AddSuccessor(loop1->nodes[j], E); | 526 schedule.AddSuccessorForTesting(loop1->nodes[j], E); |
| 525 | 527 |
| 526 ZonePool zone_pool(scope.main_isolate()); | 528 ZonePool zone_pool(scope.main_isolate()); |
| 527 BasicBlockVector* order = | 529 BasicBlockVector* order = |
| 528 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 530 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 529 CheckRPONumbers(order, schedule.BasicBlockCount(), true); | 531 CheckRPONumbers(order, schedule.BasicBlockCount(), true); |
| 530 CheckLoopContains(loop1->nodes, loop1->count); | 532 CheckLoopContains(loop1->nodes, loop1->count); |
| 531 } | 533 } |
| 532 } | 534 } |
| 533 } | 535 } |
| 534 | 536 |
| 535 | 537 |
| 536 TEST(RPOLoopOutedges1) { | 538 TEST(RPOLoopOutedges1) { |
| 537 HandleAndZoneScope scope; | 539 HandleAndZoneScope scope; |
| 538 | 540 |
| 539 int size = 8; | 541 int size = 8; |
| 540 for (int i = 0; i < size; i++) { | 542 for (int i = 0; i < size; i++) { |
| 541 for (int j = 0; j < size; j++) { | 543 for (int j = 0; j < size; j++) { |
| 542 Schedule schedule(scope.main_zone()); | 544 Schedule schedule(scope.main_zone()); |
| 543 BasicBlock* A = schedule.start(); | 545 BasicBlock* A = schedule.start(); |
| 544 BasicBlock* D = schedule.NewBasicBlock(); | 546 BasicBlock* D = schedule.NewBasicBlock(); |
| 545 BasicBlock* E = schedule.end(); | 547 BasicBlock* E = schedule.end(); |
| 546 | 548 |
| 547 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); | 549 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); |
| 548 schedule.AddSuccessor(A, loop1->header()); | 550 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 549 schedule.AddSuccessor(loop1->last(), E); | 551 schedule.AddSuccessorForTesting(loop1->last(), E); |
| 550 | 552 |
| 551 schedule.AddSuccessor(loop1->nodes[i], loop1->header()); | 553 schedule.AddSuccessorForTesting(loop1->nodes[i], loop1->header()); |
| 552 schedule.AddSuccessor(loop1->nodes[j], D); | 554 schedule.AddSuccessorForTesting(loop1->nodes[j], D); |
| 553 schedule.AddSuccessor(D, E); | 555 schedule.AddSuccessorForTesting(D, E); |
| 554 | 556 |
| 555 ZonePool zone_pool(scope.main_isolate()); | 557 ZonePool zone_pool(scope.main_isolate()); |
| 556 BasicBlockVector* order = | 558 BasicBlockVector* order = |
| 557 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 559 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 558 CheckRPONumbers(order, schedule.BasicBlockCount(), true); | 560 CheckRPONumbers(order, schedule.BasicBlockCount(), true); |
| 559 CheckLoopContains(loop1->nodes, loop1->count); | 561 CheckLoopContains(loop1->nodes, loop1->count); |
| 560 } | 562 } |
| 561 } | 563 } |
| 562 } | 564 } |
| 563 | 565 |
| 564 | 566 |
| 565 TEST(RPOLoopOutedges2) { | 567 TEST(RPOLoopOutedges2) { |
| 566 HandleAndZoneScope scope; | 568 HandleAndZoneScope scope; |
| 567 | 569 |
| 568 int size = 8; | 570 int size = 8; |
| 569 for (int i = 0; i < size; i++) { | 571 for (int i = 0; i < size; i++) { |
| 570 Schedule schedule(scope.main_zone()); | 572 Schedule schedule(scope.main_zone()); |
| 571 BasicBlock* A = schedule.start(); | 573 BasicBlock* A = schedule.start(); |
| 572 BasicBlock* E = schedule.end(); | 574 BasicBlock* E = schedule.end(); |
| 573 | 575 |
| 574 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); | 576 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); |
| 575 schedule.AddSuccessor(A, loop1->header()); | 577 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 576 schedule.AddSuccessor(loop1->last(), E); | 578 schedule.AddSuccessorForTesting(loop1->last(), E); |
| 577 | 579 |
| 578 for (int j = 0; j < size; j++) { | 580 for (int j = 0; j < size; j++) { |
| 579 BasicBlock* O = schedule.NewBasicBlock(); | 581 BasicBlock* O = schedule.NewBasicBlock(); |
| 580 schedule.AddSuccessor(loop1->nodes[j], O); | 582 schedule.AddSuccessorForTesting(loop1->nodes[j], O); |
| 581 schedule.AddSuccessor(O, E); | 583 schedule.AddSuccessorForTesting(O, E); |
| 582 } | 584 } |
| 583 | 585 |
| 584 ZonePool zone_pool(scope.main_isolate()); | 586 ZonePool zone_pool(scope.main_isolate()); |
| 585 BasicBlockVector* order = | 587 BasicBlockVector* order = |
| 586 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 588 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 587 CheckRPONumbers(order, schedule.BasicBlockCount(), true); | 589 CheckRPONumbers(order, schedule.BasicBlockCount(), true); |
| 588 CheckLoopContains(loop1->nodes, loop1->count); | 590 CheckLoopContains(loop1->nodes, loop1->count); |
| 589 } | 591 } |
| 590 } | 592 } |
| 591 | 593 |
| 592 | 594 |
| 593 TEST(RPOLoopOutloops1) { | 595 TEST(RPOLoopOutloops1) { |
| 594 HandleAndZoneScope scope; | 596 HandleAndZoneScope scope; |
| 595 | 597 |
| 596 int size = 8; | 598 int size = 8; |
| 597 for (int i = 0; i < size; i++) { | 599 for (int i = 0; i < size; i++) { |
| 598 Schedule schedule(scope.main_zone()); | 600 Schedule schedule(scope.main_zone()); |
| 599 BasicBlock* A = schedule.start(); | 601 BasicBlock* A = schedule.start(); |
| 600 BasicBlock* E = schedule.end(); | 602 BasicBlock* E = schedule.end(); |
| 601 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); | 603 SmartPointer<TestLoop> loop1(CreateLoop(&schedule, size)); |
| 602 schedule.AddSuccessor(A, loop1->header()); | 604 schedule.AddSuccessorForTesting(A, loop1->header()); |
| 603 schedule.AddSuccessor(loop1->last(), E); | 605 schedule.AddSuccessorForTesting(loop1->last(), E); |
| 604 | 606 |
| 605 TestLoop** loopN = new TestLoop* [size]; | 607 TestLoop** loopN = new TestLoop* [size]; |
| 606 for (int j = 0; j < size; j++) { | 608 for (int j = 0; j < size; j++) { |
| 607 loopN[j] = CreateLoop(&schedule, 2); | 609 loopN[j] = CreateLoop(&schedule, 2); |
| 608 schedule.AddSuccessor(loop1->nodes[j], loopN[j]->header()); | 610 schedule.AddSuccessorForTesting(loop1->nodes[j], loopN[j]->header()); |
| 609 schedule.AddSuccessor(loopN[j]->last(), E); | 611 schedule.AddSuccessorForTesting(loopN[j]->last(), E); |
| 610 } | 612 } |
| 611 | 613 |
| 612 ZonePool zone_pool(scope.main_isolate()); | 614 ZonePool zone_pool(scope.main_isolate()); |
| 613 BasicBlockVector* order = | 615 BasicBlockVector* order = |
| 614 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 616 Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 615 CheckRPONumbers(order, schedule.BasicBlockCount(), true); | 617 CheckRPONumbers(order, schedule.BasicBlockCount(), true); |
| 616 CheckLoopContains(loop1->nodes, loop1->count); | 618 CheckLoopContains(loop1->nodes, loop1->count); |
| 617 | 619 |
| 618 for (int j = 0; j < size; j++) { | 620 for (int j = 0; j < size; j++) { |
| 619 CheckLoopContains(loopN[j]->nodes, loopN[j]->count); | 621 CheckLoopContains(loopN[j]->nodes, loopN[j]->count); |
| 620 delete loopN[j]; | 622 delete loopN[j]; |
| 621 } | 623 } |
| 622 delete[] loopN; | 624 delete[] loopN; |
| 623 } | 625 } |
| 624 } | 626 } |
| 625 | 627 |
| 626 | 628 |
| 627 TEST(RPOLoopMultibackedge) { | 629 TEST(RPOLoopMultibackedge) { |
| 628 HandleAndZoneScope scope; | 630 HandleAndZoneScope scope; |
| 629 Schedule schedule(scope.main_zone()); | 631 Schedule schedule(scope.main_zone()); |
| 630 | 632 |
| 631 BasicBlock* A = schedule.start(); | 633 BasicBlock* A = schedule.start(); |
| 632 BasicBlock* B = schedule.NewBasicBlock(); | 634 BasicBlock* B = schedule.NewBasicBlock(); |
| 633 BasicBlock* C = schedule.NewBasicBlock(); | 635 BasicBlock* C = schedule.NewBasicBlock(); |
| 634 BasicBlock* D = schedule.end(); | 636 BasicBlock* D = schedule.end(); |
| 635 BasicBlock* E = schedule.NewBasicBlock(); | 637 BasicBlock* E = schedule.NewBasicBlock(); |
| 636 | 638 |
| 637 schedule.AddSuccessor(A, B); | 639 schedule.AddSuccessorForTesting(A, B); |
| 638 schedule.AddSuccessor(B, C); | 640 schedule.AddSuccessorForTesting(B, C); |
| 639 schedule.AddSuccessor(B, D); | 641 schedule.AddSuccessorForTesting(B, D); |
| 640 schedule.AddSuccessor(B, E); | 642 schedule.AddSuccessorForTesting(B, E); |
| 641 schedule.AddSuccessor(C, B); | 643 schedule.AddSuccessorForTesting(C, B); |
| 642 schedule.AddSuccessor(D, B); | 644 schedule.AddSuccessorForTesting(D, B); |
| 643 schedule.AddSuccessor(E, B); | 645 schedule.AddSuccessorForTesting(E, B); |
| 644 | 646 |
| 645 ZonePool zone_pool(scope.main_isolate()); | 647 ZonePool zone_pool(scope.main_isolate()); |
| 646 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); | 648 BasicBlockVector* order = Scheduler::ComputeSpecialRPO(&zone_pool, &schedule); |
| 647 CheckRPONumbers(order, 5, true); | 649 CheckRPONumbers(order, 5, true); |
| 648 | 650 |
| 649 BasicBlock* loop1[] = {B, C, D, E}; | 651 BasicBlock* loop1[] = {B, C, D, E}; |
| 650 CheckLoopContains(loop1, 4); | 652 CheckLoopContains(loop1, 4); |
| 651 } | 653 } |
| 652 | 654 |
| 653 | 655 |
| (...skipping 1255 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1909 graph.SetEnd(end); | 1911 graph.SetEnd(end); |
| 1910 | 1912 |
| 1911 Schedule* schedule = ComputeAndVerifySchedule(5, &graph); | 1913 Schedule* schedule = ComputeAndVerifySchedule(5, &graph); |
| 1912 BasicBlock* block = schedule->block(loop); | 1914 BasicBlock* block = schedule->block(loop); |
| 1913 CHECK_NE(NULL, loop); | 1915 CHECK_NE(NULL, loop); |
| 1914 CHECK_EQ(block, schedule->block(effect)); | 1916 CHECK_EQ(block, schedule->block(effect)); |
| 1915 CHECK_GE(block->rpo_number(), 0); | 1917 CHECK_GE(block->rpo_number(), 0); |
| 1916 } | 1918 } |
| 1917 | 1919 |
| 1918 #endif | 1920 #endif |
| OLD | NEW |