winter233

> > Do you find it easier to follow something like [QEMU's rewrite of float divide](https://qemu-project.gitlab.io/qemu/src/S/2646.html#L1728) or [the sqrt function](https://qemu-project.gitlab.io/qemu/src/S/2646.html#L3454)? We worked quite hard to ensure the eventual generated code...