Question

我正在玩Emscripten并编译一些简单的程序来测试它的表现。这是我快速整理的fib(n)算法。实施并不重要，但如果您需要，这里就是来源：

#include <stdlib.h>
#include <stdio.h>

#define KEY_TYPE unsigned int
#define VALUE_TYPE unsigned long long

// Simple linked list implementation
typedef struct list{
    KEY_TYPE key;
    VALUE_TYPE value;
    struct list* next;
} list;

void free_list(list** headPtr){
    list* head = *headPtr;
    while(head){
        list* next = head->next;
        free(head);
        head = next;
    }
}

VALUE_TYPE lookup_list(list** headPtr, KEY_TYPE key){
    for(list* head = *headPtr; head; head = head->next){
        if(head->key == key){
            return head->value;
        }
    }
    return 0;
}

void add_list(list** headPtr, list* block){
    block->next = *headPtr;
    *headPtr = block;
}

VALUE_TYPE fib_recur(list** lookup, KEY_TYPE n){
    VALUE_TYPE value;
    // base cases
    if(n < 2)   return n;

    // look for cached answer
    value = lookup_list(lookup, n);
    if(value > 0)   return value;

    // calculate answer
    value = fib_recur(lookup, n - 1) + fib_recur(lookup, n - 2);

    list* head = calloc(sizeof(list), 1);
    head->key = n;
    head->value = value;
    add_list(lookup, head);

    return value;
}


VALUE_TYPE fib(n){
    list* listPtr = NULL;
    VALUE_TYPE num = fib_recur(&listPtr, n);
    free_list(&listPtr);
    return num;
}

int main(int argc, char** argv){
    if(argc != 2)   return 1;

    KEY_TYPE key;
    sscanf(argv[1], "%d", &key); 
    VALUE_TYPE value = fib(key);
    printf("fib(%d) = %lld\n", key, value);
    return 0;
}

C中的实际实现是正确的（通过使用clang进行编译测试。）在Node.js中，它适用于小整数，但是当我尝试47时，fib(47)返回-1323752223，这是不正确的

var Module = require("./fib.js");
var fib = Module.cwrap("fib", "number", ["number"]);

for(var i = 1; i <= 90; i++){
    console.log(i, fib(i));
}

45 1134903170
46 1836311903
47 -1323752223  <-- overflow?
48 512559680    <-- all numbers are incorrect after this point
49 -811192543

为什么？我用来编译C代码的命令如下：

emcc fib.c -O1 -o fib.js -s EXPORTED_FUNCTIONS="['_fib']"

Answer 1

JS中的AFAIK您将所有数字表示为double s，并使用它们模拟Asm.js子集中的整数。但是64位int不能在double中表示，所以根据我的记忆，在Emscripten调用约定中，使用一些全局临时变量返回long long的最高32位。

使用调试信息（-g3编译器选项）编译您的程序（您可能必须尝试不同的优化级别：在-O0上生成的代码可能过于嘈杂，但在-O3上这可能并不容易理解）并检查您的main函数有关_fib的调用方式以及如何获取返回值。但我担心，这个调用约定可能会在未来的Emscripten版本中发生变化。同时，您可以尝试阅读Emscripten的val.h和bind.h上的文档，但我自己从未使用过它们。

＆＃34;大＆＃34; Emscripten中的整数

1 个答案: