Re: [RFC PATCH 00/48] fix promotion of symbol to register

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, Aug 23, 2017 at 4:15 PM, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> This series fixes the promotion of symbols accesses from
> memory to pseudos.
> The fix in itself is in the few of the last patches (40-43)
> but is preceded by an extensive rework of the whole thing.
>
> As is, it seems to work quite well and of course more
> accesses are promoted than the Simple SSA was able to do
> (SSSA only cared about purely local vars of which the address
> was never ever taken).
>
> For performance, the situation is highly dependent on the
> type of code: the amount of work that is done in
> simplify_loads() can easily take 80% of the time for complex
> files.
>
> Warning 1: this is for review & testing only
> Warning 2: it's not (yet) bissectable between patches 40 & 43

We might want to fix that. I will take a look later tonight.

> Warning 3: simplify_loads is still broken and will need the same
>            fix (but the code is currently disabled)
>
>
> This series is  available in the git repository at:
>
>   git://github.com/lucvoo/sparse.git mem2reg
>

Here comes the patch bombs again :-)

I will take a look at it tonight.

Thanks for the patches.

Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux