Jeehoon Kang via llvm-dev
2018-Apr-10 03:19 UTC
[llvm-dev] 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>
Friedman, Eli via llvm-dev
2018-Apr-10 17:28 UTC
[llvm-dev] Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?
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.cpp3.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>
Daniel Berlin via llvm-dev
2018-Apr-10 19:09 UTC
[llvm-dev] Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?
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>
Reasonably Related Threads
- Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?
- Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?
- Miscompilation bugs in GVN.cpp and PromoteMemoryToRegister.cpp?
- [LLVMdev] Suspicious behavior of mem2reg (promoteSingleBlockAlloca)
- [LLVMdev] LLVM IR in DAG form