Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-14 Thread Uros Bizjak
On Sun, Oct 12, 2014 at 7:44 PM, Uros Bizjak wrote: >>> Right. And my question is what happens if we aren't as aggressive here. >>> What happens if before this check we return nonzero if X or Y is a VALUE? >>> Do we then get into memrefs_conflict_p and does it do the right thing? >> >> Following

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-12 Thread Uros Bizjak
On Fri, Oct 10, 2014 at 8:37 PM, Uros Bizjak wrote: >> Right. And my question is what happens if we aren't as aggressive here. >> What happens if before this check we return nonzero if X or Y is a VALUE? >> Do we then get into memrefs_conflict_p and does it do the right thing? > > Following patc

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Uros Bizjak
On Fri, Oct 10, 2014 at 8:18 PM, Jeff Law wrote: I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions are leaked instead of MEM expresions into various parts of aliasing-d

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Jeff Law
On 10/10/14 12:12, Uros Bizjak wrote: On Fri, Oct 10, 2014 at 7:56 PM, Jeff Law wrote: On 10/09/14 06:14, Uros Bizjak wrote: Hello! I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions a

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Uros Bizjak
On Fri, Oct 10, 2014 at 7:56 PM, Jeff Law wrote: > On 10/09/14 06:14, Uros Bizjak wrote: >> >> Hello! >> >> I'd like to bring PR 63475 to the attention of RTL maintainers. The >> problem in the referred PR exposed the RTL infrastructure problem, >> where VALUE expressions are leaked instead of MEM

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Jeff Law
On 10/09/14 06:14, Uros Bizjak wrote: Hello! I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions are leaked instead of MEM expresions into various parts of aliasing-detecting support functi

RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-09 Thread Uros Bizjak
Hello! I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions are leaked instead of MEM expresions into various parts of aliasing-detecting support functions. As an example, please consider fol