search for: 109302

...ode-motion barrier. Memory being explicitly managed will end up as arguments to the region intrinsics, so we'll automatically get more-fine-grained information. Sanjoy gave an example of the kind of optimization that can break the semantic: http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html <http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html> ; I haven’t yet seen an explanation about how this is addressed? I’m not sure how you imagine going around the optimization barrier that goes with “this intrinsic has an unknown semantic that can impact the control flow...

...ics of "parallel region markers". Alternatively, (my hope is that) if we use use known concepts (mainly dominance) to encode parts of the parallel invariants such optimizations should come at a much lower cost. Cheers, Johannes [0] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -- Johannes Doerfert Researcher / PhD Student Compiler Design Lab (Prof. Hack) Saarland Informatics Campus,...

> On Jan 13, 2017, at 9:41 AM, Hal Finkel <hfinkel at anl.gov> wrote: > > > On 01/13/2017 12:29 AM, Mehdi Amini wrote: >> >>> On Jan 12, 2017, at 5:02 PM, Hal Finkel <hfinkel at anl.gov <mailto:hfinkel at anl.gov>> wrote: >>> On 01/12/2017 06:20 PM, Reid Kleckner via llvm-dev wrote: >>> >>>> On Wed, Jan 11, 2017 at 8:13

...sion sheet [16] and the recent RFC on IR-level region annotations [9] (Mehdi Amini, Sanjoy Das, Daniel Berlin, ...). [0] https://github.com/Parallel-IR/llvm-pir/wiki [1] https://reviews.llvm.org/D29250 [2] https://reviews.llvm.org/D29251 [3] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html [4] http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html [5] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html [6] http://compilers.cs.uni-saarland.de/people/doerfert/parallelcfg.pdf [7] http://supertech.csail.mit.edu/papers/spbags.pdf & www.cse.wustl.edu/~angel...

...ni, Sanjoy Das, Daniel Berlin, > > ...). > > > > > > > > [0] https://github.com/Parallel-IR/llvm-pir/wiki > > [1] https://reviews.llvm.org/D29250 > > [2] https://reviews.llvm.org/D29251 > > [3] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html > > [4] http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html > > [5] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html > > [6] http://compilers.cs.uni-saarland.de/people/doerfert/parallelcfg.pdf > > [7] http://supertech.csail.mit.edu/papers/sp...

...erlin, ...). >>> >>> >>> >>> [0] https://github.com/Parallel-IR/llvm-pir/wiki >>> [1] https://reviews.llvm.org/D29250 >>> [2] https://reviews.llvm.org/D29251 >>> [3] >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html >>> [4] http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html >>> [5] >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html >>> [6] >>> http://compilers.cs.uni-saarland.de/people/doerfert/parallelcfg.pdf >>> [7]...

...gt;>>> >>>> >>>> >>>> [0] https://github.com/Parallel-IR/llvm-pir/wiki >>>> [1] https://reviews.llvm.org/D29250 >>>> [2] https://reviews.llvm.org/D29251 >>>> [3] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html >>>> [4] http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html >>>> [5] http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html >>>> [6] http://compilers.cs.uni-saarland.de/people/doerfert/parallelcfg.pdf >>>> [7] http://super...

...gt;> > >>> > >>> > >>> [0] https://github.com/Parallel-IR/llvm-pir/wiki > >>> [1] https://reviews.llvm.org/D29250 [2] > >>> https://reviews.llvm.org/D29251 [3] > >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html > >>> [4] > >>> http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html > >>> [5] > >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html > >>> [6] > >>> http://compilers.cs.uni-saarland.de/people/...

...>>>>> >>>>>> [0] https://github.com/Parallel-IR/llvm-pir/wiki >>>>>> [1] https://reviews.llvm.org/D29250 [2] >>>>>> https://reviews.llvm.org/D29251 [3] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.html >>>>>> [4] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html >>>>>> [5] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.html >>>>>> [6] >>>>>> ht...

...> > > >>> > > >>> [0] https://github.com/Parallel-IR/llvm-pir/wiki > > >>> [1] https://reviews.llvm.org/D29250 [2] > > >>> https://reviews.llvm.org/D29251 [3] > > >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.htm > > >>> l > > >>> [4] > > >>> http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html > > >>> [5] > > >>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.htm > > >>> l > > >&g...

...gt;>>>> >>>>>> [0] https://github.com/Parallel-IR/llvm-pir/wiki >>>>>> [1] https://reviews.llvm.org/D29250 [2] >>>>>> https://reviews.llvm.org/D29251 [3] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.htm >>>>>> l >>>>>> [4] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html >>>>>> [5] >>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109264.htm >>>>>> l >...

...;>>>>> [0] https://github.com/Parallel-IR/llvm-pir/wiki >>>>>>>> [1] https://reviews.llvm.org/D29250 [2] >>>>>>>> https://reviews.llvm.org/D29251 [3] >>>>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/109302.htm >>>>>>>> l >>>>>>>> [4] >>>>>>>> http://lists.llvm.org/pipermail/llvm-dev/2015-March/083348.html >>>>>>>> [5] >>>>>>>> http://lists.llvm.org/pipermail/llvm-dev/2017-January/10...

A Proposal for adding an experimental IR-level region-annotation infrastructure ============================================================================= Hal Finkel (ANL) and Xinmin Tian (Intel) This is a proposal for adding an experimental infrastructure to support annotating regions in LLVM IR, making use of intrinsics and metadata, and a generic analysis to allow transformations to