gcc/cfglayout.c

   1 /* Basic block reordering routines for the GNU compiler.
   2    Copyright (C) 2000, 2001 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 2, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING.  If not, write to the Free
  18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  19 02111-1307, USA.  */
  20
  21 #include "config.h"
  22 #include "system.h"
  23 #include "tree.h"
  24 #include "rtl.h"
  25 #include "hard-reg-set.h"
  26 #include "basic-block.h"
  27 #include "insn-config.h"
  28 #include "output.h"
  29 #include "function.h"
  30 #include "obstack.h"
  31 #include "cfglayout.h"
  32
  33 /* The contents of the current function definition are allocated
  34    in this obstack, and all are freed at the end of the function.  */
  35 extern struct obstack flow_obstack;
  36
  37 /* Holds the interesting trailing notes for the function.  */
  38 static rtx function_footer;
  39
  40 static rtx skip_insns_after_block       PARAMS ((basic_block));
  41 static void record_effective_endpoints  PARAMS ((void));
  42 static rtx label_for_bb                 PARAMS ((basic_block));
  43 static void fixup_reorder_chain         PARAMS ((void));
  44
  45 static void set_block_levels            PARAMS ((tree, int));
  46 static void change_scope                PARAMS ((rtx, tree, tree));
  47
  48 void verify_insn_chain                  PARAMS ((void));
  49 static void cleanup_unconditional_jumps PARAMS ((void));
  50 static void fixup_fallthru_exit_predecessor PARAMS ((void));
  51 static rtx unlink_insn_chain PARAMS ((rtx, rtx));
  52 static rtx duplicate_insn_chain PARAMS ((rtx, rtx));
  53 \f
  54 static rtx
  55 unlink_insn_chain (first, last)
  56      rtx first;
  57      rtx last;
  58 {
  59   rtx prevfirst = PREV_INSN (first);
  60   rtx nextlast = NEXT_INSN (last);
  61
  62   PREV_INSN (first) = NULL;
  63   NEXT_INSN (last) = NULL;
  64   if (prevfirst)
  65     NEXT_INSN (prevfirst) = nextlast;
  66   if (nextlast)
  67     PREV_INSN (nextlast) = prevfirst;
  68   else
  69     set_last_insn (prevfirst);
  70   if (!prevfirst)
  71     set_first_insn (nextlast);
  72   return first;
  73 }
  74 \f
  75 /* Skip over inter-block insns occurring after BB which are typically
  76    associated with BB (e.g., barriers). If there are any such insns,
  77    we return the last one. Otherwise, we return the end of BB.  */
  78
  79 static rtx
  80 skip_insns_after_block (bb)
  81      basic_block bb;
  82 {
  83   rtx insn, last_insn, next_head, prev;
  84
  85   next_head = NULL_RTX;
  86   if (bb->next_bb != EXIT_BLOCK_PTR)
  87     next_head = bb->next_bb->head;
  88
  89   for (last_insn = insn = bb->end; (insn = NEXT_INSN (insn)) != 0; )
  90     {
  91       if (insn == next_head)
  92         break;
  93
  94       switch (GET_CODE (insn))
  95         {
  96         case BARRIER:
  97           last_insn = insn;
  98           continue;
  99
 100         case NOTE:
 101           switch (NOTE_LINE_NUMBER (insn))
 102             {
 103             case NOTE_INSN_LOOP_END:
 104             case NOTE_INSN_BLOCK_END:
 105               last_insn = insn;
 106               continue;
 107             case NOTE_INSN_DELETED:
 108             case NOTE_INSN_DELETED_LABEL:
 109               continue;
 110
 111             default:
 112               continue;
 113               break;
 114             }
 115           break;
 116
 117         case CODE_LABEL:
 118           if (NEXT_INSN (insn)
 119               && GET_CODE (NEXT_INSN (insn)) == JUMP_INSN
 120               && (GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_VEC
 121                   || GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_DIFF_VEC))
 122             {
 123               insn = NEXT_INSN (insn);
 124               last_insn = insn;
 125               continue;
 126             }
 127           break;
 128
 129         default:
 130           break;
 131         }
 132
 133       break;
 134     }
 135
 136   /* It is possible to hit contradictory sequence.  For instance:
 137
 138      jump_insn
 139      NOTE_INSN_LOOP_BEG
 140      barrier
 141
 142      Where barrier belongs to jump_insn, but the note does not.  This can be
 143      created by removing the basic block originally following
 144      NOTE_INSN_LOOP_BEG.  In such case reorder the notes.  */
 145
 146   for (insn = last_insn; insn != bb->end; insn = prev)
 147     {
 148       prev = PREV_INSN (insn);
 149       if (GET_CODE (insn) == NOTE)
 150         switch (NOTE_LINE_NUMBER (insn))
 151           {
 152           case NOTE_INSN_LOOP_END:
 153           case NOTE_INSN_BLOCK_END:
 154           case NOTE_INSN_DELETED:
 155           case NOTE_INSN_DELETED_LABEL:
 156             continue;
 157           default:
 158             reorder_insns (insn, insn, last_insn);
 159           }
 160     }
 161
 162   return last_insn;
 163 }
 164
 165 /* Locate or create a label for a given basic block.  */
 166
 167 static rtx
 168 label_for_bb (bb)
 169      basic_block bb;
 170 {
 171   rtx label = bb->head;
 172
 173   if (GET_CODE (label) != CODE_LABEL)
 174     {
 175       if (rtl_dump_file)
 176         fprintf (rtl_dump_file, "Emitting label for block %d\n", bb->index);
 177
 178       label = block_label (bb);
 179     }
 180
 181   return label;
 182 }
 183
 184 /* Locate the effective beginning and end of the insn chain for each
 185    block, as defined by skip_insns_after_block above.  */
 186
 187 static void
 188 record_effective_endpoints ()
 189 {
 190   rtx next_insn = get_insns ();
 191   basic_block bb;
 192
 193   FOR_EACH_BB (bb)
 194     {
 195       rtx end;
 196
 197       if (PREV_INSN (bb->head) && next_insn != bb->head)
 198         RBI (bb)->header = unlink_insn_chain (next_insn,
 199                                               PREV_INSN (bb->head));
 200       end = skip_insns_after_block (bb);
 201       if (NEXT_INSN (bb->end) && bb->end != end)
 202         RBI (bb)->footer = unlink_insn_chain (NEXT_INSN (bb->end), end);
 203       next_insn = NEXT_INSN (bb->end);
 204     }
 205
 206   function_footer = next_insn;
 207   if (function_footer)
 208     function_footer = unlink_insn_chain (function_footer, get_last_insn ());
 209 }
 210 \f
 211 /* Build a varray mapping INSN_UID to lexical block.  Return it.  */
 212
 213 void
 214 scope_to_insns_initialize ()
 215 {
 216   tree block = NULL;
 217   rtx insn, next;
 218
 219   for (insn = get_insns (); insn; insn = next)
 220     {
 221       next = NEXT_INSN (insn);
 222
 223       if (active_insn_p (insn)
 224           && GET_CODE (PATTERN (insn)) != ADDR_VEC
 225           && GET_CODE (PATTERN (insn)) != ADDR_DIFF_VEC)
 226         INSN_SCOPE (insn) = block;
 227       else if (GET_CODE (insn) == NOTE)
 228         {
 229           switch (NOTE_LINE_NUMBER (insn))
 230             {
 231             case NOTE_INSN_BLOCK_BEG:
 232               block = NOTE_BLOCK (insn);
 233               delete_insn (insn);
 234               break;
 235             case NOTE_INSN_BLOCK_END:
 236               block = BLOCK_SUPERCONTEXT (block);
 237               delete_insn (insn);
 238               break;
 239             default:
 240               break;
 241             }
 242         }
 243     }
 244 }
 245
 246 /* For each lexical block, set BLOCK_NUMBER to the depth at which it is
 247    found in the block tree.  */
 248
 249 static void
 250 set_block_levels (block, level)
 251      tree block;
 252      int level;
 253 {
 254   while (block)
 255     {
 256       BLOCK_NUMBER (block) = level;
 257       set_block_levels (BLOCK_SUBBLOCKS (block), level + 1);
 258       block = BLOCK_CHAIN (block);
 259     }
 260 }
 261 \f
 262 /* Emit lexical block notes needed to change scope from S1 to S2.  */
 263
 264 static void
 265 change_scope (orig_insn, s1, s2)
 266      rtx orig_insn;
 267      tree s1, s2;
 268 {
 269   rtx insn = orig_insn;
 270   tree com = NULL_TREE;
 271   tree ts1 = s1, ts2 = s2;
 272   tree s;
 273
 274   while (ts1 != ts2)
 275     {
 276       if (ts1 == NULL || ts2 == NULL)
 277         abort ();
 278       if (BLOCK_NUMBER (ts1) > BLOCK_NUMBER (ts2))
 279         ts1 = BLOCK_SUPERCONTEXT (ts1);
 280       else if (BLOCK_NUMBER (ts1) < BLOCK_NUMBER (ts2))
 281         ts2 = BLOCK_SUPERCONTEXT (ts2);
 282       else
 283         {
 284           ts1 = BLOCK_SUPERCONTEXT (ts1);
 285           ts2 = BLOCK_SUPERCONTEXT (ts2);
 286         }
 287     }
 288   com = ts1;
 289
 290   /* Close scopes.  */
 291   s = s1;
 292   while (s != com)
 293     {
 294       rtx note = emit_note_before (NOTE_INSN_BLOCK_END, insn);
 295       NOTE_BLOCK (note) = s;
 296       s = BLOCK_SUPERCONTEXT (s);
 297     }
 298
 299   /* Open scopes.  */
 300   s = s2;
 301   while (s != com)
 302     {
 303       insn = emit_note_before (NOTE_INSN_BLOCK_BEG, insn);
 304       NOTE_BLOCK (insn) = s;
 305       s = BLOCK_SUPERCONTEXT (s);
 306     }
 307 }
 308
 309 /* Rebuild all the NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes based
 310    on the scope tree and the newly reordered instructions.  */
 311
 312 void
 313 scope_to_insns_finalize ()
 314 {
 315   tree cur_block = DECL_INITIAL (cfun->decl);
 316   rtx insn, note;
 317
 318   /* Tag the blocks with a depth number so that change_scope can find
 319      the common parent easily.  */
 320   set_block_levels (cur_block, 0);
 321
 322   insn = get_insns ();
 323   if (!active_insn_p (insn))
 324     insn = next_active_insn (insn);
 325   for (; insn; insn = next_active_insn (insn))
 326     {
 327       tree this_block;
 328
 329       this_block = INSN_SCOPE (insn);
 330       if (! this_block)
 331         continue;
 332
 333       if (this_block != cur_block)
 334         {
 335           change_scope (insn, cur_block, this_block);
 336           cur_block = this_block;
 337         }
 338     }
 339
 340   /* change_scope emits before the insn, not after.  */
 341   note = emit_note (NULL, NOTE_INSN_DELETED);
 342   change_scope (note, cur_block, DECL_INITIAL (cfun->decl));
 343   delete_insn (note);
 344
 345   reorder_blocks ();
 346 }
 347 \f
 348 /* Given a reorder chain, rearrange the code to match.  */
 349
 350 static void
 351 fixup_reorder_chain ()
 352 {
 353   basic_block bb, prev_bb;
 354   int index;
 355   rtx insn = NULL;
 356
 357   /* First do the bulk reordering -- rechain the blocks without regard to
 358      the needed changes to jumps and labels.  */
 359
 360   for (bb = ENTRY_BLOCK_PTR->next_bb, index = 0;
 361        bb != 0;
 362        bb = RBI (bb)->next, index++)
 363     {
 364       if (RBI (bb)->header)
 365         {
 366           if (insn)
 367             NEXT_INSN (insn) = RBI (bb)->header;
 368           else
 369             set_first_insn (RBI (bb)->header);
 370           PREV_INSN (RBI (bb)->header) = insn;
 371           insn = RBI (bb)->header;
 372           while (NEXT_INSN (insn))
 373             insn = NEXT_INSN (insn);
 374         }
 375       if (insn)
 376         NEXT_INSN (insn) = bb->head;
 377       else
 378         set_first_insn (bb->head);
 379       PREV_INSN (bb->head) = insn;
 380       insn = bb->end;
 381       if (RBI (bb)->footer)
 382         {
 383           NEXT_INSN (insn) = RBI (bb)->footer;
 384           PREV_INSN (RBI (bb)->footer) = insn;
 385           while (NEXT_INSN (insn))
 386             insn = NEXT_INSN (insn);
 387         }
 388     }
 389
 390   if (index != n_basic_blocks)
 391     abort ();
 392
 393   NEXT_INSN (insn) = function_footer;
 394   if (function_footer)
 395     PREV_INSN (function_footer) = insn;
 396
 397   while (NEXT_INSN (insn))
 398     insn = NEXT_INSN (insn);
 399
 400   set_last_insn (insn);
 401 #ifdef ENABLE_CHECKING
 402   verify_insn_chain ();
 403 #endif
 404
 405   /* Now add jumps and labels as needed to match the blocks new
 406      outgoing edges.  */
 407
 408   for (bb = ENTRY_BLOCK_PTR->next_bb; bb ; bb = RBI (bb)->next)
 409     {
 410       edge e_fall, e_taken, e;
 411       rtx bb_end_insn;
 412       basic_block nb;
 413
 414       if (bb->succ == NULL)
 415         continue;
 416
 417       /* Find the old fallthru edge, and another non-EH edge for
 418          a taken jump.  */
 419       e_taken = e_fall = NULL;
 420       for (e = bb->succ; e ; e = e->succ_next)
 421         if (e->flags & EDGE_FALLTHRU)
 422           e_fall = e;
 423         else if (! (e->flags & EDGE_EH))
 424           e_taken = e;
 425
 426       bb_end_insn = bb->end;
 427       if (GET_CODE (bb_end_insn) == JUMP_INSN)
 428         {
 429           if (any_condjump_p (bb_end_insn))
 430             {
 431               /* If the old fallthru is still next, nothing to do.  */
 432               if (RBI (bb)->next == e_fall->dest
 433                   || (!RBI (bb)->next
 434                       && e_fall->dest == EXIT_BLOCK_PTR))
 435                 continue;
 436
 437               /* There is one special case: if *neither* block is next,
 438                  such as happens at the very end of a function, then we'll
 439                  need to add a new unconditional jump.  Choose the taken
 440                  edge based on known or assumed probability.  */
 441               if (RBI (bb)->next != e_taken->dest)
 442                 {
 443                   rtx note = find_reg_note (bb_end_insn, REG_BR_PROB, 0);
 444
 445                   if (note
 446                       && INTVAL (XEXP (note, 0)) < REG_BR_PROB_BASE / 2
 447                       && invert_jump (bb_end_insn,
 448                                       label_for_bb (e_fall->dest), 0))
 449                     {
 450                       e_fall->flags &= ~EDGE_FALLTHRU;
 451                       e_taken->flags |= EDGE_FALLTHRU;
 452                       update_br_prob_note (bb);
 453                       e = e_fall, e_fall = e_taken, e_taken = e;
 454                     }
 455                 }
 456
 457               /* Otherwise we can try to invert the jump.  This will
 458                  basically never fail, however, keep up the pretense.  */
 459               else if (invert_jump (bb_end_insn,
 460                                     label_for_bb (e_fall->dest), 0))
 461                 {
 462                   e_fall->flags &= ~EDGE_FALLTHRU;
 463                   e_taken->flags |= EDGE_FALLTHRU;
 464                   update_br_prob_note (bb);
 465                   continue;
 466                 }
 467             }
 468           else if (returnjump_p (bb_end_insn))
 469             continue;
 470           else
 471             {
 472               /* Otherwise we have some switch or computed jump.  In the
 473                  99% case, there should not have been a fallthru edge.  */
 474               if (! e_fall)
 475                 continue;
 476
 477 #ifdef CASE_DROPS_THROUGH
 478               /* Except for VAX.  Since we didn't have predication for the
 479                  tablejump, the fallthru block should not have moved.  */
 480               if (RBI (bb)->next == e_fall->dest)
 481                 continue;
 482               bb_end_insn = skip_insns_after_block (bb);
 483 #else
 484               abort ();
 485 #endif
 486             }
 487         }
 488       else
 489         {
 490           /* No fallthru implies a noreturn function with EH edges, or
 491              something similarly bizarre.  In any case, we don't need to
 492              do anything.  */
 493           if (! e_fall)
 494             continue;
 495
 496           /* If the fallthru block is still next, nothing to do.  */
 497           if (RBI (bb)->next == e_fall->dest)
 498             continue;
 499
 500           /* A fallthru to exit block.  */
 501           if (!RBI (bb)->next && e_fall->dest == EXIT_BLOCK_PTR)
 502             continue;
 503         }
 504
 505       /* We got here if we need to add a new jump insn.  */
 506       nb = force_nonfallthru (e_fall);
 507       if (nb)
 508         {
 509           alloc_aux_for_block (nb, sizeof (struct reorder_block_def));
 510           RBI (nb)->visited = 1;
 511           RBI (nb)->next = RBI (bb)->next;
 512           RBI (bb)->next = nb;
 513           /* Don't process this new block.  */
 514           bb = nb;
 515         }
 516     }
 517
 518   /* Put basic_block_info in the new order.  */
 519
 520   if (rtl_dump_file)
 521     {
 522       fprintf (rtl_dump_file, "Reordered sequence:\n");
 523       for (bb = ENTRY_BLOCK_PTR->next_bb, index = 0; bb; bb = RBI (bb)->next, index ++)
 524         {
 525           fprintf (rtl_dump_file, " %i ", index);
 526           if (RBI (bb)->original)
 527             fprintf (rtl_dump_file, "duplicate of %i ",
 528                      RBI (bb)->original->index);
 529           else if (forwarder_block_p (bb) && GET_CODE (bb->head) != CODE_LABEL)
 530             fprintf (rtl_dump_file, "compensation ");
 531           else
 532             fprintf (rtl_dump_file, "bb %i ", bb->index);
 533           fprintf (rtl_dump_file, " [%i]\n", bb->frequency);
 534         }
 535     }
 536
 537   prev_bb = ENTRY_BLOCK_PTR;
 538   bb = ENTRY_BLOCK_PTR->next_bb;
 539   index = 0;
 540
 541   for (; bb; prev_bb = bb, bb = RBI (bb)->next, index ++)
 542     {
 543       bb->index = index;
 544       BASIC_BLOCK (index) = bb;
 545
 546       bb->prev_bb = prev_bb;
 547       prev_bb->next_bb = bb;
 548     }
 549   prev_bb->next_bb = EXIT_BLOCK_PTR;
 550   EXIT_BLOCK_PTR->prev_bb = prev_bb;
 551 }
 552 \f
 553 /* Perform sanity checks on the insn chain.
 554    1. Check that next/prev pointers are consistent in both the forward and
 555       reverse direction.
 556    2. Count insns in chain, going both directions, and check if equal.
 557    3. Check that get_last_insn () returns the actual end of chain.  */
 558
 559 void
 560 verify_insn_chain ()
 561 {
 562   rtx x, prevx, nextx;
 563   int insn_cnt1, insn_cnt2;
 564
 565   for (prevx = NULL, insn_cnt1 = 1, x = get_insns ();
 566        x != 0;
 567        prevx = x, insn_cnt1++, x = NEXT_INSN (x))
 568     if (PREV_INSN (x) != prevx)
 569       abort ();
 570
 571   if (prevx != get_last_insn ())
 572     abort ();
 573
 574   for (nextx = NULL, insn_cnt2 = 1, x = get_last_insn ();
 575        x != 0;
 576        nextx = x, insn_cnt2++, x = PREV_INSN (x))
 577     if (NEXT_INSN (x) != nextx)
 578       abort ();
 579
 580   if (insn_cnt1 != insn_cnt2)
 581     abort ();
 582 }
 583 \f
 584 /* Remove any unconditional jumps and forwarder block creating fallthru
 585    edges instead.  During BB reordering fallthru edges are not required
 586    to target next basic block in the linear CFG layout, so the unconditional
 587    jumps are not needed.  If LOOPS is not null, also update loop structure &
 588    dominators.  */
 589
 590 static void
 591 cleanup_unconditional_jumps ()
 592 {
 593   basic_block bb;
 594
 595   FOR_EACH_BB (bb)
 596     {
 597       if (!bb->succ)
 598         continue;
 599       if (bb->succ->flags & EDGE_FALLTHRU)
 600         continue;
 601       if (!bb->succ->succ_next)
 602         {
 603           rtx insn;
 604           if (GET_CODE (bb->head) != CODE_LABEL && forwarder_block_p (bb)
 605               && bb->prev_bb != ENTRY_BLOCK_PTR)
 606             {
 607               basic_block prev = bb->prev_bb;
 608
 609               if (rtl_dump_file)
 610                 fprintf (rtl_dump_file, "Removing forwarder BB %i\n",
 611                          bb->index);
 612
 613               redirect_edge_succ (bb->pred, bb->succ->dest);
 614               flow_delete_block (bb);
 615               bb = prev;
 616             }
 617           else if (simplejump_p (bb->end))
 618             {
 619               rtx jump = bb->end;
 620
 621               if (rtl_dump_file)
 622                 fprintf (rtl_dump_file, "Removing jump %i in BB %i\n",
 623                          INSN_UID (jump), bb->index);
 624               delete_insn (jump);
 625               bb->succ->flags |= EDGE_FALLTHRU;
 626             }
 627           else
 628             continue;
 629
 630           /* Cleanup barriers and delete ADDR_VECs in a way as they are belonging
 631              to removed tablejump anyway.  */
 632           insn = NEXT_INSN (bb->end);
 633           while (insn
 634                  && (GET_CODE (insn) != NOTE
 635                      || NOTE_LINE_NUMBER (insn) != NOTE_INSN_BASIC_BLOCK))
 636             {
 637               rtx next = NEXT_INSN (insn);
 638
 639               if (GET_CODE (insn) == BARRIER)
 640                 delete_barrier (insn);
 641               else if (GET_CODE (insn) == JUMP_INSN)
 642                 delete_insn_chain (PREV_INSN (insn), insn);
 643               else if (GET_CODE (insn) == CODE_LABEL)
 644                 ;
 645               else if (GET_CODE (insn) != NOTE)
 646                 abort ();
 647
 648               insn = next;
 649             }
 650         }
 651     }
 652 }
 653 \f
 654 /* The block falling through to exit must be the last one in the
 655    reordered chain.  Ensure that this condition is met.  */
 656 static void
 657 fixup_fallthru_exit_predecessor ()
 658 {
 659   edge e;
 660   basic_block bb = NULL;
 661
 662   for (e = EXIT_BLOCK_PTR->pred; e; e = e->pred_next)
 663     if (e->flags & EDGE_FALLTHRU)
 664       bb = e->src;
 665
 666   if (bb && RBI (bb)->next)
 667     {
 668       basic_block c = ENTRY_BLOCK_PTR->next_bb;
 669
 670       while (RBI (c)->next != bb)
 671         c = RBI (c)->next;
 672
 673       RBI (c)->next = RBI (bb)->next;
 674       while (RBI (c)->next)
 675         c = RBI (c)->next;
 676
 677       RBI (c)->next = bb;
 678       RBI (bb)->next = NULL;
 679     }
 680 }
 681 \f
 682 /* Return true in case it is possible to duplicate the basic block BB.  */
 683
 684 bool
 685 cfg_layout_can_duplicate_bb_p (bb)
 686      basic_block bb;
 687 {
 688   rtx next;
 689   edge s;
 690
 691   if (bb == EXIT_BLOCK_PTR || bb == ENTRY_BLOCK_PTR)
 692     return false;
 693
 694   /* Duplicating fallthru block to exit would require adding an jump
 695      and splitting the real last BB.  */
 696   for (s = bb->succ; s; s = s->succ_next)
 697     if (s->dest == EXIT_BLOCK_PTR && s->flags & EDGE_FALLTHRU)
 698        return false;
 699
 700   /* Do not attempt to duplicate tablejumps, as we need to unshare
 701      the dispatch table.  This is dificult to do, as the instructions
 702      computing jump destination may be hoisted outside the basic block.  */
 703   if (GET_CODE (bb->end) == JUMP_INSN && JUMP_LABEL (bb->end)
 704       && (next = next_nonnote_insn (JUMP_LABEL (bb->end)))
 705       && GET_CODE (next) == JUMP_INSN
 706       && (GET_CODE (PATTERN (next)) == ADDR_VEC
 707           || GET_CODE (PATTERN (next)) == ADDR_DIFF_VEC))
 708     return false;
 709   return true;
 710 }
 711
 712 static rtx
 713 duplicate_insn_chain (from, to)
 714      rtx from, to;
 715 {
 716   rtx insn, last;
 717
 718   /* Avoid updating of boundaries of previous basic block.  The
 719      note will get removed from insn stream in fixup.  */
 720   last = emit_note (NULL, NOTE_INSN_DELETED);
 721
 722   /* Create copy at the end of INSN chain.  The chain will
 723      be reordered later.  */
 724   for (insn = from; insn != NEXT_INSN (to); insn = NEXT_INSN (insn))
 725     {
 726       rtx new;
 727       switch (GET_CODE (insn))
 728         {
 729         case INSN:
 730         case CALL_INSN:
 731         case JUMP_INSN:
 732           /* Avoid copying of dispatch tables.  We never duplicate
 733              tablejumps, so this can hit only in case the table got
 734              moved far from original jump.  */
 735           if (GET_CODE (PATTERN (insn)) == ADDR_VEC
 736               || GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC)
 737             break;
 738           new = emit_copy_of_insn_after (insn, get_last_insn ());
 739           break;
 740
 741         case CODE_LABEL:
 742           break;
 743
 744         case BARRIER:
 745           emit_barrier ();
 746           break;
 747
 748         case NOTE:
 749           switch (NOTE_LINE_NUMBER (insn))
 750             {
 751               /* In case prologue is empty and function contain label
 752                  in first BB, we may want to copy the block.  */
 753             case NOTE_INSN_PROLOGUE_END:
 754
 755             case NOTE_INSN_LOOP_VTOP:
 756             case NOTE_INSN_LOOP_CONT:
 757             case NOTE_INSN_LOOP_BEG:
 758             case NOTE_INSN_LOOP_END:
 759               /* Strip down the loop notes - we don't really want to keep
 760                  them consistent in loop copies.  */
 761             case NOTE_INSN_DELETED:
 762             case NOTE_INSN_DELETED_LABEL:
 763               /* No problem to strip these.  */
 764             case NOTE_INSN_EPILOGUE_BEG:
 765             case NOTE_INSN_FUNCTION_END:
 766               /* Debug code expect these notes to exist just once.
 767                  Keep them in the master copy.
 768                  ??? It probably makes more sense to duplicate them for each
 769                  epilogue copy.  */
 770             case NOTE_INSN_FUNCTION_BEG:
 771               /* There is always just single entry to function.  */
 772             case NOTE_INSN_BASIC_BLOCK:
 773               break;
 774
 775               /* There is no purpose to duplicate prologue.  */
 776             case NOTE_INSN_BLOCK_BEG:
 777             case NOTE_INSN_BLOCK_END:
 778               /* The BLOCK_BEG/BLOCK_END notes should be eliminated when BB
 779                  reordering is in the progress.  */
 780             case NOTE_INSN_EH_REGION_BEG:
 781             case NOTE_INSN_EH_REGION_END:
 782               /* Should never exist at BB duplication time.  */
 783               abort ();
 784               break;
 785             case NOTE_INSN_REPEATED_LINE_NUMBER:
 786               emit_note (NOTE_SOURCE_FILE (insn), NOTE_LINE_NUMBER (insn));
 787               break;
 788
 789             default:
 790               if (NOTE_LINE_NUMBER (insn) < 0)
 791                 abort ();
 792               /* It is possible that no_line_number is set and the note
 793                  won't be emitted.  */
 794               emit_note (NOTE_SOURCE_FILE (insn), NOTE_LINE_NUMBER (insn));
 795             }
 796           break;
 797         default:
 798           abort ();
 799         }
 800     }
 801   insn = NEXT_INSN (last);
 802   delete_insn (last);
 803   return insn;
 804 }
 805
 806 /* Redirect Edge to DEST.  */
 807 void
 808 cfg_layout_redirect_edge (e, dest)
 809      edge e;
 810      basic_block dest;
 811 {
 812   basic_block src = e->src;
 813   basic_block old_next_bb = src->next_bb;
 814
 815   /* Redirect_edge_and_branch may decide to turn branch into fallthru edge
 816      in the case the basic block appears to be in sequence.  Avoid this
 817      transformation.  */
 818
 819   src->next_bb = NULL;
 820   if (e->flags & EDGE_FALLTHRU)
 821     {
 822       /* In case we are redirecting fallthru edge to the branch edge
 823          of conditional jump, remove it.  */
 824       if (src->succ->succ_next
 825           && !src->succ->succ_next->succ_next)
 826         {
 827           edge s = e->succ_next ? e->succ_next : src->succ;
 828           if (s->dest == dest
 829               && any_condjump_p (src->end)
 830               && onlyjump_p (src->end))
 831             delete_insn (src->end);
 832         }
 833       redirect_edge_succ_nodup (e, dest);
 834     }
 835   else
 836     redirect_edge_and_branch (e, dest);
 837
 838   /* We don't want simplejumps in the insn stream during cfglayout.  */
 839   if (simplejump_p (src->end))
 840     {
 841       delete_insn (src->end);
 842       delete_barrier (NEXT_INSN (src->end));
 843       src->succ->flags |= EDGE_FALLTHRU;
 844     }
 845   src->next_bb = old_next_bb;
 846 }
 847
 848 /* Create an duplicate of the basic block BB and redirect edge E into it.  */
 849
 850 basic_block
 851 cfg_layout_duplicate_bb (bb, e)
 852      basic_block bb;
 853      edge e;
 854 {
 855   rtx insn;
 856   edge s, n;
 857   basic_block new_bb;
 858   gcov_type new_count = e ? e->count : 0;
 859
 860   if (bb->count < new_count)
 861     new_count = bb->count;
 862   if (!bb->pred)
 863     abort ();
 864 #ifdef ENABLE_CHECKING
 865   if (!cfg_layout_can_duplicate_bb_p (bb))
 866     abort ();
 867 #endif
 868
 869   insn = duplicate_insn_chain (bb->head, bb->end);
 870   new_bb = create_basic_block (insn,
 871                                insn ? get_last_insn () : NULL,
 872                                EXIT_BLOCK_PTR->prev_bb);
 873   alloc_aux_for_block (new_bb, sizeof (struct reorder_block_def));
 874
 875   if (RBI (bb)->header)
 876     {
 877       insn = RBI (bb)->header;
 878       while (NEXT_INSN (insn))
 879         insn = NEXT_INSN (insn);
 880       insn = duplicate_insn_chain (RBI (bb)->header, insn);
 881       if (insn)
 882         RBI (new_bb)->header = unlink_insn_chain (insn, get_last_insn ());
 883     }
 884
 885   if (RBI (bb)->footer)
 886     {
 887       insn = RBI (bb)->footer;
 888       while (NEXT_INSN (insn))
 889         insn = NEXT_INSN (insn);
 890       insn = duplicate_insn_chain (RBI (bb)->footer, insn);
 891       if (insn)
 892         RBI (new_bb)->footer = unlink_insn_chain (insn, get_last_insn ());
 893     }
 894
 895   if (bb->global_live_at_start)
 896     {
 897       new_bb->global_live_at_start = OBSTACK_ALLOC_REG_SET (&flow_obstack);
 898       new_bb->global_live_at_end = OBSTACK_ALLOC_REG_SET (&flow_obstack);
 899       COPY_REG_SET (new_bb->global_live_at_start, bb->global_live_at_start);
 900       COPY_REG_SET (new_bb->global_live_at_end, bb->global_live_at_end);
 901     }
 902
 903   new_bb->loop_depth = bb->loop_depth;
 904   new_bb->flags = bb->flags;
 905   for (s = bb->succ; s; s = s->succ_next)
 906     {
 907       n = make_edge (new_bb, s->dest, s->flags);
 908       n->probability = s->probability;
 909       if (new_count)
 910         /* Take care for overflows!  */
 911         n->count = s->count * (new_count * 10000 / bb->count) / 10000;
 912       else
 913         n->count = 0;
 914       s->count -= n->count;
 915     }
 916
 917   new_bb->count = new_count;
 918   bb->count -= new_count;
 919
 920   if (e)
 921     {
 922       new_bb->frequency = EDGE_FREQUENCY (e);
 923       bb->frequency -= EDGE_FREQUENCY (e);
 924
 925       cfg_layout_redirect_edge (e, new_bb);
 926     }
 927
 928   if (bb->count < 0)
 929     bb->count = 0;
 930   if (bb->frequency < 0)
 931     bb->frequency = 0;
 932
 933   RBI (new_bb)->original = bb;
 934   return new_bb;
 935 }
 936 \f
 937 /* Main entry point to this module - initialize the datastructures for
 938    CFG layout changes.  It keeps LOOPS up-to-date if not null.  */
 939
 940 void
 941 cfg_layout_initialize ()
 942 {
 943   /* Our algorithm depends on fact that there are now dead jumptables
 944      around the code.  */
 945   alloc_aux_for_blocks (sizeof (struct reorder_block_def));
 946
 947   cleanup_unconditional_jumps ();
 948
 949   record_effective_endpoints ();
 950 }
 951
 952 /* Finalize the changes: reorder insn list according to the sequence, enter
 953    compensation code, rebuild scope forest.  */
 954
 955 void
 956 cfg_layout_finalize ()
 957 {
 958   fixup_fallthru_exit_predecessor ();
 959   fixup_reorder_chain ();
 960
 961 #ifdef ENABLE_CHECKING
 962   verify_insn_chain ();
 963 #endif
 964
 965   free_aux_for_blocks ();
 966
 967 #ifdef ENABLE_CHECKING
 968   verify_flow_info ();
 969 #endif
 970 }