e22102dfc6
Instead of making its own inside create. 10 out of 10 calls to create() had already an arena in scope, so this commit means that 10 instances of Compilation now reuse an existing arena with the same lifetime rather than creating a redundant one. In other words, this very slightly optimizes initialization of the frontend in terms of memory allocation.
404 lines
13 KiB
Zig
404 lines
13 KiB
Zig
const std = @import("std");
|
|
const assert = std.debug.assert;
|
|
|
|
const Compilation = @import("Compilation.zig");
|
|
const build_options = @import("build_options");
|
|
const trace = @import("tracy.zig").trace;
|
|
const Module = @import("Package/Module.zig");
|
|
|
|
pub fn buildTsan(comp: *Compilation, prog_node: *std.Progress.Node) !void {
|
|
if (!build_options.have_llvm) {
|
|
return error.ZigCompilerNotBuiltWithLLVMExtensions;
|
|
}
|
|
|
|
const tracy = trace(@src());
|
|
defer tracy.end();
|
|
|
|
var arena_allocator = std.heap.ArenaAllocator.init(comp.gpa);
|
|
defer arena_allocator.deinit();
|
|
const arena = arena_allocator.allocator();
|
|
|
|
const root_name = "tsan";
|
|
const output_mode = .Lib;
|
|
const link_mode = .Static;
|
|
const target = comp.getTarget();
|
|
const basename = try std.zig.binNameAlloc(arena, .{
|
|
.root_name = root_name,
|
|
.target = target,
|
|
.output_mode = output_mode,
|
|
.link_mode = link_mode,
|
|
});
|
|
|
|
const emit_bin = Compilation.EmitLoc{
|
|
.directory = null, // Put it in the cache directory.
|
|
.basename = basename,
|
|
};
|
|
|
|
const optimize_mode = comp.compilerRtOptMode();
|
|
const strip = comp.compilerRtStrip();
|
|
|
|
const config = try Compilation.Config.resolve(.{
|
|
.output_mode = output_mode,
|
|
.link_mode = link_mode,
|
|
.resolved_target = comp.root_mod.resolved_target,
|
|
.is_test = false,
|
|
.have_zcu = false,
|
|
.emit_bin = true,
|
|
.root_optimize_mode = optimize_mode,
|
|
.root_strip = strip,
|
|
.link_libc = true,
|
|
});
|
|
|
|
const common_flags = [_][]const u8{
|
|
"-DTSAN_CONTAINS_UBSAN=0",
|
|
};
|
|
|
|
const root_mod = try Module.create(arena, .{
|
|
.global_cache_directory = comp.global_cache_directory,
|
|
.paths = .{
|
|
.root = .{ .root_dir = comp.zig_lib_directory },
|
|
.root_src_path = "",
|
|
},
|
|
.fully_qualified_name = "root",
|
|
.inherited = .{
|
|
.resolved_target = comp.root_mod.resolved_target,
|
|
.strip = strip,
|
|
.stack_check = false,
|
|
.stack_protector = 0,
|
|
.sanitize_c = false,
|
|
.sanitize_thread = false,
|
|
.red_zone = comp.root_mod.red_zone,
|
|
.omit_frame_pointer = comp.root_mod.omit_frame_pointer,
|
|
.valgrind = false,
|
|
.optimize_mode = optimize_mode,
|
|
.structured_cfg = comp.root_mod.structured_cfg,
|
|
.pic = true,
|
|
},
|
|
.global = config,
|
|
.cc_argv = &common_flags,
|
|
.parent = null,
|
|
.builtin_mod = null,
|
|
});
|
|
|
|
var c_source_files = std.ArrayList(Compilation.CSourceFile).init(arena);
|
|
try c_source_files.ensureUnusedCapacity(tsan_sources.len);
|
|
|
|
const tsan_include_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{"tsan"});
|
|
for (tsan_sources) |tsan_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(tsan_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &.{ "tsan", tsan_src }),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
const platform_tsan_sources = if (target.isDarwin())
|
|
&darwin_tsan_sources
|
|
else
|
|
&unix_tsan_sources;
|
|
try c_source_files.ensureUnusedCapacity(platform_tsan_sources.len);
|
|
for (platform_tsan_sources) |tsan_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(tsan_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{ "tsan", tsan_src }),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
{
|
|
const asm_source = switch (target.cpu.arch) {
|
|
.aarch64 => "tsan_rtl_aarch64.S",
|
|
.x86_64 => "tsan_rtl_amd64.S",
|
|
.mips64 => "tsan_rtl_mips64.S",
|
|
.powerpc64 => "tsan_rtl_ppc64.S",
|
|
else => return error.TSANUnsupportedCPUArchitecture,
|
|
};
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(tsan_include_path);
|
|
|
|
try cflags.append("-DNDEBUG");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{ "tsan", asm_source }),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
try c_source_files.ensureUnusedCapacity(sanitizer_common_sources.len);
|
|
const sanitizer_common_include_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{
|
|
"tsan", "sanitizer_common",
|
|
});
|
|
for (sanitizer_common_sources) |common_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(sanitizer_common_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{
|
|
"tsan", "sanitizer_common", common_src,
|
|
}),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
const to_c_or_not_to_c_sources = if (comp.config.link_libc)
|
|
&sanitizer_libcdep_sources
|
|
else
|
|
&sanitizer_nolibc_sources;
|
|
try c_source_files.ensureUnusedCapacity(to_c_or_not_to_c_sources.len);
|
|
for (to_c_or_not_to_c_sources) |c_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(sanitizer_common_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{
|
|
"tsan", "sanitizer_common", c_src,
|
|
}),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
try c_source_files.ensureUnusedCapacity(sanitizer_symbolizer_sources.len);
|
|
for (sanitizer_symbolizer_sources) |c_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(tsan_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{
|
|
"tsan", "sanitizer_common", c_src,
|
|
}),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
const interception_include_path = try comp.zig_lib_directory.join(
|
|
arena,
|
|
&[_][]const u8{"interception"},
|
|
);
|
|
|
|
try c_source_files.ensureUnusedCapacity(interception_sources.len);
|
|
for (interception_sources) |c_src| {
|
|
var cflags = std.ArrayList([]const u8).init(arena);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(interception_include_path);
|
|
|
|
try cflags.append("-I");
|
|
try cflags.append(tsan_include_path);
|
|
|
|
try cflags.append("-nostdinc++");
|
|
try cflags.append("-fvisibility-inlines-hidden");
|
|
try cflags.append("-std=c++14");
|
|
try cflags.append("-fno-rtti");
|
|
|
|
c_source_files.appendAssumeCapacity(.{
|
|
.src_path = try comp.zig_lib_directory.join(arena, &[_][]const u8{
|
|
"tsan", "interception", c_src,
|
|
}),
|
|
.extra_flags = cflags.items,
|
|
.owner = root_mod,
|
|
});
|
|
}
|
|
|
|
const sub_compilation = try Compilation.create(comp.gpa, arena, .{
|
|
.local_cache_directory = comp.global_cache_directory,
|
|
.global_cache_directory = comp.global_cache_directory,
|
|
.zig_lib_directory = comp.zig_lib_directory,
|
|
.thread_pool = comp.thread_pool,
|
|
.self_exe_path = comp.self_exe_path,
|
|
.cache_mode = .whole,
|
|
.config = config,
|
|
.root_mod = root_mod,
|
|
.root_name = root_name,
|
|
.libc_installation = comp.libc_installation,
|
|
.emit_bin = emit_bin,
|
|
.emit_h = null,
|
|
.c_source_files = c_source_files.items,
|
|
.verbose_cc = comp.verbose_cc,
|
|
.verbose_link = comp.verbose_link,
|
|
.verbose_air = comp.verbose_air,
|
|
.verbose_llvm_ir = comp.verbose_llvm_ir,
|
|
.verbose_llvm_bc = comp.verbose_llvm_bc,
|
|
.verbose_cimport = comp.verbose_cimport,
|
|
.verbose_llvm_cpu_features = comp.verbose_llvm_cpu_features,
|
|
.clang_passthrough_mode = comp.clang_passthrough_mode,
|
|
.skip_linker_dependencies = true,
|
|
});
|
|
defer sub_compilation.destroy();
|
|
|
|
try comp.updateSubCompilation(sub_compilation, .libtsan, prog_node);
|
|
|
|
assert(comp.tsan_static_lib == null);
|
|
comp.tsan_static_lib = try sub_compilation.toCrtFile();
|
|
}
|
|
|
|
const tsan_sources = [_][]const u8{
|
|
"tsan_clock.cpp",
|
|
"tsan_debugging.cpp",
|
|
"tsan_external.cpp",
|
|
"tsan_fd.cpp",
|
|
"tsan_flags.cpp",
|
|
"tsan_ignoreset.cpp",
|
|
"tsan_interceptors_posix.cpp",
|
|
"tsan_interface.cpp",
|
|
"tsan_interface_ann.cpp",
|
|
"tsan_interface_atomic.cpp",
|
|
"tsan_interface_java.cpp",
|
|
"tsan_malloc_mac.cpp",
|
|
"tsan_md5.cpp",
|
|
"tsan_mman.cpp",
|
|
"tsan_mutexset.cpp",
|
|
"tsan_preinit.cpp",
|
|
"tsan_report.cpp",
|
|
"tsan_rtl.cpp",
|
|
"tsan_rtl_mutex.cpp",
|
|
"tsan_rtl_proc.cpp",
|
|
"tsan_rtl_report.cpp",
|
|
"tsan_rtl_thread.cpp",
|
|
"tsan_stack_trace.cpp",
|
|
"tsan_suppressions.cpp",
|
|
"tsan_symbolize.cpp",
|
|
"tsan_sync.cpp",
|
|
};
|
|
|
|
const darwin_tsan_sources = [_][]const u8{
|
|
"tsan_interceptors_mac.cpp",
|
|
"tsan_interceptors_mach_vm.cpp",
|
|
"tsan_platform_mac.cpp",
|
|
"tsan_platform_posix.cpp",
|
|
};
|
|
|
|
const unix_tsan_sources = [_][]const u8{
|
|
"tsan_platform_linux.cpp",
|
|
"tsan_platform_posix.cpp",
|
|
};
|
|
|
|
const sanitizer_common_sources = [_][]const u8{
|
|
"sanitizer_allocator.cpp",
|
|
"sanitizer_common.cpp",
|
|
"sanitizer_deadlock_detector1.cpp",
|
|
"sanitizer_deadlock_detector2.cpp",
|
|
"sanitizer_errno.cpp",
|
|
"sanitizer_file.cpp",
|
|
"sanitizer_flag_parser.cpp",
|
|
"sanitizer_flags.cpp",
|
|
"sanitizer_fuchsia.cpp",
|
|
"sanitizer_libc.cpp",
|
|
"sanitizer_libignore.cpp",
|
|
"sanitizer_linux.cpp",
|
|
"sanitizer_linux_s390.cpp",
|
|
"sanitizer_mac.cpp",
|
|
"sanitizer_mutex.cpp",
|
|
"sanitizer_netbsd.cpp",
|
|
"sanitizer_openbsd.cpp",
|
|
"sanitizer_persistent_allocator.cpp",
|
|
"sanitizer_platform_limits_freebsd.cpp",
|
|
"sanitizer_platform_limits_linux.cpp",
|
|
"sanitizer_platform_limits_netbsd.cpp",
|
|
"sanitizer_platform_limits_openbsd.cpp",
|
|
"sanitizer_platform_limits_posix.cpp",
|
|
"sanitizer_platform_limits_solaris.cpp",
|
|
"sanitizer_posix.cpp",
|
|
"sanitizer_printf.cpp",
|
|
"sanitizer_procmaps_bsd.cpp",
|
|
"sanitizer_procmaps_common.cpp",
|
|
"sanitizer_procmaps_fuchsia.cpp",
|
|
"sanitizer_procmaps_linux.cpp",
|
|
"sanitizer_procmaps_mac.cpp",
|
|
"sanitizer_procmaps_solaris.cpp",
|
|
"sanitizer_solaris.cpp",
|
|
"sanitizer_stoptheworld_fuchsia.cpp",
|
|
"sanitizer_stoptheworld_mac.cpp",
|
|
"sanitizer_suppressions.cpp",
|
|
"sanitizer_termination.cpp",
|
|
"sanitizer_thread_registry.cpp",
|
|
"sanitizer_tls_get_addr.cpp",
|
|
"sanitizer_type_traits.cpp",
|
|
"sanitizer_win.cpp",
|
|
};
|
|
|
|
const sanitizer_nolibc_sources = [_][]const u8{
|
|
"sanitizer_common_nolibc.cpp",
|
|
};
|
|
|
|
const sanitizer_libcdep_sources = [_][]const u8{
|
|
"sanitizer_common_libcdep.cpp",
|
|
"sanitizer_allocator_checks.cpp",
|
|
"sanitizer_linux_libcdep.cpp",
|
|
"sanitizer_mac_libcdep.cpp",
|
|
"sanitizer_posix_libcdep.cpp",
|
|
"sanitizer_stoptheworld_linux_libcdep.cpp",
|
|
"sanitizer_stoptheworld_netbsd_libcdep.cpp",
|
|
};
|
|
|
|
const sanitizer_symbolizer_sources = [_][]const u8{
|
|
"sanitizer_allocator_report.cpp",
|
|
"sanitizer_stackdepot.cpp",
|
|
"sanitizer_stacktrace.cpp",
|
|
"sanitizer_stacktrace_libcdep.cpp",
|
|
"sanitizer_stacktrace_printer.cpp",
|
|
"sanitizer_stacktrace_sparc.cpp",
|
|
"sanitizer_symbolizer.cpp",
|
|
"sanitizer_symbolizer_libbacktrace.cpp",
|
|
"sanitizer_symbolizer_libcdep.cpp",
|
|
"sanitizer_symbolizer_mac.cpp",
|
|
"sanitizer_symbolizer_markup.cpp",
|
|
"sanitizer_symbolizer_posix_libcdep.cpp",
|
|
"sanitizer_symbolizer_report.cpp",
|
|
"sanitizer_symbolizer_win.cpp",
|
|
"sanitizer_unwind_linux_libcdep.cpp",
|
|
"sanitizer_unwind_win.cpp",
|
|
};
|
|
|
|
const interception_sources = [_][]const u8{
|
|
"interception_linux.cpp",
|
|
"interception_mac.cpp",
|
|
"interception_win.cpp",
|
|
"interception_type_test.cpp",
|
|
};
|