关于库函数的优化
在最新的Visual Studio 2019 16.2中,VS开发团队优化了一些标准库函数,例如除法运算(std::div, std::ldiv, std::lldiv)和判断是否为非数字的std::isnan。
不管是否开启了编译优化,VS都将客户端对标准库函数的调用生成为对各个std::div和std::isnan变种的调用,而不是将其内联为汇编指令。因为这些标准库函数的定义位于runtime中,这些定义对于编译器来说,都是黑盒子,所以不太合适被内联和优化。而且,对std::div和std::isnan的调用开销甚至比操作本身还要高。在大多数平台上,std::div可以被单条CPU指令计算,而std::isnan也只需要一次对比指令和条件标志检查就可以完成。将这些调用内联可以移除这部分的函数调用开销,而且,因为此时编译器已经有了函数调用的上下文,所以可以对此部分展开优化。
为了支持内联汇编代码生成,开发团队添加了一些编译器内置指令(又称之为compiler intrinsics),用于std::isnan,std::div以及其他的一些标准库函数。注册一个编译器内置函数,相当于教会编译器对这个函数的理解并在代码生成阶段拥有更多的控制。开发团队采用这种在代码生成阶段的优化方案,而不是直接修改标准库,这样可以避免对标准库头文件的修改,也就不会对客户程序产生兼容性影响。
优化std::div
MSVC编译器早就支持除法的优化了,因此,开发团队将对std::div的调用转变为对编译器内置指令的调用,然后将std::div的参数转变为规范化的格式,这些格式可以被MSVC编译器直接识别。