https://github.com/simon-camp approved this pull request. Thank you! @jaredwy should this land as is for now and be consolidated with hasSideEffects when other operations get this attribute too? https://github.com/llvm/llvm-project/pull/202749