C++ double representation asm 收藏

Question

我有像这个例子这样的简单代码:

int main() {
  double i_3 = 4.1; // 8 bytes
  return 0;
}

让我们用 -S 选项编译这个示例:

g++ -S -o asm_types.s asm_types.cpp

编译器返回包含以下代码的 .s 文件:

    .file   "asm_types.cpp"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movabsq $4616302208045442662, %rax
    movq    %rax, -8(%rbp)
    movl    $0, %eax
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .ident  "GCC: (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4"
    .section    .note.GNU-stack,"",@progbits

我试图理解这行 .s 文件

movabsq $4616302208045442662, %rax

什么是 4616302208045442662？

谢谢

Answer 1

您本质上想要阅读 IEEE 754，特别是它如何以二进制形式存储(编码)值。但简而言之，它将数字分为三个主要部分(在本例中为 64 位):

• 符号(1 位)
• 指数(11 位)
• 分数(52 位)

您可能要问的主要问题是像 4.1 这样简单的东西是如何变成如此多随机的位 (4616302208045442662h)。这主要是数字如何分解和缩放的结果。缩放是提供等效数量 significant digits 所必需的。可以在非常小的数字和非常大的数字之间滑动。

读物:

• http://grouper.ieee.org/groups/754/faq.html
• https://en.wikipedia.org/wiki/Double-precision_floating-point_format