joker-eph wrote: > Saying it has write semantics is a big pessimization. Right now without any traits, it has "unknown effect" which is most conservative situation (it has to be read and write to anything). https://github.com/llvm/llvm-project/pull/139521