davemgreen wrote: I'm surprised we got this far without needing these already. Can we add strict versions of the nodes at the same time? And maybe nodes like fcbrt, even if they can't be easily tested. https://github.com/llvm/llvm-project/pull/83745