探究 gcc 浮点数精度转换所使用的指令 —— use_vector_fp_converts 优化

Wed, 19 Oct 2022 16:42:57 GMT

在学习浮点数精度转换指令时，CS:APP 里提到 gcc 并不使用 vcvtss2sd/vcvtsd2ss，而是使用 vunpcklps & vcvtps2pd / vmovddup & vcvtpd2psx，但是我使用 gcc 12.2.0 编译得到的结果就是 vcvtss2sd/vcvtsd2ss。对此，CS:APP 没有深究：

It is unclear why GCC generates this code. There is neither benefit nor need to have the value duplicated within the XMM register.

但是 CS:APP 选择放弃反而会激发读者的斗志啊（

虽然但是，我确实没想到这玩意会让我断断续续搞了三天，ddl 又要寄了 🌚

问题描述

这一问题可以由下面的代码所展示：

double f2d(float x)
{
    return x;
}

float d2f(double x)
{
    return x;
}

double fp2d(float *x)
{
    return *x;
}

float dp2f(double *x)
{
    return *x;
}

double f2d(float x)
{
    return x;
}

float d2f(double x)
{
    return x;
}

double fp2d(float *x)
{
    return *x;
}

float dp2f(double *x)
{
    return *x;
}

它编译成汇编的结果有如下几种：

标签: gcc - ouuan's blog

探究 gcc 浮点数精度转换所使用的指令 —— use_vector_fp_converts 优化

问题描述

C