12.12 浮点运算单元的软件验证和性能对比