contrib/gcc/flow.c

78    REG_UNUSED notes are added for each register that is set by the insn
79    but is unused subsequently (if every register set by the insn is unused
87    which registers are set by each insn and which die there.
130 #include "hard-reg-set.h"
228   /* Bit N is set if register N is conditionally or unconditionally live.  */
231   /* Bit N is set if register N is set this insn.  */
242   /* If non-null, record the set of registers set unconditionally in the
246   /* If non-null, record the set of registers set conditionally in the
255   /* Bit N is set if register N is in an expression in reg_cond_dead.  */
265   /* Flags controlling the set of information propagate_block collects.  */
274 /* When PROP_REG_INFO set, array contains pbi->insn_num of instruction
357    FLAGS is a set of PROP_* flags to be used in accumulating flow info.  */
420   /* Find the set of registers live on function exit.  */
424      relaxation with just the exit and noreturn blocks, but that set
529       /* Find the set of changed registers.  */
551 /* Updates life information starting with the basic blocks set in BLOCKS.
552    If BLOCKS is null, consider it to be the universal set.
708 	 are those that were not set anywhere in the function.  local-alloc
745 /* Update life information in all blocks where BB_DIRTY is set.  */
924    of their component registers set as well.  */
929   regset set = (regset) xset;
934   SET_REGNO_REG_SET (set, regno);
939 	SET_REGNO_REG_SET (set, regno + n);
947 mark_regs_live_at_end (regset set)
960       SET_REGNO_REG_SET (set, STACK_POINTER_REGNUM);
969       SET_REGNO_REG_SET (set, FRAME_POINTER_REGNUM);
973 	SET_REGNO_REG_SET (set, HARD_FRAME_POINTER_REGNUM);
983     SET_REGNO_REG_SET (set, PIC_OFFSET_TABLE_REGNUM);
991       SET_REGNO_REG_SET (set, i);
999 	  SET_REGNO_REG_SET (set, i);
1010 	SET_REGNO_REG_SET (set, regno);
1019 	mark_reg (tmp, set);
1028 	mark_reg (tmp, set);
1033   diddle_return_value (mark_reg, set);
1037    considering blocks with their corresponding bit set in BLOCKS_IN.
1038    If BLOCKS_IN is null, consider it the universal set.
1040    BLOCKS_OUT is set for every block that was changed.  */
1055      In other words, regs that are set only as part of a COND_EXEC.  */
1072   /* Inconveniently, this is only readily available in hard reg set form.  */
1098   /* Queue the blocks set in the initial mask.  Do this in reverse block
1131      is live at the beginning of all its successors.  So, we set its
1160 	  about a's liveness will get stuck inside the loop and the set will
1172      set, remove all registers in this set from all GLOBAL_LIVE_AT_* sets and
1296 	       /* If any of the registers in the new live_at_end set are
1297 		  conditionally set in this basic block, we must rescan.
1299 		  block do not just take the live_at_end set into
1312 	      /* Find the set of changed bits.  Take this opportunity
1313 		 to notice that this set is empty and early out.  */
1332 	  /* Add to live_at_start the set of all registers in
1361 	         bb->global_live_at_start set.  */
1551 	     there may be various flags set which we need to duplicate.
1619      vector oriented regsets would set regset_{size,bytes} here also.  */
1924 	 mark_used_regs will set it live if it is referenced.  */
2120       rtx insn, set;
2123 	    && (set = single_set (insn))
2124 	    && MEM_P (SET_DEST (set)))
2126 	    rtx mem = SET_DEST (set);
2178    LOCAL_SET, if non-null, will be set with all registers killed
2180    Likewise, COND_LOCAL_SET, if non-null, will be set with all registers
2182    set of a register, then the corresponding bit will be set in LOCAL_SET
2184    It is valid for LOCAL_SET and COND_LOCAL_SET to be the same set.  In this
2185    case, the resulting set will be equal to the union of the two sets that
2289 	  /* Don't delete insns to set global regs.  */
2329 	  /* Walk the set of memory locations we are currently tracking
2333 	     rtx_equal_p does not check the alias set or flags, we also
2384 	      /* Don't delete insns to set global regs.  */
2388 	      /* Make sure insns to set the stack pointer aren't deleted.  */
2396 	      /* Make sure insns to set the frame pointer aren't deleted.  */
2407 	      /* Make sure insns to set arg pointer are never deleted
2414 	      /* Otherwise, the set is dead.  */
2532    and was set more than once or is an argument.
2646 /* Process the registers that are set within X.  Their bits are set to
2651    FLAGS is the set of operations to perform.  */
2690 	/* We must scan forwards.  If we have an asm, we need to set
2734 /* Process a single set, which appears in INSN.  REG (which may not
2736    being set using the CODE (which may be SET, CLOBBER, or COND_EXEC).
2737    If the set is conditional (because it appear in a COND_EXEC), COND
2814 		 set.  Otherwise the high bits are undefined.
2836   /* If this set is a MEM, then it kills any aliased writes and any
2838      If this set is a REG, then it kills any MEMs which use the reg.  */
2846 	 memory set list.  */
2875 	      /* Order of the set operation matters here since both
2936 		     where the reg is set, and the normal counting mechanism
3006 		     by marking the reg being set as dying here.  */
3115       /* Otherwise this is a conditional set.  Record that fact.
3117 	 subsequent set with a complementary condition.  */
3504    that has a single set whose source is a PLUS of INCR_REG and something
3512   rtx set = single_set (incr);
3513   rtx q = SET_DEST (set);
3514   rtx y = SET_SRC (set);
3620   changed = validate_change (incr, &SET_SRC (set), incr_reg, 0);
3624      it so it won't appear to be a "use" and a "set" of this
3626   if (REGNO (SET_DEST (set)) == REGNO (incr_reg))
3672   rtx set, y, incr, inc_val;
3694   set = single_set (incr);
3695   if (set == 0 || GET_CODE (set) != SET)
3697   y = SET_SRC (set);
3777   /* Find out if any of the register was set this insn.  */
3784       /* Record where each reg is used, so when the reg is set we know
3796 	     pseudos, in which case it will have been set live when it
3798 	     be eliminated, reload will set it live at that point.
3835      If it was set in this insn, we do not make a REG_DEAD note;
3842 	 overlaps the register set by this insn.  */
3866 	     that is set in the insn.  */
3888 	 conditionally set, we'll know to kill the register.  */
3941 	     dead list, so that a conditional set won't cause us to think
4087 	    /* Needn't clear the memory set list.  */
4116 	     memory set list.  */
4140       /* See a register other than being set => mark it as needed.  */
4181 	   So for now, just clear the memory set list and mark any regs
4260       /* Don't do this if the reg dies, or gets set in y; a standard addressing
4464 /* Recompute register set/reference counts immediately prior to register
4467    This avoids problems with set/reference counts changing to/from values
4509 /* Optionally removes all the REG_DEAD and REG_UNUSED notes from a set of
4510    blocks.  If BLOCKS is NULL, assume the universal set.  Returns a count
4524      when only a small number of bits are set in BLOCKs (for example,
4525      the calls from the scheduler typically have very few bits set).
4652    correspond to the hard registers, if any, set in that map.  This