aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2020-03-08 17:44:08 +0000
committergingerBill <bill@gingerbill.org>2020-03-08 17:44:08 +0000
commitdae817e5ab786180ebcd284fb27195db5ae5ec00 (patch)
tree5986d92c1d03d465a348c8a50da42c811f1c86d5
parent28502ba53b32a0e5eb9aa7d8c41424fa090ff7ef (diff)
Integrate linker code with the new LLVM API backend
-rw-r--r--build.bat8
-rw-r--r--src/llvm_backend.cpp21
-rw-r--r--src/llvm_backend.hpp1
-rw-r--r--src/main.cpp316
4 files changed, 338 insertions, 8 deletions
diff --git a/build.bat b/build.bat
index 436e7852f..5018eb06e 100644
--- a/build.bat
+++ b/build.bat
@@ -49,14 +49,14 @@ del *.ilk > NUL 2> NUL
cl %compiler_settings% "src\main.cpp" ^
/link %linker_settings% -OUT:%exe_name% ^
- && odin build examples/demo/demo.odin -llvm-api -show-more-timings
+ && odin run examples/demo/demo.odin -llvm-api
if %errorlevel% neq 0 (
goto end_of_build
)
-link demo.obj kernel32.lib user32.lib /OUT:llvm_demo.exe ^
- /nologo /incremental:no /opt:ref /subsystem:CONSOLE /defaultlib:libcmt -debug
- rem && llvm_demo
+rem link demo.obj kernel32.lib user32.lib /OUT:llvm_demo.exe ^
+rem /nologo /incremental:no /opt:ref /subsystem:CONSOLE /defaultlib:libcmt -debug
+rem rem && llvm_demo
del *.obj > NUL 2> NUL
diff --git a/src/llvm_backend.cpp b/src/llvm_backend.cpp
index 554323b54..2b6604f44 100644
--- a/src/llvm_backend.cpp
+++ b/src/llvm_backend.cpp
@@ -9384,6 +9384,8 @@ bool lb_init_generator(lbGenerator *gen, Checker *c) {
}
}
gbAllocator ha = heap_allocator();
+ array_init(&gen->output_object_paths, ha);
+
gen->output_base = path_to_full_path(ha, gen->output_base);
gbString output_file_path = gb_string_make_length(ha, gen->output_base.text, gen->output_base.len);
@@ -9394,6 +9396,7 @@ bool lb_init_generator(lbGenerator *gen, Checker *c) {
lb_init_module(&gen->module, c);
+
return true;
}
@@ -10362,6 +10365,7 @@ void lb_generate_code(lbGenerator *gen) {
LLVMAddPromoteMemoryToRegisterPass(function_pass_manager);
LLVMAddMergedLoadStoreMotionPass(function_pass_manager);
+ LLVMAddDeadStoreEliminationPass(function_pass_manager);
LLVMAddAggressiveInstCombinerPass(function_pass_manager);
LLVMAddConstantPropagationPass(function_pass_manager);
LLVMAddAggressiveDCEPass(function_pass_manager);
@@ -10376,6 +10380,7 @@ void lb_generate_code(lbGenerator *gen) {
}
}
+ TIME_SECTION("LLVM Runtime Creation");
lbProcedure *startup_runtime = nullptr;
{ // Startup Runtime
@@ -10502,12 +10507,15 @@ void lb_generate_code(lbGenerator *gen) {
defer (LLVMDisposeMessage(llvm_error));
String filepath_ll = concatenate_strings(heap_allocator(), gen->output_base, STR_LIT(".ll"));
- String filepath_obj = concatenate_strings(heap_allocator(), gen->output_base, STR_LIT(".obj"));
defer (gb_free(heap_allocator(), filepath_ll.text));
- defer (gb_free(heap_allocator(), filepath_obj.text));
+
+ String filepath_obj = concatenate_strings(heap_allocator(), gen->output_base, STR_LIT(".obj"));
- LLVMBool failure = LLVMPrintModuleToFile(mod, cast(char const *)filepath_ll.text, &llvm_error);
+ if (build_context.keep_temp_files) {
+ TIME_SECTION("LLVM Print Module to File");
+ LLVMPrintModuleToFile(mod, cast(char const *)filepath_ll.text, &llvm_error);
+ }
LLVMDIBuilderFinalize(m->debug_builder);
LLVMVerifyModule(mod, LLVMAbortProcessAction, &llvm_error);
llvm_error = nullptr;
@@ -10522,7 +10530,6 @@ void lb_generate_code(lbGenerator *gen) {
LLVMInitializeAllDisassemblers();
LLVMInitializeNativeTarget();
- timings_start_section(&global_timings, str_lit("LLVM Object Generation"));
char const *target_triple = "x86_64-pc-windows-msvc";
char const *target_data_layout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128";
@@ -10532,9 +10539,13 @@ void lb_generate_code(lbGenerator *gen) {
LLVMGetTargetFromTriple(target_triple, &target, &llvm_error);
GB_ASSERT(target != nullptr);
+ TIME_SECTION("LLVM Create Target Machine");
+
LLVMTargetMachineRef target_machine = LLVMCreateTargetMachine(target, target_triple, "generic", "", LLVMCodeGenLevelNone, LLVMRelocDefault, LLVMCodeModelDefault);
defer (LLVMDisposeTargetMachine(target_machine));
+ TIME_SECTION("LLVM Object Generation");
+
LLVMBool ok = LLVMTargetMachineEmitToFile(target_machine, mod, cast(char *)filepath_obj.text, LLVMObjectFile, &llvm_error);
if (ok) {
gb_printf_err("LLVM Error: %s\n", llvm_error);
@@ -10542,5 +10553,7 @@ void lb_generate_code(lbGenerator *gen) {
return;
}
+ array_add(&gen->output_object_paths, filepath_obj);
+
#undef TIME_SECTION
}
diff --git a/src/llvm_backend.hpp b/src/llvm_backend.hpp
index 3a532f195..d99babce7 100644
--- a/src/llvm_backend.hpp
+++ b/src/llvm_backend.hpp
@@ -90,6 +90,7 @@ struct lbGenerator {
lbModule module;
CheckerInfo *info;
+ Array<String> output_object_paths;
String output_base;
String output_name;
};
diff --git a/src/main.cpp b/src/main.cpp
index 9f79b7912..8113162e5 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -125,6 +125,303 @@ i32 system_exec_command_line_app(char const *name, char const *fmt, ...) {
+
+i32 linker_stage(lbGenerator *gen) {
+ i32 exit_code = 0;
+
+ Timings *timings = &global_timings;
+
+ String output_base = gen->output_base;
+
+ if (build_context.cross_compiling && selected_target_metrics->metrics == &target_essence_amd64) {
+#ifdef GB_SYSTEM_UNIX
+ system_exec_command_line_app("linker", "x86_64-essence-gcc \"%.*s.o\" -o \"%.*s\" %.*s",
+ LIT(output_base), LIT(output_base), LIT(build_context.link_flags));
+#else
+ gb_printf_err("Don't know how to cross compile to selected target.\n");
+#endif
+ } else {
+ #if defined(GB_SYSTEM_WINDOWS)
+ timings_start_section(timings, str_lit("msvc-link"));
+
+ gbString lib_str = gb_string_make(heap_allocator(), "");
+ defer (gb_string_free(lib_str));
+ char lib_str_buf[1024] = {0};
+
+ char const *output_ext = "exe";
+ gbString link_settings = gb_string_make_reserve(heap_allocator(), 256);
+ defer (gb_string_free(link_settings));
+
+
+ // NOTE(ic): It would be nice to extend this so that we could specify the Visual Studio version that we want instead of defaulting to the latest.
+ Find_Result_Utf8 find_result = find_visual_studio_and_windows_sdk_utf8();
+
+ if (find_result.windows_sdk_version == 0) {
+ gb_printf_err("Windows SDK not found.\n");
+ return 1;
+ }
+
+ // Add library search paths.
+ if (find_result.vs_library_path.len > 0) {
+ GB_ASSERT(find_result.windows_sdk_um_library_path.len > 0);
+ GB_ASSERT(find_result.windows_sdk_ucrt_library_path.len > 0);
+
+ String path = {};
+ auto add_path = [&](String path) {
+ if (path[path.len-1] == '\\') {
+ path.len -= 1;
+ }
+ link_settings = gb_string_append_fmt(link_settings, " /LIBPATH:\"%.*s\"", LIT(path));
+ };
+ add_path(find_result.windows_sdk_um_library_path);
+ add_path(find_result.windows_sdk_ucrt_library_path);
+ add_path(find_result.vs_library_path);
+ }
+
+ for_array(i, gen->module.foreign_library_paths) {
+ String lib = gen->module.foreign_library_paths[i];
+ GB_ASSERT(lib.len < gb_count_of(lib_str_buf)-1);
+ isize len = gb_snprintf(lib_str_buf, gb_size_of(lib_str_buf),
+ " \"%.*s\"", LIT(lib));
+ lib_str = gb_string_appendc(lib_str, lib_str_buf);
+ }
+
+
+
+ if (build_context.is_dll) {
+ output_ext = "dll";
+ link_settings = gb_string_append_fmt(link_settings, "/DLL");
+ } else {
+ link_settings = gb_string_append_fmt(link_settings, "/ENTRY:mainCRTStartup");
+ }
+
+ if (build_context.pdb_filepath != "") {
+ link_settings = gb_string_append_fmt(link_settings, " /PDB:%.*s", LIT(build_context.pdb_filepath));
+ }
+
+ if (build_context.no_crt) {
+ link_settings = gb_string_append_fmt(link_settings, " /nodefaultlib");
+ } else {
+ link_settings = gb_string_append_fmt(link_settings, " /defaultlib:libcmt");
+ }
+
+ if (build_context.ODIN_DEBUG) {
+ link_settings = gb_string_append_fmt(link_settings, " /DEBUG");
+ }
+
+ gbString object_files = gb_string_make(heap_allocator(), "");
+ defer (gb_string_free(object_files));
+ for_array(i, gen->output_object_paths) {
+ String object_path = gen->output_object_paths[i];
+ object_files = gb_string_append_fmt(object_files, "\"%.*s\" ", LIT(object_path));
+ }
+
+ char const *subsystem_str = build_context.use_subsystem_windows ? "WINDOWS" : "CONSOLE";
+ if (!build_context.use_lld) { // msvc
+ if (build_context.has_resource) {
+ exit_code = system_exec_command_line_app("msvc-link",
+ "\"%.*src.exe\" /nologo /fo \"%.*s.res\" \"%.*s.rc\"",
+ LIT(find_result.vs_exe_path),
+ LIT(output_base),
+ LIT(build_context.resource_filepath)
+ );
+
+ if (exit_code != 0) {
+ return exit_code;
+ }
+
+ exit_code = system_exec_command_line_app("msvc-link",
+ "\"%.*slink.exe\" %s \"%.*s.res\" -OUT:\"%.*s.%s\" %s "
+ "/nologo /incremental:no /opt:ref /subsystem:%s "
+ " %.*s "
+ " %s "
+ "",
+ LIT(find_result.vs_exe_path), object_files, LIT(output_base), LIT(output_base), output_ext,
+ link_settings,
+ subsystem_str,
+ LIT(build_context.link_flags),
+ lib_str
+ );
+ } else {
+ exit_code = system_exec_command_line_app("msvc-link",
+ "\"%.*slink.exe\" %s -OUT:\"%.*s.%s\" %s "
+ "/nologo /incremental:no /opt:ref /subsystem:%s "
+ " %.*s "
+ " %s "
+ "",
+ LIT(find_result.vs_exe_path), object_files, LIT(output_base), output_ext,
+ link_settings,
+ subsystem_str,
+ LIT(build_context.link_flags),
+ lib_str
+ );
+ }
+ } else { // lld
+ exit_code = system_exec_command_line_app("msvc-link",
+ "\"%.*s\\bin\\lld-link\" %s -OUT:\"%.*s.%s\" %s "
+ "/nologo /incremental:no /opt:ref /subsystem:%s "
+ " %.*s "
+ " %s "
+ "",
+ LIT(build_context.ODIN_ROOT),
+ LIT(output_base), object_files, output_ext,
+ link_settings,
+ subsystem_str,
+ LIT(build_context.link_flags),
+ lib_str
+ );
+ }
+ #else
+ timings_start_section(timings, str_lit("ld-link"));
+
+ // NOTE(vassvik): get cwd, for used for local shared libs linking, since those have to be relative to the exe
+ char cwd[256];
+ getcwd(&cwd[0], 256);
+ //printf("%s\n", cwd);
+
+ // NOTE(vassvik): needs to add the root to the library search paths, so that the full filenames of the library
+ // files can be passed with -l:
+ gbString lib_str = gb_string_make(heap_allocator(), "-L/");
+ defer (gb_string_free(lib_str));
+
+ for_array(i, ir_gen.module.foreign_library_paths) {
+ String lib = ir_gen.module.foreign_library_paths[i];
+
+ // NOTE(zangent): Sometimes, you have to use -framework on MacOS.
+ // This allows you to specify '-f' in a #foreign_system_library,
+ // without having to implement any new syntax specifically for MacOS.
+ #if defined(GB_SYSTEM_OSX)
+ if (string_ends_with(lib, str_lit(".framework"))) {
+ // framework thingie
+ String lib_name = lib;
+ lib_name = remove_extension_from_path(lib_name);
+ lib_str = gb_string_append_fmt(lib_str, " -framework %.*s ", LIT(lib_name));
+ } else if (string_ends_with(lib, str_lit(".a"))) {
+ // static libs, absolute full path relative to the file in which the lib was imported from
+ lib_str = gb_string_append_fmt(lib_str, " %.*s ", LIT(lib));
+ } else if (string_ends_with(lib, str_lit(".dylib"))) {
+ // dynamic lib
+ lib_str = gb_string_append_fmt(lib_str, " %.*s ", LIT(lib));
+ } else {
+ // dynamic or static system lib, just link regularly searching system library paths
+ lib_str = gb_string_append_fmt(lib_str, " -l%.*s ", LIT(lib));
+ }
+ #else
+ // NOTE(vassvik): static libraries (.a files) in linux can be linked to directly using the full path,
+ // since those are statically linked to at link time. shared libraries (.so) has to be
+ // available at runtime wherever the executable is run, so we make require those to be
+ // local to the executable (unless the system collection is used, in which case we search
+ // the system library paths for the library file).
+ if (string_ends_with(lib, str_lit(".a"))) {
+ // static libs, absolute full path relative to the file in which the lib was imported from
+ lib_str = gb_string_append_fmt(lib_str, " -l:\"%.*s\" ", LIT(lib));
+ } else if (string_ends_with(lib, str_lit(".so"))) {
+ // dynamic lib, relative path to executable
+ // NOTE(vassvik): it is the user's responsibility to make sure the shared library files are visible
+ // at runtimeto the executable
+ lib_str = gb_string_append_fmt(lib_str, " -l:\"%s/%.*s\" ", cwd, LIT(lib));
+ } else {
+ // dynamic or static system lib, just link regularly searching system library paths
+ lib_str = gb_string_append_fmt(lib_str, " -l%.*s ", LIT(lib));
+ }
+ #endif
+ }
+
+ gbString object_files = gb_string_make(heap_allocator(), "");
+ defer (gb_string_free(object_files));
+ for_array(i, gen->output_object_paths) {
+ String object_path = gen->output_object_paths[i];
+ object_files = gb_string_append_fmt(object_files, "\"%.*s\" ", LIT(object_path));
+ }
+
+ // Unlike the Win32 linker code, the output_ext includes the dot, because
+ // typically executable files on *NIX systems don't have extensions.
+ String output_ext = {};
+ char const *link_settings = "";
+ char const *linker;
+ if (build_context.is_dll) {
+ // Shared libraries are .dylib on MacOS and .so on Linux.
+ #if defined(GB_SYSTEM_OSX)
+ output_ext = STR_LIT(".dylib");
+ link_settings = "-dylib -dynamic";
+ #else
+ output_ext = STR_LIT(".so");
+ link_settings = "-shared";
+ #endif
+ } else {
+ // TODO: Do I need anything here?
+ link_settings = "";
+ }
+
+ if (build_context.out_filepath.len > 0) {
+ //NOTE(thebirk): We have a custom -out arguments, so we should use the extension from that
+ isize pos = string_extension_position(build_context.out_filepath);
+ if (pos > 0) {
+ output_ext = substring(build_context.out_filepath, pos, build_context.out_filepath.len);
+ }
+ }
+
+ #if defined(GB_SYSTEM_OSX)
+ linker = "ld";
+ #else
+ // TODO(zangent): Figure out how to make ld work on Linux.
+ // It probably has to do with including the entire CRT, but
+ // that's quite a complicated issue to solve while remaining distro-agnostic.
+ // Clang can figure out linker flags for us, and that's good enough _for now_.
+ linker = "clang -Wno-unused-command-line-argument";
+ #endif
+
+ exit_code = system_exec_command_line_app("ld-link",
+ "%s %s -o \"%.*s%.*s\" %s "
+ " %s "
+ " %.*s "
+ " %s "
+ #if defined(GB_SYSTEM_OSX)
+ // This sets a requirement of Mountain Lion and up, but the compiler doesn't work without this limit.
+ // NOTE: If you change this (although this minimum is as low as you can go with Odin working)
+ // make sure to also change the 'mtriple' param passed to 'opt'
+ " -macosx_version_min 10.8.0 "
+ // This points the linker to where the entry point is
+ " -e _main "
+ #endif
+ , linker, object_files, LIT(output_base), LIT(output_ext),
+ lib_str,
+ "-lc -lm",
+ LIT(build_context.link_flags),
+ link_settings);
+ if (exit_code != 0) {
+ return exit_code;
+ }
+
+ #if defined(GB_SYSTEM_OSX)
+ if (build_context.ODIN_DEBUG) {
+ // NOTE: macOS links DWARF symbols dynamically. Dsymutil will map the stubs in the exe
+ // to the symbols in the object file
+ exit_code = system_exec_command_line_app("dsymutil",
+ "dsymutil %.*s%.*s", LIT(output_base), LIT(output_ext)
+ );
+
+ if (exit_code != 0) {
+ return exit_code;
+ }
+ }
+ #endif
+
+
+ if (build_context.show_timings) {
+ show_timings(&checker, timings);
+ }
+
+ remove_temp_files(output_base);
+
+
+ #endif
+ }
+
+ return exit_code;
+}
+
+
Array<String> setup_args(int argc, char const **argv) {
gbAllocator a = heap_allocator();
@@ -1296,9 +1593,28 @@ int main(int arg_count, char const **arg_ptr) {
}
lb_generate_code(&gen);
+ i32 linker_stage_exit_count = linker_stage(&gen);
+ if (linker_stage_exit_count != 0) {
+ return linker_stage_exit_count;
+ }
+
if (build_context.show_timings) {
show_timings(&checker, timings);
}
+
+ remove_temp_files(gen.output_base);
+
+ if (run_output) {
+ #if defined(GB_SYSTEM_WINDOWS)
+ return system_exec_command_line_app("odin run", "%.*s.exe %.*s", LIT(gen.output_base), LIT(run_args_string));
+ #else
+ //NOTE(thebirk): This whole thing is a little leaky
+ String complete_path = concatenate_strings(heap_allocator(), output_base, output_ext);
+ complete_path = path_to_full_path(heap_allocator(), complete_path);
+ return system_exec_command_line_app("odin run", "\"%.*s\" %.*s", LIT(complete_path), LIT(run_args_string));
+ #endif
+ }
+
return 0;
} else {
irGen ir_gen = {0};