LLVM3.0 的 JIT 在 MinGW64 / MSCV64 上,进行代码块重定向阶段,处理超过32位地址范围(前后跳转2GB地址空间)的外部符号地址时,会将其强转为32位:

 1// lib\Target\X86\X86JITInfo.cpp:543
 2void X86JITInfo::relocate(void *Function, MachineRelocation *MR,
 3                          unsigned NumRelocs, unsigned char* GOTBase) {
 4  for (unsigned i = 0; i != NumRelocs; ++i, ++MR) {
 5    void *RelocPos = (char*)Function + MR->getMachineCodeOffset();
 6    intptr_t ResultPtr = (intptr_t)MR->getResultPointer();
 7    switch ((X86::RelocationType)MR->getRelocationType()) {
 8    case X86::reloc_pcrel_word: {
 9      ResultPtr = ResultPtr -(intptr_t)RelocPos - 4 - MR->getConstantVal();
10      *((unsigned*)RelocPos) += (unsigned)ResultPtr; // 这里默认都是强转成32位的
11      break;
12    }
13}

这会导致生成的指令,在执行时崩溃,一般表现为段错误。

解决办法:

 1From bdc19fc6fa1a87a375e5f77e83bc6e712185676a Mon Sep 17 00:00:00 2001
 2From: zevorn <zevorn@yeah.net>
 3Date: Wed, 22 May 2024 18:31:30 +0800
 4Subject: [PATCH 1/4] <fix>(JIT) Fixed a Bug in JIT
 5
 6Fixed a Bug in JIT processing code block redirection phase for external symbol parsing
 7---
 8 lib/ExecutionEngine/JIT/JITEmitter.cpp | 6 +++++-
 9 1 file changed, 5 insertions(+), 1 deletion(-)
10
11diff --git a/lib/ExecutionEngine/JIT/JITEmitter.cpp b/lib/ExecutionEngine/JIT/JITEmitter.cpp
12index 24020ee..0050b75 100644
13--- a/lib/ExecutionEngine/JIT/JITEmitter.cpp
14+++ b/lib/ExecutionEngine/JIT/JITEmitter.cpp
15@@ -849,7 +849,11 @@ bool JITEmitter::finishFunction(MachineFunction &F) {
16                        << ResultPtr << "]\n");
17 
18           // If the target REALLY wants a stub for this function, emit it now.
19-          if (MR.mayNeedFarStub()) {
20+          uintptr_t CurrPtr = getCurrentPCValue();
21+          const uintptr_t rang = 2ull * 1024 * 1024 * 1024; // 2GB
22+          if (MR.mayNeedFarStub()
23+            || ((CurrPtr + rang) < (uintptr_t)ResultPtr)
24+            || ((CurrPtr - rang) > (uintptr_t)ResultPtr)) {
25             ResultPtr = Resolver.getExternalFunctionStub(ResultPtr);
26           }
27         } else if (MR.isGlobalValue()) {
28-- 
292.44.0.windows.1

PS:这个问题似乎在 LLVM 3.1 上面也存在。