[llvm] [LangRef] Relax semantics of writeonly / memory(write) (PR #95238)

[Nuno Lopes via llvm-commits]

nunoplopes wrote:

I understand the motivation, and the text looks good.

But this going to be painful to implement in Alive2 😅 The semantics amounts to quantifying the input memory to a function and ensuring it returns the same value/memory for every input memory. It's UB if not. Well, I guess the read(none) is similar.

https://github.com/llvm/llvm-project/pull/95238