c - 为什么 GCC -Ofast 使程序出错，但仅在它打印两次结果时才出错？-6ren

c - 为什么 GCC -Ofast 使程序出错，但仅在它打印两次结果时才出错？

转载作者：行者123 更新时间：2023-12-04 20:26:45

重新编译旧程序使其输出错误结果。 我想知道为什么 .

我知道-Ofast可能“无视严格的标准合规性”，但我很好奇引擎盖下会发生什么。

我将程序简化为这个 最小示例 foo1.c :

#include <stdio.h>

double my_pow(double x, unsigned n)
{ /* returns x^n */
        double y = 1;

        while(n--) y *= x;
        return y;
}

void foo(double small)
{ /* prints small^19 */
        double x = my_pow(small,19);

        printf("%E\n",x);
        printf("%E\n",x);

}

int main(void)
{
        foo(1-0.8-0.2);

        return 0;
}

使用 -Ofast 编译时它提供与任何其他优化级别不同的输出。
gcc -Ofast foo1.c && ./a.out :

-0.000000E+00
-0.000000E+00

gcc foo1.c && ./a.out :

-1.390671E-309
-1.390671E-309

一个奇怪的事实是，当其中一个 printf被注释掉(文件 foo2.c)这种行为不会复制，使其成为一种 heisenbug。
gcc -Ofast foo2.c && ./a.out :

-1.390671E-309

gcc foo2.c && ./a.out :

-1.390671E-309

可能有用的信息:
gcc -v :

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/4.8.5/lto-wrapper
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --with-linker-hash-style=gnu --enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go,lto --enable-plugin --enable-initfini-array --disable-libgcj --with-isl=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/isl-install --with-cloog=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/cloog-install --enable-gnu-indirect-function --with-tune=generic --with-arch_32=x86-64 --build=x86_64-redhat-linux
Thread model: posix
gcc version 4.8.5 20150623 (Red Hat 4.8.5-39) (GCC)

gcc -Ofast foo1.c -S -o - :

    .file   "foo1.c"
    .text
    .p2align 4,,15
    .globl  my_pow
    .type   my_pow, @function
my_pow:
.LFB11:
    .cfi_startproc
    testl   %edi, %edi
    leal    -1(%rdi), %edx
    je  .L10
    movl    %edi, %ecx
    shrl    %ecx
    movl    %ecx, %esi
    addl    %esi, %esi
    je  .L11
    cmpl    $9, %edi
    jbe .L11
    movapd  %xmm0, %xmm1
    movapd  .LC0(%rip), %xmm2
    xorl    %eax, %eax
    unpcklpd    %xmm1, %xmm1
.L9:
    addl    $1, %eax
    mulpd   %xmm1, %xmm2
    cmpl    %eax, %ecx
    ja  .L9
    movapd  %xmm2, -24(%rsp)
    subl    %esi, %edx
    cmpl    %esi, %edi
    movsd   -16(%rsp), %xmm1
    mulsd   %xmm2, %xmm1
    je  .L2
    testl   %edx, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
.L35:
    cmpl    $1, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $2, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $3, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $4, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $5, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $6, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $7, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    mulsd   %xmm0, %xmm1
    .p2align 4,,10
    .p2align 3
.L2:
    movapd  %xmm1, %xmm0
    ret
    .p2align 4,,10
    .p2align 3
.L11:
    movsd   .LC1(%rip), %xmm1
    testl   %edx, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    jmp .L35
    .p2align 4,,10
    .p2align 3
.L10:
    movsd   .LC1(%rip), %xmm1
    jmp .L2
    .cfi_endproc
.LFE11:
    .size   my_pow, .-my_pow
    .section    .rodata.str1.1,"aMS",@progbits,1
.LC2:
    .string "%E\n"
    .text
    .p2align 4,,15
    .globl  foo
    .type   foo, @function
