[llvm-dev] [SROA][DebugInfo][GSoC] Testing SROA on amalgamated sqlite source

[Vedant Kumar via llvm-dev]

Hi Greg,

> On Jun 4, 2018, at 2:18 PM, Greg Bedwell via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> 
> FWIW, I've raised the LICM issue here: https://bugs.llvm.org/show_bug.cgi?id=37682

LICM's behavior seems reasonable/desirable to me. I've shared my thoughts on llvm.org/PR37682. To summarize, I don't think it's feasible to assert that the debugger show updated values for 'total' within this loop, because it amounts to a demand that LICM never happen. Alternatives such as marking 'total' as unavailable, or making it appear as a non-pointer type, have serious tradeoffs and/or can't properly model the effects of aliasing.

vedant

> 
> On 31 May 2018 at 13:28, Anast Gramm <anastasis.gramm2 at gmail.com> wrote:
> Thanks,
> These are very helpful.
> 
> As I understand it, SROA and LICM render some variables
> "useless" by optimizing the code to not use them. Hence we can't debug them.
> 
> 
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev