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

[Andrew Kelley via llvm-dev]

On Tue, Apr 10, 2018 at 3:09 PM, Daniel Berlin via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

>
>
> 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.
>

Here's one: https://bugs.llvm.org/show_bug.cgi?id=36578


>
>
> 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
>>
>>
>
> _______________________________________________
> 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/4b1b4ee1/attachment.html>