foo:
.LFB12:
    .cfi_startproc
    movapd  %xmm0, %xmm2
    subq    $24, %rsp
    .cfi_def_cfa_offset 32
    movl    $.LC2, %edi
    movl    $1, %eax
    unpcklpd    %xmm2, %xmm2
    movapd  %xmm2, %xmm1
    mulpd   %xmm2, %xmm1
    mulpd   %xmm1, %xmm1
    mulpd   %xmm1, %xmm1
    mulpd   %xmm2, %xmm1
    movapd  %xmm1, %xmm2
    unpckhpd    %xmm1, %xmm1
    mulsd   %xmm1, %xmm2
    mulsd   %xmm0, %xmm2
    movapd  %xmm2, %xmm0
    movsd   %xmm2, 8(%rsp)
    call    printf
    movsd   8(%rsp), %xmm2
    movl    $.LC2, %edi
    movl    $1, %eax
    addq    $24, %rsp
    .cfi_def_cfa_offset 8
    movapd  %xmm2, %xmm0
    jmp printf
    .cfi_endproc
.LFE12:
    .size   foo, .-foo
    .section    .text.startup,"ax",@progbits
    .p2align 4,,15
    .globl  main
    .type   main, @function
main:
.LFB13:
    .cfi_startproc
    subq    $8, %rsp
    .cfi_def_cfa_offset 16
    movsd   .LC3(%rip), %xmm0
    call    foo
    xorl    %eax, %eax
    addq    $8, %rsp
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc
.LFE13:
    .size   main, .-main
    .section    .rodata.cst16,"aM",@progbits,16
    .align 16
.LC0:
    .long   0
    .long   1072693248
    .long   0
    .long   1072693248
    .section    .rodata.cst8,"aM",@progbits,8
    .align 8
.LC1:
    .long   0
    .long   1072693248
    .align 8
.LC3:
    .long   0
    .long   -1131413504
    .ident  "GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-39)"
    .section    .note.GNU-stack,"",@progbits

gcc foo1.c -S -o - :

    .file   "foo1.c"
    .text
    .globl  my_pow
    .type   my_pow, @function
my_pow:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movsd   %xmm0, -24(%rbp)
    movl    %edi, -28(%rbp)
    movabsq $4607182418800017408, %rax
    movq    %rax, -8(%rbp)
    jmp .L2
.L3:
    movsd   -8(%rbp), %xmm0
    mulsd   -24(%rbp), %xmm0
    movsd   %xmm0, -8(%rbp)
.L2:
    movl    -28(%rbp), %eax
    leal    -1(%rax), %edx
    movl    %edx, -28(%rbp)
    testl   %eax, %eax
    jne .L3
    movq    -8(%rbp), %rax
    movq    %rax, -40(%rbp)
    movsd   -40(%rbp), %xmm0
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   my_pow, .-my_pow
    .section    .rodata
.LC1:
    .string "%E\n"
    .text
    .globl  foo
    .type   foo, @function
foo:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $32, %rsp
    movsd   %xmm0, -24(%rbp)
    movq    -24(%rbp), %rax
    movl    $19, %edi
    movq    %rax, -32(%rbp)
    movsd   -32(%rbp), %xmm0
    call    my_pow
    movsd   %xmm0, -32(%rbp)
    movq    -32(%rbp), %rax
    movq    %rax, -8(%rbp)
    movq    -8(%rbp), %rax
    movq    %rax, -32(%rbp)
    movsd   -32(%rbp), %xmm0
    movl    $.LC1, %edi
    movl    $1, %eax
    call    printf
    movq    -8(%rbp), %rax
    movq    %rax, -32(%rbp)
    movsd   -32(%rbp), %xmm0
    movl    $.LC1, %edi
    movl    $1, %eax
    call    printf
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE1:
    .size   foo, .-foo
    .globl  main
    .type   main, @function
main:
.LFB2:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $16, %rsp
    movabsq $-4859383997932765184, %rax
    movq    %rax, -8(%rbp)
    movsd   -8(%rbp), %xmm0
    call    foo
    movl    $0, %eax
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE2:
    .size   main, .-main
    .ident  "GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-39)"
    .section    .note.GNU-stack,"",@progbits

