1 /* Iterator routines for GIMPLE statements. 2 Copyright (C) 2007-2013 Free Software Foundation, Inc. 3 Contributed by Aldy Hernandez <aldy@quesejoda.com> 4 5 This file is part of GCC. 6 7 GCC is free software; you can redistribute it and/or modify it under 8 the terms of the GNU General Public License as published by the Free 9 Software Foundation; either version 3, or (at your option) any later 10 version. 11 12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY 13 WARRANTY; without even the implied warranty of MERCHANTABILITY or 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 15 for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with GCC; see the file COPYING3. If not see 19 <http://www.gnu.org/licenses/>. */ 20 21 #include "config.h" 22 #include "system.h" 23 #include "coretypes.h" 24 #include "tm.h" 25 #include "tree.h" 26 #include "gimple.h" 27 #include "tree-flow.h" 28 #include "value-prof.h" 29 30 31 /* Mark the statement STMT as modified, and update it. */ 32 33 static inline void 34 update_modified_stmt (gimple stmt) 35 { 36 if (!ssa_operands_active (cfun)) 37 return; 38 update_stmt_if_modified (stmt); 39 } 40 41 42 /* Mark the statements in SEQ as modified, and update them. */ 43 44 static void 45 update_modified_stmts (gimple_seq seq) 46 { 47 gimple_stmt_iterator gsi; 48 49 if (!ssa_operands_active (cfun)) 50 return; 51 for (gsi = gsi_start (seq); !gsi_end_p (gsi); gsi_next (&gsi)) 52 update_stmt_if_modified (gsi_stmt (gsi)); 53 } 54 55 56 /* Set BB to be the basic block for all the statements in the list 57 starting at FIRST and LAST. */ 58 59 static void 60 update_bb_for_stmts (gimple_seq_node first, gimple_seq_node last, 61 basic_block bb) 62 { 63 gimple_seq_node n; 64 65 for (n = first; n; n = n->gsbase.next) 66 { 67 gimple_set_bb (n, bb); 68 if (n == last) 69 break; 70 } 71 } 72 73 /* Set the frequencies for the cgraph_edges for each of the calls 74 starting at FIRST for their new position within BB. */ 75 76 static void 77 update_call_edge_frequencies (gimple_seq_node first, basic_block bb) 78 { 79 struct cgraph_node *cfun_node = NULL; 80 int bb_freq = 0; 81 gimple_seq_node n; 82 83 for (n = first; n ; n = n->gsbase.next) 84 if (is_gimple_call (n)) 85 { 86 struct cgraph_edge *e; 87 88 /* These function calls are expensive enough that we want 89 to avoid calling them if we never see any calls. */ 90 if (cfun_node == NULL) 91 { 92 cfun_node = cgraph_get_node (current_function_decl); 93 bb_freq = (compute_call_stmt_bb_frequency 94 (current_function_decl, bb)); 95 } 96 97 e = cgraph_edge (cfun_node, n); 98 if (e != NULL) 99 e->frequency = bb_freq; 100 } 101 } 102 103 /* Insert the sequence delimited by nodes FIRST and LAST before 104 iterator I. M specifies how to update iterator I after insertion 105 (see enum gsi_iterator_update). 106 107 This routine assumes that there is a forward and backward path 108 between FIRST and LAST (i.e., they are linked in a doubly-linked 109 list). Additionally, if FIRST == LAST, this routine will properly 110 insert a single node. */ 111 112 static void 113 gsi_insert_seq_nodes_before (gimple_stmt_iterator *i, 114 gimple_seq_node first, 115 gimple_seq_node last, 116 enum gsi_iterator_update mode) 117 { 118 basic_block bb; 119 gimple_seq_node cur = i->ptr; 120 121 gcc_assert (!cur || cur->gsbase.prev); 122 123 if ((bb = gsi_bb (*i)) != NULL) 124 update_bb_for_stmts (first, last, bb); 125 126 /* Link SEQ before CUR in the sequence. */ 127 if (cur) 128 { 129 first->gsbase.prev = cur->gsbase.prev; 130 if (first->gsbase.prev->gsbase.next) 131 first->gsbase.prev->gsbase.next = first; 132 else 133 gimple_seq_set_first (i->seq, first); 134 last->gsbase.next = cur; 135 cur->gsbase.prev = last; 136 } 137 else 138 { 139 gimple_seq_node itlast = gimple_seq_last (*i->seq); 140 141 /* If CUR is NULL, we link at the end of the sequence (this case happens 142 when gsi_after_labels is called for a basic block that contains only 143 labels, so it returns an iterator after the end of the block, and 144 we need to insert before it; it might be cleaner to add a flag to the 145 iterator saying whether we are at the start or end of the list). */ 146 last->gsbase.next = NULL; 147 if (itlast) 148 { 149 first->gsbase.prev = itlast; 150 itlast->gsbase.next = first; 151 } 152 else 153 gimple_seq_set_first (i->seq, first); 154 gimple_seq_set_last (i->seq, last); 155 } 156 157 /* Update the iterator, if requested. */ 158 switch (mode) 159 { 160 case GSI_NEW_STMT: 161 case GSI_CONTINUE_LINKING: 162 i->ptr = first; 163 break; 164 case GSI_SAME_STMT: 165 break; 166 default: 167 gcc_unreachable (); 168 } 169 } 170 171 172 /* Inserts the sequence of statements SEQ before the statement pointed 173 by iterator I. MODE indicates what to do with the iterator after 174 insertion (see enum gsi_iterator_update). 175 176 This function does not scan for new operands. It is provided for 177 the use of the gimplifier, which manipulates statements for which 178 def/use information has not yet been constructed. Most callers 179 should use gsi_insert_seq_before. */ 180 181 void 182 gsi_insert_seq_before_without_update (gimple_stmt_iterator *i, gimple_seq seq, 183 enum gsi_iterator_update mode) 184 { 185 gimple_seq_node first, last; 186 187 if (seq == NULL) 188 return; 189 190 /* Don't allow inserting a sequence into itself. */ 191 gcc_assert (seq != *i->seq); 192 193 first = gimple_seq_first (seq); 194 last = gimple_seq_last (seq); 195 196 /* Empty sequences need no work. */ 197 if (!first || !last) 198 { 199 gcc_assert (first == last); 200 return; 201 } 202 203 gsi_insert_seq_nodes_before (i, first, last, mode); 204 } 205 206 207 /* Inserts the sequence of statements SEQ before the statement pointed 208 by iterator I. MODE indicates what to do with the iterator after 209 insertion (see enum gsi_iterator_update). Scan the statements in SEQ 210 for new operands. */ 211 212 void 213 gsi_insert_seq_before (gimple_stmt_iterator *i, gimple_seq seq, 214 enum gsi_iterator_update mode) 215 { 216 update_modified_stmts (seq); 217 gsi_insert_seq_before_without_update (i, seq, mode); 218 } 219 220 221 /* Insert the sequence delimited by nodes FIRST and LAST after 222 iterator I. M specifies how to update iterator I after insertion 223 (see enum gsi_iterator_update). 224 225 This routine assumes that there is a forward and backward path 226 between FIRST and LAST (i.e., they are linked in a doubly-linked 227 list). Additionally, if FIRST == LAST, this routine will properly 228 insert a single node. */ 229 230 static void 231 gsi_insert_seq_nodes_after (gimple_stmt_iterator *i, 232 gimple_seq_node first, 233 gimple_seq_node last, 234 enum gsi_iterator_update m) 235 { 236 basic_block bb; 237 gimple_seq_node cur = i->ptr; 238 239 gcc_assert (!cur || cur->gsbase.prev); 240 241 /* If the iterator is inside a basic block, we need to update the 242 basic block information for all the nodes between FIRST and LAST. */ 243 if ((bb = gsi_bb (*i)) != NULL) 244 update_bb_for_stmts (first, last, bb); 245 246 /* Link SEQ after CUR. */ 247 if (cur) 248 { 249 last->gsbase.next = cur->gsbase.next; 250 if (last->gsbase.next) 251 { 252 last->gsbase.next->gsbase.prev = last; 253 } 254 else 255 gimple_seq_set_last (i->seq, last); 256 first->gsbase.prev = cur; 257 cur->gsbase.next = first; 258 } 259 else 260 { 261 gcc_assert (!gimple_seq_last (*i->seq)); 262 last->gsbase.next = NULL; 263 gimple_seq_set_first (i->seq, first); 264 gimple_seq_set_last (i->seq, last); 265 } 266 267 /* Update the iterator, if requested. */ 268 switch (m) 269 { 270 case GSI_NEW_STMT: 271 i->ptr = first; 272 break; 273 case GSI_CONTINUE_LINKING: 274 i->ptr = last; 275 break; 276 case GSI_SAME_STMT: 277 gcc_assert (cur); 278 break; 279 default: 280 gcc_unreachable (); 281 } 282 } 283 284 285 /* Links sequence SEQ after the statement pointed-to by iterator I. 286 MODE is as in gsi_insert_after. 287 288 This function does not scan for new operands. It is provided for 289 the use of the gimplifier, which manipulates statements for which 290 def/use information has not yet been constructed. Most callers 291 should use gsi_insert_seq_after. */ 292 293 void 294 gsi_insert_seq_after_without_update (gimple_stmt_iterator *i, gimple_seq seq, 295 enum gsi_iterator_update mode) 296 { 297 gimple_seq_node first, last; 298 299 if (seq == NULL) 300 return; 301 302 /* Don't allow inserting a sequence into itself. */ 303 gcc_assert (seq != *i->seq); 304 305 first = gimple_seq_first (seq); 306 last = gimple_seq_last (seq); 307 308 /* Empty sequences need no work. */ 309 if (!first || !last) 310 { 311 gcc_assert (first == last); 312 return; 313 } 314 315 gsi_insert_seq_nodes_after (i, first, last, mode); 316 } 317 318 319 /* Links sequence SEQ after the statement pointed-to by iterator I. 320 MODE is as in gsi_insert_after. Scan the statements in SEQ 321 for new operands. */ 322 323 void 324 gsi_insert_seq_after (gimple_stmt_iterator *i, gimple_seq seq, 325 enum gsi_iterator_update mode) 326 { 327 update_modified_stmts (seq); 328 gsi_insert_seq_after_without_update (i, seq, mode); 329 } 330 331 332 /* Move all statements in the sequence after I to a new sequence. 333 Return this new sequence. */ 334 335 gimple_seq 336 gsi_split_seq_after (gimple_stmt_iterator i) 337 { 338 gimple_seq_node cur, next; 339 gimple_seq *pold_seq, new_seq; 340 341 cur = i.ptr; 342 343 /* How can we possibly split after the end, or before the beginning? */ 344 gcc_assert (cur && cur->gsbase.next); 345 next = cur->gsbase.next; 346 347 pold_seq = i.seq; 348 349 gimple_seq_set_first (&new_seq, next); 350 gimple_seq_set_last (&new_seq, gimple_seq_last (*pold_seq)); 351 gimple_seq_set_last (pold_seq, cur); 352 cur->gsbase.next = NULL; 353 354 return new_seq; 355 } 356 357 358 /* Set the statement to which GSI points to STMT. This only updates 359 the iterator and the gimple sequence, it doesn't do the bookkeeping 360 of gsi_replace. */ 361 362 void 363 gsi_set_stmt (gimple_stmt_iterator *gsi, gimple stmt) 364 { 365 gimple orig_stmt = gsi_stmt (*gsi); 366 gimple prev, next; 367 368 stmt->gsbase.next = next = orig_stmt->gsbase.next; 369 stmt->gsbase.prev = prev = orig_stmt->gsbase.prev; 370 /* Note how we don't clear next/prev of orig_stmt. This is so that 371 copies of *GSI our callers might still hold (to orig_stmt) 372 can be advanced as if they too were replaced. */ 373 if (prev->gsbase.next) 374 prev->gsbase.next = stmt; 375 else 376 gimple_seq_set_first (gsi->seq, stmt); 377 if (next) 378 next->gsbase.prev = stmt; 379 else 380 gimple_seq_set_last (gsi->seq, stmt); 381 382 gsi->ptr = stmt; 383 } 384 385 386 /* Move all statements in the sequence before I to a new sequence. 387 Return this new sequence. I is set to the head of the new list. */ 388 389 void 390 gsi_split_seq_before (gimple_stmt_iterator *i, gimple_seq *pnew_seq) 391 { 392 gimple_seq_node cur, prev; 393 gimple_seq old_seq; 394 395 cur = i->ptr; 396 397 /* How can we possibly split after the end? */ 398 gcc_assert (cur); 399 prev = cur->gsbase.prev; 400 401 old_seq = *i->seq; 402 if (!prev->gsbase.next) 403 *i->seq = NULL; 404 i->seq = pnew_seq; 405 406 /* Set the limits on NEW_SEQ. */ 407 gimple_seq_set_first (pnew_seq, cur); 408 gimple_seq_set_last (pnew_seq, gimple_seq_last (old_seq)); 409 410 /* Cut OLD_SEQ before I. */ 411 gimple_seq_set_last (&old_seq, prev); 412 if (prev->gsbase.next) 413 prev->gsbase.next = NULL; 414 } 415 416 417 /* Replace the statement pointed-to by GSI to STMT. If UPDATE_EH_INFO 418 is true, the exception handling information of the original 419 statement is moved to the new statement. Assignments must only be 420 replaced with assignments to the same LHS. */ 421 422 void 423 gsi_replace (gimple_stmt_iterator *gsi, gimple stmt, bool update_eh_info) 424 { 425 gimple orig_stmt = gsi_stmt (*gsi); 426 427 if (stmt == orig_stmt) 428 return; 429 430 gcc_assert (!gimple_has_lhs (orig_stmt) || !gimple_has_lhs (stmt) 431 || gimple_get_lhs (orig_stmt) == gimple_get_lhs (stmt)); 432 433 gimple_set_location (stmt, gimple_location (orig_stmt)); 434 gimple_set_bb (stmt, gsi_bb (*gsi)); 435 436 /* Preserve EH region information from the original statement, if 437 requested by the caller. */ 438 if (update_eh_info) 439 maybe_clean_or_replace_eh_stmt (orig_stmt, stmt); 440 441 gimple_duplicate_stmt_histograms (cfun, stmt, cfun, orig_stmt); 442 443 /* Free all the data flow information for ORIG_STMT. */ 444 gimple_set_bb (orig_stmt, NULL); 445 gimple_remove_stmt_histograms (cfun, orig_stmt); 446 delink_stmt_imm_use (orig_stmt); 447 448 gsi_set_stmt (gsi, stmt); 449 gimple_set_modified (stmt, true); 450 update_modified_stmt (stmt); 451 } 452 453 454 /* Replace the statement pointed-to by GSI with the sequence SEQ. 455 If UPDATE_EH_INFO is true, the exception handling information of 456 the original statement is moved to the last statement of the new 457 sequence. If the old statement is an assignment, then so must 458 be the last statement of the new sequence, and they must have the 459 same LHS. */ 460 461 void 462 gsi_replace_with_seq (gimple_stmt_iterator *gsi, gimple_seq seq, 463 bool update_eh_info) 464 { 465 gimple_stmt_iterator seqi; 466 gimple last; 467 if (gimple_seq_empty_p (seq)) 468 { 469 gsi_remove (gsi, true); 470 return; 471 } 472 seqi = gsi_last (seq); 473 last = gsi_stmt (seqi); 474 gsi_remove (&seqi, false); 475 gsi_insert_seq_before (gsi, seq, GSI_SAME_STMT); 476 gsi_replace (gsi, last, update_eh_info); 477 } 478 479 480 /* Insert statement STMT before the statement pointed-to by iterator I. 481 M specifies how to update iterator I after insertion (see enum 482 gsi_iterator_update). 483 484 This function does not scan for new operands. It is provided for 485 the use of the gimplifier, which manipulates statements for which 486 def/use information has not yet been constructed. Most callers 487 should use gsi_insert_before. */ 488 489 void 490 gsi_insert_before_without_update (gimple_stmt_iterator *i, gimple stmt, 491 enum gsi_iterator_update m) 492 { 493 gsi_insert_seq_nodes_before (i, stmt, stmt, m); 494 } 495 496 /* Insert statement STMT before the statement pointed-to by iterator I. 497 Update STMT's basic block and scan it for new operands. M 498 specifies how to update iterator I after insertion (see enum 499 gsi_iterator_update). */ 500 501 void 502 gsi_insert_before (gimple_stmt_iterator *i, gimple stmt, 503 enum gsi_iterator_update m) 504 { 505 update_modified_stmt (stmt); 506 gsi_insert_before_without_update (i, stmt, m); 507 } 508 509 510 /* Insert statement STMT after the statement pointed-to by iterator I. 511 M specifies how to update iterator I after insertion (see enum 512 gsi_iterator_update). 513 514 This function does not scan for new operands. It is provided for 515 the use of the gimplifier, which manipulates statements for which 516 def/use information has not yet been constructed. Most callers 517 should use gsi_insert_after. */ 518 519 void 520 gsi_insert_after_without_update (gimple_stmt_iterator *i, gimple stmt, 521 enum gsi_iterator_update m) 522 { 523 gsi_insert_seq_nodes_after (i, stmt, stmt, m); 524 } 525 526 527 /* Insert statement STMT after the statement pointed-to by iterator I. 528 Update STMT's basic block and scan it for new operands. M 529 specifies how to update iterator I after insertion (see enum 530 gsi_iterator_update). */ 531 532 void 533 gsi_insert_after (gimple_stmt_iterator *i, gimple stmt, 534 enum gsi_iterator_update m) 535 { 536 update_modified_stmt (stmt); 537 gsi_insert_after_without_update (i, stmt, m); 538 } 539 540 541 /* Remove the current stmt from the sequence. The iterator is updated 542 to point to the next statement. 543 544 REMOVE_PERMANENTLY is true when the statement is going to be removed 545 from the IL and not reinserted elsewhere. In that case we remove the 546 statement pointed to by iterator I from the EH tables, and free its 547 operand caches. Otherwise we do not modify this information. Returns 548 true whether EH edge cleanup is required. */ 549 550 bool 551 gsi_remove (gimple_stmt_iterator *i, bool remove_permanently) 552 { 553 gimple_seq_node cur, next, prev; 554 gimple stmt = gsi_stmt (*i); 555 bool require_eh_edge_purge = false; 556 557 if (gimple_code (stmt) != GIMPLE_PHI) 558 insert_debug_temps_for_defs (i); 559 560 /* Free all the data flow information for STMT. */ 561 gimple_set_bb (stmt, NULL); 562 delink_stmt_imm_use (stmt); 563 gimple_set_modified (stmt, true); 564 565 if (remove_permanently) 566 { 567 require_eh_edge_purge = remove_stmt_from_eh_lp (stmt); 568 gimple_remove_stmt_histograms (cfun, stmt); 569 } 570 571 /* Update the iterator and re-wire the links in I->SEQ. */ 572 cur = i->ptr; 573 next = cur->gsbase.next; 574 prev = cur->gsbase.prev; 575 /* See gsi_set_stmt for why we don't reset prev/next of STMT. */ 576 577 if (next) 578 /* Cur is not last. */ 579 next->gsbase.prev = prev; 580 else if (prev->gsbase.next) 581 /* Cur is last but not first. */ 582 gimple_seq_set_last (i->seq, prev); 583 584 if (prev->gsbase.next) 585 /* Cur is not first. */ 586 prev->gsbase.next = next; 587 else 588 /* Cur is first. */ 589 *i->seq = next; 590 591 i->ptr = next; 592 593 return require_eh_edge_purge; 594 } 595 596 597 /* Finds iterator for STMT. */ 598 599 gimple_stmt_iterator 600 gsi_for_stmt (gimple stmt) 601 { 602 gimple_stmt_iterator i; 603 basic_block bb = gimple_bb (stmt); 604 605 if (gimple_code (stmt) == GIMPLE_PHI) 606 i = gsi_start_phis (bb); 607 else 608 i = gsi_start_bb (bb); 609 610 i.ptr = stmt; 611 return i; 612 } 613 614 615 /* Move the statement at FROM so it comes right after the statement at TO. */ 616 617 void 618 gsi_move_after (gimple_stmt_iterator *from, gimple_stmt_iterator *to) 619 { 620 gimple stmt = gsi_stmt (*from); 621 gsi_remove (from, false); 622 623 /* We must have GSI_NEW_STMT here, as gsi_move_after is sometimes used to 624 move statements to an empty block. */ 625 gsi_insert_after (to, stmt, GSI_NEW_STMT); 626 } 627 628 629 /* Move the statement at FROM so it comes right before the statement 630 at TO. */ 631 632 void 633 gsi_move_before (gimple_stmt_iterator *from, gimple_stmt_iterator *to) 634 { 635 gimple stmt = gsi_stmt (*from); 636 gsi_remove (from, false); 637 638 /* For consistency with gsi_move_after, it might be better to have 639 GSI_NEW_STMT here; however, that breaks several places that expect 640 that TO does not change. */ 641 gsi_insert_before (to, stmt, GSI_SAME_STMT); 642 } 643 644 645 /* Move the statement at FROM to the end of basic block BB. */ 646 647 void 648 gsi_move_to_bb_end (gimple_stmt_iterator *from, basic_block bb) 649 { 650 gimple_stmt_iterator last = gsi_last_bb (bb); 651 gcc_checking_assert (gsi_bb (last) == bb); 652 653 /* Have to check gsi_end_p because it could be an empty block. */ 654 if (!gsi_end_p (last) && is_ctrl_stmt (gsi_stmt (last))) 655 gsi_move_before (from, &last); 656 else 657 gsi_move_after (from, &last); 658 } 659 660 661 /* Add STMT to the pending list of edge E. No actual insertion is 662 made until a call to gsi_commit_edge_inserts () is made. */ 663 664 void 665 gsi_insert_on_edge (edge e, gimple stmt) 666 { 667 gimple_seq_add_stmt (&PENDING_STMT (e), stmt); 668 } 669 670 /* Add the sequence of statements SEQ to the pending list of edge E. 671 No actual insertion is made until a call to gsi_commit_edge_inserts 672 is made. */ 673 674 void 675 gsi_insert_seq_on_edge (edge e, gimple_seq seq) 676 { 677 gimple_seq_add_seq (&PENDING_STMT (e), seq); 678 } 679 680 681 /* Insert the statement pointed-to by GSI into edge E. Every attempt 682 is made to place the statement in an existing basic block, but 683 sometimes that isn't possible. When it isn't possible, the edge is 684 split and the statement is added to the new block. 685 686 In all cases, the returned *GSI points to the correct location. The 687 return value is true if insertion should be done after the location, 688 or false if it should be done before the location. If a new basic block 689 has to be created, it is stored in *NEW_BB. */ 690 691 static bool 692 gimple_find_edge_insert_loc (edge e, gimple_stmt_iterator *gsi, 693 basic_block *new_bb) 694 { 695 basic_block dest, src; 696 gimple tmp; 697 698 dest = e->dest; 699 700 /* If the destination has one predecessor which has no PHI nodes, 701 insert there. Except for the exit block. 702 703 The requirement for no PHI nodes could be relaxed. Basically we 704 would have to examine the PHIs to prove that none of them used 705 the value set by the statement we want to insert on E. That 706 hardly seems worth the effort. */ 707 restart: 708 if (single_pred_p (dest) 709 && gimple_seq_empty_p (phi_nodes (dest)) 710 && dest != EXIT_BLOCK_PTR) 711 { 712 *gsi = gsi_start_bb (dest); 713 if (gsi_end_p (*gsi)) 714 return true; 715 716 /* Make sure we insert after any leading labels. */ 717 tmp = gsi_stmt (*gsi); 718 while (gimple_code (tmp) == GIMPLE_LABEL) 719 { 720 gsi_next (gsi); 721 if (gsi_end_p (*gsi)) 722 break; 723 tmp = gsi_stmt (*gsi); 724 } 725 726 if (gsi_end_p (*gsi)) 727 { 728 *gsi = gsi_last_bb (dest); 729 return true; 730 } 731 else 732 return false; 733 } 734 735 /* If the source has one successor, the edge is not abnormal and 736 the last statement does not end a basic block, insert there. 737 Except for the entry block. */ 738 src = e->src; 739 if ((e->flags & EDGE_ABNORMAL) == 0 740 && single_succ_p (src) 741 && src != ENTRY_BLOCK_PTR) 742 { 743 *gsi = gsi_last_bb (src); 744 if (gsi_end_p (*gsi)) 745 return true; 746 747 tmp = gsi_stmt (*gsi); 748 if (!stmt_ends_bb_p (tmp)) 749 return true; 750 751 switch (gimple_code (tmp)) 752 { 753 case GIMPLE_RETURN: 754 case GIMPLE_RESX: 755 return false; 756 default: 757 break; 758 } 759 } 760 761 /* Otherwise, create a new basic block, and split this edge. */ 762 dest = split_edge (e); 763 if (new_bb) 764 *new_bb = dest; 765 e = single_pred_edge (dest); 766 goto restart; 767 } 768 769 770 /* Similar to gsi_insert_on_edge+gsi_commit_edge_inserts. If a new 771 block has to be created, it is returned. */ 772 773 basic_block 774 gsi_insert_on_edge_immediate (edge e, gimple stmt) 775 { 776 gimple_stmt_iterator gsi; 777 basic_block new_bb = NULL; 778 bool ins_after; 779 780 gcc_assert (!PENDING_STMT (e)); 781 782 ins_after = gimple_find_edge_insert_loc (e, &gsi, &new_bb); 783 784 update_call_edge_frequencies (stmt, gsi.bb); 785 786 if (ins_after) 787 gsi_insert_after (&gsi, stmt, GSI_NEW_STMT); 788 else 789 gsi_insert_before (&gsi, stmt, GSI_NEW_STMT); 790 791 return new_bb; 792 } 793 794 /* Insert STMTS on edge E. If a new block has to be created, it 795 is returned. */ 796 797 basic_block 798 gsi_insert_seq_on_edge_immediate (edge e, gimple_seq stmts) 799 { 800 gimple_stmt_iterator gsi; 801 basic_block new_bb = NULL; 802 bool ins_after; 803 804 gcc_assert (!PENDING_STMT (e)); 805 806 ins_after = gimple_find_edge_insert_loc (e, &gsi, &new_bb); 807 update_call_edge_frequencies (gimple_seq_first (stmts), gsi.bb); 808 809 if (ins_after) 810 gsi_insert_seq_after (&gsi, stmts, GSI_NEW_STMT); 811 else 812 gsi_insert_seq_before (&gsi, stmts, GSI_NEW_STMT); 813 814 return new_bb; 815 } 816 817 /* This routine will commit all pending edge insertions, creating any new 818 basic blocks which are necessary. */ 819 820 void 821 gsi_commit_edge_inserts (void) 822 { 823 basic_block bb; 824 edge e; 825 edge_iterator ei; 826 827 gsi_commit_one_edge_insert (single_succ_edge (ENTRY_BLOCK_PTR), NULL); 828 829 FOR_EACH_BB (bb) 830 FOR_EACH_EDGE (e, ei, bb->succs) 831 gsi_commit_one_edge_insert (e, NULL); 832 } 833 834 835 /* Commit insertions pending at edge E. If a new block is created, set NEW_BB 836 to this block, otherwise set it to NULL. */ 837 838 void 839 gsi_commit_one_edge_insert (edge e, basic_block *new_bb) 840 { 841 if (new_bb) 842 *new_bb = NULL; 843 844 if (PENDING_STMT (e)) 845 { 846 gimple_stmt_iterator gsi; 847 gimple_seq seq = PENDING_STMT (e); 848 bool ins_after; 849 850 PENDING_STMT (e) = NULL; 851 852 ins_after = gimple_find_edge_insert_loc (e, &gsi, new_bb); 853 update_call_edge_frequencies (gimple_seq_first (seq), gsi.bb); 854 855 if (ins_after) 856 gsi_insert_seq_after (&gsi, seq, GSI_NEW_STMT); 857 else 858 gsi_insert_seq_before (&gsi, seq, GSI_NEW_STMT); 859 } 860 } 861 862 /* Returns iterator at the start of the list of phi nodes of BB. */ 863 864 gimple_stmt_iterator 865 gsi_start_phis (basic_block bb) 866 { 867 gimple_seq *pseq = phi_nodes_ptr (bb); 868 return gsi_start_1 (pseq); 869 } 870