我正在使用 Z3(2012-12-21 git 版本,最新的“主”版本)检查工具的可移植性,因此尝试在 Sparc64 上编译 Z3。我不得不摆弄,src/util/hwf.cpp
以便它将 Sparc64 而不仅仅是 IA64 视为缺少 SIMD 内在函数和emmintrin.h
. 编译成功。
不幸的是,生成的可执行文件在启动时崩溃,并在prime_generator::prime_generator()
. 我不知道为什么。
Program received signal SIGBUS, Bus error.
0x009b1dac in global constructors keyed to _ZN15prime_generatorC2Ev ()
(gdb) bt
#0 0x009b1dac in global constructors keyed to _ZN15prime_generatorC2Ev ()
这对我来说不是很重要(我们的机器是 x86 或 x86-64),但可能与某些嵌入式应用程序相关。