Displaying 2 results from an estimated 2 matches for "cgo13".
Did you mean:
cgo11
2017 Jul 06
2
Dataflow analysis regression in 3.7
On Thu, Jul 6, 2017 at 7:00 AM, Davide Italiano <davide at freebsd.org> wrote:
> On Wed, Jul 5, 2017 at 3:59 PM, Johan Engelen via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
> > Hi all,
> > I just found an optimization regression regarding simple
> > dataflow/constprop analysis:
> > https://godbolt.org/g/Uz8P7t
> >
> > This code
>
2017 Jul 07
3
Dataflow analysis regression in 3.7
...]
>
> Note that our VRP algorithm (correlated-propagation) currently doesn't
> catch that, but a more powerful analysis does (and it's faster on
> large testcases & has an interprocedural version, the code is on
> github).
> http://homepages.dcc.ufmg.br/~raphael/papers/CGO13.pdf [and the predecessor
> paper from Zhendong Su, circa 2004 IIRC, I don't have a link handy sorry :)]
>
> [I just put a 10 lines intraprocedural/interprocedural client on top
> of it that prints the found ranges
> https://github.com/dcci/range-analysis/commit/f9677dfd032f811ed5...