j2kun wrote: Note, this will also have valid uses in MLIR as part of a new polynomial dialect (cf. https://github.com/llvm/llvm-project/pull/72081, subsequent PRs will have lowerings that need this inverse calculation) https://github.com/llvm/llvm-project/pull/87644