gcc -Ofast foo2.c -S -o - :

    .file   "foo2.c"
    .text
    .p2align 4,,15
    .globl  my_pow
    .type   my_pow, @function
my_pow:
.LFB11:
    .cfi_startproc
    testl   %edi, %edi
    leal    -1(%rdi), %edx
    je  .L10
    movl    %edi, %ecx
    shrl    %ecx
    movl    %ecx, %esi
    addl    %esi, %esi
    je  .L11
    cmpl    $9, %edi
    jbe .L11
    movapd  %xmm0, %xmm1
    movapd  .LC0(%rip), %xmm2
    xorl    %eax, %eax
    unpcklpd    %xmm1, %xmm1
.L9:
    addl    $1, %eax
    mulpd   %xmm1, %xmm2
    cmpl    %eax, %ecx
    ja  .L9
    movapd  %xmm2, -24(%rsp)
    subl    %esi, %edx
    cmpl    %esi, %edi
    movsd   -16(%rsp), %xmm1
    mulsd   %xmm2, %xmm1
    je  .L2
    testl   %edx, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
.L35:
    cmpl    $1, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $2, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $3, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $4, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $5, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $6, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    cmpl    $7, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    mulsd   %xmm0, %xmm1
    .p2align 4,,10
    .p2align 3
.L2:
    movapd  %xmm1, %xmm0
    ret
    .p2align 4,,10
    .p2align 3
.L11:
    movsd   .LC1(%rip), %xmm1
    testl   %edx, %edx
    mulsd   %xmm0, %xmm1
    je  .L2
    jmp .L35
    .p2align 4,,10
    .p2align 3
.L10:
    movsd   .LC1(%rip), %xmm1
    jmp .L2
    .cfi_endproc
.LFE11:
    .size   my_pow, .-my_pow
    .section    .rodata.str1.1,"aMS",@progbits,1
.LC2:
    .string "%E\n"
    .text
    .p2align 4,,15
    .globl  foo
    .type   foo, @function
foo:
.LFB12:
    .cfi_startproc
    movapd  %xmm0, %xmm2
    movl    $.LC2, %edi
    movl    $1, %eax
    unpcklpd    %xmm2, %xmm2
    movapd  %xmm2, %xmm1
    mulpd   %xmm2, %xmm1
    mulpd   %xmm1, %xmm1
    mulpd   %xmm1, %xmm1
    mulpd   %xmm2, %xmm1
    movapd  %xmm1, %xmm2
    unpckhpd    %xmm1, %xmm1
    mulsd   %xmm1, %xmm2
    mulsd   %xmm0, %xmm2
    movapd  %xmm2, %xmm0
    jmp printf
    .cfi_endproc
.LFE12:
    .size   foo, .-foo
    .section    .text.startup,"ax",@progbits
    .p2align 4,,15
    .globl  main
    .type   main, @function
main:
.LFB13:
    .cfi_startproc
    subq    $8, %rsp
    .cfi_def_cfa_offset 16
    movl    $.LC2, %edi
    movl    $1, %eax
    movsd   .LC3(%rip), %xmm0
    call    printf
    xorl    %eax, %eax
    addq    $8, %rsp
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc
.LFE13:
    .size   main, .-main
    .section    .rodata.cst16,"aM",@progbits,16
    .align 16
.LC0:
    .long   0
    .long   1072693248
    .long   0
    .long   1072693248
    .section    .rodata.cst8,"aM",@progbits,8
    .align 8
.LC1:
    .long   0
    .long   1072693248
    .align 8
.LC3:
    .long   0
    .long   -2147418112
    .ident  "GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-39)"
    .section    .note.GNU-stack,"",@progbits

gcc foo2.c -S -o - :

    .file   "foo2.c"
    .text
    .globl  my_pow
    .type   my_pow, @function
