These functions won't ever unwind. This is useful for MemorySanitizer as it simplifies handling __atomic_load in particular.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
While we are here, how about setting a few more attributes?
argmemonly, readonly/writeonly, willreturn come to mind.
Comment Actions
I don't think we can necessarily guarantee argmemonly/readonly/writeonly, particularly since these library calls can take a lock somewhere inside. I'll definitely add nocapture and willreturn though.
Comment Actions
Added willreturn. I think nocapture is probably best left to a future change since it's more invasive -- it would require keeping tabs of which arguments to each function is a pointer arg.