search for: benh

...use LLVM 3.9, hope to switch to 4.0 soon.) As far as I know, none of the built-in analysis (basicAA, globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I searched and came across these two 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf (for LLVM 2.5) Are there other implementations which use the AA-Interface? Giving a little context, I need some functionality in LLVM that answers the following question. For a given argument of a call instruction in the cfg: Where does the value of the ar...

On Wed, 2014-09-24 at 15:15 -0700, Andy Lutomirski wrote: > On Wed, Sep 24, 2014 at 3:04 PM, Benjamin Herrenschmidt > <benh at kernel.crashing.org> wrote: > > On Wed, 2014-09-24 at 14:59 -0700, Andy Lutomirski wrote: > > > >> Scratch that idea, then. > >> > >> The best that I can currently come up with is to say that pre-1.0 > >> devices on PPC bypass the IOMMU and that...

On Wed, 2014-09-24 at 15:15 -0700, Andy Lutomirski wrote: > On Wed, Sep 24, 2014 at 3:04 PM, Benjamin Herrenschmidt > <benh at kernel.crashing.org> wrote: > > On Wed, 2014-09-24 at 14:59 -0700, Andy Lutomirski wrote: > > > >> Scratch that idea, then. > >> > >> The best that I can currently come up with is to say that pre-1.0 > >> devices on PPC bypass the IOMMU and that...

On Wed, 2014-09-24 at 14:41 -0700, Andy Lutomirski wrote: > On Sat, Sep 20, 2014 at 10:05 PM, Benjamin Herrenschmidt > <benh at kernel.crashing.org> wrote: > > On Sun, 2014-09-21 at 15:03 +1000, Benjamin Herrenschmidt wrote: > > > >> The exception I mentioned is that I would really like the virtio device > >> to expose via whatever transport we chose to use (though capability > >&gt...

On Wed, 2014-09-24 at 14:41 -0700, Andy Lutomirski wrote: > On Sat, Sep 20, 2014 at 10:05 PM, Benjamin Herrenschmidt > <benh at kernel.crashing.org> wrote: > > On Sun, 2014-09-21 at 15:03 +1000, Benjamin Herrenschmidt wrote: > > > >> The exception I mentioned is that I would really like the virtio device > >> to expose via whatever transport we chose to use (though capability > >&gt...

...and CONFIG_VHOST_VSOCK. >> >> Acked-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >> Cc: Paul Mackerras<paulus at samba.org> >> Cc: Michael Ellerman<mpe at ellerman.id.au> >> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >> Cc: Vasily Gorbik<gor at linux.ibm.com> >> Cc: Christian Borntraeger<b...

...and CONFIG_VHOST_VSOCK. >> >> Acked-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >> Cc: Paul Mackerras<paulus at samba.org> >> Cc: Michael Ellerman<mpe at ellerman.id.au> >> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >> Cc: Vasily Gorbik<gor at linux.ibm.com> >> Cc: Christian Borntraeger<b...

On Sun, 2014-09-21 at 15:03 +1000, Benjamin Herrenschmidt wrote: > The exception I mentioned is that I would really like the virtio device > to expose via whatever transport we chose to use (though capability > exchange sounds like a reasonable one) whether the "server" > implementation is bypassing IOMMUs or not instead on relying on client > side heuristics. > >

On Sun, 2014-09-21 at 15:03 +1000, Benjamin Herrenschmidt wrote: > The exception I mentioned is that I would really like the virtio device > to expose via whatever transport we chose to use (though capability > exchange sounds like a reasonable one) whether the "server" > implementation is bypassing IOMMUs or not instead on relying on client > side heuristics. > >

On Wed, Sep 24, 2014 at 2:50 PM, Benjamin Herrenschmidt <benh at kernel.crashing.org> wrote: > On Wed, 2014-09-24 at 14:41 -0700, Andy Lutomirski wrote: >> On Sat, Sep 20, 2014 at 10:05 PM, Benjamin Herrenschmidt >> <benh at kernel.crashing.org> wrote: >> > On Sun, 2014-09-21 at 15:03 +1000, Benjamin Herrenschmidt wrote: >&...

...As far as I know, none of the built-in analysis (basicAA, >> globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I >> searched and came across these two >> >> 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) >> 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf >> (for LLVM 2.5) >> >> Are there other implementations which use the AA-Interface? >> >> Giving a little context, I need some functionality in LLVM that answers >> the following question. >> For a given argument of...

...; >>>> Acked-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>> Cc: Paul Mackerras<paulus at samba.org> >>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>> Cc: Vasily Gorbik<gor at linux.ibm.com> >&gt...

...; >>>> Acked-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>> Cc: Paul Mackerras<paulus at samba.org> >>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>> Cc: Vasily Gorbik<gor at linux.ibm.com> >&gt...

...thers. That said, I believe the Polly framework and LLVM's memory dependence analysis pass may be useful. As parallelizing C programs will need points-to analysis, the DSA project (found within the poolalloc source code) or the work of Calvin Lin and Ben Hardekopf (http://www.cs.ucsb.edu/~benh/downloads.html) may be useful, too. -- John T. > > Thanks in advance > > Andreas > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/...

https://bugs.freedesktop.org/show_bug.cgi?id=94757 Bug ID: 94757 Summary: powerpc64 & 64Kb kernel pagesize not working with nouveau Product: xorg Version: unspecified Hardware: Other OS: All Status: NEW Severity: normal Priority: medium Component: Driver/nouveau

...-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >>>>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>>>> Cc: Paul Mackerras<paulus at samba.org> >>>>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>>>> Cc: Vasily Gorbik<...

...-by: Christian Borntraeger<borntraeger at de.ibm.com> (s390) >>>>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>>>> Cc: Paul Mackerras<paulus at samba.org> >>>>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>>>> Cc: Vasily Gorbik<...

...<borntraeger at de.ibm.com> (s390) >>>>>>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>>>>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>>>>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>>>>>> Cc: Paul Mackerras<paulus at samba.org> >>>>>>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>>>>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>>>&g...

...<borntraeger at de.ibm.com> (s390) >>>>>>>> Acked-by: Michael Ellerman<mpe at ellerman.id.au> (powerpc) >>>>>>>> Cc: Thomas Bogendoerfer<tsbogend at alpha.franken.de> >>>>>>>> Cc: Benjamin Herrenschmidt<benh at kernel.crashing.org> >>>>>>>> Cc: Paul Mackerras<paulus at samba.org> >>>>>>>> Cc: Michael Ellerman<mpe at ellerman.id.au> >>>>>>>> Cc: Heiko Carstens<heiko.carstens at de.ibm.com> >>>>>&g...

...om others. That said, I believe the Polly framework and LLVM's memory dependence analysis pass may be useful. As parallelizing C programs will need points-to analysis, the DSA project (found within the poolalloc source code) or the work of Calvin Lin and Ben Hardekopf (http://www.cs.ucsb.edu/~benh/downloads.html) may be useful, too. > Thank you, I will look through your recommendations. Andreas > -- John T. > >> >> Thanks in advance >> >> Andreas >> >> _______________________________________________ >> LLVM Developers mailing list &gt...