diff options
author | Xi Wang <xi.wang@gmail.com> | 2013-05-19 08:13:10 -0400 |
---|---|---|
committer | Pekka Enberg <penberg@kernel.org> | 2013-05-19 15:45:37 +0300 |
commit | 08d9fbaeda48e20a76206d550ac5ab5b2c60d99e (patch) | |
tree | 3890cf334b7525443b28f6bca75cf0d952f8467b | |
parent | e33b721d954a0c59ca1c09e75ec0657e0c3e0391 (diff) | |
download | sparse-08d9fbaeda48e20a76206d550ac5ab5b2c60d99e.tar.gz |
sparse, llvm: set target specification
Set target triple and data layout, which are required by LLVM's backend.
Also export arch_m64 for choosing the target architecture.
Cc: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Signed-off-by: Xi Wang <xi.wang@gmail.com>
Signed-off-by: Pekka Enberg <penberg@kernel.org>
-rw-r--r-- | lib.h | 2 | ||||
-rw-r--r-- | sparse-llvm.c | 56 |
2 files changed, 55 insertions, 3 deletions
@@ -113,6 +113,8 @@ extern int Wvla; extern int dbg_entry; extern int dbg_dead; +extern int arch_m64; + extern void declare_builtin_functions(void); extern void create_builtin_stream(void); extern struct symbol_list *sparse_initialize(int argc, char **argv, struct string_list **files); diff --git a/sparse-llvm.c b/sparse-llvm.c index 35629c4e..8bc76147 100644 --- a/sparse-llvm.c +++ b/sparse-llvm.c @@ -6,6 +6,7 @@ #include <llvm-c/Core.h> #include <llvm-c/BitWriter.h> #include <llvm-c/Analysis.h> +#include <llvm-c/Target.h> #include <stdbool.h> #include <stdio.h> @@ -1066,14 +1067,63 @@ static int compile(LLVMModuleRef module, struct symbol_list *list) return 0; } +#define X86_LINUX_LAYOUT \ + "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-" \ + "i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-" \ + "a0:0:64-f80:32:32-n8:16:32-S128" + +#define X86_64_LINUX_LAYOUT \ + "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-" \ + "i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-" \ + "a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" + +static void set_target(LLVMModuleRef module) +{ + char target[] = LLVM_DEFAULT_TARGET_TRIPLE; + const char *arch, *vendor, *os, *env, *layout = NULL; + char triple[256]; + + arch = strtok(target, "-"); + vendor = strtok(NULL, "-"); + os = strtok(NULL, "-"); + env = strtok(NULL, "-"); + + if (!os) + return; + if (!env) + env = "unknown"; + + if (!strcmp(arch, "x86_64") && !strcmp(os, "linux")) { + if (arch_m64) { + layout = X86_64_LINUX_LAYOUT; + } else { + arch = "i386"; + layout = X86_LINUX_LAYOUT; + } + } + + /* unsupported target */ + if (!layout) + return; + + snprintf(triple, sizeof(triple), "%s-%s-%s-%s", arch, vendor, os, env); + LLVMSetTarget(module, triple); + LLVMSetDataLayout(module, layout); +} + int main(int argc, char **argv) { - struct string_list * filelist = NULL; + struct string_list *filelist = NULL; + struct symbol_list *symlist; + LLVMModuleRef module; char *file; - LLVMModuleRef module = LLVMModuleCreateWithName("sparse"); + symlist = sparse_initialize(argc, argv, &filelist); + + module = LLVMModuleCreateWithName("sparse"); + set_target(module); - compile(module, sparse_initialize(argc, argv, &filelist)); + compile(module, symlist); /* need ->phi_users */ dbg_dead = 1; |