Displaying 5 results from an estimated 5 matches for "td59631".
Did you mean:
59631
2013 Nov 01
3
[LLVMdev] Add a 'notrap' function attribute?
...ibute. (I always thought that maythrow should be modeled with an invoke). longjmp isn’t clean but could be modeled as writing all memory and maybe-trapping.
Adding a flag for every subtle behavior gets pedantic, as seen in this thread:
http://llvm.1065342.n5.nabble.com/Does-nounwind-have-semantics-td59631.html
The much more interesting question to me is what are the semantics of traps? Conservatively, we now assume they are well defined calls to abort(). I think that is way too conservative for most uses. It would be great to have another flavor of trap that can be reordered with certain side effec...
2013 Nov 01
0
[LLVMdev] Add a 'notrap' function attribute?
...ow should be modeled with an invoke).
> longjmp isn’t clean but could be modeled as writing all memory and
> maybe-trapping.
>
>
> Adding a flag for every subtle behavior gets pedantic, as seen in
> this thread:
> http://llvm.1065342.n5.nabble.com/Does-nounwind-have-semantics-td59631.html
>
>
> The much more interesting question to me is what are the semantics of
> traps? Conservatively, we now assume they are well defined calls to
> abort(). I think that is way too conservative for most uses. It
> would be great to have another flavor of trap that can be re...
2014 Oct 21
2
[LLVMdev] Optimization hints for "constant" loads
> I've never realy understood how the llvm.invariant intrinsics could be
> put into practice. There is the problem that "end" can occur anywhere
> as you suggested fixing with a flag.
I was under this impression too, but after re-reading the language
reference I'm not so sure -- it says about invariant.start: "This
intrinsic indicates that
until an
2013 Nov 01
0
[LLVMdev] Add a 'notrap' function attribute?
----- Original Message -----
> Hi Nadav,
>
> On 10/31/2013 08:53 PM, Nadav Rotem wrote:
> > data-parallel languages which have a completely different
> > semantics. In
> > OpenCL/Cuda you would want to vectorize the outermost loop, and the
> > language guarantees that it is safe to so.
>
> Yeah. This is the separate (old) discussion and not strictly
2013 Nov 01
4
[LLVMdev] Add a 'notrap' function attribute?
Hi Nadav,
On 10/31/2013 08:53 PM, Nadav Rotem wrote:
> data-parallel languages which have a completely different semantics. In
> OpenCL/Cuda you would want to vectorize the outermost loop, and the
> language guarantees that it is safe to so.
Yeah. This is the separate (old) discussion and not strictly related to
the problem at hand. Better if-conversion benefits more than OpenCL C