Displaying 2 results from an estimated 2 matches for "0d92b5fb".
2013 Nov 08
0
[LLVMdev] Proposal for safe-to-execute meta-data for heap accesses
...ot; uses.
It's not clear how that is better than any of the other proposals to
represent constraint systems in the IR via "ephemeral" uses.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20131108/0d92b5fb/attachment.html>
2013 Nov 08
2
[LLVMdev] Proposal for safe-to-execute meta-data for heap accesses
Hi!
Previously in the "Add a 'notrap' function attribute?” thread we had discussed a way to use meta-data to specify that a load does not trap under certain conditions. Andy and Hal and I talked about this more in private and I just wanted to summarize what I think we arrived at. First I’ll summarize the original !notrap meta-data, then I’ll just mention why it’s hard to get it