my_pow:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movsd   %xmm0, -24(%rbp)
    movl    %edi, -28(%rbp)
    movabsq $4607182418800017408, %rax
    movq    %rax, -8(%rbp)
    jmp .L2
.L3:
    movsd   -8(%rbp), %xmm0
    mulsd   -24(%rbp), %xmm0
    movsd   %xmm0, -8(%rbp)
.L2:
    movl    -28(%rbp), %eax
    leal    -1(%rax), %edx
    movl    %edx, -28(%rbp)
    testl   %eax, %eax
    jne .L3
    movq    -8(%rbp), %rax
    movq    %rax, -40(%rbp)
    movsd   -40(%rbp), %xmm0
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   my_pow, .-my_pow
    .section    .rodata
.LC1:
    .string "%E\n"
    .text
    .globl  foo
    .type   foo, @function
foo:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $32, %rsp
    movsd   %xmm0, -24(%rbp)
    movq    -24(%rbp), %rax
    movl    $19, %edi
    movq    %rax, -32(%rbp)
    movsd   -32(%rbp), %xmm0
    call    my_pow
    movsd   %xmm0, -32(%rbp)
    movq    -32(%rbp), %rax
    movq    %rax, -8(%rbp)
    movq    -8(%rbp), %rax
    movq    %rax, -32(%rbp)
    movsd   -32(%rbp), %xmm0
    movl    $.LC1, %edi
    movl    $1, %eax
    call    printf
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE1:
    .size   foo, .-foo
    .globl  main
    .type   main, @function
main:
.LFB2:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $16, %rsp
    movabsq $-4859383997932765184, %rax
    movq    %rax, -8(%rbp)
    movsd   -8(%rbp), %xmm0
    call    foo
    movl    $0, %eax
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE2:
    .size   main, .-main
    .ident  "GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-39)"
    .section    .note.GNU-stack,"",@progbits

最佳答案

下 -ffast-math (它是类似 -Ofast 的兄弟)gcc 将您的应用与 crtfastmath.c 中的特殊启动代码链接起来。设置清零标志:

static void __attribute__((constructor))
set_fast_math (void)
{
#ifndef __x86_64__
...
#else
  unsigned int mxcsr = __builtin_ia32_stmxcsr ();
  mxcsr |= MXCSR_DAZ | MXCSR_FTZ;
  __builtin_ia32_ldmxcsr (mxcsr);
#endif
}

(来自 here)。

关于c - 为什么 GCC -Ofast 使程序出错，但仅在它打印两次结果时才出错？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/58904139/

文章推荐： c# - Razor 页面 : Inheritance of a model to add fields during creation

文章推荐： flutter - 将Flutter Image对象传递给ImageProvider

文章推荐： php - 无法在 localhost 上的 php 中读取 cookie

文章推荐： c# - 如何在 C# 中使用动态和静态键名反序列化 JSON

