dime10 wrote: Just bumping the discussion here since it's been a while. In my opinion attaching the pure attribute to a non-pure op is still posing an issue 🤔 https://github.com/llvm/llvm-project/pull/68894