[llvm-dev] GVN pass limitation.
Philip Reames via llvm-dev
llvm-dev at lists.llvm.org
Tue Apr 19 13:48:43 PDT 2016
+1 to what Danny said
On 04/19/2016 06:49 AM, Daniel Berlin via llvm-dev wrote:
> Necessary super-linear behavior in analysis is pretty rare.
> When it does occur, it should mostly be occurring on strange and
> wonderful CFGs.
>
> IE andersen's is N^3. You are highly unlikely to find *any* real world
> cases that trigger N^3 behavior out of the andersen's implementation
> in GCC.
>
> Honestly, at the point where you've added more than 1-2 knobs to
> something, it's time to reconsider whether that's the best way to do
> it anymore.
>
>
> On Tue, Apr 19, 2016 at 6:19 AM, Joerg Sonnenberger via llvm-dev
> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote:
>
> On Mon, Apr 18, 2016 at 04:37:58PM -0700, Philip Reames wrote:
> > Cases like this illustrate why we should avoid arbitrary cutoffs
> in analysis
> > passes if at all possible.
>
> I fully agree on that, but it doesn't help if super-linear behavior,
> both in terms of CPU time and memory use practically happen. It
> doesn't
> mean that we couldn't e.g. tune the limits based on the optimisation
> level, but currently it is kind of all or nothing.
>
> Joerg
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org <mailto: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/20160419/76cb7e02/attachment.html>
More information about the llvm-dev
mailing list