joker-eph wrote: > I'm not quite sure how we handle undefined behavior and side effects in this case. NoMemoryEffect means no side effects beyond undefined behavior, and Pure means no side-effects and no UB. https://github.com/llvm/llvm-project/pull/139521