dist/gcc/tree-ssa-alias.c

879 aliasing_matching_component_refs_p (tree match1, tree ref1,
901   int cmp = nonoverlapping_refs_since_match_p (match1, ref1, match2, ref2,
904       || (cmp == -1 && nonoverlapping_component_refs_p (ref1, ref2)))
941 aliasing_component_refs_walk (tree ref1, tree type1, tree base1,
1000       return aliasing_matching_component_refs_p (base1, ref1,
1009 /* Consider access path1 base1....ref1 and access path2 base2...ref2.
1011    base1...ref1...base2...ref2.
1061 aliasing_component_refs_p (tree ref1,
1097 	ref1 to point to end_of_tbaa_ref
1104   base1 = ref1;
1125 	  ref1 = TREE_OPERAND (base1, 0);
1169       int res = aliasing_component_refs_walk (ref1, type1, base1,
1186 					      ref1, base1, offset1, max_size1,
1198       if (!nonoverlapping_component_refs_p (ref1, ref2))
1207   if (access_path_may_continue_p (TREE_TYPE (ref1), end_struct_past_end1,
1340 nonoverlapping_array_refs_p (tree ref1, tree ref2)
1342   tree index1 = TREE_OPERAND (ref1, 1);
1344   tree low_bound1 = cheap_array_ref_low_bound(ref1);
1359   if ((TREE_OPERAND (ref1, 3) == NULL) != (TREE_OPERAND (ref2, 3) == NULL))
1362   tree elmt_type1 = TREE_TYPE (TREE_TYPE (TREE_OPERAND (ref1, 0)));
1365   if (TREE_OPERAND (ref1, 3))
1368 	  || !operand_equal_p (TREE_OPERAND (ref1, 3),
1421 nonoverlapping_refs_since_match_p (tree match1, tree ref1,
1433   if (match1 == ref1 || !handled_component_p (ref1)
1441   while (handled_component_p (ref1) && ref1 != match1)
1445       if (ends_tbaa_access_path_p (ref1))
1449       component_refs1.safe_push (ref1);
1450       ref1 = TREE_OPERAND (ref1, 0);
1470   bool mem_ref1 = TREE_CODE (ref1) == MEM_REF && ref1 != match1;
1479   if ((mem_ref1 && !mem_ref2 && !integer_zerop (TREE_OPERAND (ref1, 1)))
1482 	  && !tree_int_cst_equal (TREE_OPERAND (ref1, 1),
1491   gcc_checking_assert (TREE_CODE (ref1) != TARGET_MEM_REF
1529 	      ref1 = component_refs1.pop ();
1551 	      if (!operand_equal_p (TREE_OPERAND (ref1, 1),
1552 				    cheap_array_ref_low_bound (ref1), 0))
1611 	  ref1 = component_refs1.pop ();
1613 	  if (TREE_CODE (ref1) != COMPONENT_REF)
1623       while (!RECORD_OR_UNION_TYPE_P (TREE_TYPE (TREE_OPERAND (ref1, 0))));
1649       gcc_checking_assert (TREE_CODE (ref1) == COMPONENT_REF
1652       tree field1 = TREE_OPERAND (ref1, 1);
1857 decl_refs_may_alias_p (tree ref1, tree base1,
1881   if (ref1 && ref2
1882       && handled_component_p (ref1) && handled_component_p (ref2)
1883       && nonoverlapping_refs_since_match_p (NULL, ref1, NULL, ref2, false) == 1)
1897 indirect_ref_may_alias_decl_p (tree ref1 ATTRIBUTE_UNUSED, tree base1,
2017       if (!ref1 || !ref2
2022       int res = nonoverlapping_refs_since_match_p (base1, ref1, base2, ref2,
2025 	return !nonoverlapping_component_refs_p (ref1, ref2);
2030   if (ref1 && ref2
2031       && (handled_component_p (ref1) || handled_component_p (ref2)))
2032     return aliasing_component_refs_p (ref1,
2050 indirect_refs_may_alias_p (tree ref1 ATTRIBUTE_UNUSED, tree base1,
2105       if (ref1 && ref2)
2107 	  int res = nonoverlapping_refs_since_match_p (NULL, ref1, NULL, ref2,
2156       if (!ref1 || !ref2
2160       int res = nonoverlapping_refs_since_match_p (base1, ref1, base2, ref2,
2163 	return !nonoverlapping_component_refs_p (ref1, ref2);
2168   if (ref1 && ref2
2169       && (handled_component_p (ref1) || handled_component_p (ref2)))
2170     return aliasing_component_refs_p (ref1,
2183 refs_may_alias_p_2 (ao_ref *ref1, ao_ref *ref2, bool tbaa_p)
2190   gcc_checking_assert ((!ref1->ref
2191 			|| TREE_CODE (ref1->ref) == SSA_NAME
2192 			|| DECL_P (ref1->ref)
2193 			|| TREE_CODE (ref1->ref) == STRING_CST
2194 			|| handled_component_p (ref1->ref)
2195 			|| TREE_CODE (ref1->ref) == MEM_REF
2196 			|| TREE_CODE (ref1->ref) == TARGET_MEM_REF)
2206   base1 = ao_ref_base (ref1);
2207   offset1 = ref1->offset;
2208   max_size1 = ref1->max_size;
2238   if (ref1->volatile_p
2249     return decl_refs_may_alias_p (ref1->ref, base1, offset1, max_size1,
2250 				  ref1->size,
2261       rbase1 = ref1->ref;
2293       std::swap (ref1, ref2);
2303       && !alias_sets_conflict_p (ao_ref_alias_set (ref1),
2323 					  ref1->ref, base1,
2324 					  offset1, max_size1, ref1->size,
2325 					  ao_ref_alias_set (ref1),
2326 					  ao_ref_base_alias_set (ref1),
2329     return indirect_refs_may_alias_p (ref1->ref, base1,
2330 				      offset1, max_size1, ref1->size,
2331 				      ao_ref_alias_set (ref1),
2332 				      ao_ref_base_alias_set (ref1),
2346 refs_may_alias_p_1 (ao_ref *ref1, ao_ref *ref2, bool tbaa_p)
2348   bool res = refs_may_alias_p_2 (ref1, ref2, tbaa_p);
2357 refs_may_alias_p (tree ref1, ao_ref *ref2, bool tbaa_p)
2360   ao_ref_init (&r1, ref1);
2365 refs_may_alias_p (tree ref1, tree ref2, bool tbaa_p)
2368   ao_ref_init (&r1, ref1);