https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63475
--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Uroš Bizjak from comment #3)
> Created attachment 33699 [details]
> Updated patch
I have started native alpha bootstrap with the above attached patch.
The idea implemented the patch is as follows:
- always dig into X and MEM addresses using get_addr
- use this expanded address when checking for AND codes with MEM_READONLY_P
operand
- also use expanded address in find_base_term and base_alias_check and
canon_rtx.
- for canonicalized address, use original address as passed to the functions.
(get_addr can still return VALUE, but in this case find_base_term returns
ADDRESS RTX, and this prevents invalid detection of non-aliased condition in:
/* Differing symbols not accessed via AND never alias. */
if (GET_CODE (x_base) != ADDRESS && GET_CODE (y_base) != ADDRESS)
return 0;
)
Bootstrap and regression test went OK on x86_64.
