llvm dev - Apr 2018 - Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?

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


We checked all reports in the LLVM bugzilla (https://bugs.llvm.org/), so
I'd like to ask if you know any such a bug that is not reported in the
bugzilla.


Thanks,
Jeehoon Kang

-- 
Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180410/36689932/attachment.html>

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180410/a61dac81/attachment.html>

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>