kuhar wrote: I think it's a valid point, I wonder if we should have a separate set of flags for integers / bitwise operations. There's more stuff to borrow from llvm like `disjoint`. https://github.com/llvm/llvm-project/pull/183165