search for: eddyb

...gned to a multiple of A. Reading past that size is UB, as LLVM will not copy more than S bytes. An API can be provided to add the attribute alongside dereferenceable and align attributes, for a given Type* and DataLayout. A preliminary implementation (w/o sret) can be found at: https://github.com/eddyb/llvm/compare/2579466...65ac99b To maintain compatibility with existing code, dereferenceable and align attributes are automatically injected as soon as a non-default DataLayout is available. The "injection" mechanism could potentially be replaced with a pass, although it was easier to ex...

...B, as LLVM will not copy more than S bytes. >> >> An API can be provided to add the attribute alongside dereferenceable >> and align attributes, for a given Type* and DataLayout. >> >> A preliminary implementation (w/o sret) can be found at: >> https://github.com/eddyb/llvm/compare/2579466...65ac99b >> >> To maintain compatibility with existing code, > > > ^ this isn't actually a goal/necessity, fwiw. So we might not need the > complexity you're outlining below. Or if we do choose to take it, we may > only want/need to keep it a...