111 lines
3.5 KiB
Diff
111 lines
3.5 KiB
Diff
From 0edaa982336823d4d7af8f10b91579fe0099ef3d Mon Sep 17 00:00:00 2001
|
|
From: Tom Stellard <tstellar@redhat.com>
|
|
Date: Tue, 20 Apr 2021 20:14:21 -0700
|
|
Subject: [PATCH] jit: Workaround potential datalayout mismatch on s390x
|
|
|
|
LLVM's s390x target uses a different datalayout for z13 and newer processors.
|
|
If llvmjit_types.bc is compiled to target a processor older than z13, and
|
|
then the JIT runs on a z13 or newer processor, then there will be a mismatch
|
|
in datalayouts between llvmjit_types.bc and the JIT engine. This mismatch
|
|
causes the JIT to fail at runtime.
|
|
---
|
|
src/backend/jit/llvm/llvmjit.c | 46 ++++++++++++++++++++++++++++++++--
|
|
1 file changed, 44 insertions(+), 2 deletions(-)
|
|
|
|
--- src/backend/jit/llvm/llvmjit.c.orig
|
|
+++ src/backend/jit/llvm/llvmjit.c
|
|
@@ -101,6 +101,7 @@ LLVMValueRef FuncExecEvalSysVar;
|
|
LLVMValueRef FuncExecAggTransReparent;
|
|
LLVMValueRef FuncExecAggInitGroup;
|
|
|
|
+LLVMModuleRef mod = NULL;
|
|
|
|
static bool llvm_session_initialized = false;
|
|
static size_t llvm_generation = 0;
|
|
@@ -742,6 +743,35 @@ llvm_compile_module(LLVMJitContext *cont
|
|
}
|
|
|
|
/*
|
|
+ * For the systemz target, LLVM uses a different datalayout for z13 and newer
|
|
+ * CPUs than it does for older CPUs. This can cause a mismatch in datalayouts
|
|
+ * in the case where the llvm_types_module (mod) is compiled with a pre-z13 CPU
|
|
+ * and the JIT is running on z13 or newer.
|
|
+ * See computeDataLayout() function in
|
|
+ * llvm/lib/Target/SystemZ/SystemZTargetMachine.cpp for information on the
|
|
+ * datalayout differences.
|
|
+ */
|
|
+static bool
|
|
+needs_systemz_workaround(void)
|
|
+{
|
|
+ bool ret = false;
|
|
+ LLVMContextRef llvm_context;
|
|
+ LLVMTypeRef vec_type;
|
|
+ LLVMTargetDataRef llvm_layoutref;
|
|
+ if (strncmp(LLVMGetTargetName(llvm_targetref), "systemz", strlen("systemz")))
|
|
+ {
|
|
+ return false;
|
|
+ }
|
|
+
|
|
+ llvm_context = LLVMGetModuleContext(mod);
|
|
+ vec_type = LLVMVectorType(LLVMIntTypeInContext(llvm_context, 32), 4);
|
|
+ llvm_layoutref = LLVMCreateTargetData(llvm_layout);
|
|
+ ret = (LLVMABIAlignmentOfType(llvm_layoutref, vec_type) == 16);
|
|
+ LLVMDisposeTargetData(llvm_layoutref);
|
|
+ return ret;
|
|
+}
|
|
+
|
|
+/*
|
|
* Per session initialization.
|
|
*/
|
|
static void
|
|
@@ -750,6 +780,7 @@ llvm_session_initialize(void)
|
|
MemoryContext oldcontext;
|
|
char *error = NULL;
|
|
char *cpu = NULL;
|
|
+ char *host_features = NULL;
|
|
char *features = NULL;
|
|
LLVMTargetMachineRef opt0_tm;
|
|
LLVMTargetMachineRef opt3_tm;
|
|
@@ -781,10 +812,17 @@ llvm_session_initialize(void)
|
|
* features not all CPUs have (weird, huh).
|
|
*/
|
|
cpu = LLVMGetHostCPUName();
|
|
- features = LLVMGetHostCPUFeatures();
|
|
+ features = host_features = LLVMGetHostCPUFeatures();
|
|
elog(DEBUG2, "LLVMJIT detected CPU \"%s\", with features \"%s\"",
|
|
cpu, features);
|
|
|
|
+ if (needs_systemz_workaround())
|
|
+ {
|
|
+ const char *no_vector =",-vector";
|
|
+ features = malloc(sizeof(char) * (strlen(host_features) + strlen(no_vector) + 1));
|
|
+ sprintf(features, "%s%s", host_features, no_vector);
|
|
+ }
|
|
+
|
|
opt0_tm =
|
|
LLVMCreateTargetMachine(llvm_targetref, llvm_triple, cpu, features,
|
|
LLVMCodeGenLevelNone,
|
|
@@ -798,8 +836,13 @@ llvm_session_initialize(void)
|
|
|
|
LLVMDisposeMessage(cpu);
|
|
cpu = NULL;
|
|
- LLVMDisposeMessage(features);
|
|
+ if (features != host_features)
|
|
+ {
|
|
+ free(features);
|
|
+ }
|
|
features = NULL;
|
|
+ LLVMDisposeMessage(host_features);
|
|
+ host_features = NULL;
|
|
|
|
/* force symbols in main binary to be loaded */
|
|
LLVMLoadLibraryPermanently(NULL);
|
|
@@ -952,7 +995,6 @@ llvm_create_types(void)
|
|
char path[MAXPGPATH];
|
|
LLVMMemoryBufferRef buf;
|
|
char *msg;
|
|
- LLVMModuleRef mod = NULL;
|
|
|
|
snprintf(path, MAXPGPATH, "%s/%s", pkglib_path, "llvmjit_types.bc");
|
|
|