Davide Italiano via llvm-dev
2017-Jul-09 20:53 UTC
[llvm-dev] Dataflow analysis regression in 3.7
On Jul 9, 2017 10:24 AM, "Daniel Berlin" <dberlin at dberlin.org> wrote:>> Matt Simpson and I briefly discussed this transformation. One of his > suggestions was to add a pass in the pipeline where the dominator tree was > available (note my patch used a poor man's version of domination) and to > add range meta-data to values (or replace values if we know the exact > value) based on dominating conditions.This is a pretty trivial variant of what the predicateinfo utility does :) (it just happens to process branches, assumes, etc. But you could trivially modify it to change the name anywhere the range is different, to ensure the invariant that anything with the same ssa name has the same range) I thought it was pretty interesting idea, but I'm not very familiar with> how range metadata is generated and used. >GCC pretty much does what i said above: It generates assert_expr's, which rename values, where the ranges change (this is equivalent to what predicateinfo does), then solves a lattice over the resulting IR. We have a related bug open, you opened, it seems :) https://bugs.llvm.org/show_bug.cgi?id=31895>From what I can tell the difference is that gcc solves the problem eagerly(and not lazily). Actually, they catch this case as part of VRP, which is run not very early in the pipeline but still the cfg is in a shape decent enough to get this case right (maybe we could consider reordering passes, instead). -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170709/caf2769b/attachment.html>
John Regehr via llvm-dev
2017-Jul-09 21:07 UTC
[llvm-dev] Dataflow analysis regression in 3.7
Maybe some of us who are interested in LVI can get together in October? Doesn't seem like broad enough interest for a BoF but perhaps over a beer or during a coffee break? John> We have a related bug open, you opened, it seems :) > https://bugs.llvm.org/show_bug.cgi?id=31895 > > From what I can tell the difference is that gcc solves the problem > eagerly (and not lazily). Actually, they catch this case as part of VRP, > which is run not very early in the pipeline but still the cfg is in a > shape decent enough to get this case right (maybe we could consider > reordering passes, instead). > > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >
Davide Italiano via llvm-dev
2017-Jul-09 21:15 UTC
[llvm-dev] Dataflow analysis regression in 3.7
Sounds great to me. Over a beer sounds more appealing as I won't attend the meeting (but I'll be in the Bay Area anyway). On Jul 9, 2017 2:07 PM, "John Regehr via llvm-dev" <llvm-dev at lists.llvm.org> wrote: Maybe some of us who are interested in LVI can get together in October? Doesn't seem like broad enough interest for a BoF but perhaps over a beer or during a coffee break? John We have a related bug open, you opened, it seems :)> https://bugs.llvm.org/show_bug.cgi?id=31895 > > From what I can tell the difference is that gcc solves the problem > eagerly (and not lazily). Actually, they catch this case as part of VRP, > which is run not very early in the pipeline but still the cfg is in a > shape decent enough to get this case right (maybe we could consider > reordering passes, instead). > > > _______________________________________________ > LLVM Developers mailing list > 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/20170709/bdab5650/attachment.html>