bjacob wrote: Just realized that this was a _canonicalization_ pattern. That part was clearly wrong. Fast approximations are great, but they can't be canonicalizations unless they're proven to be exact. https://github.com/llvm/llvm-project/pull/164301