[llvm-dev] Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?

[Daniel Berlin via llvm-dev]

On Tue, Apr 10, 2018 at 10:28 AM, Friedman, Eli via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> On 4/9/2018 8:19 PM, Jeehoon Kang via llvm-dev wrote:
>
> Dear llvm-dev,
>
>
> Hi!  We're collecting mis-compilation bugs in gvn and mem2reg since
> 3.7.1.  Specifically, We're interested in bugs in the following files:
>
> llvm/lib/Transforms/Scalar/GVN.cpp
> llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp
>
>
> 3.7 was released over two years ago; there have been many bugfixes to both
> GVN and the analysis passes it depends on since then.  Do you have some
> idea of what, specifically, you're looking for?
>
> mem2reg is a very simple pass; I would be surprised if you found
> miscompile bug in it.
>

There are definitely a few miscompile bugs floating around in the edge
cases of mem2reg.


On Tue, Apr 10, 2018 at 10:28 AM, Friedman, Eli via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> On 4/9/2018 8:19 PM, Jeehoon Kang via llvm-dev wrote:
>
> Dear llvm-dev,
>
>
> Hi!  We're collecting mis-compilation bugs in gvn and mem2reg since
> 3.7.1.  Specifically, We're interested in bugs in the following files:
>
> llvm/lib/Transforms/Scalar/GVN.cpp
> llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp
>
>
> 3.7 was released over two years ago; there have been many bugfixes to both
> GVN and the analysis passes it depends on since then.  Do you have some
> idea of what, specifically, you're looking for?
>
> mem2reg is a very simple pass; I would be surprised if you found
> miscompile bug in it.
>
> -Eli
>
> --
> Employee of Qualcomm Innovation Center, Inc.
> Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180410/cc2d31ec/attachment.html>