[llvm-dev] RFC: EfficiencySanitizer

[Derek Bruening via llvm-dev]

On Wed, Apr 20, 2016 at 8:42 AM, Renato Golin <renato.golin at linaro.org>
wrote:

> Also, if this is not something the compiler can fix, what is the point
> of detecting dead-stores? For all the non-trivial cases the compiler
> can't spot, most will probably arise from special situations where the
> compiler is changing the code to expose the issue, and thus, the user
> has little control over how to fix the underlying problem.
>

The case studies in the DeadSpy paper show how they, the user, fixed the
most frequent cases of dead stores in SPECCPU (yes, in some cases working
around the compiler, but not always): "DeadSpy: A Tool to Pinpoint Program
Inefficiencies"
<https://www.researchgate.net/publication/241623127_DeadSpy_A_tool_to_pinpoint_program_inefficiencies>
by
Chabbi et al. from CGO 2012.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160420/111ac036/attachment.html>