search for: syncthreads

On 20.12.18 18:03, Connor Abbott wrote: > We already have the notion of "convergent" functions like > syncthreads(), to which we cannot add control-flow dependencies. > That is, it's legal to hoist syncthreads out of an "if", but it's > not legal to sink it into an "if".  It's not clear to me why we > can't have "anticonvergent" (terrible name...

...hing, > > - Jan > > On Saturday, December 29, 2018, 11:32:25 AM EST, Nicolai Hähnle via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > On 20.12.18 18:03, Connor Abbott wrote: > > We already have the notion of "convergent" functions like > > syncthreads(), to which we cannot add control-flow dependencies. > > That is, it's legal to hoist syncthreads out of an "if", but it's > > not legal to sink it into an "if". It's not clear to me why we > > can't have "anticonvergent" (te...

Hi all, LLVM needs a solution to the long-standing problem that the IR is unable to express certain semantics expected by high-level programming languages that target GPUs. Solving this issue is necessary both for upstream use of LLVM as a compiler backend for GPUs and for correctly supporting LLVM IR <-> SPIR-V roundtrip translation. It may also be useful for compilers targeting

...; > On Saturday, December 29, 2018, 11:32:25 AM EST, Nicolai Hähnle via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > We already have the notion of "convergent" functions like > > > syncthreads(), to which we cannot add control-flow dependencies. > > > That is, it's legal to hoist syncthreads out of an "if", but it's > > > not legal to sink it into an "if". It's not clear to me why we > > > can't have "anticonve...

...ber 29, 2018, 11:32:25 AM EST, Nicolai Hähnle via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > We already have the notion of "convergent" functions like > > > > syncthreads(), to which we cannot add control-flow dependencies. > > > > That is, it's legal to hoist syncthreads out of an "if", but it's > > > > not legal to sink it into an "if". It's not clear to me why we > > > > can't have...

...Nicolai Hähnle via > llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > > We already have the notion of "convergent" functions like > > > > > syncthreads(), to which we cannot add control-flow dependencies. > > > > > That is, it's legal to hoist syncthreads out of an "if", but > it's > > > > > not legal to sink it into an "if". It's not clear to me why we > > > > &gt...

...Nicolai Hähnle via > llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > > We already have the notion of "convergent" functions like > > > > > syncthreads(), to which we cannot add control-flow dependencies. > > > > > That is, it's legal to hoist syncthreads out of an "if", but > it's > > > > > not legal to sink it into an "if". It's not clear to me why we > > > > &gt...

...Nicolai Hähnle via > llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > > We already have the notion of "convergent" functions like > > > > > syncthreads(), to which we cannot add control-flow dependencies. > > > > > That is, it's legal to hoist syncthreads out of an "if", but > it's > > > > > not legal to sink it into an "if". It's not clear to me why we > > > > &gt...

...t;mailto:llvm-dev at lists.llvm.org>> wrote: > > > > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > >    We already have the notion of "convergent" functions like > > > > >    syncthreads(), to which we cannot add control-flow > dependencies. > > > > >    That is, it's legal to hoist syncthreads out of an "if", > but it's > > > > >    not legal to sink it into an "if".  It's not clear to me >...

...s.llvm.org>> wrote: > > > > > > > > > > > > > > > On 20.12.18 18:03, Connor Abbott wrote: > > > > > > We already have the notion of "convergent" functions like > > > > > > syncthreads(), to which we cannot add control-flow > > dependencies. > > > > > > That is, it's legal to hoist syncthreads out of an "if", > > but it's > > > > > > not legal to sink it into an "if". It's not c...