151 static int rtx_equal_for_memref_p (rtx, rtx);
152 static rtx find_symbolic_term (rtx);
153 static int memrefs_conflict_p (int, rtx, int, rtx, HOST_WIDE_INT);
154 static void record_set (rtx, rtx, void *);
155 static int base_alias_check (rtx, rtx, enum machine_mode,
157 static rtx find_base_value (rtx);
158 static int mems_in_disjoint_alias_sets_p (rtx, rtx);
162 static rtx fixed_scalar_and_varying_struct_p (rtx, rtx, rtx, rtx,
163 					      int (*) (rtx, int));
164 static int aliases_everything_p (rtx);
167 static rtx adjust_offset_for_component_ref (tree, rtx);
168 static int nonoverlapping_memrefs_p (rtx, rtx);
169 static int write_dependence_p (rtx, rtx, int);
171 static void memory_modified_1 (rtx, rtx, void *);
209 static GTY(()) VEC(rtx,gc) *reg_base_value;
210 static rtx *new_reg_base_value;
215 static GTY((deletable)) VEC(rtx,gc) *old_reg_base_value;
219 static GTY (()) rtx static_reg_base_value[FIRST_PSEUDO_REGISTER];
222   (REGNO (X) < VEC_length (rtx, reg_base_value)		\
223    ? VEC_index (rtx, reg_base_value, REGNO (X)) : 0)
228 static GTY((length("reg_known_value_size"))) rtx *reg_known_value;
270 mems_in_disjoint_alias_sets_p (rtx mem1, rtx mem2)  in mems_in_disjoint_alias_sets_p()
791 static rtx
792 find_base_value (rtx src)  in find_base_value()
818 	  && regno < VEC_length (rtx, reg_base_value))  in find_base_value()
826 	  if (VEC_index (rtx, reg_base_value, regno))  in find_base_value()
827 	    return VEC_index (rtx, reg_base_value, regno);  in find_base_value()
853 	rtx temp, src_0 = XEXP (src, 0), src_1 = XEXP (src, 1);  in find_base_value()
934 	rtx temp = find_base_value (XEXP (src, 0));  in find_base_value()
960 record_set (rtx dest, rtx set, void *data ATTRIBUTE_UNUSED)  in record_set()
963   rtx src;  in record_set()
971   gcc_assert (regno < VEC_length (rtx, reg_base_value));  in record_set()
1044 	  rtx other = NULL_RTX;  in record_set()
1077 clear_reg_alias_info (rtx reg)  in clear_reg_alias_info()
1094 rtx
1109 set_reg_known_value (unsigned int regno, rtx val)  in set_reg_known_value()
1150 rtx
1151 canon_rtx (rtx x)  in canon_rtx()
1156       rtx t = get_reg_known_value (REGNO (x));  in canon_rtx()
1165       rtx x0 = canon_rtx (XEXP (x, 0));  in canon_rtx()
1166       rtx x1 = canon_rtx (XEXP (x, 1));  in canon_rtx()
1195 rtx_equal_for_memref_p (rtx x, rtx y)  in rtx_equal_for_memref_p()
1255       rtx xop0 = canon_rtx (XEXP (x, 0));  in rtx_equal_for_memref_p()
1256       rtx yop0 = canon_rtx (XEXP (y, 0));  in rtx_equal_for_memref_p()
1257       rtx yop1 = canon_rtx (XEXP (y, 1));  in rtx_equal_for_memref_p()
1331 static rtx
1332 find_symbolic_term (rtx x)  in find_symbolic_term()
1347       rtx t;  in find_symbolic_term()
1361 rtx
1362 find_base_term (rtx x)  in find_base_term()
1393 	rtx temp = find_base_term (XEXP (x, 0));  in find_base_term()
1419 	rtx tmp1 = XEXP (x, 0);  in find_base_term()
1420 	rtx tmp2 = XEXP (x, 1);  in find_base_term()
1491 base_alias_check (rtx x, rtx y, enum machine_mode x_mode,  in base_alias_check()
1494   rtx x_base = find_base_term (x);  in base_alias_check()
1495   rtx y_base = find_base_term (y);  in base_alias_check()
1502       rtx x_c;  in base_alias_check()
1514       rtx y_c;  in base_alias_check()
1570 rtx
1571 get_addr (rtx x)  in get_addr()
1597 static rtx
1598 addr_side_effect_eval (rtx addr, int size, int n_refs)  in addr_side_effect_eval()
1650 memrefs_conflict_p (int xsize, rtx x, int ysize, rtx y, HOST_WIDE_INT c)  in memrefs_conflict_p()
1687       rtx x0 = XEXP (x, 0);  in memrefs_conflict_p()
1688       rtx x1 = XEXP (x, 1);  in memrefs_conflict_p()
1694 	  rtx y0 = XEXP (y, 0);  in memrefs_conflict_p()
1695 	  rtx y1 = XEXP (y, 1);  in memrefs_conflict_p()
1722       rtx y0 = XEXP (y, 0);  in memrefs_conflict_p()
1723       rtx y1 = XEXP (y, 1);  in memrefs_conflict_p()
1739 	  rtx x0, y0;  in memrefs_conflict_p()
1740 	  rtx x1 = canon_rtx (XEXP (x, 1));  in memrefs_conflict_p()
1741 	  rtx y1 = canon_rtx (XEXP (y, 1));  in memrefs_conflict_p()
1839 read_dependence (rtx mem, rtx x)  in read_dependence()
1852 static rtx
1853 fixed_scalar_and_varying_struct_p (rtx mem1, rtx mem2, rtx mem1_addr,  in fixed_scalar_and_varying_struct_p()  argument
1854 				   rtx mem2_addr,  in fixed_scalar_and_varying_struct_p()
1855 				   int (*varies_p) (rtx, int))  in fixed_scalar_and_varying_struct_p()
1879 aliases_everything_p (rtx mem)  in aliases_everything_p()
1962 static rtx
1963 adjust_offset_for_component_ref (tree x, rtx offset)  in adjust_offset_for_component_ref()
1993 nonoverlapping_memrefs_p (rtx x, rtx y)  in nonoverlapping_memrefs_p()
1996   rtx rtlx, rtly;  in nonoverlapping_memrefs_p()
1997   rtx basex, basey;  in nonoverlapping_memrefs_p()
1998   rtx moffsetx, moffsety;  in nonoverlapping_memrefs_p()
2142 true_dependence (rtx mem, enum machine_mode mem_mode, rtx x,  in true_dependence()  argument
2143 		 int (*varies) (rtx, int))  in true_dependence()
2145   rtx x_addr, mem_addr;  in true_dependence()
2146   rtx base;  in true_dependence()
2219 canon_true_dependence (rtx mem, enum machine_mode mem_mode, rtx mem_addr,  in canon_true_dependence()  argument
2220 		       rtx x, int (*varies) (rtx, int))  in canon_true_dependence()
2222   rtx x_addr;  in canon_true_dependence()
2280 write_dependence_p (rtx mem, rtx x, int writep)  in write_dependence_p()
2282   rtx x_addr, mem_addr;  in write_dependence_p()
2283   rtx fixed_scalar;  in write_dependence_p()
2284   rtx base;  in write_dependence_p()
2343 anti_dependence (rtx mem, rtx x)  in anti_dependence()
2351 output_dependence (rtx mem, rtx x)  in output_dependence()
2387 memory_modified_1 (rtx x, rtx pat ATTRIBUTE_UNUSED, void *data)  in memory_modified_1()
2391       if (anti_dependence (x, (rtx)data) || output_dependence (x, (rtx)data))  in memory_modified_1()
2400 memory_modified_in_insn_p (rtx mem, rtx insn)  in memory_modified_in_insn_p()
2419   rtx insn;  in init_alias_analysis()
2424   reg_known_value = ggc_calloc (reg_known_value_size, sizeof (rtx));  in init_alias_analysis()
2432     VEC_truncate (rtx, reg_base_value, 0);  in init_alias_analysis()
2434   VEC_safe_grow (rtx, gc, reg_base_value, maxreg);  in init_alias_analysis()
2435   memset (VEC_address (rtx, reg_base_value), 0,  in init_alias_analysis()
2436 	  sizeof (rtx) * VEC_length (rtx, reg_base_value));  in init_alias_analysis()
2438   new_reg_base_value = XNEWVEC (rtx, maxreg);  in init_alias_analysis()
2475       memset (new_reg_base_value, 0, maxreg * sizeof (rtx));  in init_alias_analysis()
2489 	      FIRST_PSEUDO_REGISTER * sizeof (rtx));  in init_alias_analysis()
2496 	      rtx note, set;  in init_alias_analysis()
2526 		  rtx src = SET_SRC (set);  in init_alias_analysis()
2527 		  rtx t;  in init_alias_analysis()
2571 	      && new_reg_base_value[ui] != VEC_index (rtx, reg_base_value, ui)  in init_alias_analysis()
2573 				VEC_index (rtx, reg_base_value, ui)))  in init_alias_analysis()
2575 	      VEC_replace (rtx, reg_base_value, ui, new_reg_base_value[ui]);  in init_alias_analysis()
2604 	  rtx base = VEC_index (rtx, reg_base_value, ui);  in init_alias_analysis()
2609 		VEC_replace (rtx, reg_base_value, ui, 0);  in init_alias_analysis()
2611 		VEC_replace (rtx, reg_base_value, ui,  in init_alias_analysis()
2612 			     VEC_index (rtx, reg_base_value, base_regno));  in init_alias_analysis()