どうにもこうにも、とりあえずsqrtにバグがあることが判明。ISEシミュレータ上では正しく動いているので、もう何がなんだか。 ということで、sqrtをライブラリ実装することに。azouno氏にコンパイラを改造してもらって、さくっと1時間くらいでsqrtをアセンブ…