search for: hvvvcsslitw

...use `dereferenceable` to determine the minimum size of the underlying object* and require to see the definition (I think) to obtain a maximum size. * It's actually a lower bound on the minimum size based on the pointer but that is conservatively fine too. [0] https://www.youtube.com/watch?v=HVvvCSSLiTw > On Tue, Jan 28, 2020 at 12:44 PM Doerfert, Johannes <jdoerfert at anl.gov> > wrote: > > > Hi Karl, Roman, > > > > On 01/28, Roman Lebedev via llvm-dev wrote: > > > On Tue, Jan 28, 2020 at 8:09 PM Karl Rehm via llvm-dev > > > <llvm-dev at li...

...s: Theory and Practice. <https://dl.acm.org/doi/book/10.5555/1592955> [3] Static Program Analysis. <https://cs.au.dk/~amoeller/spa/spa.pdf> [4] 2019 LLVM Developers’ Meeting: J. Doerfert “The Attributor: A Versatile Inter-procedural Fixpoint.." <https://www.youtube.com/watch?v=HVvvCSSLiTw> [5] Soot - A Java optimization framework <https://github.com/Sable/soot> -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200314/5beb64c2/attachment.html>

...use `dereferenceable` to determine the minimum size of the underlying object* and require to see the definition (I think) to obtain a maximum size. * It's actually a lower bound on the minimum size based on the pointer but that is conservatively fine too. [0] https://www.youtube.com/watch?v=HVvvCSSLiTw > On Tue, Jan 28, 2020 at 12:44 PM Doerfert, Johannes <jdoerfert at anl.gov<mailto:jdoerfert at anl.gov>> > wrote: > > > Hi Karl, Roman, > > > > On 01/28, Roman Lebedev via llvm-dev wrote: > > > On Tue, Jan 28, 2020 at 8:09 PM Karl Rehm via llvm-dev...

...ook/10.5555/1592955> >> >> [3] Static Program Analysis. <https://cs.au.dk/~amoeller/spa/spa.pdf> >> >> [4] 2019 LLVM Developers’ Meeting: J. Doerfert “The Attributor: A >> Versatile Inter-procedural Fixpoint.." >> <https://www.youtube.com/watch?v=HVvvCSSLiTw> >> [5] Soot - A Java optimization framework <https://github.com/Sable/soot> >> >> >> >> _______________________________________________ >> LLVM Developers mailing list >> llvm-dev at lists.llvm.org >> https://lists.llvm.org/cgi-bin/mailman/l...

...should I indicate to the community > that I have started working towards this issue (should I comment on the > issue page on github?)? I can try to work on AAReachability TODO after > solving this issue. > > Thanks and Regards > > > References > > [1] https://youtu.be/HVvvCSSLiTw > [2] https://github.com/llvm/llvm-project/issues/179 > > > > > On Sat, Mar 14, 2020 at 4:12 PM Stefan Stipanovic <stefomeister at gmail.com> > wrote: > >> Hi Fahad, >> >> >>> > Improve dynamic memory related capabilities of Attributor. Fo...

Hi Karl, Roman, On 01/28, Roman Lebedev via llvm-dev wrote: > On Tue, Jan 28, 2020 at 8:09 PM Karl Rehm via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > I was looking into how the global optimization pass fares against > > things like what's reported in > > https://bugs.llvm.org/show_bug.cgi?id=44676 I need to take a closer look but I would have expected