<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2016-12-23 17:22 GMT+01:00 Davide Italiano <span dir="ltr"><<a href="mailto:davide@freebsd.org" target="_blank">davide@freebsd.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Fri, Dec 23, 2016 at 8:12 AM, Piotr Padlewski via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
> Hi everyone,<br>
><br>
> I started digging into MemDep to enhance devirtualization and I found out<br>
> that it doesn't handle invariant.group if it will find GEP 0, 0.<br>
> If I understand it correctly getelementptr with zeros is just bitcast. Is<br>
> there any good reason why it is not canonicalized into bitcast?<br>
><br>
<br>
</span>Hi,<br>
is there any particular reason why you're trying to fix this in MemDep<br>
(and not in MemSSA?)<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div>GVN uses MemDep and  MemSSA doesn't handle invariant.group. I was told that MemDep won't go out soon and it is easier for me right now to fix my stuff there than in MemSSA. I have plans to write support for MemSSA, but probably not in near future. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
--<br>
Davide<br>
<br>
"There are no solved problems; there are only problems that are more<br>
or less solved" -- Henri Poincare<br>
</font></span></blockquote></div><br></div></div>