[llvm-dev] [canonicalization] GEP 0, 0

Piotr Padlewski via llvm-dev
Fri, 23 Dec 2016 16:27:44 -0000

2016-12-23 17:22 GMT+01:00 Davide Italiano <davide at freebsd.org>:

> On Fri, Dec 23, 2016 at 8:12 AM, Piotr Padlewski via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
> > Hi everyone,
> >
> > I started digging into MemDep to enhance devirtualization and I found
out
> > that it doesn't handle invariant.group if it will find GEP 0, 0.
> > If I understand it correctly getelementptr with zeros is just bitcast.
Is
> > there any good reason why it is not canonicalized into bitcast?
> >
>
> Hi,
> is there any particular reason why you're trying to fix this in MemDep
> (and not in MemSSA?)
>
> 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.


> --
> Davide
>
> "There are no solved problems; there are only problems that are more
> or less solved" -- Henri Poincare
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20161223/23f54487/attachment.html>