c++ - C c;之间有什么区别吗？和 C c = C();?
#include using namespace std; class C{ private: int value; public: C(){ value = 0;
c++ - C 风格字符串差异 : C/C++
这个问题已经有答案了: What is the difference between char a[] = ?string?; and char *p = ?string?;? (8 个回答) 已关闭
c++ - c\c++ 转换为 C#
关闭。此题需要details or clarity 。目前不接受答案。想要改进这个问题吗？通过 editing this post 添加详细信息并澄清问题. 已关闭 7 年前。此帖子已于 8 个月
c# - C、C++、C# 的功能测试工具
除了调试之外，是否有任何针对 c、c++ 或 c# 的测试工具，其工作原理类似于将独立函数复制粘贴到某个文本框，然后在其他文本框中输入参数？最佳答案也许您会考虑单元测试。我推荐你谷歌测试和谷歌模拟
c# - C/C++/C# 在监视器上设置窗口位置
我想在第二台显示器中移动一个窗口 (HWND)。问题是我尝试了很多方法，例如将分辨率加倍或输入负值，但它永远无法将窗口放在我的第二台显示器上。关于如何在 C/C++/c# 中执行此操作的任何线索最
c# - C/C++/C#中的DES实现
我正在寻找 C/C++/C## 中不同类型 DES 的现有实现。我的运行平台是Windows XP/Vista/7。我正在尝试编写一个 C# 程序，它将使用 DES 算法进行加密和解密。我需要一些实
c# - 在条件中使用赋值是否安全？ C/C++、C#
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开，visit the help center . 关闭 1
c++ - C/C++/C# 强制窗口在最上面
有没有办法强制将另一个窗口置于顶部？不是应用程序的窗口，而是另一个已经在系统上运行的窗口。 (Windows, C/C++/C#) 最佳答案 SetWindowPos(that_window_ha
c# - 套接字服务器应用程序的选择 : C/C++ or C#
假设您可以在 C/C++ 或 Csharp 之间做出选择，并且您打算在 Windows 和 Linux 服务器上运行同一服务器的多个实例，那么构建套接字服务器应用程序的最明智选择是什么？最佳答案如
c++ - C/C++ 运行时库和 C/C++ 标准库的区别
你们能告诉我它们之间的区别吗？顺便问一下，有什么叫C++库或C库的吗？最佳答案 C++ 标准库和 C 标准库是 C++ 和 C 标准定义的库，提供给 C++ 和 C 程序使用。那是那些词的共同
c++ - &C::c 和 &(C::c) 有什么区别？
下面的测试代码，我将输出信息放在注释中。我使用的是 gcc 4.8.5 和 Centos 7.2。 #include #include class C { public:
c++ - 什么 C++(通用 (c/c++) 与 (通用 c)/c++ )
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它，visit the help center 。已关
c# - 通过网络在 C/C++ 服务器、C/C++ 和 C# 客户端之间发送数据结构
我的客户将使用名为 annoucement 的结构/类与客户通信。我想我会用 C++ 编写服务器。会有很多不同的类继承annoucement。我的问题是通过网络将这些类发送给客户端我想也许我应该使用
c# - C/C++ - 如何将 Buffer.BlockCopy (C#) 转换为 C/C++
我在 C# 中有以下函数: public Matrix ConcatDescriptors(IList> descriptors) { int cols = descriptors[0].Co
c++ - C/C++ - 对其他人隐藏 C 或 C++ 函数代码
我有一个项目要编写一个函数来对某些数据执行某些操作。我可以用 C/C++ 编写代码，但我不想与雇主共享该函数的代码。相反，我只想让他有权在他自己的代码中调用该函数。是否可以？我想到了这两种方法 - 在
c# - 在托管代码(C++、C、C++/CLI、C#)中使用非托管代码时处理错误
我使用的是编写糟糕的第 3 方 (C/C++) Api。我从托管代码(C++/CLI)中使用它。有时会出现“访问冲突错误”。这使整个应用程序崩溃。我知道我无法处理这些错误[如果指针访问非法内存位置等，
c# - C#、C/C++ 或 Objective-C 中的眼动追踪库
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题，以便用事实和引用来回答。关闭 7 年前。
c++ - C/C++/Objective-C 文本识别库
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的，因为
c# - 将 C/C++ 函数导入 C#
我有一些 C 代码，将使用 P/Invoke 从 C# 调用。我正在尝试为这个 C 函数定义一个 C# 等效项。 SomeData* DoSomething(); struct SomeData {
c - C语言中 "c -= --c - c++;"的结果应该是什么？
这个问题已经有答案了: Why are these constructs using pre and post-increment undefined behavior? (14 个回答) 已关闭 6

行者123

个人简介

我是一名优秀的程序员,十分优秀！

作者热门文章

滴滴打车优惠券免费领取

全站热门文章

首页

博学

6Ren·AI

商城

c - 为什么 GCC -Ofast 使程序出错，但仅在它打印两次结果时才出错？