gcc/rtlanal.c

   1 /* Analyze RTL for C-Compiler
   2    Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
   3    1999, 2000, 2001, 2002 Free Software Foundation, Inc.
   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 2, 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 COPYING.  If not, write to the Free
  19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  20 02111-1307, USA.  */
  21
  22
  23 #include "config.h"
  24 #include "system.h"
  25 #include "coretypes.h"
  26 #include "tm.h"
  27 #include "toplev.h"
  28 #include "rtl.h"
  29 #include "hard-reg-set.h"
  30 #include "insn-config.h"
  31 #include "recog.h"
  32 #include "tm_p.h"
  33 #include "flags.h"
  34 #include "basic-block.h"
  35 #include "real.h"
  36
  37 /* Forward declarations */
  38 static int global_reg_mentioned_p_1 PARAMS ((rtx *, void *));
  39 static void set_of_1            PARAMS ((rtx, rtx, void *));
  40 static void insn_dependent_p_1  PARAMS ((rtx, rtx, void *));
  41 static int computed_jump_p_1    PARAMS ((rtx));
  42 static void parms_set           PARAMS ((rtx, rtx, void *));
  43 static bool hoist_test_store            PARAMS ((rtx, rtx, regset));
  44 static void hoist_update_store          PARAMS ((rtx, rtx *, rtx, rtx));
  45
  46 /* Bit flags that specify the machine subtype we are compiling for.
  47    Bits are tested using macros TARGET_... defined in the tm.h file
  48    and set by `-m...' switches.  Must be defined in rtlanal.c.  */
  49
  50 int target_flags;
  51 \f
  52 /* Return 1 if the value of X is unstable
  53    (would be different at a different point in the program).
  54    The frame pointer, arg pointer, etc. are considered stable
  55    (within one function) and so is anything marked `unchanging'.  */
  56
  57 int
  58 rtx_unstable_p (x)
  59      rtx x;
  60 {
  61   RTX_CODE code = GET_CODE (x);
  62   int i;
  63   const char *fmt;
  64
  65   switch (code)
  66     {
  67     case MEM:
  68       return ! RTX_UNCHANGING_P (x) || rtx_unstable_p (XEXP (x, 0));
  69
  70     case QUEUED:
  71       return 1;
  72
  73     case ADDRESSOF:
  74     case CONST:
  75     case CONST_INT:
  76     case CONST_DOUBLE:
  77     case CONST_VECTOR:
  78     case SYMBOL_REF:
  79     case LABEL_REF:
  80       return 0;
  81
  82     case REG:
  83       /* As in rtx_varies_p, we have to use the actual rtx, not reg number.  */
  84       if (x == frame_pointer_rtx || x == hard_frame_pointer_rtx
  85           /* The arg pointer varies if it is not a fixed register.  */
  86           || (x == arg_pointer_rtx && fixed_regs[ARG_POINTER_REGNUM])
  87           || RTX_UNCHANGING_P (x))
  88         return 0;
  89 #ifndef PIC_OFFSET_TABLE_REG_CALL_CLOBBERED
  90       /* ??? When call-clobbered, the value is stable modulo the restore
  91          that must happen after a call.  This currently screws up local-alloc
  92          into believing that the restore is not needed.  */
  93       if (x == pic_offset_table_rtx)
  94         return 0;
  95 #endif
  96       return 1;
  97
  98     case ASM_OPERANDS:
  99       if (MEM_VOLATILE_P (x))
 100         return 1;
 101
 102       /* FALLTHROUGH */
 103
 104     default:
 105       break;
 106     }
 107
 108   fmt = GET_RTX_FORMAT (code);
 109   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
 110     if (fmt[i] == 'e')
 111       {
 112         if (rtx_unstable_p (XEXP (x, i)))
 113           return 1;
 114       }
 115     else if (fmt[i] == 'E')
 116       {
 117         int j;
 118         for (j = 0; j < XVECLEN (x, i); j++)
 119           if (rtx_unstable_p (XVECEXP (x, i, j)))
 120             return 1;
 121       }
 122
 123   return 0;
 124 }
 125
 126 /* Return 1 if X has a value that can vary even between two
 127    executions of the program.  0 means X can be compared reliably
 128    against certain constants or near-constants.
 129    FOR_ALIAS is nonzero if we are called from alias analysis; if it is
 130    zero, we are slightly more conservative.
 131    The frame pointer and the arg pointer are considered constant.  */
 132
 133 int
 134 rtx_varies_p (x, for_alias)
 135      rtx x;
 136      int for_alias;
 137 {
 138   RTX_CODE code = GET_CODE (x);
 139   int i;
 140   const char *fmt;
 141
 142   switch (code)
 143     {
 144     case MEM:
 145       return ! RTX_UNCHANGING_P (x) || rtx_varies_p (XEXP (x, 0), for_alias);
 146
 147     case QUEUED:
 148       return 1;
 149
 150     case CONST:
 151     case CONST_INT:
 152     case CONST_DOUBLE:
 153     case CONST_VECTOR:
 154     case SYMBOL_REF:
 155     case LABEL_REF:
 156       return 0;
 157
 158     case ADDRESSOF:
 159       /* This will resolve to some offset from the frame pointer.  */
 160       return 0;
 161
 162     case REG:
 163       /* Note that we have to test for the actual rtx used for the frame
 164          and arg pointers and not just the register number in case we have
 165          eliminated the frame and/or arg pointer and are using it
 166          for pseudos.  */
 167       if (x == frame_pointer_rtx || x == hard_frame_pointer_rtx
 168           /* The arg pointer varies if it is not a fixed register.  */
 169           || (x == arg_pointer_rtx && fixed_regs[ARG_POINTER_REGNUM]))
 170         return 0;
 171       if (x == pic_offset_table_rtx
 172 #ifdef PIC_OFFSET_TABLE_REG_CALL_CLOBBERED
 173           /* ??? When call-clobbered, the value is stable modulo the restore
 174              that must happen after a call.  This currently screws up
 175              local-alloc into believing that the restore is not needed, so we
 176              must return 0 only if we are called from alias analysis.  */
 177           && for_alias
 178 #endif
 179           )
 180         return 0;
 181       return 1;
 182
 183     case LO_SUM:
 184       /* The operand 0 of a LO_SUM is considered constant
 185          (in fact it is related specifically to operand 1)
 186          during alias analysis.  */
 187       return (! for_alias && rtx_varies_p (XEXP (x, 0), for_alias))
 188              || rtx_varies_p (XEXP (x, 1), for_alias);
 189
 190     case ASM_OPERANDS:
 191       if (MEM_VOLATILE_P (x))
 192         return 1;
 193
 194       /* FALLTHROUGH */
 195
 196     default:
 197       break;
 198     }
 199
 200   fmt = GET_RTX_FORMAT (code);
 201   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
 202     if (fmt[i] == 'e')
 203       {
 204         if (rtx_varies_p (XEXP (x, i), for_alias))
 205           return 1;
 206       }
 207     else if (fmt[i] == 'E')
 208       {
 209         int j;
 210         for (j = 0; j < XVECLEN (x, i); j++)
 211           if (rtx_varies_p (XVECEXP (x, i, j), for_alias))
 212             return 1;
 213       }
 214
 215   return 0;
 216 }
 217
 218 /* Return 0 if the use of X as an address in a MEM can cause a trap.  */
 219
 220 int
 221 rtx_addr_can_trap_p (x)
 222      rtx x;
 223 {
 224   enum rtx_code code = GET_CODE (x);
 225
 226   switch (code)
 227     {
 228     case SYMBOL_REF:
 229       return SYMBOL_REF_WEAK (x);
 230
 231     case LABEL_REF:
 232       return 0;
 233
 234     case ADDRESSOF:
 235       /* This will resolve to some offset from the frame pointer.  */
 236       return 0;
 237
 238     case REG:
 239       /* As in rtx_varies_p, we have to use the actual rtx, not reg number.  */
 240       if (x == frame_pointer_rtx || x == hard_frame_pointer_rtx
 241           || x == stack_pointer_rtx
 242           /* The arg pointer varies if it is not a fixed register.  */
 243           || (x == arg_pointer_rtx && fixed_regs[ARG_POINTER_REGNUM]))
 244         return 0;
 245       /* All of the virtual frame registers are stack references.  */
 246       if (REGNO (x) >= FIRST_VIRTUAL_REGISTER
 247           && REGNO (x) <= LAST_VIRTUAL_REGISTER)
 248         return 0;
 249       return 1;
 250
 251     case CONST:
 252       return rtx_addr_can_trap_p (XEXP (x, 0));
 253
 254     case PLUS:
 255       /* An address is assumed not to trap if it is an address that can't
 256          trap plus a constant integer or it is the pic register plus a
 257          constant.  */
 258       return ! ((! rtx_addr_can_trap_p (XEXP (x, 0))
 259                  && GET_CODE (XEXP (x, 1)) == CONST_INT)
 260                 || (XEXP (x, 0) == pic_offset_table_rtx
 261                     && CONSTANT_P (XEXP (x, 1))));
 262
 263     case LO_SUM:
 264     case PRE_MODIFY:
 265       return rtx_addr_can_trap_p (XEXP (x, 1));
 266
 267     case PRE_DEC:
 268     case PRE_INC:
 269     case POST_DEC:
 270     case POST_INC:
 271     case POST_MODIFY:
 272       return rtx_addr_can_trap_p (XEXP (x, 0));
 273
 274     default:
 275       break;
 276     }
 277
 278   /* If it isn't one of the case above, it can cause a trap.  */
 279   return 1;
 280 }
 281
 282 /* Return true if X is an address that is known to not be zero.  */
 283
 284 bool
 285 nonzero_address_p (x)
 286      rtx x;
 287 {
 288   enum rtx_code code = GET_CODE (x);
 289
 290   switch (code)
 291     {
 292     case SYMBOL_REF:
 293       return !SYMBOL_REF_WEAK (x);
 294
 295     case LABEL_REF:
 296       return true;
 297
 298     case ADDRESSOF:
 299       /* This will resolve to some offset from the frame pointer.  */
 300       return true;
 301
 302     case REG:
 303       /* As in rtx_varies_p, we have to use the actual rtx, not reg number.  */
 304       if (x == frame_pointer_rtx || x == hard_frame_pointer_rtx
 305           || x == stack_pointer_rtx
 306           || (x == arg_pointer_rtx && fixed_regs[ARG_POINTER_REGNUM]))
 307         return true;
 308       /* All of the virtual frame registers are stack references.  */
 309       if (REGNO (x) >= FIRST_VIRTUAL_REGISTER
 310           && REGNO (x) <= LAST_VIRTUAL_REGISTER)
 311         return true;
 312       return false;
 313
 314     case CONST:
 315       return nonzero_address_p (XEXP (x, 0));
 316
 317     case PLUS:
 318       if (GET_CODE (XEXP (x, 1)) == CONST_INT)
 319         {
 320           /* Pointers aren't allowed to wrap.  If we've got a register
 321              that is known to be a pointer, and a positive offset, then
 322              the composite can't be zero.  */
 323           if (INTVAL (XEXP (x, 1)) > 0
 324               && REG_P (XEXP (x, 0))
 325               && REG_POINTER (XEXP (x, 0)))
 326             return true;
 327
 328           return nonzero_address_p (XEXP (x, 0));
 329         }
 330       /* Handle PIC references.  */
 331       else if (XEXP (x, 0) == pic_offset_table_rtx
 332                && CONSTANT_P (XEXP (x, 1)))
 333         return true;
 334       return false;
 335
 336     case PRE_MODIFY:
 337       /* Similar to the above; allow positive offsets.  Further, since
 338          auto-inc is only allowed in memories, the register must be a
 339          pointer.  */
 340       if (GET_CODE (XEXP (x, 1)) == CONST_INT
 341           && INTVAL (XEXP (x, 1)) > 0)
 342         return true;
 343       return nonzero_address_p (XEXP (x, 0));
 344
 345     case PRE_INC:
 346       /* Similarly.  Further, the offset is always positive.  */
 347       return true;
 348
 349     case PRE_DEC:
 350     case POST_DEC:
 351     case POST_INC:
 352     case POST_MODIFY:
 353       return nonzero_address_p (XEXP (x, 0));
 354
 355     case LO_SUM:
 356       return nonzero_address_p (XEXP (x, 1));
 357
 358     default:
 359       break;
 360     }
 361
 362   /* If it isn't one of the case above, might be zero.  */
 363   return false;
 364 }
 365
 366 /* Return 1 if X refers to a memory location whose address
 367    cannot be compared reliably with constant addresses,
 368    or if X refers to a BLKmode memory object.
 369    FOR_ALIAS is nonzero if we are called from alias analysis; if it is
 370    zero, we are slightly more conservative.  */
 371
 372 int
 373 rtx_addr_varies_p (x, for_alias)
 374      rtx x;
 375      int for_alias;
 376 {
 377   enum rtx_code code;
 378   int i;
 379   const char *fmt;
 380
 381   if (x == 0)
 382     return 0;
 383
 384   code = GET_CODE (x);
 385   if (code == MEM)
 386     return GET_MODE (x) == BLKmode || rtx_varies_p (XEXP (x, 0), for_alias);
 387
 388   fmt = GET_RTX_FORMAT (code);
 389   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
 390     if (fmt[i] == 'e')
 391       {
 392         if (rtx_addr_varies_p (XEXP (x, i), for_alias))
 393           return 1;
 394       }
 395     else if (fmt[i] == 'E')
 396       {
 397         int j;
 398         for (j = 0; j < XVECLEN (x, i); j++)
 399           if (rtx_addr_varies_p (XVECEXP (x, i, j), for_alias))
 400             return 1;
 401       }
 402   return 0;
 403 }
 404 \f
 405 /* Return the value of the integer term in X, if one is apparent;
 406    otherwise return 0.
 407    Only obvious integer terms are detected.
 408    This is used in cse.c with the `related_value' field.  */
 409
 410 HOST_WIDE_INT
 411 get_integer_term (x)
 412      rtx x;
 413 {
 414   if (GET_CODE (x) == CONST)
 415     x = XEXP (x, 0);
 416
 417   if (GET_CODE (x) == MINUS
 418       && GET_CODE (XEXP (x, 1)) == CONST_INT)
 419     return - INTVAL (XEXP (x, 1));
 420   if (GET_CODE (x) == PLUS
 421       && GET_CODE (XEXP (x, 1)) == CONST_INT)
 422     return INTVAL (XEXP (x, 1));
 423   return 0;
 424 }
 425
 426 /* If X is a constant, return the value sans apparent integer term;
 427    otherwise return 0.
 428    Only obvious integer terms are detected.  */
 429
 430 rtx
 431 get_related_value (x)
 432      rtx x;
 433 {
 434   if (GET_CODE (x) != CONST)
 435     return 0;
 436   x = XEXP (x, 0);
 437   if (GET_CODE (x) == PLUS
 438       && GET_CODE (XEXP (x, 1)) == CONST_INT)
 439     return XEXP (x, 0);
 440   else if (GET_CODE (x) == MINUS
 441            && GET_CODE (XEXP (x, 1)) == CONST_INT)
 442     return XEXP (x, 0);
 443   return 0;
 444 }
 445 \f
 446 /* Given a tablejump insn INSN, return the RTL expression for the offset
 447    into the jump table.  If the offset cannot be determined, then return
 448    NULL_RTX.
 449
 450    If EARLIEST is nonzero, it is a pointer to a place where the earliest
 451    insn used in locating the offset was found.  */
 452
 453 rtx
 454 get_jump_table_offset (insn, earliest)
 455      rtx insn;
 456      rtx *earliest;
 457 {
 458   rtx label;
 459   rtx table;
 460   rtx set;
 461   rtx old_insn;
 462   rtx x;
 463   rtx old_x;
 464   rtx y;
 465   rtx old_y;
 466   int i;
 467
 468   if (GET_CODE (insn) != JUMP_INSN
 469       || ! (label = JUMP_LABEL (insn))
 470       || ! (table = NEXT_INSN (label))
 471       || GET_CODE (table) != JUMP_INSN
 472       || (GET_CODE (PATTERN (table)) != ADDR_VEC
 473           && GET_CODE (PATTERN (table)) != ADDR_DIFF_VEC)
 474       || ! (set = single_set (insn)))
 475     return NULL_RTX;
 476
 477   x = SET_SRC (set);
 478
 479   /* Some targets (eg, ARM) emit a tablejump that also
 480      contains the out-of-range target.  */
 481   if (GET_CODE (x) == IF_THEN_ELSE
 482       && GET_CODE (XEXP (x, 2)) == LABEL_REF)
 483     x = XEXP (x, 1);
 484
 485   /* Search backwards and locate the expression stored in X.  */
 486   for (old_x = NULL_RTX; GET_CODE (x) == REG && x != old_x;
 487        old_x = x, x = find_last_value (x, &insn, NULL_RTX, 0))
 488     ;
 489
 490   /* If X is an expression using a relative address then strip
 491      off the addition / subtraction of PC, PIC_OFFSET_TABLE_REGNUM,
 492      or the jump table label.  */
 493   if (GET_CODE (PATTERN (table)) == ADDR_DIFF_VEC
 494       && (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS))
 495     {
 496       for (i = 0; i < 2; i++)
 497         {
 498           old_insn = insn;
 499           y = XEXP (x, i);
 500
 501           if (y == pc_rtx || y == pic_offset_table_rtx)
 502             break;
 503
 504           for (old_y = NULL_RTX; GET_CODE (y) == REG && y != old_y;
 505                old_y = y, y = find_last_value (y, &old_insn, NULL_RTX, 0))
 506             ;
 507
 508           if ((GET_CODE (y) == LABEL_REF && XEXP (y, 0) == label))
 509             break;
 510         }
 511
 512       if (i >= 2)
 513         return NULL_RTX;
 514
 515       x = XEXP (x, 1 - i);
 516
 517       for (old_x = NULL_RTX; GET_CODE (x) == REG && x != old_x;
 518            old_x = x, x = find_last_value (x, &insn, NULL_RTX, 0))
 519         ;
 520     }
 521
 522   /* Strip off any sign or zero extension.  */
 523   if (GET_CODE (x) == SIGN_EXTEND || GET_CODE (x) == ZERO_EXTEND)
 524     {
 525       x = XEXP (x, 0);
 526
 527       for (old_x = NULL_RTX; GET_CODE (x) == REG && x != old_x;
 528            old_x = x, x = find_last_value (x, &insn, NULL_RTX, 0))
 529         ;
 530     }
 531
 532   /* If X isn't a MEM then this isn't a tablejump we understand.  */
 533   if (GET_CODE (x) != MEM)
 534     return NULL_RTX;
 535
 536   /* Strip off the MEM.  */
 537   x = XEXP (x, 0);
 538
 539   for (old_x = NULL_RTX; GET_CODE (x) == REG && x != old_x;
 540        old_x = x, x = find_last_value (x, &insn, NULL_RTX, 0))
 541     ;
 542
 543   /* If X isn't a PLUS than this isn't a tablejump we understand.  */
 544   if (GET_CODE (x) != PLUS)
 545     return NULL_RTX;
 546
 547   /* At this point we should have an expression representing the jump table
 548      plus an offset.  Examine each operand in order to determine which one
 549      represents the jump table.  Knowing that tells us that the other operand
 550      must represent the offset.  */
 551   for (i = 0; i < 2; i++)
 552     {
 553       old_insn = insn;
 554       y = XEXP (x, i);
 555
 556       for (old_y = NULL_RTX; GET_CODE (y) == REG && y != old_y;
 557            old_y = y, y = find_last_value (y, &old_insn, NULL_RTX, 0))
 558         ;
 559
 560       if ((GET_CODE (y) == CONST || GET_CODE (y) == LABEL_REF)
 561           && reg_mentioned_p (label, y))
 562         break;
 563     }
 564
 565   if (i >= 2)
 566     return NULL_RTX;
 567
 568   x = XEXP (x, 1 - i);
 569
 570   /* Strip off the addition / subtraction of PIC_OFFSET_TABLE_REGNUM.  */
 571   if (GET_CODE (x) == PLUS || GET_CODE (x) == MINUS)
 572     for (i = 0; i < 2; i++)
 573       if (XEXP (x, i) == pic_offset_table_rtx)
 574         {
 575           x = XEXP (x, 1 - i);
 576           break;
 577         }
 578
 579   if (earliest)
 580     *earliest = insn;
 581
 582   /* Return the RTL expression representing the offset.  */
 583   return x;
 584 }
 585 \f
 586 /* A subroutine of global_reg_mentioned_p, returns 1 if *LOC mentions
 587    a global register.  */
 588
 589 static int
 590 global_reg_mentioned_p_1 (loc, data)
 591      rtx *loc;
 592      void *data ATTRIBUTE_UNUSED;
 593 {
 594   int regno;
 595   rtx x = *loc;
 596
 597   if (! x)
 598     return 0;
 599
 600   switch (GET_CODE (x))
 601     {
 602     case SUBREG:
 603       if (GET_CODE (SUBREG_REG (x)) == REG)
 604         {
 605           if (REGNO (SUBREG_REG (x)) < FIRST_PSEUDO_REGISTER
 606               && global_regs[subreg_regno (x)])
 607             return 1;
 608           return 0;
 609         }
 610       break;
 611
 612     case REG:
 613       regno = REGNO (x);
 614       if (regno < FIRST_PSEUDO_REGISTER && global_regs[regno])
 615         return 1;
 616       return 0;
 617
 618     case SCRATCH:
 619     case PC:
 620     case CC0:
 621     case CONST_INT:
 622     case CONST_DOUBLE:
 623     case CONST:
 624     case LABEL_REF:
 625       return 0;
 626
 627     case CALL:
 628       /* A non-constant call might use a global register.  */
 629       return 1;
 630
 631     default:
 632       break;
 633     }
 634
 635   return 0;
 636 }
 637
 638 /* Returns nonzero if X mentions a global register.  */
 639
 640 int
 641 global_reg_mentioned_p (x)
 642      rtx x;
 643 {
 644
 645   if (INSN_P (x))
 646     {
 647       if (GET_CODE (x) == CALL_INSN)
 648         {
 649           if (! CONST_OR_PURE_CALL_P (x))
 650             return 1;
 651           x = CALL_INSN_FUNCTION_USAGE (x);
 652           if (x == 0)
 653             return 0;
 654         }
 655       else
 656         x = PATTERN (x);
 657     }
 658
 659   return for_each_rtx (&x, global_reg_mentioned_p_1, NULL);
 660 }
 661 \f
 662 /* Return the number of places FIND appears within X.  If COUNT_DEST is
 663    zero, we do not count occurrences inside the destination of a SET.  */
 664
 665 int
 666 count_occurrences (x, find, count_dest)
 667      rtx x, find;
 668      int count_dest;
 669 {
 670   int i, j;
 671   enum rtx_code code;
 672   const char *format_ptr;
 673   int count;
 674
 675   if (x == find)
 676     return 1;
 677
 678   code = GET_CODE (x);
 679
 680   switch (code)
 681     {
 682     case REG:
 683     case CONST_INT:
 684     case CONST_DOUBLE:
 685     case CONST_VECTOR:
 686     case SYMBOL_REF:
 687     case CODE_LABEL:
 688     case PC:
 689     case CC0:
 690       return 0;
 691
 692     case MEM:
 693       if (GET_CODE (find) == MEM && rtx_equal_p (x, find))
 694         return 1;
 695       break;
 696
 697     case SET:
 698       if (SET_DEST (x) == find && ! count_dest)
 699         return count_occurrences (SET_SRC (x), find, count_dest);
 700       break;
 701
 702     default:
 703       break;
 704     }
 705
 706   format_ptr = GET_RTX_FORMAT (code);
 707   count = 0;
 708
 709   for (i = 0; i < GET_RTX_LENGTH (code); i++)
 710     {
 711       switch (*format_ptr++)
 712         {
 713         case 'e':
 714           count += count_occurrences (XEXP (x, i), find, count_dest);
 715           break;
 716
 717         case 'E':
 718           for (j = 0; j < XVECLEN (x, i); j++)
 719             count += count_occurrences (XVECEXP (x, i, j), find, count_dest);
 720           break;
 721         }
 722     }
 723   return count;
 724 }
 725 \f
 726 /* Nonzero if register REG appears somewhere within IN.
 727    Also works if REG is not a register; in this case it checks
 728    for a subexpression of IN that is Lisp "equal" to REG.  */
 729
 730 int
 731 reg_mentioned_p (reg, in)
 732      rtx reg, in;
 733 {
 734   const char *fmt;
 735   int i;
 736   enum rtx_code code;
 737
 738   if (in == 0)
 739     return 0;
 740
 741   if (reg == in)
 742     return 1;
 743
 744   if (GET_CODE (in) == LABEL_REF)
 745     return reg == XEXP (in, 0);
 746
 747   code = GET_CODE (in);
 748
 749   switch (code)
 750     {
 751       /* Compare registers by number.  */
 752     case REG:
 753       return GET_CODE (reg) == REG && REGNO (in) == REGNO (reg);
 754
 755       /* These codes have no constituent expressions
 756          and are unique.  */
 757     case SCRATCH:
 758     case CC0:
 759     case PC:
 760       return 0;
 761
 762     case CONST_INT:
 763       return GET_CODE (reg) == CONST_INT && INTVAL (in) == INTVAL (reg);
 764
 765     case CONST_VECTOR:
 766     case CONST_DOUBLE:
 767       /* These are kept unique for a given value.  */
 768       return 0;
 769
 770     default:
 771       break;
 772     }
 773
 774   if (GET_CODE (reg) == code && rtx_equal_p (reg, in))
 775     return 1;
 776
 777   fmt = GET_RTX_FORMAT (code);
 778
 779   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
 780     {
 781       if (fmt[i] == 'E')
 782         {
 783           int j;
 784           for (j = XVECLEN (in, i) - 1; j >= 0; j--)
 785             if (reg_mentioned_p (reg, XVECEXP (in, i, j)))
 786               return 1;
 787         }
 788       else if (fmt[i] == 'e'
 789                && reg_mentioned_p (reg, XEXP (in, i)))
 790         return 1;
 791     }
 792   return 0;
 793 }
 794 \f
 795 /* Return 1 if in between BEG and END, exclusive of BEG and END, there is
 796    no CODE_LABEL insn.  */
 797
 798 int
 799 no_labels_between_p (beg, end)
 800      rtx beg, end;
 801 {
 802   rtx p;
 803   if (beg == end)
 804     return 0;
 805   for (p = NEXT_INSN (beg); p != end; p = NEXT_INSN (p))
 806     if (GET_CODE (p) == CODE_LABEL)
 807       return 0;
 808   return 1;
 809 }
 810
 811 /* Return 1 if in between BEG and END, exclusive of BEG and END, there is
 812    no JUMP_INSN insn.  */
 813
 814 int
 815 no_jumps_between_p (beg, end)
 816      rtx beg, end;
 817 {
 818   rtx p;
 819   for (p = NEXT_INSN (beg); p != end; p = NEXT_INSN (p))
 820     if (GET_CODE (p) == JUMP_INSN)
 821       return 0;
 822   return 1;
 823 }
 824
 825 /* Nonzero if register REG is used in an insn between
 826    FROM_INSN and TO_INSN (exclusive of those two).  */
 827
 828 int
 829 reg_used_between_p (reg, from_insn, to_insn)
 830      rtx reg, from_insn, to_insn;
 831 {
 832   rtx insn;
 833
 834   if (from_insn == to_insn)
 835     return 0;
 836
 837   for (insn = NEXT_INSN (from_insn); insn != to_insn; insn = NEXT_INSN (insn))
 838     if (INSN_P (insn)
 839         && (reg_overlap_mentioned_p (reg, PATTERN (insn))
 840            || (GET_CODE (insn) == CALL_INSN
 841               && (find_reg_fusage (insn, USE, reg)
 842                   || find_reg_fusage (insn, CLOBBER, reg)))))
 843       return 1;
 844   return 0;
 845 }
 846 \f
 847 /* Nonzero if the old value of X, a register, is referenced in BODY.  If X
 848    is entirely replaced by a new value and the only use is as a SET_DEST,
 849    we do not consider it a reference.  */
 850
 851 int
 852 reg_referenced_p (x, body)
 853      rtx x;
 854      rtx body;
 855 {
 856   int i;
 857
 858   switch (GET_CODE (body))
 859     {
 860     case SET:
 861       if (reg_overlap_mentioned_p (x, SET_SRC (body)))
 862         return 1;
 863
 864       /* If the destination is anything other than CC0, PC, a REG or a SUBREG
 865          of a REG that occupies all of the REG, the insn references X if
 866          it is mentioned in the destination.  */
 867       if (GET_CODE (SET_DEST (body)) != CC0
 868           && GET_CODE (SET_DEST (body)) != PC
 869           && GET_CODE (SET_DEST (body)) != REG
 870           && ! (GET_CODE (SET_DEST (body)) == SUBREG
 871                 && GET_CODE (SUBREG_REG (SET_DEST (body))) == REG
 872                 && (((GET_MODE_SIZE (GET_MODE (SUBREG_REG (SET_DEST (body))))
 873                       + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD)
 874                     == ((GET_MODE_SIZE (GET_MODE (SET_DEST (body)))
 875                          + (UNITS_PER_WORD - 1)) / UNITS_PER_WORD)))
 876           && reg_overlap_mentioned_p (x, SET_DEST (body)))
 877         return 1;
 878       return 0;
 879
 880     case ASM_OPERANDS:
 881       for (i = ASM_OPERANDS_INPUT_LENGTH (body) - 1; i >= 0; i--)
 882         if (reg_overlap_mentioned_p (x, ASM_OPERANDS_INPUT (body, i)))
 883           return 1;
 884       return 0;
 885
 886     case CALL:
 887     case USE:
 888     case IF_THEN_ELSE:
 889       return reg_overlap_mentioned_p (x, body);
 890
 891     case TRAP_IF:
 892       return reg_overlap_mentioned_p (x, TRAP_CONDITION (body));
 893
 894     case PREFETCH:
 895       return reg_overlap_mentioned_p (x, XEXP (body, 0));
 896
 897     case UNSPEC:
 898     case UNSPEC_VOLATILE:
 899       for (i = XVECLEN (body, 0) - 1; i >= 0; i--)
 900         if (reg_overlap_mentioned_p (x, XVECEXP (body, 0, i)))
 901           return 1;
 902       return 0;
 903
 904     case PARALLEL:
 905       for (i = XVECLEN (body, 0) - 1; i >= 0; i--)
 906         if (reg_referenced_p (x, XVECEXP (body, 0, i)))
 907           return 1;
 908       return 0;
 909
 910     case CLOBBER:
 911       if (GET_CODE (XEXP (body, 0)) == MEM)
 912         if (reg_overlap_mentioned_p (x, XEXP (XEXP (body, 0), 0)))
 913           return 1;
 914       return 0;
 915
 916     case COND_EXEC:
 917       if (reg_overlap_mentioned_p (x, COND_EXEC_TEST (body)))
 918         return 1;
 919       return reg_referenced_p (x, COND_EXEC_CODE (body));
 920
 921     default:
 922       return 0;
 923     }
 924 }
 925
 926 /* Nonzero if register REG is referenced in an insn between
 927    FROM_INSN and TO_INSN (exclusive of those two).  Sets of REG do
 928    not count.  */
 929
 930 int
 931 reg_referenced_between_p (reg, from_insn, to_insn)
 932      rtx reg, from_insn, to_insn;
 933 {
 934   rtx insn;
 935
 936   if (from_insn == to_insn)
 937     return 0;
 938
 939   for (insn = NEXT_INSN (from_insn); insn != to_insn; insn = NEXT_INSN (insn))
 940     if (INSN_P (insn)
 941         && (reg_referenced_p (reg, PATTERN (insn))
 942            || (GET_CODE (insn) == CALL_INSN
 943               && find_reg_fusage (insn, USE, reg))))
 944       return 1;
 945   return 0;
 946 }
 947 \f
 948 /* Nonzero if register REG is set or clobbered in an insn between
 949    FROM_INSN and TO_INSN (exclusive of those two).  */
 950
 951 int
 952 reg_set_between_p (reg, from_insn, to_insn)
 953      rtx reg, from_insn, to_insn;
 954 {
 955   rtx insn;
 956
 957   if (from_insn == to_insn)
 958     return 0;
 959
 960   for (insn = NEXT_INSN (from_insn); insn != to_insn; insn = NEXT_INSN (insn))
 961     if (INSN_P (insn) && reg_set_p (reg, insn))
 962       return 1;
 963   return 0;
 964 }
 965
 966 /* Internals of reg_set_between_p.  */
 967 int
 968 reg_set_p (reg, insn)
 969      rtx reg, insn;
 970 {
 971   /* We can be passed an insn or part of one.  If we are passed an insn,
 972      check if a side-effect of the insn clobbers REG.  */
 973   if (INSN_P (insn)
 974       && (FIND_REG_INC_NOTE (insn, reg)
 975           || (GET_CODE (insn) == CALL_INSN
 976               /* We'd like to test call_used_regs here, but rtlanal.c can't
 977                  reference that variable due to its use in genattrtab.  So
 978                  we'll just be more conservative.
 979
 980                  ??? Unless we could ensure that the CALL_INSN_FUNCTION_USAGE
 981                  information holds all clobbered registers.  */
 982               && ((GET_CODE (reg) == REG
 983                    && REGNO (reg) < FIRST_PSEUDO_REGISTER)
 984                   || GET_CODE (reg) == MEM
 985                   || find_reg_fusage (insn, CLOBBER, reg)))))
 986     return 1;
 987
 988   return set_of (reg, insn) != NULL_RTX;
 989 }
 990
 991 /* Similar to reg_set_between_p, but check all registers in X.  Return 0
 992    only if none of them are modified between START and END.  Do not
 993    consider non-registers one way or the other.  */
 994
 995 int
 996 regs_set_between_p (x, start, end)
 997      rtx x;
 998      rtx start, end;
 999 {
1000   enum rtx_code code = GET_CODE (x);
1001   const char *fmt;
1002   int i, j;
1003
1004   switch (code)
1005     {
1006     case CONST_INT:
1007     case CONST_DOUBLE:
1008     case CONST_VECTOR:
1009     case CONST:
1010     case SYMBOL_REF:
1011     case LABEL_REF:
1012     case PC:
1013     case CC0:
1014       return 0;
1015
1016     case REG:
1017       return reg_set_between_p (x, start, end);
1018
1019     default:
1020       break;
1021     }
1022
1023   fmt = GET_RTX_FORMAT (code);
1024   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
1025     {
1026       if (fmt[i] == 'e' && regs_set_between_p (XEXP (x, i), start, end))
1027         return 1;
1028
1029       else if (fmt[i] == 'E')
1030         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
1031           if (regs_set_between_p (XVECEXP (x, i, j), start, end))
1032             return 1;
1033     }
1034
1035   return 0;
1036 }
1037
1038 /* Similar to reg_set_between_p, but check all registers in X.  Return 0
1039    only if none of them are modified between START and END.  Return 1 if
1040    X contains a MEM; this routine does not perform any memory aliasing.  */
1041
1042 int
1043 modified_between_p (x, start, end)
1044      rtx x;
1045      rtx start, end;
1046 {
1047   enum rtx_code code = GET_CODE (x);
1048   const char *fmt;
1049   int i, j;
1050
1051   switch (code)
1052     {
1053     case CONST_INT:
1054     case CONST_DOUBLE:
1055     case CONST_VECTOR:
1056     case CONST:
1057     case SYMBOL_REF:
1058     case LABEL_REF:
1059       return 0;
1060
1061     case PC:
1062     case CC0:
1063       return 1;
1064
1065     case MEM:
1066       /* If the memory is not constant, assume it is modified.  If it is
1067          constant, we still have to check the address.  */
1068       if (! RTX_UNCHANGING_P (x))
1069         return 1;
1070       break;
1071
1072     case REG:
1073       return reg_set_between_p (x, start, end);
1074
1075     default:
1076       break;
1077     }
1078
1079   fmt = GET_RTX_FORMAT (code);
1080   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
1081     {
1082       if (fmt[i] == 'e' && modified_between_p (XEXP (x, i), start, end))
1083         return 1;
1084
1085       else if (fmt[i] == 'E')
1086         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
1087           if (modified_between_p (XVECEXP (x, i, j), start, end))
1088             return 1;
1089     }
1090
1091   return 0;
1092 }
1093
1094 /* Similar to reg_set_p, but check all registers in X.  Return 0 only if none
1095    of them are modified in INSN.  Return 1 if X contains a MEM; this routine
1096    does not perform any memory aliasing.  */
1097
1098 int
1099 modified_in_p (x, insn)
1100      rtx x;
1101      rtx insn;
1102 {
1103   enum rtx_code code = GET_CODE (x);
1104   const char *fmt;
1105   int i, j;
1106
1107   switch (code)
1108     {
1109     case CONST_INT:
1110     case CONST_DOUBLE:
1111     case CONST_VECTOR:
1112     case CONST:
1113     case SYMBOL_REF:
1114     case LABEL_REF:
1115       return 0;
1116
1117     case PC:
1118     case CC0:
1119       return 1;
1120
1121     case MEM:
1122       /* If the memory is not constant, assume it is modified.  If it is
1123          constant, we still have to check the address.  */
1124       if (! RTX_UNCHANGING_P (x))
1125         return 1;
1126       break;
1127
1128     case REG:
1129       return reg_set_p (x, insn);
1130
1131     default:
1132       break;
1133     }
1134
1135   fmt = GET_RTX_FORMAT (code);
1136   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
1137     {
1138       if (fmt[i] == 'e' && modified_in_p (XEXP (x, i), insn))
1139         return 1;
1140
1141       else if (fmt[i] == 'E')
1142         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
1143           if (modified_in_p (XVECEXP (x, i, j), insn))
1144             return 1;
1145     }
1146
1147   return 0;
1148 }
1149
1150 /* Return true if anything in insn X is (anti,output,true) dependent on
1151    anything in insn Y.  */
1152
1153 int
1154 insn_dependent_p (x, y)
1155      rtx x, y;
1156 {
1157   rtx tmp;
1158
1159   if (! INSN_P (x) || ! INSN_P (y))
1160     abort ();
1161
1162   tmp = PATTERN (y);
1163   note_stores (PATTERN (x), insn_dependent_p_1, &tmp);
1164   if (tmp == NULL_RTX)
1165     return 1;
1166
1167   tmp = PATTERN (x);
1168   note_stores (PATTERN (y), insn_dependent_p_1, &tmp);
1169   if (tmp == NULL_RTX)
1170     return 1;
1171
1172   return 0;
1173 }
1174
1175 /* A helper routine for insn_dependent_p called through note_stores.  */
1176
1177 static void
1178 insn_dependent_p_1 (x, pat, data)
1179      rtx x;
1180      rtx pat ATTRIBUTE_UNUSED;
1181      void *data;
1182 {
1183   rtx * pinsn = (rtx *) data;
1184
1185   if (*pinsn && reg_mentioned_p (x, *pinsn))
1186     *pinsn = NULL_RTX;
1187 }
1188 \f
1189 /* Helper function for set_of.  */
1190 struct set_of_data
1191   {
1192     rtx found;
1193     rtx pat;
1194   };
1195
1196 static void
1197 set_of_1 (x, pat, data1)
1198      rtx x;
1199      rtx pat;
1200      void *data1;
1201 {
1202    struct set_of_data *data = (struct set_of_data *) (data1);
1203    if (rtx_equal_p (x, data->pat)
1204        || (GET_CODE (x) != MEM && reg_overlap_mentioned_p (data->pat, x)))
1205      data->found = pat;
1206 }
1207
1208 /* Give an INSN, return a SET or CLOBBER expression that does modify PAT
1209    (either directly or via STRICT_LOW_PART and similar modifiers).  */
1210 rtx
1211 set_of (pat, insn)
1212      rtx pat, insn;
1213 {
1214   struct set_of_data data;
1215   data.found = NULL_RTX;
1216   data.pat = pat;
1217   note_stores (INSN_P (insn) ? PATTERN (insn) : insn, set_of_1, &data);
1218   return data.found;
1219 }
1220 \f
1221 /* Given an INSN, return a SET expression if this insn has only a single SET.
1222    It may also have CLOBBERs, USEs, or SET whose output
1223    will not be used, which we ignore.  */
1224
1225 rtx
1226 single_set_2 (insn, pat)
1227      rtx insn, pat;
1228 {
1229   rtx set = NULL;
1230   int set_verified = 1;
1231   int i;
1232
1233   if (GET_CODE (pat) == PARALLEL)
1234     {
1235       for (i = 0; i < XVECLEN (pat, 0); i++)
1236         {
1237           rtx sub = XVECEXP (pat, 0, i);
1238           switch (GET_CODE (sub))
1239             {
1240             case USE:
1241             case CLOBBER:
1242               break;
1243
1244             case SET:
1245               /* We can consider insns having multiple sets, where all
1246                  but one are dead as single set insns.  In common case
1247                  only single set is present in the pattern so we want
1248                  to avoid checking for REG_UNUSED notes unless necessary.
1249
1250                  When we reach set first time, we just expect this is
1251                  the single set we are looking for and only when more
1252                  sets are found in the insn, we check them.  */
1253               if (!set_verified)
1254                 {
1255                   if (find_reg_note (insn, REG_UNUSED, SET_DEST (set))
1256                       && !side_effects_p (set))
1257                     set = NULL;
1258                   else
1259                     set_verified = 1;
1260                 }
1261               if (!set)
1262                 set = sub, set_verified = 0;
1263               else if (!find_reg_note (insn, REG_UNUSED, SET_DEST (sub))
1264                        || side_effects_p (sub))
1265                 return NULL_RTX;
1266               break;
1267
1268             default:
1269               return NULL_RTX;
1270             }
1271         }
1272     }
1273   return set;
1274 }
1275
1276 /* Given an INSN, return nonzero if it has more than one SET, else return
1277    zero.  */
1278
1279 int
1280 multiple_sets (insn)
1281      rtx insn;
1282 {
1283   int found;
1284   int i;
1285
1286   /* INSN must be an insn.  */
1287   if (! INSN_P (insn))
1288     return 0;
1289
1290   /* Only a PARALLEL can have multiple SETs.  */
1291   if (GET_CODE (PATTERN (insn)) == PARALLEL)
1292     {
1293       for (i = 0, found = 0; i < XVECLEN (PATTERN (insn), 0); i++)
1294         if (GET_CODE (XVECEXP (PATTERN (insn), 0, i)) == SET)
1295           {
1296             /* If we have already found a SET, then return now.  */
1297             if (found)
1298               return 1;
1299             else
1300               found = 1;
1301           }
1302     }
1303
1304   /* Either zero or one SET.  */
1305   return 0;
1306 }
1307 \f
1308 /* Return nonzero if the destination of SET equals the source
1309    and there are no side effects.  */
1310
1311 int
1312 set_noop_p (set)
1313      rtx set;
1314 {
1315   rtx src = SET_SRC (set);
1316   rtx dst = SET_DEST (set);
1317
1318   if (side_effects_p (src) || side_effects_p (dst))
1319     return 0;
1320
1321   if (GET_CODE (dst) == MEM && GET_CODE (src) == MEM)
1322     return rtx_equal_p (dst, src);
1323
1324   if (dst == pc_rtx && src == pc_rtx)
1325     return 1;
1326
1327   if (GET_CODE (dst) == SIGN_EXTRACT
1328       || GET_CODE (dst) == ZERO_EXTRACT)
1329     return rtx_equal_p (XEXP (dst, 0), src)
1330            && ! BYTES_BIG_ENDIAN && XEXP (dst, 2) == const0_rtx;
1331
1332   if (GET_CODE (dst) == STRICT_LOW_PART)
1333     dst = XEXP (dst, 0);
1334
1335   if (GET_CODE (src) == SUBREG && GET_CODE (dst) == SUBREG)
1336     {
1337       if (SUBREG_BYTE (src) != SUBREG_BYTE (dst))
1338         return 0;
1339       src = SUBREG_REG (src);
1340       dst = SUBREG_REG (dst);
1341     }
1342
1343   return (GET_CODE (src) == REG && GET_CODE (dst) == REG
1344           && REGNO (src) == REGNO (dst));
1345 }
1346 \f
1347 /* Return nonzero if an insn consists only of SETs, each of which only sets a
1348    value to itself.  */
1349
1350 int
1351 noop_move_p (insn)
1352      rtx insn;
1353 {
1354   rtx pat = PATTERN (insn);
1355
1356   if (INSN_CODE (insn) == NOOP_MOVE_INSN_CODE)
1357     return 1;
1358
1359   /* Insns carrying these notes are useful later on.  */
1360   if (find_reg_note (insn, REG_EQUAL, NULL_RTX))
1361     return 0;
1362
1363   /* For now treat an insn with a REG_RETVAL note as a
1364      a special insn which should not be considered a no-op.  */
1365   if (find_reg_note (insn, REG_RETVAL, NULL_RTX))
1366     return 0;
1367
1368   if (GET_CODE (pat) == SET && set_noop_p (pat))
1369     return 1;
1370
1371   if (GET_CODE (pat) == PARALLEL)
1372     {
1373       int i;
1374       /* If nothing but SETs of registers to themselves,
1375          this insn can also be deleted.  */
1376       for (i = 0; i < XVECLEN (pat, 0); i++)
1377         {
1378           rtx tem = XVECEXP (pat, 0, i);
1379
1380           if (GET_CODE (tem) == USE
1381               || GET_CODE (tem) == CLOBBER)
1382             continue;
1383
1384           if (GET_CODE (tem) != SET || ! set_noop_p (tem))
1385             return 0;
1386         }
1387
1388       return 1;
1389     }
1390   return 0;
1391 }
1392 \f
1393
1394 /* Return the last thing that X was assigned from before *PINSN.  If VALID_TO
1395    is not NULL_RTX then verify that the object is not modified up to VALID_TO.
1396    If the object was modified, if we hit a partial assignment to X, or hit a
1397    CODE_LABEL first, return X.  If we found an assignment, update *PINSN to
1398    point to it.  ALLOW_HWREG is set to 1 if hardware registers are allowed to
1399    be the src.  */
1400
1401 rtx
1402 find_last_value (x, pinsn, valid_to, allow_hwreg)
1403      rtx x;
1404      rtx *pinsn;
1405      rtx valid_to;
1406      int allow_hwreg;
1407 {
1408   rtx p;
1409
1410   for (p = PREV_INSN (*pinsn); p && GET_CODE (p) != CODE_LABEL;
1411        p = PREV_INSN (p))
1412     if (INSN_P (p))
1413       {
1414         rtx set = single_set (p);
1415         rtx note = find_reg_note (p, REG_EQUAL, NULL_RTX);
1416
1417         if (set && rtx_equal_p (x, SET_DEST (set)))
1418           {
1419             rtx src = SET_SRC (set);
1420
1421             if (note && GET_CODE (XEXP (note, 0)) != EXPR_LIST)
1422               src = XEXP (note, 0);
1423
1424             if ((valid_to == NULL_RTX
1425                  || ! modified_between_p (src, PREV_INSN (p), valid_to))
1426                 /* Reject hard registers because we don't usually want
1427                    to use them; we'd rather use a pseudo.  */
1428                 && (! (GET_CODE (src) == REG
1429                       && REGNO (src) < FIRST_PSEUDO_REGISTER) || allow_hwreg))
1430               {
1431                 *pinsn = p;
1432                 return src;
1433               }
1434           }
1435
1436         /* If set in non-simple way, we don't have a value.  */
1437         if (reg_set_p (x, p))
1438           break;
1439       }
1440
1441   return x;
1442 }
1443 \f
1444 /* Return nonzero if register in range [REGNO, ENDREGNO)
1445    appears either explicitly or implicitly in X
1446    other than being stored into.
1447
1448    References contained within the substructure at LOC do not count.
1449    LOC may be zero, meaning don't ignore anything.  */
1450
1451 int
1452 refers_to_regno_p (regno, endregno, x, loc)
1453      unsigned int regno, endregno;
1454      rtx x;
1455      rtx *loc;
1456 {
1457   int i;
1458   unsigned int x_regno;
1459   RTX_CODE code;
1460   const char *fmt;
1461
1462  repeat:
1463   /* The contents of a REG_NONNEG note is always zero, so we must come here
1464      upon repeat in case the last REG_NOTE is a REG_NONNEG note.  */
1465   if (x == 0)
1466     return 0;
1467
1468   code = GET_CODE (x);
1469
1470   switch (code)
1471     {
1472     case REG:
1473       x_regno = REGNO (x);
1474
1475       /* If we modifying the stack, frame, or argument pointer, it will
1476          clobber a virtual register.  In fact, we could be more precise,
1477          but it isn't worth it.  */
1478       if ((x_regno == STACK_POINTER_REGNUM
1479 #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM
1480            || x_regno == ARG_POINTER_REGNUM
1481 #endif
1482            || x_regno == FRAME_POINTER_REGNUM)
1483           && regno >= FIRST_VIRTUAL_REGISTER && regno <= LAST_VIRTUAL_REGISTER)
1484         return 1;
1485
1486       return (endregno > x_regno
1487               && regno < x_regno + (x_regno < FIRST_PSEUDO_REGISTER
1488                                     ? HARD_REGNO_NREGS (x_regno, GET_MODE (x))
1489                               : 1));
1490
1491     case SUBREG:
1492       /* If this is a SUBREG of a hard reg, we can see exactly which
1493          registers are being modified.  Otherwise, handle normally.  */
1494       if (GET_CODE (SUBREG_REG (x)) == REG
1495           && REGNO (SUBREG_REG (x)) < FIRST_PSEUDO_REGISTER)
1496         {
1497           unsigned int inner_regno = subreg_regno (x);
1498           unsigned int inner_endregno
1499             = inner_regno + (inner_regno < FIRST_PSEUDO_REGISTER
1500                              ? HARD_REGNO_NREGS (regno, GET_MODE (x)) : 1);
1501
1502           return endregno > inner_regno && regno < inner_endregno;
1503         }
1504       break;
1505
1506     case CLOBBER:
1507     case SET:
1508       if (&SET_DEST (x) != loc
1509           /* Note setting a SUBREG counts as referring to the REG it is in for
1510              a pseudo but not for hard registers since we can
1511              treat each word individually.  */
1512           && ((GET_CODE (SET_DEST (x)) == SUBREG
1513                && loc != &SUBREG_REG (SET_DEST (x))
1514                && GET_CODE (SUBREG_REG (SET_DEST (x))) == REG
1515                && REGNO (SUBREG_REG (SET_DEST (x))) >= FIRST_PSEUDO_REGISTER
1516                && refers_to_regno_p (regno, endregno,
1517                                      SUBREG_REG (SET_DEST (x)), loc))
1518               || (GET_CODE (SET_DEST (x)) != REG
1519                   && refers_to_regno_p (regno, endregno, SET_DEST (x), loc))))
1520         return 1;
1521
1522       if (code == CLOBBER || loc == &SET_SRC (x))
1523         return 0;
1524       x = SET_SRC (x);
1525       goto repeat;
1526
1527     default:
1528       break;
1529     }
1530
1531   /* X does not match, so try its subexpressions.  */
1532
1533   fmt = GET_RTX_FORMAT (code);
1534   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
1535     {
1536       if (fmt[i] == 'e' && loc != &XEXP (x, i))
1537         {
1538           if (i == 0)
1539             {
1540               x = XEXP (x, 0);
1541               goto repeat;
1542             }
1543           else
1544             if (refers_to_regno_p (regno, endregno, XEXP (x, i), loc))
1545               return 1;
1546         }
1547       else if (fmt[i] == 'E')
1548         {
1549           int j;
1550           for (j = XVECLEN (x, i) - 1; j >=0; j--)
1551             if (loc != &XVECEXP (x, i, j)
1552                 && refers_to_regno_p (regno, endregno, XVECEXP (x, i, j), loc))
1553               return 1;
1554         }
1555     }
1556   return 0;
1557 }
1558
1559 /* Nonzero if modifying X will affect IN.  If X is a register or a SUBREG,
1560    we check if any register number in X conflicts with the relevant register
1561    numbers.  If X is a constant, return 0.  If X is a MEM, return 1 iff IN
1562    contains a MEM (we don't bother checking for memory addresses that can't
1563    conflict because we expect this to be a rare case.  */
1564
1565 int
1566 reg_overlap_mentioned_p (x, in)
1567      rtx x, in;
1568 {
1569   unsigned int regno, endregno;
1570
1571   /* Overly conservative.  */
1572   if (GET_CODE (x) == STRICT_LOW_PART)
1573     x = XEXP (x, 0);
1574
1575   /* If either argument is a constant, then modifying X can not affect IN.  */
1576   if (CONSTANT_P (x) || CONSTANT_P (in))
1577     return 0;
1578
1579   switch (GET_CODE (x))
1580     {
1581     case SUBREG:
1582       regno = REGNO (SUBREG_REG (x));
1583       if (regno < FIRST_PSEUDO_REGISTER)
1584         regno = subreg_regno (x);
1585       goto do_reg;
1586
1587     case REG:
1588       regno = REGNO (x);
1589     do_reg:
1590       endregno = regno + (regno < FIRST_PSEUDO_REGISTER
1591                           ? HARD_REGNO_NREGS (regno, GET_MODE (x)) : 1);
1592       return refers_to_regno_p (regno, endregno, in, (rtx*) 0);
1593
1594     case MEM:
1595       {
1596         const char *fmt;
1597         int i;
1598
1599         if (GET_CODE (in) == MEM)
1600           return 1;
1601
1602         fmt = GET_RTX_FORMAT (GET_CODE (in));
1603         for (i = GET_RTX_LENGTH (GET_CODE (in)) - 1; i >= 0; i--)
1604           if (fmt[i] == 'e' && reg_overlap_mentioned_p (x, XEXP (in, i)))
1605             return 1;
1606
1607         return 0;
1608       }
1609
1610     case SCRATCH:
1611     case PC:
1612     case CC0:
1613       return reg_mentioned_p (x, in);
1614
1615     case PARALLEL:
1616       {
1617         int i;
1618
1619         /* If any register in here refers to it we return true.  */
1620         for (i = XVECLEN (x, 0) - 1; i >= 0; i--)
1621           if (XEXP (XVECEXP (x, 0, i), 0) != 0
1622               && reg_overlap_mentioned_p (XEXP (XVECEXP (x, 0, i), 0), in))
1623               return 1;
1624         return 0;
1625       }
1626
1627     default:
1628       break;
1629     }
1630
1631   abort ();
1632 }
1633 \f
1634 /* Return the last value to which REG was set prior to INSN.  If we can't
1635    find it easily, return 0.
1636
1637    We only return a REG, SUBREG, or constant because it is too hard to
1638    check if a MEM remains unchanged.  */
1639
1640 rtx
1641 reg_set_last (x, insn)
1642      rtx x;
1643      rtx insn;
1644 {
1645   rtx orig_insn = insn;
1646
1647   /* Scan backwards until reg_set_last_1 changed one of the above flags.
1648      Stop when we reach a label or X is a hard reg and we reach a
1649      CALL_INSN (if reg_set_last_last_regno is a hard reg).
1650
1651      If we find a set of X, ensure that its SET_SRC remains unchanged.  */
1652
1653   /* We compare with <= here, because reg_set_last_last_regno
1654      is actually the number of the first reg *not* in X.  */
1655   for (;
1656        insn && GET_CODE (insn) != CODE_LABEL
1657        && ! (GET_CODE (insn) == CALL_INSN
1658              && REGNO (x) <= FIRST_PSEUDO_REGISTER);
1659        insn = PREV_INSN (insn))
1660     if (INSN_P (insn))
1661       {
1662         rtx set = set_of (x, insn);
1663         /* OK, this function modify our register.  See if we understand it.  */
1664         if (set)
1665           {
1666             rtx last_value;
1667             if (GET_CODE (set) != SET || SET_DEST (set) != x)
1668               return 0;
1669             last_value = SET_SRC (x);
1670             if (CONSTANT_P (last_value)
1671                 || ((GET_CODE (last_value) == REG
1672                      || GET_CODE (last_value) == SUBREG)
1673                     && ! reg_set_between_p (last_value,
1674                                             insn, orig_insn)))
1675               return last_value;
1676             else
1677               return 0;
1678           }
1679       }
1680
1681   return 0;
1682 }
1683 \f
1684 /* Call FUN on each register or MEM that is stored into or clobbered by X.
1685    (X would be the pattern of an insn).
1686    FUN receives two arguments:
1687      the REG, MEM, CC0 or PC being stored in or clobbered,
1688      the SET or CLOBBER rtx that does the store.
1689
1690   If the item being stored in or clobbered is a SUBREG of a hard register,
1691   the SUBREG will be passed.  */
1692
1693 void
1694 note_stores (x, fun, data)
1695      rtx x;
1696      void (*fun) PARAMS ((rtx, rtx, void *));
1697      void *data;
1698 {
1699   int i;
1700
1701   if (GET_CODE (x) == COND_EXEC)
1702     x = COND_EXEC_CODE (x);
1703
1704   if (GET_CODE (x) == SET || GET_CODE (x) == CLOBBER)
1705     {
1706       rtx dest = SET_DEST (x);
1707
1708       while ((GET_CODE (dest) == SUBREG
1709               && (GET_CODE (SUBREG_REG (dest)) != REG
1710                   || REGNO (SUBREG_REG (dest)) >= FIRST_PSEUDO_REGISTER))
1711              || GET_CODE (dest) == ZERO_EXTRACT
1712              || GET_CODE (dest) == SIGN_EXTRACT
1713              || GET_CODE (dest) == STRICT_LOW_PART)
1714         dest = XEXP (dest, 0);
1715
1716       /* If we have a PARALLEL, SET_DEST is a list of EXPR_LIST expressions,
1717          each of whose first operand is a register.  */
1718       if (GET_CODE (dest) == PARALLEL)
1719         {
1720           for (i = XVECLEN (dest, 0) - 1; i >= 0; i--)
1721             if (XEXP (XVECEXP (dest, 0, i), 0) != 0)
1722               (*fun) (XEXP (XVECEXP (dest, 0, i), 0), x, data);
1723         }
1724       else
1725         (*fun) (dest, x, data);
1726     }
1727
1728   else if (GET_CODE (x) == PARALLEL)
1729     for (i = XVECLEN (x, 0) - 1; i >= 0; i--)
1730       note_stores (XVECEXP (x, 0, i), fun, data);
1731 }
1732 \f
1733 /* Like notes_stores, but call FUN for each expression that is being
1734    referenced in PBODY, a pointer to the PATTERN of an insn.  We only call
1735    FUN for each expression, not any interior subexpressions.  FUN receives a
1736    pointer to the expression and the DATA passed to this function.
1737
1738    Note that this is not quite the same test as that done in reg_referenced_p
1739    since that considers something as being referenced if it is being
1740    partially set, while we do not.  */
1741
1742 void
1743 note_uses (pbody, fun, data)
1744      rtx *pbody;
1745      void (*fun) PARAMS ((rtx *, void *));
1746      void *data;
1747 {
1748   rtx body = *pbody;
1749   int i;
1750
1751   switch (GET_CODE (body))
1752     {
1753     case COND_EXEC:
1754       (*fun) (&COND_EXEC_TEST (body), data);
1755       note_uses (&COND_EXEC_CODE (body), fun, data);
1756       return;
1757
1758     case PARALLEL:
1759       for (i = XVECLEN (body, 0) - 1; i >= 0; i--)
1760         note_uses (&XVECEXP (body, 0, i), fun, data);
1761       return;
1762
1763     case USE:
1764       (*fun) (&XEXP (body, 0), data);
1765       return;
1766
1767     case ASM_OPERANDS:
1768       for (i = ASM_OPERANDS_INPUT_LENGTH (body) - 1; i >= 0; i--)
1769         (*fun) (&ASM_OPERANDS_INPUT (body, i), data);
1770       return;
1771
1772     case TRAP_IF:
1773       (*fun) (&TRAP_CONDITION (body), data);
1774       return;
1775
1776     case PREFETCH:
1777       (*fun) (&XEXP (body, 0), data);
1778       return;
1779
1780     case UNSPEC:
1781     case UNSPEC_VOLATILE:
1782       for (i = XVECLEN (body, 0) - 1; i >= 0; i--)
1783         (*fun) (&XVECEXP (body, 0, i), data);
1784       return;
1785
1786     case CLOBBER:
1787       if (GET_CODE (XEXP (body, 0)) == MEM)
1788         (*fun) (&XEXP (XEXP (body, 0), 0), data);
1789       return;
1790
1791     case SET:
1792       {
1793         rtx dest = SET_DEST (body);
1794
1795         /* For sets we replace everything in source plus registers in memory
1796            expression in store and operands of a ZERO_EXTRACT.  */
1797         (*fun) (&SET_SRC (body), data);
1798
1799         if (GET_CODE (dest) == ZERO_EXTRACT)
1800           {
1801             (*fun) (&XEXP (dest, 1), data);
1802             (*fun) (&XEXP (dest, 2), data);
1803           }
1804
1805         while (GET_CODE (dest) == SUBREG || GET_CODE (dest) == STRICT_LOW_PART)
1806           dest = XEXP (dest, 0);
1807
1808         if (GET_CODE (dest) == MEM)
1809           (*fun) (&XEXP (dest, 0), data);
1810       }
1811       return;
1812
1813     default:
1814       /* All the other possibilities never store.  */
1815       (*fun) (pbody, data);
1816       return;
1817     }
1818 }
1819 \f
1820 /* Return nonzero if X's old contents don't survive after INSN.
1821    This will be true if X is (cc0) or if X is a register and
1822    X dies in INSN or because INSN entirely sets X.
1823
1824    "Entirely set" means set directly and not through a SUBREG,
1825    ZERO_EXTRACT or SIGN_EXTRACT, so no trace of the old contents remains.
1826    Likewise, REG_INC does not count.
1827
1828    REG may be a hard or pseudo reg.  Renumbering is not taken into account,
1829    but for this use that makes no difference, since regs don't overlap
1830    during their lifetimes.  Therefore, this function may be used
1831    at any time after deaths have been computed (in flow.c).
1832
1833    If REG is a hard reg that occupies multiple machine registers, this
1834    function will only return 1 if each of those registers will be replaced
1835    by INSN.  */
1836
1837 int
1838 dead_or_set_p (insn, x)
1839      rtx insn;
1840      rtx x;
1841 {
1842   unsigned int regno, last_regno;
1843   unsigned int i;
1844
1845   /* Can't use cc0_rtx below since this file is used by genattrtab.c.  */
1846   if (GET_CODE (x) == CC0)
1847     return 1;
1848
1849   if (GET_CODE (x) != REG)
1850     abort ();
1851
1852   regno = REGNO (x);
1853   last_regno = (regno >= FIRST_PSEUDO_REGISTER ? regno
1854                 : regno + HARD_REGNO_NREGS (regno, GET_MODE (x)) - 1);
1855
1856   for (i = regno; i <= last_regno; i++)
1857     if (! dead_or_set_regno_p (insn, i))
1858       return 0;
1859
1860   return 1;
1861 }
1862
1863 /* Utility function for dead_or_set_p to check an individual register.  Also
1864    called from flow.c.  */
1865
1866 int
1867 dead_or_set_regno_p (insn, test_regno)
1868      rtx insn;
1869      unsigned int test_regno;
1870 {
1871   unsigned int regno, endregno;
1872   rtx pattern;
1873
1874   /* See if there is a death note for something that includes TEST_REGNO.  */
1875   if (find_regno_note (insn, REG_DEAD, test_regno))
1876     return 1;
1877
1878   if (GET_CODE (insn) == CALL_INSN
1879       && find_regno_fusage (insn, CLOBBER, test_regno))
1880     return 1;
1881
1882   pattern = PATTERN (insn);
1883
1884   if (GET_CODE (pattern) == COND_EXEC)
1885     pattern = COND_EXEC_CODE (pattern);
1886
1887   if (GET_CODE (pattern) == SET)
1888     {
1889       rtx dest = SET_DEST (pattern);
1890
1891       /* A value is totally replaced if it is the destination or the
1892          destination is a SUBREG of REGNO that does not change the number of
1893          words in it.  */
1894       if (GET_CODE (dest) == SUBREG
1895           && (((GET_MODE_SIZE (GET_MODE (dest))
1896                 + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
1897               == ((GET_MODE_SIZE (GET_MODE (SUBREG_REG (dest)))
1898                    + UNITS_PER_WORD - 1) / UNITS_PER_WORD)))
1899         dest = SUBREG_REG (dest);
1900
1901       if (GET_CODE (dest) != REG)
1902         return 0;
1903
1904       regno = REGNO (dest);
1905       endregno = (regno >= FIRST_PSEUDO_REGISTER ? regno + 1
1906                   : regno + HARD_REGNO_NREGS (regno, GET_MODE (dest)));
1907
1908       return (test_regno >= regno && test_regno < endregno);
1909     }
1910   else if (GET_CODE (pattern) == PARALLEL)
1911     {
1912       int i;
1913
1914       for (i = XVECLEN (pattern, 0) - 1; i >= 0; i--)
1915         {
1916           rtx body = XVECEXP (pattern, 0, i);
1917
1918           if (GET_CODE (body) == COND_EXEC)
1919             body = COND_EXEC_CODE (body);
1920
1921           if (GET_CODE (body) == SET || GET_CODE (body) == CLOBBER)
1922             {
1923               rtx dest = SET_DEST (body);
1924
1925               if (GET_CODE (dest) == SUBREG
1926                   && (((GET_MODE_SIZE (GET_MODE (dest))
1927                         + UNITS_PER_WORD - 1) / UNITS_PER_WORD)
1928                       == ((GET_MODE_SIZE (GET_MODE (SUBREG_REG (dest)))
1929                            + UNITS_PER_WORD - 1) / UNITS_PER_WORD)))
1930                 dest = SUBREG_REG (dest);
1931
1932               if (GET_CODE (dest) != REG)
1933                 continue;
1934
1935               regno = REGNO (dest);
1936               endregno = (regno >= FIRST_PSEUDO_REGISTER ? regno + 1
1937                           : regno + HARD_REGNO_NREGS (regno, GET_MODE (dest)));
1938
1939               if (test_regno >= regno && test_regno < endregno)
1940                 return 1;
1941             }
1942         }
1943     }
1944
1945   return 0;
1946 }
1947
1948 /* Return the reg-note of kind KIND in insn INSN, if there is one.
1949    If DATUM is nonzero, look for one whose datum is DATUM.  */
1950
1951 rtx
1952 find_reg_note (insn, kind, datum)
1953      rtx insn;
1954      enum reg_note kind;
1955      rtx datum;
1956 {
1957   rtx link;
1958
1959   /* Ignore anything that is not an INSN, JUMP_INSN or CALL_INSN.  */
1960   if (! INSN_P (insn))
1961     return 0;
1962
1963   for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
1964     if (REG_NOTE_KIND (link) == kind
1965         && (datum == 0 || datum == XEXP (link, 0)))
1966       return link;
1967   return 0;
1968 }
1969
1970 /* Return the reg-note of kind KIND in insn INSN which applies to register
1971    number REGNO, if any.  Return 0 if there is no such reg-note.  Note that
1972    the REGNO of this NOTE need not be REGNO if REGNO is a hard register;
1973    it might be the case that the note overlaps REGNO.  */
1974
1975 rtx
1976 find_regno_note (insn, kind, regno)
1977      rtx insn;
1978      enum reg_note kind;
1979      unsigned int regno;
1980 {
1981   rtx link;
1982
1983   /* Ignore anything that is not an INSN, JUMP_INSN or CALL_INSN.  */
1984   if (! INSN_P (insn))
1985     return 0;
1986
1987   for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
1988     if (REG_NOTE_KIND (link) == kind
1989         /* Verify that it is a register, so that scratch and MEM won't cause a
1990            problem here.  */
1991         && GET_CODE (XEXP (link, 0)) == REG
1992         && REGNO (XEXP (link, 0)) <= regno
1993         && ((REGNO (XEXP (link, 0))
1994              + (REGNO (XEXP (link, 0)) >= FIRST_PSEUDO_REGISTER ? 1
1995                 : HARD_REGNO_NREGS (REGNO (XEXP (link, 0)),
1996                                     GET_MODE (XEXP (link, 0)))))
1997             > regno))
1998       return link;
1999   return 0;
2000 }
2001
2002 /* Return a REG_EQUIV or REG_EQUAL note if insn has only a single set and
2003    has such a note.  */
2004
2005 rtx
2006 find_reg_equal_equiv_note (insn)
2007      rtx insn;
2008 {
2009   rtx note;
2010
2011   if (single_set (insn) == 0)
2012     return 0;
2013   else if ((note = find_reg_note (insn, REG_EQUIV, NULL_RTX)) != 0)
2014     return note;
2015   else
2016     return find_reg_note (insn, REG_EQUAL, NULL_RTX);
2017 }
2018
2019 /* Return true if DATUM, or any overlap of DATUM, of kind CODE is found
2020    in the CALL_INSN_FUNCTION_USAGE information of INSN.  */
2021
2022 int
2023 find_reg_fusage (insn, code, datum)
2024      rtx insn;
2025      enum rtx_code code;
2026      rtx datum;
2027 {
2028   /* If it's not a CALL_INSN, it can't possibly have a
2029      CALL_INSN_FUNCTION_USAGE field, so don't bother checking.  */
2030   if (GET_CODE (insn) != CALL_INSN)
2031     return 0;
2032
2033   if (! datum)
2034     abort ();
2035
2036   if (GET_CODE (datum) != REG)
2037     {
2038       rtx link;
2039
2040       for (link = CALL_INSN_FUNCTION_USAGE (insn);
2041            link;
2042            link = XEXP (link, 1))
2043         if (GET_CODE (XEXP (link, 0)) == code
2044             && rtx_equal_p (datum, XEXP (XEXP (link, 0), 0)))
2045           return 1;
2046     }
2047   else
2048     {
2049       unsigned int regno = REGNO (datum);
2050
2051       /* CALL_INSN_FUNCTION_USAGE information cannot contain references
2052          to pseudo registers, so don't bother checking.  */
2053
2054       if (regno < FIRST_PSEUDO_REGISTER)
2055         {
2056           unsigned int end_regno
2057             = regno + HARD_REGNO_NREGS (regno, GET_MODE (datum));
2058           unsigned int i;
2059
2060           for (i = regno; i < end_regno; i++)
2061             if (find_regno_fusage (insn, code, i))
2062               return 1;
2063         }
2064     }
2065
2066   return 0;
2067 }
2068
2069 /* Return true if REGNO, or any overlap of REGNO, of kind CODE is found
2070    in the CALL_INSN_FUNCTION_USAGE information of INSN.  */
2071
2072 int
2073 find_regno_fusage (insn, code, regno)
2074      rtx insn;
2075      enum rtx_code code;
2076      unsigned int regno;
2077 {
2078   rtx link;
2079
2080   /* CALL_INSN_FUNCTION_USAGE information cannot contain references
2081      to pseudo registers, so don't bother checking.  */
2082
2083   if (regno >= FIRST_PSEUDO_REGISTER
2084       || GET_CODE (insn) != CALL_INSN )
2085     return 0;
2086
2087   for (link = CALL_INSN_FUNCTION_USAGE (insn); link; link = XEXP (link, 1))
2088     {
2089       unsigned int regnote;
2090       rtx op, reg;
2091
2092       if (GET_CODE (op = XEXP (link, 0)) == code
2093           && GET_CODE (reg = XEXP (op, 0)) == REG
2094           && (regnote = REGNO (reg)) <= regno
2095           && regnote + HARD_REGNO_NREGS (regnote, GET_MODE (reg)) > regno)
2096         return 1;
2097     }
2098
2099   return 0;
2100 }
2101
2102 /* Return true if INSN is a call to a pure function.  */
2103
2104 int
2105 pure_call_p (insn)
2106      rtx insn;
2107 {
2108   rtx link;
2109
2110   if (GET_CODE (insn) != CALL_INSN || ! CONST_OR_PURE_CALL_P (insn))
2111     return 0;
2112
2113   /* Look for the note that differentiates const and pure functions.  */
2114   for (link = CALL_INSN_FUNCTION_USAGE (insn); link; link = XEXP (link, 1))
2115     {
2116       rtx u, m;
2117
2118       if (GET_CODE (u = XEXP (link, 0)) == USE
2119           && GET_CODE (m = XEXP (u, 0)) == MEM && GET_MODE (m) == BLKmode
2120           && GET_CODE (XEXP (m, 0)) == SCRATCH)
2121         return 1;
2122     }
2123
2124   return 0;
2125 }
2126 \f
2127 /* Remove register note NOTE from the REG_NOTES of INSN.  */
2128
2129 void
2130 remove_note (insn, note)
2131      rtx insn;
2132      rtx note;
2133 {
2134   rtx link;
2135
2136   if (note == NULL_RTX)
2137     return;
2138
2139   if (REG_NOTES (insn) == note)
2140     {
2141       REG_NOTES (insn) = XEXP (note, 1);
2142       return;
2143     }
2144
2145   for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
2146     if (XEXP (link, 1) == note)
2147       {
2148         XEXP (link, 1) = XEXP (note, 1);
2149         return;
2150       }
2151
2152   abort ();
2153 }
2154
2155 /* Search LISTP (an EXPR_LIST) for an entry whose first operand is NODE and
2156    return 1 if it is found.  A simple equality test is used to determine if
2157    NODE matches.  */
2158
2159 int
2160 in_expr_list_p (listp, node)
2161      rtx listp;
2162      rtx node;
2163 {
2164   rtx x;
2165
2166   for (x = listp; x; x = XEXP (x, 1))
2167     if (node == XEXP (x, 0))
2168       return 1;
2169
2170   return 0;
2171 }
2172
2173 /* Search LISTP (an EXPR_LIST) for an entry whose first operand is NODE and
2174    remove that entry from the list if it is found.
2175
2176    A simple equality test is used to determine if NODE matches.  */
2177
2178 void
2179 remove_node_from_expr_list (node, listp)
2180      rtx node;
2181      rtx *listp;
2182 {
2183   rtx temp = *listp;
2184   rtx prev = NULL_RTX;
2185
2186   while (temp)
2187     {
2188       if (node == XEXP (temp, 0))
2189         {
2190           /* Splice the node out of the list.  */
2191           if (prev)
2192             XEXP (prev, 1) = XEXP (temp, 1);
2193           else
2194             *listp = XEXP (temp, 1);
2195
2196           return;
2197         }
2198
2199       prev = temp;
2200       temp = XEXP (temp, 1);
2201     }
2202 }
2203 \f
2204 /* Nonzero if X contains any volatile instructions.  These are instructions
2205    which may cause unpredictable machine state instructions, and thus no
2206    instructions should be moved or combined across them.  This includes
2207    only volatile asms and UNSPEC_VOLATILE instructions.  */
2208
2209 int
2210 volatile_insn_p (x)
2211      rtx x;
2212 {
2213   RTX_CODE code;
2214
2215   code = GET_CODE (x);
2216   switch (code)
2217     {
2218     case LABEL_REF:
2219     case SYMBOL_REF:
2220     case CONST_INT:
2221     case CONST:
2222     case CONST_DOUBLE:
2223     case CONST_VECTOR:
2224     case CC0:
2225     case PC:
2226     case REG:
2227     case SCRATCH:
2228     case CLOBBER:
2229     case ASM_INPUT:
2230     case ADDR_VEC:
2231     case ADDR_DIFF_VEC:
2232     case CALL:
2233     case MEM:
2234       return 0;
2235
2236     case UNSPEC_VOLATILE:
2237  /* case TRAP_IF: This isn't clear yet.  */
2238       return 1;
2239
2240     case ASM_OPERANDS:
2241       if (MEM_VOLATILE_P (x))
2242         return 1;
2243
2244     default:
2245       break;
2246     }
2247
2248   /* Recursively scan the operands of this expression.  */
2249
2250   {
2251     const char *fmt = GET_RTX_FORMAT (code);
2252     int i;
2253
2254     for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2255       {
2256         if (fmt[i] == 'e')
2257           {
2258             if (volatile_insn_p (XEXP (x, i)))
2259               return 1;
2260           }
2261         else if (fmt[i] == 'E')
2262           {
2263             int j;
2264             for (j = 0; j < XVECLEN (x, i); j++)
2265               if (volatile_insn_p (XVECEXP (x, i, j)))
2266                 return 1;
2267           }
2268       }
2269   }
2270   return 0;
2271 }
2272
2273 /* Nonzero if X contains any volatile memory references
2274    UNSPEC_VOLATILE operations or volatile ASM_OPERANDS expressions.  */
2275
2276 int
2277 volatile_refs_p (x)
2278      rtx x;
2279 {
2280   RTX_CODE code;
2281
2282   code = GET_CODE (x);
2283   switch (code)
2284     {
2285     case LABEL_REF:
2286     case SYMBOL_REF:
2287     case CONST_INT:
2288     case CONST:
2289     case CONST_DOUBLE:
2290     case CONST_VECTOR:
2291     case CC0:
2292     case PC:
2293     case REG:
2294     case SCRATCH:
2295     case CLOBBER:
2296     case ASM_INPUT:
2297     case ADDR_VEC:
2298     case ADDR_DIFF_VEC:
2299       return 0;
2300
2301     case UNSPEC_VOLATILE:
2302       return 1;
2303
2304     case MEM:
2305     case ASM_OPERANDS:
2306       if (MEM_VOLATILE_P (x))
2307         return 1;
2308
2309     default:
2310       break;
2311     }
2312
2313   /* Recursively scan the operands of this expression.  */
2314
2315   {
2316     const char *fmt = GET_RTX_FORMAT (code);
2317     int i;
2318
2319     for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2320       {
2321         if (fmt[i] == 'e')
2322           {
2323             if (volatile_refs_p (XEXP (x, i)))
2324               return 1;
2325           }
2326         else if (fmt[i] == 'E')
2327           {
2328             int j;
2329             for (j = 0; j < XVECLEN (x, i); j++)
2330               if (volatile_refs_p (XVECEXP (x, i, j)))
2331                 return 1;
2332           }
2333       }
2334   }
2335   return 0;
2336 }
2337
2338 /* Similar to above, except that it also rejects register pre- and post-
2339    incrementing.  */
2340
2341 int
2342 side_effects_p (x)
2343      rtx x;
2344 {
2345   RTX_CODE code;
2346
2347   code = GET_CODE (x);
2348   switch (code)
2349     {
2350     case LABEL_REF:
2351     case SYMBOL_REF:
2352     case CONST_INT:
2353     case CONST:
2354     case CONST_DOUBLE:
2355     case CONST_VECTOR:
2356     case CC0:
2357     case PC:
2358     case REG:
2359     case SCRATCH:
2360     case ASM_INPUT:
2361     case ADDR_VEC:
2362     case ADDR_DIFF_VEC:
2363       return 0;
2364
2365     case CLOBBER:
2366       /* Reject CLOBBER with a non-VOID mode.  These are made by combine.c
2367          when some combination can't be done.  If we see one, don't think
2368          that we can simplify the expression.  */
2369       return (GET_MODE (x) != VOIDmode);
2370
2371     case PRE_INC:
2372     case PRE_DEC:
2373     case POST_INC:
2374     case POST_DEC:
2375     case PRE_MODIFY:
2376     case POST_MODIFY:
2377     case CALL:
2378     case UNSPEC_VOLATILE:
2379  /* case TRAP_IF: This isn't clear yet.  */
2380       return 1;
2381
2382     case MEM:
2383     case ASM_OPERANDS:
2384       if (MEM_VOLATILE_P (x))
2385         return 1;
2386
2387     default:
2388       break;
2389     }
2390
2391   /* Recursively scan the operands of this expression.  */
2392
2393   {
2394     const char *fmt = GET_RTX_FORMAT (code);
2395     int i;
2396
2397     for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2398       {
2399         if (fmt[i] == 'e')
2400           {
2401             if (side_effects_p (XEXP (x, i)))
2402               return 1;
2403           }
2404         else if (fmt[i] == 'E')
2405           {
2406             int j;
2407             for (j = 0; j < XVECLEN (x, i); j++)
2408               if (side_effects_p (XVECEXP (x, i, j)))
2409                 return 1;
2410           }
2411       }
2412   }
2413   return 0;
2414 }
2415 \f
2416 /* Return nonzero if evaluating rtx X might cause a trap.  */
2417
2418 int
2419 may_trap_p (x)
2420      rtx x;
2421 {
2422   int i;
2423   enum rtx_code code;
2424   const char *fmt;
2425
2426   if (x == 0)
2427     return 0;
2428   code = GET_CODE (x);
2429   switch (code)
2430     {
2431       /* Handle these cases quickly.  */
2432     case CONST_INT:
2433     case CONST_DOUBLE:
2434     case CONST_VECTOR:
2435     case SYMBOL_REF:
2436     case LABEL_REF:
2437     case CONST:
2438     case PC:
2439     case CC0:
2440     case REG:
2441     case SCRATCH:
2442       return 0;
2443
2444     case ASM_INPUT:
2445     case UNSPEC_VOLATILE:
2446     case TRAP_IF:
2447       return 1;
2448
2449     case ASM_OPERANDS:
2450       return MEM_VOLATILE_P (x);
2451
2452       /* Memory ref can trap unless it's a static var or a stack slot.  */
2453     case MEM:
2454       return rtx_addr_can_trap_p (XEXP (x, 0));
2455
2456       /* Division by a non-constant might trap.  */
2457     case DIV:
2458     case MOD:
2459     case UDIV:
2460     case UMOD:
2461       if (HONOR_SNANS (GET_MODE (x)))
2462         return 1;
2463       if (! CONSTANT_P (XEXP (x, 1))
2464           || (GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT
2465               && flag_trapping_math))
2466         return 1;
2467       /* This was const0_rtx, but by not using that,
2468          we can link this file into other programs.  */
2469       if (GET_CODE (XEXP (x, 1)) == CONST_INT && INTVAL (XEXP (x, 1)) == 0)
2470         return 1;
2471       break;
2472
2473     case EXPR_LIST:
2474       /* An EXPR_LIST is used to represent a function call.  This
2475          certainly may trap.  */
2476       return 1;
2477
2478     case GE:
2479     case GT:
2480     case LE:
2481     case LT:
2482     case COMPARE:
2483       /* Some floating point comparisons may trap.  */
2484       if (!flag_trapping_math)
2485         break;
2486       /* ??? There is no machine independent way to check for tests that trap
2487          when COMPARE is used, though many targets do make this distinction.
2488          For instance, sparc uses CCFPE for compares which generate exceptions
2489          and CCFP for compares which do not generate exceptions.  */
2490       if (HONOR_NANS (GET_MODE (x)))
2491         return 1;
2492       /* But often the compare has some CC mode, so check operand
2493          modes as well.  */
2494       if (HONOR_NANS (GET_MODE (XEXP (x, 0)))
2495           || HONOR_NANS (GET_MODE (XEXP (x, 1))))
2496         return 1;
2497       break;
2498
2499     case EQ:
2500     case NE:
2501       if (HONOR_SNANS (GET_MODE (x)))
2502         return 1;
2503       /* Often comparison is CC mode, so check operand modes.  */
2504       if (HONOR_SNANS (GET_MODE (XEXP (x, 0)))
2505           || HONOR_SNANS (GET_MODE (XEXP (x, 1))))
2506         return 1;
2507       break;
2508
2509     case NEG:
2510     case ABS:
2511       /* These operations don't trap even with floating point.  */
2512       break;
2513
2514     default:
2515       /* Any floating arithmetic may trap.  */
2516       if (GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT
2517           && flag_trapping_math)
2518         return 1;
2519     }
2520
2521   fmt = GET_RTX_FORMAT (code);
2522   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2523     {
2524       if (fmt[i] == 'e')
2525         {
2526           if (may_trap_p (XEXP (x, i)))
2527             return 1;
2528         }
2529       else if (fmt[i] == 'E')
2530         {
2531           int j;
2532           for (j = 0; j < XVECLEN (x, i); j++)
2533             if (may_trap_p (XVECEXP (x, i, j)))
2534               return 1;
2535         }
2536     }
2537   return 0;
2538 }
2539 \f
2540 /* Return nonzero if X contains a comparison that is not either EQ or NE,
2541    i.e., an inequality.  */
2542
2543 int
2544 inequality_comparisons_p (x)
2545      rtx x;
2546 {
2547   const char *fmt;
2548   int len, i;
2549   enum rtx_code code = GET_CODE (x);
2550
2551   switch (code)
2552     {
2553     case REG:
2554     case SCRATCH:
2555     case PC:
2556     case CC0:
2557     case CONST_INT:
2558     case CONST_DOUBLE:
2559     case CONST_VECTOR:
2560     case CONST:
2561     case LABEL_REF:
2562     case SYMBOL_REF:
2563       return 0;
2564
2565     case LT:
2566     case LTU:
2567     case GT:
2568     case GTU:
2569     case LE:
2570     case LEU:
2571     case GE:
2572     case GEU:
2573       return 1;
2574
2575     default:
2576       break;
2577     }
2578
2579   len = GET_RTX_LENGTH (code);
2580   fmt = GET_RTX_FORMAT (code);
2581
2582   for (i = 0; i < len; i++)
2583     {
2584       if (fmt[i] == 'e')
2585         {
2586           if (inequality_comparisons_p (XEXP (x, i)))
2587             return 1;
2588         }
2589       else if (fmt[i] == 'E')
2590         {
2591           int j;
2592           for (j = XVECLEN (x, i) - 1; j >= 0; j--)
2593             if (inequality_comparisons_p (XVECEXP (x, i, j)))
2594               return 1;
2595         }
2596     }
2597
2598   return 0;
2599 }
2600 \f
2601 /* Replace any occurrence of FROM in X with TO.  The function does
2602    not enter into CONST_DOUBLE for the replace.
2603
2604    Note that copying is not done so X must not be shared unless all copies
2605    are to be modified.  */
2606
2607 rtx
2608 replace_rtx (x, from, to)
2609      rtx x, from, to;
2610 {
2611   int i, j;
2612   const char *fmt;
2613
2614   /* The following prevents loops occurrence when we change MEM in
2615      CONST_DOUBLE onto the same CONST_DOUBLE.  */
2616   if (x != 0 && GET_CODE (x) == CONST_DOUBLE)
2617     return x;
2618
2619   if (x == from)
2620     return to;
2621
2622   /* Allow this function to make replacements in EXPR_LISTs.  */
2623   if (x == 0)
2624     return 0;
2625
2626   if (GET_CODE (x) == SUBREG)
2627     {
2628       rtx new = replace_rtx (SUBREG_REG (x), from, to);
2629
2630       if (GET_CODE (new) == CONST_INT)
2631         {
2632           x = simplify_subreg (GET_MODE (x), new,
2633                                GET_MODE (SUBREG_REG (x)),
2634                                SUBREG_BYTE (x));
2635           if (! x)
2636             abort ();
2637         }
2638       else
2639         SUBREG_REG (x) = new;
2640
2641       return x;
2642     }
2643   else if (GET_CODE (x) == ZERO_EXTEND)
2644     {
2645       rtx new = replace_rtx (XEXP (x, 0), from, to);
2646
2647       if (GET_CODE (new) == CONST_INT)
2648         {
2649           x = simplify_unary_operation (ZERO_EXTEND, GET_MODE (x),
2650                                         new, GET_MODE (XEXP (x, 0)));
2651           if (! x)
2652             abort ();
2653         }
2654       else
2655         XEXP (x, 0) = new;
2656
2657       return x;
2658     }
2659
2660   fmt = GET_RTX_FORMAT (GET_CODE (x));
2661   for (i = GET_RTX_LENGTH (GET_CODE (x)) - 1; i >= 0; i--)
2662     {
2663       if (fmt[i] == 'e')
2664         XEXP (x, i) = replace_rtx (XEXP (x, i), from, to);
2665       else if (fmt[i] == 'E')
2666         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
2667           XVECEXP (x, i, j) = replace_rtx (XVECEXP (x, i, j), from, to);
2668     }
2669
2670   return x;
2671 }
2672 \f
2673 /* Throughout the rtx X, replace many registers according to REG_MAP.
2674    Return the replacement for X (which may be X with altered contents).
2675    REG_MAP[R] is the replacement for register R, or 0 for don't replace.
2676    NREGS is the length of REG_MAP; regs >= NREGS are not mapped.
2677
2678    We only support REG_MAP entries of REG or SUBREG.  Also, hard registers
2679    should not be mapped to pseudos or vice versa since validate_change
2680    is not called.
2681
2682    If REPLACE_DEST is 1, replacements are also done in destinations;
2683    otherwise, only sources are replaced.  */
2684
2685 rtx
2686 replace_regs (x, reg_map, nregs, replace_dest)
2687      rtx x;
2688      rtx *reg_map;
2689      unsigned int nregs;
2690      int replace_dest;
2691 {
2692   enum rtx_code code;
2693   int i;
2694   const char *fmt;
2695
2696   if (x == 0)
2697     return x;
2698
2699   code = GET_CODE (x);
2700   switch (code)
2701     {
2702     case SCRATCH:
2703     case PC:
2704     case CC0:
2705     case CONST_INT:
2706     case CONST_DOUBLE:
2707     case CONST_VECTOR:
2708     case CONST:
2709     case SYMBOL_REF:
2710     case LABEL_REF:
2711       return x;
2712
2713     case REG:
2714       /* Verify that the register has an entry before trying to access it.  */
2715       if (REGNO (x) < nregs && reg_map[REGNO (x)] != 0)
2716         {
2717           /* SUBREGs can't be shared.  Always return a copy to ensure that if
2718              this replacement occurs more than once then each instance will
2719              get distinct rtx.  */
2720           if (GET_CODE (reg_map[REGNO (x)]) == SUBREG)
2721             return copy_rtx (reg_map[REGNO (x)]);
2722           return reg_map[REGNO (x)];
2723         }
2724       return x;
2725
2726     case SUBREG:
2727       /* Prevent making nested SUBREGs.  */
2728       if (GET_CODE (SUBREG_REG (x)) == REG && REGNO (SUBREG_REG (x)) < nregs
2729           && reg_map[REGNO (SUBREG_REG (x))] != 0
2730           && GET_CODE (reg_map[REGNO (SUBREG_REG (x))]) == SUBREG)
2731         {
2732           rtx map_val = reg_map[REGNO (SUBREG_REG (x))];
2733           return simplify_gen_subreg (GET_MODE (x), map_val,
2734                                       GET_MODE (SUBREG_REG (x)),
2735                                       SUBREG_BYTE (x));
2736         }
2737       break;
2738
2739     case SET:
2740       if (replace_dest)
2741         SET_DEST (x) = replace_regs (SET_DEST (x), reg_map, nregs, 0);
2742
2743       else if (GET_CODE (SET_DEST (x)) == MEM
2744                || GET_CODE (SET_DEST (x)) == STRICT_LOW_PART)
2745         /* Even if we are not to replace destinations, replace register if it
2746            is CONTAINED in destination (destination is memory or
2747            STRICT_LOW_PART).  */
2748         XEXP (SET_DEST (x), 0) = replace_regs (XEXP (SET_DEST (x), 0),
2749                                                reg_map, nregs, 0);
2750       else if (GET_CODE (SET_DEST (x)) == ZERO_EXTRACT)
2751         /* Similarly, for ZERO_EXTRACT we replace all operands.  */
2752         break;
2753
2754       SET_SRC (x) = replace_regs (SET_SRC (x), reg_map, nregs, 0);
2755       return x;
2756
2757     default:
2758       break;
2759     }
2760
2761   fmt = GET_RTX_FORMAT (code);
2762   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2763     {
2764       if (fmt[i] == 'e')
2765         XEXP (x, i) = replace_regs (XEXP (x, i), reg_map, nregs, replace_dest);
2766       else if (fmt[i] == 'E')
2767         {
2768           int j;
2769           for (j = 0; j < XVECLEN (x, i); j++)
2770             XVECEXP (x, i, j) = replace_regs (XVECEXP (x, i, j), reg_map,
2771                                               nregs, replace_dest);
2772         }
2773     }
2774   return x;
2775 }
2776
2777 /* A subroutine of computed_jump_p, return 1 if X contains a REG or MEM or
2778    constant that is not in the constant pool and not in the condition
2779    of an IF_THEN_ELSE.  */
2780
2781 static int
2782 computed_jump_p_1 (x)
2783      rtx x;
2784 {
2785   enum rtx_code code = GET_CODE (x);
2786   int i, j;
2787   const char *fmt;
2788
2789   switch (code)
2790     {
2791     case LABEL_REF:
2792     case PC:
2793       return 0;
2794
2795     case CONST:
2796     case CONST_INT:
2797     case CONST_DOUBLE:
2798     case CONST_VECTOR:
2799     case SYMBOL_REF:
2800     case REG:
2801       return 1;
2802
2803     case MEM:
2804       return ! (GET_CODE (XEXP (x, 0)) == SYMBOL_REF
2805                 && CONSTANT_POOL_ADDRESS_P (XEXP (x, 0)));
2806
2807     case IF_THEN_ELSE:
2808       return (computed_jump_p_1 (XEXP (x, 1))
2809               || computed_jump_p_1 (XEXP (x, 2)));
2810
2811     default:
2812       break;
2813     }
2814
2815   fmt = GET_RTX_FORMAT (code);
2816   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
2817     {
2818       if (fmt[i] == 'e'
2819           && computed_jump_p_1 (XEXP (x, i)))
2820         return 1;
2821
2822       else if (fmt[i] == 'E')
2823         for (j = 0; j < XVECLEN (x, i); j++)
2824           if (computed_jump_p_1 (XVECEXP (x, i, j)))
2825             return 1;
2826     }
2827
2828   return 0;
2829 }
2830
2831 /* Return nonzero if INSN is an indirect jump (aka computed jump).
2832
2833    Tablejumps and casesi insns are not considered indirect jumps;
2834    we can recognize them by a (use (label_ref)).  */
2835
2836 int
2837 computed_jump_p (insn)
2838      rtx insn;
2839 {
2840   int i;
2841   if (GET_CODE (insn) == JUMP_INSN)
2842     {
2843       rtx pat = PATTERN (insn);
2844
2845       if (find_reg_note (insn, REG_LABEL, NULL_RTX))
2846         return 0;
2847       else if (GET_CODE (pat) == PARALLEL)
2848         {
2849           int len = XVECLEN (pat, 0);
2850           int has_use_labelref = 0;
2851
2852           for (i = len - 1; i >= 0; i--)
2853             if (GET_CODE (XVECEXP (pat, 0, i)) == USE
2854                 && (GET_CODE (XEXP (XVECEXP (pat, 0, i), 0))
2855                     == LABEL_REF))
2856               has_use_labelref = 1;
2857
2858           if (! has_use_labelref)
2859             for (i = len - 1; i >= 0; i--)
2860               if (GET_CODE (XVECEXP (pat, 0, i)) == SET
2861                   && SET_DEST (XVECEXP (pat, 0, i)) == pc_rtx
2862                   && computed_jump_p_1 (SET_SRC (XVECEXP (pat, 0, i))))
2863                 return 1;
2864         }
2865       else if (GET_CODE (pat) == SET
2866                && SET_DEST (pat) == pc_rtx
2867                && computed_jump_p_1 (SET_SRC (pat)))
2868         return 1;
2869     }
2870   return 0;
2871 }
2872
2873 /* Traverse X via depth-first search, calling F for each
2874    sub-expression (including X itself).  F is also passed the DATA.
2875    If F returns -1, do not traverse sub-expressions, but continue
2876    traversing the rest of the tree.  If F ever returns any other
2877    nonzero value, stop the traversal, and return the value returned
2878    by F.  Otherwise, return 0.  This function does not traverse inside
2879    tree structure that contains RTX_EXPRs, or into sub-expressions
2880    whose format code is `0' since it is not known whether or not those
2881    codes are actually RTL.
2882
2883    This routine is very general, and could (should?) be used to
2884    implement many of the other routines in this file.  */
2885
2886 int
2887 for_each_rtx (x, f, data)
2888      rtx *x;
2889      rtx_function f;
2890      void *data;
2891 {
2892   int result;
2893   int length;
2894   const char *format;
2895   int i;
2896
2897   /* Call F on X.  */
2898   result = (*f) (x, data);
2899   if (result == -1)
2900     /* Do not traverse sub-expressions.  */
2901     return 0;
2902   else if (result != 0)
2903     /* Stop the traversal.  */
2904     return result;
2905
2906   if (*x == NULL_RTX)
2907     /* There are no sub-expressions.  */
2908     return 0;
2909
2910   length = GET_RTX_LENGTH (GET_CODE (*x));
2911   format = GET_RTX_FORMAT (GET_CODE (*x));
2912
2913   for (i = 0; i < length; ++i)
2914     {
2915       switch (format[i])
2916         {
2917         case 'e':
2918           result = for_each_rtx (&XEXP (*x, i), f, data);
2919           if (result != 0)
2920             return result;
2921           break;
2922
2923         case 'V':
2924         case 'E':
2925           if (XVEC (*x, i) != 0)
2926             {
2927               int j;
2928               for (j = 0; j < XVECLEN (*x, i); ++j)
2929                 {
2930                   result = for_each_rtx (&XVECEXP (*x, i, j), f, data);
2931                   if (result != 0)
2932                     return result;
2933                 }
2934             }
2935           break;
2936
2937         default:
2938           /* Nothing to do.  */
2939           break;
2940         }
2941
2942     }
2943
2944   return 0;
2945 }
2946
2947 /* Searches X for any reference to REGNO, returning the rtx of the
2948    reference found if any.  Otherwise, returns NULL_RTX.  */
2949
2950 rtx
2951 regno_use_in (regno, x)
2952      unsigned int regno;
2953      rtx x;
2954 {
2955   const char *fmt;
2956   int i, j;
2957   rtx tem;
2958
2959   if (GET_CODE (x) == REG && REGNO (x) == regno)
2960     return x;
2961
2962   fmt = GET_RTX_FORMAT (GET_CODE (x));
2963   for (i = GET_RTX_LENGTH (GET_CODE (x)) - 1; i >= 0; i--)
2964     {
2965       if (fmt[i] == 'e')
2966         {
2967           if ((tem = regno_use_in (regno, XEXP (x, i))))
2968             return tem;
2969         }
2970       else if (fmt[i] == 'E')
2971         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
2972           if ((tem = regno_use_in (regno , XVECEXP (x, i, j))))
2973             return tem;
2974     }
2975
2976   return NULL_RTX;
2977 }
2978
2979 /* Return a value indicating whether OP, an operand of a commutative
2980    operation, is preferred as the first or second operand.  The higher
2981    the value, the stronger the preference for being the first operand.
2982    We use negative values to indicate a preference for the first operand
2983    and positive values for the second operand.  */
2984
2985 int
2986 commutative_operand_precedence (op)
2987      rtx op;
2988 {
2989   /* Constants always come the second operand.  Prefer "nice" constants.  */
2990   if (GET_CODE (op) == CONST_INT)
2991     return -5;
2992   if (GET_CODE (op) == CONST_DOUBLE)
2993     return -4;
2994   if (CONSTANT_P (op))
2995     return -3;
2996
2997   /* SUBREGs of objects should come second.  */
2998   if (GET_CODE (op) == SUBREG
2999       && GET_RTX_CLASS (GET_CODE (SUBREG_REG (op))) == 'o')
3000     return -2;
3001
3002   /* If only one operand is a `neg', `not',
3003     `mult', `plus', or `minus' expression, it will be the first
3004     operand.  */
3005   if (GET_CODE (op) == NEG || GET_CODE (op) == NOT
3006       || GET_CODE (op) == MULT || GET_CODE (op) == PLUS
3007       || GET_CODE (op) == MINUS)
3008     return 2;
3009
3010   /* Complex expressions should be the first, so decrease priority
3011      of objects.  */
3012   if (GET_RTX_CLASS (GET_CODE (op)) == 'o')
3013     return -1;
3014   return 0;
3015 }
3016
3017 /* Return 1 iff it is necessary to swap operands of commutative operation
3018    in order to canonicalize expression.  */
3019
3020 int
3021 swap_commutative_operands_p (x, y)
3022      rtx x, y;
3023 {
3024   return (commutative_operand_precedence (x)
3025           < commutative_operand_precedence (y));
3026 }
3027
3028 /* Return 1 if X is an autoincrement side effect and the register is
3029    not the stack pointer.  */
3030 int
3031 auto_inc_p (x)
3032      rtx x;
3033 {
3034   switch (GET_CODE (x))
3035     {
3036     case PRE_INC:
3037     case POST_INC:
3038     case PRE_DEC:
3039     case POST_DEC:
3040     case PRE_MODIFY:
3041     case POST_MODIFY:
3042       /* There are no REG_INC notes for SP.  */
3043       if (XEXP (x, 0) != stack_pointer_rtx)
3044         return 1;
3045     default:
3046       break;
3047     }
3048   return 0;
3049 }
3050
3051 /* Return 1 if the sequence of instructions beginning with FROM and up
3052    to and including TO is safe to move.  If NEW_TO is non-NULL, and
3053    the sequence is not already safe to move, but can be easily
3054    extended to a sequence which is safe, then NEW_TO will point to the
3055    end of the extended sequence.
3056
3057    For now, this function only checks that the region contains whole
3058    exception regions, but it could be extended to check additional
3059    conditions as well.  */
3060
3061 int
3062 insns_safe_to_move_p (from, to, new_to)
3063      rtx from;
3064      rtx to;
3065      rtx *new_to;
3066 {
3067   int eh_region_count = 0;
3068   int past_to_p = 0;
3069   rtx r = from;
3070
3071   /* By default, assume the end of the region will be what was
3072      suggested.  */
3073   if (new_to)
3074     *new_to = to;
3075
3076   while (r)
3077     {
3078       if (GET_CODE (r) == NOTE)
3079         {
3080           switch (NOTE_LINE_NUMBER (r))
3081             {
3082             case NOTE_INSN_EH_REGION_BEG:
3083               ++eh_region_count;
3084               break;
3085
3086             case NOTE_INSN_EH_REGION_END:
3087               if (eh_region_count == 0)
3088                 /* This sequence of instructions contains the end of
3089                    an exception region, but not he beginning.  Moving
3090                    it will cause chaos.  */
3091                 return 0;
3092
3093               --eh_region_count;
3094               break;
3095
3096             default:
3097               break;
3098             }
3099         }
3100       else if (past_to_p)
3101         /* If we've passed TO, and we see a non-note instruction, we
3102            can't extend the sequence to a movable sequence.  */
3103         return 0;
3104
3105       if (r == to)
3106         {
3107           if (!new_to)
3108             /* It's OK to move the sequence if there were matched sets of
3109                exception region notes.  */
3110             return eh_region_count == 0;
3111
3112           past_to_p = 1;
3113         }
3114
3115       /* It's OK to move the sequence if there were matched sets of
3116          exception region notes.  */
3117       if (past_to_p && eh_region_count == 0)
3118         {
3119           *new_to = r;
3120           return 1;
3121         }
3122
3123       /* Go to the next instruction.  */
3124       r = NEXT_INSN (r);
3125     }
3126
3127   return 0;
3128 }
3129
3130 /* Return nonzero if IN contains a piece of rtl that has the address LOC */
3131 int
3132 loc_mentioned_in_p (loc, in)
3133      rtx *loc, in;
3134 {
3135   enum rtx_code code = GET_CODE (in);
3136   const char *fmt = GET_RTX_FORMAT (code);
3137   int i, j;
3138
3139   for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
3140     {
3141       if (loc == &in->fld[i].rtx)
3142         return 1;
3143       if (fmt[i] == 'e')
3144         {
3145           if (loc_mentioned_in_p (loc, XEXP (in, i)))
3146             return 1;
3147         }
3148       else if (fmt[i] == 'E')
3149         for (j = XVECLEN (in, i) - 1; j >= 0; j--)
3150           if (loc_mentioned_in_p (loc, XVECEXP (in, i, j)))
3151             return 1;
3152     }
3153   return 0;
3154 }
3155
3156 /* Given a subreg X, return the bit offset where the subreg begins
3157    (counting from the least significant bit of the reg).  */
3158
3159 unsigned int
3160 subreg_lsb (x)
3161      rtx x;
3162 {
3163   enum machine_mode inner_mode = GET_MODE (SUBREG_REG (x));
3164   enum machine_mode mode = GET_MODE (x);
3165   unsigned int bitpos;
3166   unsigned int byte;
3167   unsigned int word;
3168
3169   /* A paradoxical subreg begins at bit position 0.  */
3170   if (GET_MODE_BITSIZE (mode) > GET_MODE_BITSIZE (inner_mode))
3171     return 0;
3172
3173   if (WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN)
3174     /* If the subreg crosses a word boundary ensure that
3175        it also begins and ends on a word boundary.  */
3176     if ((SUBREG_BYTE (x) % UNITS_PER_WORD
3177          + GET_MODE_SIZE (mode)) > UNITS_PER_WORD
3178         && (SUBREG_BYTE (x) % UNITS_PER_WORD
3179             || GET_MODE_SIZE (mode) % UNITS_PER_WORD))
3180         abort ();
3181
3182   if (WORDS_BIG_ENDIAN)
3183     word = (GET_MODE_SIZE (inner_mode)
3184             - (SUBREG_BYTE (x) + GET_MODE_SIZE (mode))) / UNITS_PER_WORD;
3185   else
3186     word = SUBREG_BYTE (x) / UNITS_PER_WORD;
3187   bitpos = word * BITS_PER_WORD;
3188
3189   if (BYTES_BIG_ENDIAN)
3190     byte = (GET_MODE_SIZE (inner_mode)
3191             - (SUBREG_BYTE (x) + GET_MODE_SIZE (mode))) % UNITS_PER_WORD;
3192   else
3193     byte = SUBREG_BYTE (x) % UNITS_PER_WORD;
3194   bitpos += byte * BITS_PER_UNIT;
3195
3196   return bitpos;
3197 }
3198
3199 /* This function returns the regno offset of a subreg expression.
3200    xregno - A regno of an inner hard subreg_reg (or what will become one).
3201    xmode  - The mode of xregno.
3202    offset - The byte offset.
3203    ymode  - The mode of a top level SUBREG (or what may become one).
3204    RETURN - The regno offset which would be used.  */
3205 unsigned int
3206 subreg_regno_offset (xregno, xmode, offset, ymode)
3207      unsigned int xregno;
3208      enum machine_mode xmode;
3209      unsigned int offset;
3210      enum machine_mode ymode;
3211 {
3212   int nregs_xmode, nregs_ymode;
3213   int mode_multiple, nregs_multiple;
3214   int y_offset;
3215
3216   if (xregno >= FIRST_PSEUDO_REGISTER)
3217     abort ();
3218
3219   nregs_xmode = HARD_REGNO_NREGS (xregno, xmode);
3220   nregs_ymode = HARD_REGNO_NREGS (xregno, ymode);
3221
3222   /* If this is a big endian paradoxical subreg, which uses more actual
3223      hard registers than the original register, we must return a negative
3224      offset so that we find the proper highpart of the register.  */
3225   if (offset == 0
3226       && nregs_ymode > nregs_xmode
3227       && (GET_MODE_SIZE (ymode) > UNITS_PER_WORD
3228           ? WORDS_BIG_ENDIAN : BYTES_BIG_ENDIAN))
3229     return nregs_xmode - nregs_ymode;
3230
3231   if (offset == 0 || nregs_xmode == nregs_ymode)
3232     return 0;
3233
3234   /* size of ymode must not be greater than the size of xmode.  */
3235   mode_multiple = GET_MODE_SIZE (xmode) / GET_MODE_SIZE (ymode);
3236   if (mode_multiple == 0)
3237     abort ();
3238
3239   y_offset = offset / GET_MODE_SIZE (ymode);
3240   nregs_multiple =  nregs_xmode / nregs_ymode;
3241   return (y_offset / (mode_multiple / nregs_multiple)) * nregs_ymode;
3242 }
3243
3244 /* Return the final regno that a subreg expression refers to.  */
3245 unsigned int
3246 subreg_regno (x)
3247      rtx x;
3248 {
3249   unsigned int ret;
3250   rtx subreg = SUBREG_REG (x);
3251   int regno = REGNO (subreg);
3252
3253   ret = regno + subreg_regno_offset (regno,
3254                                      GET_MODE (subreg),
3255                                      SUBREG_BYTE (x),
3256                                      GET_MODE (x));
3257   return ret;
3258
3259 }
3260 struct parms_set_data
3261 {
3262   int nregs;
3263   HARD_REG_SET regs;
3264 };
3265
3266 /* Helper function for noticing stores to parameter registers.  */
3267 static void
3268 parms_set (x, pat, data)
3269         rtx x, pat ATTRIBUTE_UNUSED;
3270         void *data;
3271 {
3272   struct parms_set_data *d = data;
3273   if (REG_P (x) && REGNO (x) < FIRST_PSEUDO_REGISTER
3274       && TEST_HARD_REG_BIT (d->regs, REGNO (x)))
3275     {
3276       CLEAR_HARD_REG_BIT (d->regs, REGNO (x));
3277       d->nregs--;
3278     }
3279 }
3280
3281 /* Look backward for first parameter to be loaded.
3282    Do not skip BOUNDARY.  */
3283 rtx
3284 find_first_parameter_load (call_insn, boundary)
3285      rtx call_insn, boundary;
3286 {
3287   struct parms_set_data parm;
3288   rtx p, before;
3289
3290   /* Since different machines initialize their parameter registers
3291      in different orders, assume nothing.  Collect the set of all
3292      parameter registers.  */
3293   CLEAR_HARD_REG_SET (parm.regs);
3294   parm.nregs = 0;
3295   for (p = CALL_INSN_FUNCTION_USAGE (call_insn); p; p = XEXP (p, 1))
3296     if (GET_CODE (XEXP (p, 0)) == USE
3297         && GET_CODE (XEXP (XEXP (p, 0), 0)) == REG)
3298       {
3299         if (REGNO (XEXP (XEXP (p, 0), 0)) >= FIRST_PSEUDO_REGISTER)
3300           abort ();
3301
3302         /* We only care about registers which can hold function
3303            arguments.  */
3304         if (!FUNCTION_ARG_REGNO_P (REGNO (XEXP (XEXP (p, 0), 0))))
3305           continue;
3306
3307         SET_HARD_REG_BIT (parm.regs, REGNO (XEXP (XEXP (p, 0), 0)));
3308         parm.nregs++;
3309       }
3310   before = call_insn;
3311
3312   /* Search backward for the first set of a register in this set.  */
3313   while (parm.nregs && before != boundary)
3314     {
3315       before = PREV_INSN (before);
3316
3317       /* It is possible that some loads got CSEed from one call to
3318          another.  Stop in that case.  */
3319       if (GET_CODE (before) == CALL_INSN)
3320         break;
3321
3322       /* Our caller needs either ensure that we will find all sets
3323          (in case code has not been optimized yet), or take care
3324          for possible labels in a way by setting boundary to preceding
3325          CODE_LABEL.  */
3326       if (GET_CODE (before) == CODE_LABEL)
3327         {
3328           if (before != boundary)
3329             abort ();
3330           break;
3331         }
3332
3333       if (INSN_P (before))
3334         note_stores (PATTERN (before), parms_set, &parm);
3335     }
3336   return before;
3337 }
3338
3339 /* Return true if we should avoid inserting code between INSN and preceding
3340    call instruction.  */
3341
3342 bool
3343 keep_with_call_p (insn)
3344      rtx insn;
3345 {
3346   rtx set;
3347
3348   if (INSN_P (insn) && (set = single_set (insn)) != NULL)
3349     {
3350       if (GET_CODE (SET_DEST (set)) == REG
3351           && REGNO (SET_DEST (set)) < FIRST_PSEUDO_REGISTER
3352           && fixed_regs[REGNO (SET_DEST (set))]
3353           && general_operand (SET_SRC (set), VOIDmode))
3354         return true;
3355       if (GET_CODE (SET_SRC (set)) == REG
3356           && FUNCTION_VALUE_REGNO_P (REGNO (SET_SRC (set)))
3357           && GET_CODE (SET_DEST (set)) == REG
3358           && REGNO (SET_DEST (set)) >= FIRST_PSEUDO_REGISTER)
3359         return true;
3360       /* There may be a stack pop just after the call and before the store
3361          of the return register.  Search for the actual store when deciding
3362          if we can break or not.  */
3363       if (SET_DEST (set) == stack_pointer_rtx)
3364         {
3365           rtx i2 = next_nonnote_insn (insn);
3366           if (i2 && keep_with_call_p (i2))
3367             return true;
3368         }
3369     }
3370   return false;
3371 }
3372
3373 /* Return true when store to register X can be hoisted to the place
3374    with LIVE registers (can be NULL).  Value VAL contains destination
3375    whose value will be used.  */
3376
3377 static bool
3378 hoist_test_store (x, val, live)
3379      rtx x, val;
3380      regset live;
3381 {
3382   if (GET_CODE (x) == SCRATCH)
3383     return true;
3384
3385   if (rtx_equal_p (x, val))
3386     return true;
3387
3388   /* Allow subreg of X in case it is not writting just part of multireg pseudo.
3389      Then we would need to update all users to care hoisting the store too.
3390      Caller may represent that by specifying whole subreg as val.  */
3391
3392   if (GET_CODE (x) == SUBREG && rtx_equal_p (SUBREG_REG (x), val))
3393     {
3394       if (GET_MODE_SIZE (GET_MODE (SUBREG_REG (x))) > UNITS_PER_WORD
3395           && GET_MODE_BITSIZE (GET_MODE (x)) <
3396           GET_MODE_BITSIZE (GET_MODE (SUBREG_REG (x))))
3397         return false;
3398       return true;
3399     }
3400   if (GET_CODE (x) == SUBREG)
3401     x = SUBREG_REG (x);
3402
3403   /* Anything except register store is not hoistable.  This includes the
3404      partial stores to registers.  */
3405
3406   if (!REG_P (x))
3407     return false;
3408
3409   /* Pseudo registers can be allways replaced by another pseudo to avoid
3410      the side effect, for hard register we must ensure that they are dead.
3411      Eventually we may want to add code to try turn pseudos to hards, but it
3412      is unlikely usefull.  */
3413
3414   if (REGNO (x) < FIRST_PSEUDO_REGISTER)
3415     {
3416       int regno = REGNO (x);
3417       int n = HARD_REGNO_NREGS (regno, GET_MODE (x));
3418
3419       if (!live)
3420         return false;
3421       if (REGNO_REG_SET_P (live, regno))
3422         return false;
3423       while (--n > 0)
3424         if (REGNO_REG_SET_P (live, regno + n))
3425           return false;
3426     }
3427   return true;
3428 }
3429
3430
3431 /* Return true if INSN can be hoisted to place with LIVE hard registers
3432    (LIVE can be NULL when unknown).  VAL is expected to be stored by the insn
3433    and used by the hoisting pass.  */
3434
3435 bool
3436 can_hoist_insn_p (insn, val, live)
3437      rtx insn, val;
3438      regset live;
3439 {
3440   rtx pat = PATTERN (insn);
3441   int i;
3442
3443   /* It probably does not worth the complexity to handle multiple
3444      set stores.  */
3445   if (!single_set (insn))
3446     return false;
3447   /* We can move CALL_INSN, but we need to check that all caller clobbered
3448      regs are dead.  */
3449   if (GET_CODE (insn) == CALL_INSN)
3450     return false;
3451   /* In future we will handle hoisting of libcall sequences, but
3452      give up for now.  */
3453   if (find_reg_note (insn, REG_RETVAL, NULL_RTX))
3454     return false;
3455   switch (GET_CODE (pat))
3456     {
3457     case SET:
3458       if (!hoist_test_store (SET_DEST (pat), val, live))
3459         return false;
3460       break;
3461     case USE:
3462       /* USES do have sick semantics, so do not move them.  */
3463       return false;
3464       break;
3465     case CLOBBER:
3466       if (!hoist_test_store (XEXP (pat, 0), val, live))
3467         return false;
3468       break;
3469     case PARALLEL:
3470       for (i = 0; i < XVECLEN (pat, 0); i++)
3471         {
3472           rtx x = XVECEXP (pat, 0, i);
3473           switch (GET_CODE (x))
3474             {
3475             case SET:
3476               if (!hoist_test_store (SET_DEST (x), val, live))
3477                 return false;
3478               break;
3479             case USE:
3480               /* We need to fix callers to really ensure availability
3481                  of all values inisn uses, but for now it is safe to prohibit
3482                  hoisting of any insn having such a hidden uses.  */
3483               return false;
3484               break;
3485             case CLOBBER:
3486               if (!hoist_test_store (SET_DEST (x), val, live))
3487                 return false;
3488               break;
3489             default:
3490               break;
3491             }
3492         }
3493       break;
3494     default:
3495       abort ();
3496     }
3497   return true;
3498 }
3499
3500 /* Update store after hoisting - replace all stores to pseudo registers
3501    by new ones to avoid clobbering of values except for store to VAL that will
3502    be updated to NEW.  */
3503
3504 static void
3505 hoist_update_store (insn, xp, val, new)
3506      rtx insn, *xp, val, new;
3507 {
3508   rtx x = *xp;
3509
3510   if (GET_CODE (x) == SCRATCH)
3511     return;
3512
3513   if (GET_CODE (x) == SUBREG && SUBREG_REG (x) == val)
3514     validate_change (insn, xp,
3515                      simplify_gen_subreg (GET_MODE (x), new, GET_MODE (new),
3516                                           SUBREG_BYTE (x)), 1);
3517   if (rtx_equal_p (x, val))
3518     {
3519       validate_change (insn, xp, new, 1);
3520       return;
3521     }
3522   if (GET_CODE (x) == SUBREG)
3523     {
3524       xp = &SUBREG_REG (x);
3525       x = *xp;
3526     }
3527
3528   if (!REG_P (x))
3529     abort ();
3530
3531   /* We've verified that hard registers are dead, so we may keep the side
3532      effect.  Otherwise replace it by new pseudo.  */
3533   if (REGNO (x) >= FIRST_PSEUDO_REGISTER)
3534     validate_change (insn, xp, gen_reg_rtx (GET_MODE (x)), 1);
3535   REG_NOTES (insn)
3536     = alloc_EXPR_LIST (REG_UNUSED, *xp, REG_NOTES (insn));
3537 }
3538
3539 /* Create a copy of INSN after AFTER replacing store of VAL to NEW
3540    and each other side effect to pseudo register by new pseudo register.  */
3541
3542 rtx
3543 hoist_insn_after (insn, after, val, new)
3544      rtx insn, after, val, new;
3545 {
3546   rtx pat;
3547   int i;
3548   rtx note;
3549
3550   insn = emit_copy_of_insn_after (insn, after);
3551   pat = PATTERN (insn);
3552
3553   /* Remove REG_UNUSED notes as we will re-emit them.  */
3554   while ((note = find_reg_note (insn, REG_UNUSED, NULL_RTX)))
3555     remove_note (insn, note);
3556
3557   /* To get this working callers must ensure to move everything referenced
3558      by REG_EQUAL/REG_EQUIV notes too.  Lets remove them, it is probably
3559      easier.  */
3560   while ((note = find_reg_note (insn, REG_EQUAL, NULL_RTX)))
3561     remove_note (insn, note);
3562   while ((note = find_reg_note (insn, REG_EQUIV, NULL_RTX)))
3563     remove_note (insn, note);
3564
3565   /* Remove REG_DEAD notes as they might not be valid anymore in case
3566      we create redundancy.  */
3567   while ((note = find_reg_note (insn, REG_DEAD, NULL_RTX)))
3568     remove_note (insn, note);
3569   switch (GET_CODE (pat))
3570     {
3571     case SET:
3572       hoist_update_store (insn, &SET_DEST (pat), val, new);
3573       break;
3574     case USE:
3575       break;
3576     case CLOBBER:
3577       hoist_update_store (insn, &XEXP (pat, 0), val, new);
3578       break;
3579     case PARALLEL:
3580       for (i = 0; i < XVECLEN (pat, 0); i++)
3581         {
3582           rtx x = XVECEXP (pat, 0, i);
3583           switch (GET_CODE (x))
3584             {
3585             case SET:
3586               hoist_update_store (insn, &SET_DEST (x), val, new);
3587               break;
3588             case USE:
3589               break;
3590             case CLOBBER:
3591               hoist_update_store (insn, &SET_DEST (x), val, new);
3592               break;
3593             default:
3594               break;
3595             }
3596         }
3597       break;
3598     default:
3599       abort ();
3600     }
3601   if (!apply_change_group ())
3602     abort ();
3603
3604   return insn;
3605 }
3606
3607 rtx
3608 hoist_insn_to_edge (insn, e, val, new)
3609      rtx insn, val, new;
3610      edge e;
3611 {
3612   rtx new_insn;
3613
3614   /* We cannot insert instructions on an abnormal critical edge.
3615      It will be easier to find the culprit if we die now.  */
3616   if ((e->flags & EDGE_ABNORMAL) && EDGE_CRITICAL_P (e))
3617     abort ();
3618
3619   /* Do not use emit_insn_on_edge as we want to preserve notes and similar
3620      stuff.  We also emit CALL_INSNS and firends.  */
3621   if (e->insns == NULL_RTX)
3622     {
3623       start_sequence ();
3624       emit_note (NULL, NOTE_INSN_DELETED);
3625     }
3626   else
3627     push_to_sequence (e->insns);
3628
3629   new_insn = hoist_insn_after (insn, get_last_insn (), val, new);
3630
3631   e->insns = get_insns ();
3632   end_sequence ();
3633   return new_insn;
3634 }