Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Mark C++ reference parameters as dereferenceable | Hal Finkel | 2014-07-18 | 1 | -2/+2 |
| | | | | | | | | | | | | | | Because references must be initialized using some evaluated expression, they must point to something, and a callee can assume the reference parameter is dereferenceable. Taking advantage of a new attribute just added to LLVM, mark them as such. Because dereferenceability in addrspace(0) implies nonnull in the backend, we don't need both attributes. However, we need to know the size of the object to use the dereferenceable attribute, so for incomplete types we still emit only nonnull. llvm-svn: 213386 | ||||
* | Add 'nonnull' parameter or return attribute when producing an llvm pointer ↵ | Nick Lewycky | 2014-05-28 | 1 | -2/+2 |
| | | | | | | type in a function type where the C++ type is a reference. Update the tests. llvm-svn: 209723 | ||||
* | CHECK-LABEL-ify some code gen tests to improve diagnostic experience when ↵ | Stephen Lin | 2013-08-15 | 1 | -2/+2 |
| | | | | | | tests fail. llvm-svn: 188447 | ||||
* | Implement CodeGen for C++11 thread_local, following the Itanium ABI ↵ | Richard Smith | 2013-04-19 | 1 | -0/+26 |
specification as discussed on cxx-abi-dev. llvm-svn: 179858 |