尝试打印双精度时程序崩溃（但其他类型可以）

Question

我正在尝试从汇编代码 (Linux x86-64) 调用 C 函数。在汇编代码中，类型由 3 LSB 编码。 C 函数的目的只是简单地打印键入的值。这是函数：

int print(long i) {
  int type = i & 7;
  long val = i >> 3;
  double c;
  switch(type) {
  case 0:
    printf("%d\n", val);
    break;
  case 1:
    if (!val)
      printf("false\n");
    else if (val == 1) 
      printf("true\n");
    else if (val == 2)
      printf("nil\n");
    break;
  case 2:
    printf("%s\n", (char*)(val + 8));
    break;
  case 6:
    c = *(double*) val;
    //printf("%d\n", (int)c); /* no seg fault */
    //printf("%f\n", 1.0); /* seg fault */
    printf("%f\n", c); /* seg fault */
    break;
  }
  return 1;
}

到目前为止，我一直在使用字符串指针没有任何问题，所以我知道这不是内存问题，但这是我第一次使用%xmm 寄存器，所以我可能在那里做错了。以下是相关的调用片段：

    movsd   _DB1(%rip), %xmm4
    movsd   _DB2(%rip), %xmm5
    addsd   %xmm5, %xmm4
    movsd   %xmm4, (%r12)
    leaq    6(, %r12, 8), %rdi
    addq    $8, %r12
    call    print
##### ... #####
    .data
_DB1:
    .double 2
_DB2:
    .double 3

%r12 指向堆中分配的内存。最奇怪的是，如果我在调用 printf 之前将双精度数转换为整数，则不会出现分段错误（取消注释案例 6 中的行并注释下面的行）并且它会得出正确的结果 (5)。在调试过程中，我发现在看不到代码的printf 函数的子程序中出现了分段错误。此外，即使我定义了一个随机双精度，我也无法打印它。

在这一点上，任何帮助将不胜感激，谢谢。

Answer 1

代码片段的行为取决于如何将指向double 的指针和字符串编码为long 值i，以及其他考虑因素。它非常不便携。

您计算long val = i >> 3;，它对i 的负值具有实现定义的行为，并在稍后转换为(double*) 或(char*) 时生成具有0 或1 高位的指针值。虽然指针表示中的一些高位在常见架构上被忽略，但依赖这种行为是不安全的，并且会在 32 位英特尔 PC 上失败。确保指针在 8 字节边界上对齐（至少）并在转换为 (double*) 或 (char*) 之前屏蔽低位或以其他方式调整值可能是一个更好的主意。

如果long 小于void*，使用uintptr_t 而不是long 也会更便携，就像在64 位Windows 系统上一样。