https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70127
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
Target Milestone|--- |6.0
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The difference in *.pcom dump between operand_equal_p with types_compatible_p
and without is:
(compute_affine_dependence
stmt_a: a[0] = c;
stmt_b: e$g_20 = MEM[(struct S[1] *)&a].g;
-) -> dependence analysis failed
+(analyze_overlapping_iterations
+ (chrec_a = 0)
+ (chrec_b = 32)
+(analyze_ziv_subscript
+)
+ (overlap_iterations_a = no dependence)
+ (overlap_iterations_b = no dependence))
+) -> no dependence
and similarly with the e = a[0]; stmt.
