mirror of
https://github.com/ziglang/zig.git
synced 2024-11-15 08:33:06 +00:00
2644 lines
83 KiB
Zig
2644 lines
83 KiB
Zig
//! All the details about the machine that will be executing code.
|
|
//! Unlike `Query` which might leave some things as "default" or "host", this
|
|
//! data is fully resolved into a concrete set of OS versions, CPU features,
|
|
//! etc.
|
|
|
|
cpu: Cpu,
|
|
os: Os,
|
|
abi: Abi,
|
|
ofmt: ObjectFormat,
|
|
dynamic_linker: DynamicLinker = DynamicLinker.none,
|
|
|
|
pub const Query = @import("Target/Query.zig");
|
|
|
|
pub const Os = struct {
|
|
tag: Tag,
|
|
version_range: VersionRange,
|
|
|
|
pub const Tag = enum {
|
|
freestanding,
|
|
dragonfly,
|
|
freebsd,
|
|
fuchsia,
|
|
ios,
|
|
linux,
|
|
ps3,
|
|
macos,
|
|
netbsd,
|
|
openbsd,
|
|
solaris,
|
|
uefi,
|
|
windows,
|
|
zos,
|
|
haiku,
|
|
minix,
|
|
rtems,
|
|
aix,
|
|
cuda,
|
|
nvcl,
|
|
amdhsa,
|
|
ps4,
|
|
ps5,
|
|
elfiamcu,
|
|
tvos,
|
|
watchos,
|
|
driverkit,
|
|
visionos,
|
|
mesa3d,
|
|
contiki,
|
|
amdpal,
|
|
hermit,
|
|
hurd,
|
|
wasi,
|
|
emscripten,
|
|
shadermodel,
|
|
liteos,
|
|
serenity,
|
|
opencl,
|
|
glsl450,
|
|
vulkan,
|
|
plan9,
|
|
illumos,
|
|
other,
|
|
|
|
// LLVM tags deliberately omitted:
|
|
// - kfreebsd
|
|
// - darwin
|
|
// - nacl
|
|
|
|
pub inline fn isDarwin(tag: Tag) bool {
|
|
return switch (tag) {
|
|
.ios, .macos, .watchos, .tvos, .visionos => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isBSD(tag: Tag) bool {
|
|
return tag.isDarwin() or switch (tag) {
|
|
.freebsd, .openbsd, .netbsd, .dragonfly => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isSolarish(tag: Tag) bool {
|
|
return tag == .solaris or tag == .illumos;
|
|
}
|
|
|
|
pub fn exeFileExt(tag: Tag, arch: Cpu.Arch) [:0]const u8 {
|
|
return switch (tag) {
|
|
.windows => ".exe",
|
|
.uefi => ".efi",
|
|
.plan9 => arch.plan9Ext(),
|
|
else => switch (arch) {
|
|
.wasm32, .wasm64 => ".wasm",
|
|
else => "",
|
|
},
|
|
};
|
|
}
|
|
|
|
pub fn staticLibSuffix(tag: Tag, abi: Abi) [:0]const u8 {
|
|
return switch (abi) {
|
|
.msvc => ".lib",
|
|
else => switch (tag) {
|
|
.windows, .uefi => ".lib",
|
|
else => ".a",
|
|
},
|
|
};
|
|
}
|
|
|
|
pub fn dynamicLibSuffix(tag: Tag) [:0]const u8 {
|
|
return switch (tag) {
|
|
.windows, .uefi => ".dll",
|
|
.ios, .macos, .watchos, .tvos, .visionos => ".dylib",
|
|
else => ".so",
|
|
};
|
|
}
|
|
|
|
pub fn libPrefix(tag: Os.Tag, abi: Abi) [:0]const u8 {
|
|
return switch (abi) {
|
|
.msvc => "",
|
|
else => switch (tag) {
|
|
.windows, .uefi => "",
|
|
else => "lib",
|
|
},
|
|
};
|
|
}
|
|
|
|
pub inline fn isGnuLibC(tag: Os.Tag, abi: Abi) bool {
|
|
return tag == .linux and abi.isGnu();
|
|
}
|
|
|
|
pub fn defaultVersionRange(tag: Tag, arch: Cpu.Arch) Os {
|
|
return .{
|
|
.tag = tag,
|
|
.version_range = VersionRange.default(tag, arch),
|
|
};
|
|
}
|
|
|
|
pub inline fn getVersionRangeTag(tag: Tag) @typeInfo(TaggedVersionRange).Union.tag_type.? {
|
|
return switch (tag) {
|
|
.freestanding,
|
|
.fuchsia,
|
|
.ps3,
|
|
.zos,
|
|
.haiku,
|
|
.minix,
|
|
.rtems,
|
|
.aix,
|
|
.cuda,
|
|
.nvcl,
|
|
.amdhsa,
|
|
.ps4,
|
|
.ps5,
|
|
.elfiamcu,
|
|
.mesa3d,
|
|
.contiki,
|
|
.amdpal,
|
|
.hermit,
|
|
.hurd,
|
|
.emscripten,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.liteos,
|
|
.uefi,
|
|
.opencl, // TODO: OpenCL versions
|
|
.glsl450, // TODO: GLSL versions
|
|
.vulkan,
|
|
.plan9,
|
|
.illumos,
|
|
.serenity,
|
|
.other,
|
|
=> .none,
|
|
|
|
.freebsd,
|
|
.macos,
|
|
.ios,
|
|
.tvos,
|
|
.watchos,
|
|
.visionos,
|
|
.netbsd,
|
|
.openbsd,
|
|
.dragonfly,
|
|
.solaris,
|
|
.wasi,
|
|
=> .semver,
|
|
|
|
.linux => .linux,
|
|
|
|
.windows => .windows,
|
|
};
|
|
}
|
|
|
|
pub fn archName(tag: Tag, arch: Cpu.Arch) [:0]const u8 {
|
|
return switch (tag) {
|
|
.linux => switch (arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => "arm",
|
|
.aarch64, .aarch64_be => "aarch64",
|
|
.loongarch32, .loongarch64 => "loongarch",
|
|
.mips, .mipsel, .mips64, .mips64el => "mips",
|
|
.powerpc, .powerpcle, .powerpc64, .powerpc64le => "powerpc",
|
|
.riscv32, .riscv64 => "riscv",
|
|
.sparc, .sparc64 => "sparc",
|
|
.x86, .x86_64 => "x86",
|
|
else => @tagName(arch),
|
|
},
|
|
else => @tagName(arch),
|
|
};
|
|
}
|
|
};
|
|
|
|
/// Based on NTDDI version constants from
|
|
/// https://docs.microsoft.com/en-us/cpp/porting/modifying-winver-and-win32-winnt
|
|
pub const WindowsVersion = enum(u32) {
|
|
nt4 = 0x04000000,
|
|
win2k = 0x05000000,
|
|
xp = 0x05010000,
|
|
ws2003 = 0x05020000,
|
|
vista = 0x06000000,
|
|
win7 = 0x06010000,
|
|
win8 = 0x06020000,
|
|
win8_1 = 0x06030000,
|
|
win10 = 0x0A000000, //aka win10_th1
|
|
win10_th2 = 0x0A000001,
|
|
win10_rs1 = 0x0A000002,
|
|
win10_rs2 = 0x0A000003,
|
|
win10_rs3 = 0x0A000004,
|
|
win10_rs4 = 0x0A000005,
|
|
win10_rs5 = 0x0A000006,
|
|
win10_19h1 = 0x0A000007,
|
|
win10_vb = 0x0A000008, //aka win10_19h2
|
|
win10_mn = 0x0A000009, //aka win10_20h1
|
|
win10_fe = 0x0A00000A, //aka win10_20h2
|
|
win10_co = 0x0A00000B, //aka win10_21h1
|
|
win10_ni = 0x0A00000C, //aka win10_21h2
|
|
win10_cu = 0x0A00000D, //aka win10_22h2
|
|
win11_zn = 0x0A00000E, //aka win11_21h2
|
|
win11_ga = 0x0A00000F, //aka win11_22h2
|
|
win11_ge = 0x0A000010, //aka win11_23h2
|
|
_,
|
|
|
|
/// Latest Windows version that the Zig Standard Library is aware of
|
|
pub const latest = WindowsVersion.win11_ge;
|
|
|
|
/// Compared against build numbers reported by the runtime to distinguish win10 versions,
|
|
/// where 0x0A000000 + index corresponds to the WindowsVersion u32 value.
|
|
pub const known_win10_build_numbers = [_]u32{
|
|
10240, //win10 aka win10_th1
|
|
10586, //win10_th2
|
|
14393, //win10_rs1
|
|
15063, //win10_rs2
|
|
16299, //win10_rs3
|
|
17134, //win10_rs4
|
|
17763, //win10_rs5
|
|
18362, //win10_19h1
|
|
18363, //win10_vb aka win10_19h2
|
|
19041, //win10_mn aka win10_20h1
|
|
19042, //win10_fe aka win10_20h2
|
|
19043, //win10_co aka win10_21h1
|
|
19044, //win10_ni aka win10_21h2
|
|
19045, //win10_cu aka win10_22h2
|
|
22000, //win11_zn aka win11_21h2
|
|
22621, //win11_ga aka win11_22h2
|
|
22631, //win11_ge aka win11_23h2
|
|
};
|
|
|
|
/// Returns whether the first version `ver` is newer (greater) than or equal to the second version `ver`.
|
|
pub inline fn isAtLeast(ver: WindowsVersion, min_ver: WindowsVersion) bool {
|
|
return @intFromEnum(ver) >= @intFromEnum(min_ver);
|
|
}
|
|
|
|
pub const Range = struct {
|
|
min: WindowsVersion,
|
|
max: WindowsVersion,
|
|
|
|
pub inline fn includesVersion(range: Range, ver: WindowsVersion) bool {
|
|
return @intFromEnum(ver) >= @intFromEnum(range.min) and
|
|
@intFromEnum(ver) <= @intFromEnum(range.max);
|
|
}
|
|
|
|
/// Checks if system is guaranteed to be at least `version` or older than `version`.
|
|
/// Returns `null` if a runtime check is required.
|
|
pub inline fn isAtLeast(range: Range, min_ver: WindowsVersion) ?bool {
|
|
if (@intFromEnum(range.min) >= @intFromEnum(min_ver)) return true;
|
|
if (@intFromEnum(range.max) < @intFromEnum(min_ver)) return false;
|
|
return null;
|
|
}
|
|
};
|
|
|
|
pub fn parse(str: []const u8) !WindowsVersion {
|
|
return std.meta.stringToEnum(WindowsVersion, str) orelse
|
|
@enumFromInt(std.fmt.parseInt(u32, str, 0) catch
|
|
return error.InvalidOperatingSystemVersion);
|
|
}
|
|
|
|
/// This function is defined to serialize a Zig source code representation of this
|
|
/// type, that, when parsed, will deserialize into the same data.
|
|
pub fn format(
|
|
ver: WindowsVersion,
|
|
comptime fmt_str: []const u8,
|
|
_: std.fmt.FormatOptions,
|
|
writer: anytype,
|
|
) @TypeOf(writer).Error!void {
|
|
const maybe_name = std.enums.tagName(WindowsVersion, ver);
|
|
if (comptime std.mem.eql(u8, fmt_str, "s")) {
|
|
if (maybe_name) |name|
|
|
try writer.print(".{s}", .{name})
|
|
else
|
|
try writer.print(".{d}", .{@intFromEnum(ver)});
|
|
} else if (comptime std.mem.eql(u8, fmt_str, "c")) {
|
|
if (maybe_name) |name|
|
|
try writer.print(".{s}", .{name})
|
|
else
|
|
try writer.print("@enumFromInt(0x{X:0>8})", .{@intFromEnum(ver)});
|
|
} else if (fmt_str.len == 0) {
|
|
if (maybe_name) |name|
|
|
try writer.print("WindowsVersion.{s}", .{name})
|
|
else
|
|
try writer.print("WindowsVersion(0x{X:0>8})", .{@intFromEnum(ver)});
|
|
} else std.fmt.invalidFmtError(fmt_str, ver);
|
|
}
|
|
};
|
|
|
|
pub const LinuxVersionRange = struct {
|
|
range: std.SemanticVersion.Range,
|
|
glibc: std.SemanticVersion,
|
|
|
|
pub inline fn includesVersion(range: LinuxVersionRange, ver: std.SemanticVersion) bool {
|
|
return range.range.includesVersion(ver);
|
|
}
|
|
|
|
/// Checks if system is guaranteed to be at least `version` or older than `version`.
|
|
/// Returns `null` if a runtime check is required.
|
|
pub inline fn isAtLeast(range: LinuxVersionRange, ver: std.SemanticVersion) ?bool {
|
|
return range.range.isAtLeast(ver);
|
|
}
|
|
};
|
|
|
|
/// The version ranges here represent the minimum OS version to be supported
|
|
/// and the maximum OS version to be supported. The default values represent
|
|
/// the range that the Zig Standard Library bases its abstractions on.
|
|
///
|
|
/// The minimum version of the range is the main setting to tweak for a target.
|
|
/// Usually, the maximum target OS version will remain the default, which is
|
|
/// the latest released version of the OS.
|
|
///
|
|
/// To test at compile time if the target is guaranteed to support a given OS feature,
|
|
/// one should check that the minimum version of the range is greater than or equal to
|
|
/// the version the feature was introduced in.
|
|
///
|
|
/// To test at compile time if the target certainly will not support a given OS feature,
|
|
/// one should check that the maximum version of the range is less than the version the
|
|
/// feature was introduced in.
|
|
///
|
|
/// If neither of these cases apply, a runtime check should be used to determine if the
|
|
/// target supports a given OS feature.
|
|
///
|
|
/// Binaries built with a given maximum version will continue to function on newer
|
|
/// operating system versions. However, such a binary may not take full advantage of the
|
|
/// newer operating system APIs.
|
|
///
|
|
/// See `Os.isAtLeast`.
|
|
pub const VersionRange = union {
|
|
none: void,
|
|
semver: std.SemanticVersion.Range,
|
|
linux: LinuxVersionRange,
|
|
windows: WindowsVersion.Range,
|
|
|
|
/// The default `VersionRange` represents the range that the Zig Standard Library
|
|
/// bases its abstractions on.
|
|
pub fn default(tag: Tag, arch: Cpu.Arch) VersionRange {
|
|
return switch (tag) {
|
|
.freestanding,
|
|
.fuchsia,
|
|
.ps3,
|
|
.zos,
|
|
.haiku,
|
|
.minix,
|
|
.rtems,
|
|
.aix,
|
|
.cuda,
|
|
.nvcl,
|
|
.amdhsa,
|
|
.ps4,
|
|
.ps5,
|
|
.elfiamcu,
|
|
.mesa3d,
|
|
.contiki,
|
|
.amdpal,
|
|
.hermit,
|
|
.hurd,
|
|
.emscripten,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.liteos,
|
|
.uefi,
|
|
.opencl, // TODO: OpenCL versions
|
|
.glsl450, // TODO: GLSL versions
|
|
.vulkan,
|
|
.plan9,
|
|
.illumos,
|
|
.serenity,
|
|
.other,
|
|
=> .{ .none = {} },
|
|
|
|
.freebsd => .{
|
|
.semver = std.SemanticVersion.Range{
|
|
.min = .{ .major = 12, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 14, .minor = 0, .patch = 0 },
|
|
},
|
|
},
|
|
.macos => switch (arch) {
|
|
.aarch64 => VersionRange{
|
|
.semver = .{
|
|
.min = .{ .major = 11, .minor = 7, .patch = 1 },
|
|
.max = .{ .major = 14, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
.x86_64 => VersionRange{
|
|
.semver = .{
|
|
.min = .{ .major = 11, .minor = 7, .patch = 1 },
|
|
.max = .{ .major = 14, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
else => unreachable,
|
|
},
|
|
.ios => .{
|
|
.semver = .{
|
|
.min = .{ .major = 12, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 17, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
.watchos => .{
|
|
.semver = .{
|
|
.min = .{ .major = 6, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 10, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
.tvos => .{
|
|
.semver = .{
|
|
.min = .{ .major = 13, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 17, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
.visionos => .{
|
|
.semver = .{
|
|
.min = .{ .major = 1, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 1, .minor = 0, .patch = 0 },
|
|
},
|
|
},
|
|
.netbsd => .{
|
|
.semver = .{
|
|
.min = .{ .major = 8, .minor = 0, .patch = 0 },
|
|
.max = .{ .major = 10, .minor = 0, .patch = 0 },
|
|
},
|
|
},
|
|
.openbsd => .{
|
|
.semver = .{
|
|
.min = .{ .major = 6, .minor = 8, .patch = 0 },
|
|
.max = .{ .major = 7, .minor = 4, .patch = 0 },
|
|
},
|
|
},
|
|
.dragonfly => .{
|
|
.semver = .{
|
|
.min = .{ .major = 5, .minor = 8, .patch = 0 },
|
|
.max = .{ .major = 6, .minor = 4, .patch = 0 },
|
|
},
|
|
},
|
|
.solaris => .{
|
|
.semver = .{
|
|
.min = .{ .major = 5, .minor = 11, .patch = 0 },
|
|
.max = .{ .major = 5, .minor = 11, .patch = 0 },
|
|
},
|
|
},
|
|
.wasi => .{
|
|
.semver = .{
|
|
.min = .{ .major = 0, .minor = 1, .patch = 0 },
|
|
.max = .{ .major = 0, .minor = 1, .patch = 0 },
|
|
},
|
|
},
|
|
|
|
.linux => .{
|
|
.linux = .{
|
|
.range = .{
|
|
.min = .{ .major = 4, .minor = 19, .patch = 0 },
|
|
.max = .{ .major = 6, .minor = 5, .patch = 7 },
|
|
},
|
|
.glibc = .{ .major = 2, .minor = 28, .patch = 0 },
|
|
},
|
|
},
|
|
|
|
.windows => .{
|
|
.windows = .{
|
|
.min = .win8_1,
|
|
.max = WindowsVersion.latest,
|
|
},
|
|
},
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const TaggedVersionRange = union(enum) {
|
|
none: void,
|
|
semver: std.SemanticVersion.Range,
|
|
linux: LinuxVersionRange,
|
|
windows: WindowsVersion.Range,
|
|
};
|
|
|
|
/// Provides a tagged union. `Target` does not store the tag because it is
|
|
/// redundant with the OS tag; this function abstracts that part away.
|
|
pub inline fn getVersionRange(os: Os) TaggedVersionRange {
|
|
return switch (os.tag.getVersionRangeTag()) {
|
|
.none => .{ .none = {} },
|
|
.semver => .{ .semver = os.version_range.semver },
|
|
.linux => .{ .linux = os.version_range.linux },
|
|
.windows => .{ .windows = os.version_range.windows },
|
|
};
|
|
}
|
|
|
|
/// Checks if system is guaranteed to be at least `version` or older than `version`.
|
|
/// Returns `null` if a runtime check is required.
|
|
pub inline fn isAtLeast(os: Os, comptime tag: Tag, ver: switch (tag.getVersionRangeTag()) {
|
|
.none => void,
|
|
.semver, .linux => std.SemanticVersion,
|
|
.windows => WindowsVersion,
|
|
}) ?bool {
|
|
return if (os.tag != tag) false else switch (tag.getVersionRangeTag()) {
|
|
.none => true,
|
|
inline .semver,
|
|
.linux,
|
|
.windows,
|
|
=> |field| @field(os.version_range, @tagName(field)).isAtLeast(ver),
|
|
};
|
|
}
|
|
|
|
/// On Darwin, we always link libSystem which contains libc.
|
|
/// Similarly on FreeBSD and NetBSD we always link system libc
|
|
/// since this is the stable syscall interface.
|
|
pub fn requiresLibC(os: Os) bool {
|
|
return switch (os.tag) {
|
|
.freebsd,
|
|
.netbsd,
|
|
.macos,
|
|
.ios,
|
|
.tvos,
|
|
.watchos,
|
|
.visionos,
|
|
.dragonfly,
|
|
.openbsd,
|
|
.haiku,
|
|
.solaris,
|
|
.illumos,
|
|
.serenity,
|
|
=> true,
|
|
|
|
.linux,
|
|
.windows,
|
|
.freestanding,
|
|
.fuchsia,
|
|
.ps3,
|
|
.zos,
|
|
.minix,
|
|
.rtems,
|
|
.aix,
|
|
.cuda,
|
|
.nvcl,
|
|
.amdhsa,
|
|
.ps4,
|
|
.ps5,
|
|
.elfiamcu,
|
|
.mesa3d,
|
|
.contiki,
|
|
.amdpal,
|
|
.hermit,
|
|
.hurd,
|
|
.wasi,
|
|
.emscripten,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.liteos,
|
|
.uefi,
|
|
.opencl,
|
|
.glsl450,
|
|
.vulkan,
|
|
.plan9,
|
|
.other,
|
|
=> false,
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const aarch64 = @import("Target/aarch64.zig");
|
|
pub const arc = @import("Target/arc.zig");
|
|
pub const amdgpu = @import("Target/amdgpu.zig");
|
|
pub const arm = @import("Target/arm.zig");
|
|
pub const avr = @import("Target/avr.zig");
|
|
pub const bpf = @import("Target/bpf.zig");
|
|
pub const csky = @import("Target/csky.zig");
|
|
pub const hexagon = @import("Target/hexagon.zig");
|
|
pub const loongarch = @import("Target/loongarch.zig");
|
|
pub const m68k = @import("Target/m68k.zig");
|
|
pub const mips = @import("Target/mips.zig");
|
|
pub const msp430 = @import("Target/msp430.zig");
|
|
pub const nvptx = @import("Target/nvptx.zig");
|
|
pub const powerpc = @import("Target/powerpc.zig");
|
|
pub const riscv = @import("Target/riscv.zig");
|
|
pub const sparc = @import("Target/sparc.zig");
|
|
pub const spirv = @import("Target/spirv.zig");
|
|
pub const s390x = @import("Target/s390x.zig");
|
|
pub const ve = @import("Target/ve.zig");
|
|
pub const wasm = @import("Target/wasm.zig");
|
|
pub const x86 = @import("Target/x86.zig");
|
|
pub const xtensa = @import("Target/xtensa.zig");
|
|
|
|
pub const Abi = enum {
|
|
none,
|
|
gnu,
|
|
gnuabin32,
|
|
gnuabi64,
|
|
gnueabi,
|
|
gnueabihf,
|
|
gnuf32,
|
|
gnusf,
|
|
gnux32,
|
|
gnuilp32,
|
|
code16,
|
|
eabi,
|
|
eabihf,
|
|
ilp32,
|
|
android,
|
|
musl,
|
|
musleabi,
|
|
musleabihf,
|
|
muslx32,
|
|
msvc,
|
|
itanium,
|
|
cygnus,
|
|
simulator,
|
|
macabi,
|
|
pixel,
|
|
vertex,
|
|
geometry,
|
|
hull,
|
|
domain,
|
|
compute,
|
|
library,
|
|
raygeneration,
|
|
intersection,
|
|
anyhit,
|
|
closesthit,
|
|
miss,
|
|
callable,
|
|
mesh,
|
|
amplification,
|
|
ohos,
|
|
|
|
// LLVM tags deliberately omitted:
|
|
// - gnuf64
|
|
// - coreclr
|
|
|
|
pub fn default(arch: Cpu.Arch, os: Os) Abi {
|
|
return if (arch.isWasm()) .musl else switch (os.tag) {
|
|
.freestanding,
|
|
.dragonfly,
|
|
.ps3,
|
|
.zos,
|
|
.minix,
|
|
.rtems,
|
|
.aix,
|
|
.cuda,
|
|
.nvcl,
|
|
.amdhsa,
|
|
.ps4,
|
|
.ps5,
|
|
.elfiamcu,
|
|
.mesa3d,
|
|
.contiki,
|
|
.amdpal,
|
|
.hermit,
|
|
.other,
|
|
=> .eabi,
|
|
.openbsd,
|
|
.freebsd,
|
|
.fuchsia,
|
|
.netbsd,
|
|
.hurd,
|
|
.haiku,
|
|
.windows,
|
|
=> .gnu,
|
|
.uefi => .msvc,
|
|
.linux,
|
|
.wasi,
|
|
.emscripten,
|
|
=> .musl,
|
|
.liteos => .ohos,
|
|
.opencl, // TODO: SPIR-V ABIs with Linkage capability
|
|
.glsl450,
|
|
.vulkan,
|
|
.plan9, // TODO specify abi
|
|
.macos,
|
|
.ios,
|
|
.tvos,
|
|
.watchos,
|
|
.visionos,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.solaris,
|
|
.illumos,
|
|
.serenity,
|
|
=> .none,
|
|
};
|
|
}
|
|
|
|
pub inline fn isGnu(abi: Abi) bool {
|
|
return switch (abi) {
|
|
.gnu,
|
|
.gnuabin32,
|
|
.gnuabi64,
|
|
.gnueabi,
|
|
.gnueabihf,
|
|
.gnuf32,
|
|
.gnusf,
|
|
.gnux32,
|
|
.gnuilp32,
|
|
=> true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isMusl(abi: Abi) bool {
|
|
return switch (abi) {
|
|
.musl, .musleabi, .musleabihf, .muslx32 => true,
|
|
.ohos => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn floatAbi(abi: Abi) FloatAbi {
|
|
return switch (abi) {
|
|
.gnueabihf,
|
|
.eabihf,
|
|
.musleabihf,
|
|
=> .hard,
|
|
.ohos => .soft,
|
|
else => .soft,
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const ObjectFormat = enum {
|
|
/// Common Object File Format (Windows)
|
|
coff,
|
|
/// DirectX Container
|
|
dxcontainer,
|
|
/// Executable and Linking Format
|
|
elf,
|
|
/// macOS relocatables
|
|
macho,
|
|
/// Standard, Portable Intermediate Representation V
|
|
spirv,
|
|
/// WebAssembly
|
|
wasm,
|
|
/// C source code
|
|
c,
|
|
/// Intel IHEX
|
|
hex,
|
|
/// Machine code with no metadata.
|
|
raw,
|
|
/// Plan 9 from Bell Labs
|
|
plan9,
|
|
/// Nvidia PTX format
|
|
nvptx,
|
|
|
|
pub fn fileExt(of: ObjectFormat, arch: Cpu.Arch) [:0]const u8 {
|
|
return switch (of) {
|
|
.coff => ".obj",
|
|
.elf, .macho, .wasm => ".o",
|
|
.c => ".c",
|
|
.spirv => ".spv",
|
|
.hex => ".ihex",
|
|
.raw => ".bin",
|
|
.plan9 => arch.plan9Ext(),
|
|
.nvptx => ".ptx",
|
|
.dxcontainer => ".dxil",
|
|
};
|
|
}
|
|
|
|
pub fn default(os_tag: Os.Tag, arch: Cpu.Arch) ObjectFormat {
|
|
return switch (os_tag) {
|
|
.windows, .uefi => .coff,
|
|
.ios, .macos, .watchos, .tvos, .visionos => .macho,
|
|
.plan9 => .plan9,
|
|
else => switch (arch) {
|
|
.wasm32, .wasm64 => .wasm,
|
|
.spirv32, .spirv64 => .spirv,
|
|
.nvptx, .nvptx64 => .nvptx,
|
|
else => .elf,
|
|
},
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const SubSystem = enum {
|
|
Console,
|
|
Windows,
|
|
Posix,
|
|
Native,
|
|
EfiApplication,
|
|
EfiBootServiceDriver,
|
|
EfiRom,
|
|
EfiRuntimeDriver,
|
|
};
|
|
|
|
pub const Cpu = struct {
|
|
/// Architecture
|
|
arch: Arch,
|
|
|
|
/// The CPU model to target. It has a set of features
|
|
/// which are overridden with the `features` field.
|
|
model: *const Model,
|
|
|
|
/// An explicit list of the entire CPU feature set. It may differ from the specific CPU model's features.
|
|
features: Feature.Set,
|
|
|
|
pub const Feature = struct {
|
|
/// The bit index into `Set`. Has a default value of `undefined` because the canonical
|
|
/// structures are populated via comptime logic.
|
|
index: Set.Index = undefined,
|
|
|
|
/// Has a default value of `undefined` because the canonical
|
|
/// structures are populated via comptime logic.
|
|
name: []const u8 = undefined,
|
|
|
|
/// If this corresponds to an LLVM-recognized feature, this will be populated;
|
|
/// otherwise null.
|
|
llvm_name: ?[:0]const u8,
|
|
|
|
/// Human-friendly UTF-8 text.
|
|
description: []const u8,
|
|
|
|
/// Sparse `Set` of features this depends on.
|
|
dependencies: Set,
|
|
|
|
/// A bit set of all the features.
|
|
pub const Set = struct {
|
|
ints: [usize_count]usize,
|
|
|
|
pub const needed_bit_count = 288;
|
|
pub const byte_count = (needed_bit_count + 7) / 8;
|
|
pub const usize_count = (byte_count + (@sizeOf(usize) - 1)) / @sizeOf(usize);
|
|
pub const Index = std.math.Log2Int(std.meta.Int(.unsigned, usize_count * @bitSizeOf(usize)));
|
|
pub const ShiftInt = std.math.Log2Int(usize);
|
|
|
|
pub const empty = Set{ .ints = [1]usize{0} ** usize_count };
|
|
|
|
pub fn isEmpty(set: Set) bool {
|
|
return for (set.ints) |x| {
|
|
if (x != 0) break false;
|
|
} else true;
|
|
}
|
|
|
|
pub fn isEnabled(set: Set, arch_feature_index: Index) bool {
|
|
const usize_index = arch_feature_index / @bitSizeOf(usize);
|
|
const bit_index: ShiftInt = @intCast(arch_feature_index % @bitSizeOf(usize));
|
|
return (set.ints[usize_index] & (@as(usize, 1) << bit_index)) != 0;
|
|
}
|
|
|
|
/// Adds the specified feature but not its dependencies.
|
|
pub fn addFeature(set: *Set, arch_feature_index: Index) void {
|
|
const usize_index = arch_feature_index / @bitSizeOf(usize);
|
|
const bit_index: ShiftInt = @intCast(arch_feature_index % @bitSizeOf(usize));
|
|
set.ints[usize_index] |= @as(usize, 1) << bit_index;
|
|
}
|
|
|
|
/// Adds the specified feature set but not its dependencies.
|
|
pub fn addFeatureSet(set: *Set, other_set: Set) void {
|
|
switch (builtin.zig_backend) {
|
|
.stage2_x86_64 => {
|
|
for (&set.ints, other_set.ints) |*set_int, other_set_int| set_int.* |= other_set_int;
|
|
},
|
|
else => {
|
|
set.ints = @as(@Vector(usize_count, usize), set.ints) | @as(@Vector(usize_count, usize), other_set.ints);
|
|
},
|
|
}
|
|
}
|
|
|
|
/// Removes the specified feature but not its dependents.
|
|
pub fn removeFeature(set: *Set, arch_feature_index: Index) void {
|
|
const usize_index = arch_feature_index / @bitSizeOf(usize);
|
|
const bit_index: ShiftInt = @intCast(arch_feature_index % @bitSizeOf(usize));
|
|
set.ints[usize_index] &= ~(@as(usize, 1) << bit_index);
|
|
}
|
|
|
|
/// Removes the specified feature but not its dependents.
|
|
pub fn removeFeatureSet(set: *Set, other_set: Set) void {
|
|
switch (builtin.zig_backend) {
|
|
.stage2_x86_64 => {
|
|
for (&set.ints, other_set.ints) |*set_int, other_set_int| set_int.* &= ~other_set_int;
|
|
},
|
|
else => {
|
|
set.ints = @as(@Vector(usize_count, usize), set.ints) & ~@as(@Vector(usize_count, usize), other_set.ints);
|
|
},
|
|
}
|
|
}
|
|
|
|
pub fn populateDependencies(set: *Set, all_features_list: []const Cpu.Feature) void {
|
|
@setEvalBranchQuota(1000000);
|
|
|
|
var old = set.ints;
|
|
while (true) {
|
|
for (all_features_list, 0..) |feature, index_usize| {
|
|
const index: Index = @intCast(index_usize);
|
|
if (set.isEnabled(index)) {
|
|
set.addFeatureSet(feature.dependencies);
|
|
}
|
|
}
|
|
const nothing_changed = std.mem.eql(usize, &old, &set.ints);
|
|
if (nothing_changed) return;
|
|
old = set.ints;
|
|
}
|
|
}
|
|
|
|
pub fn asBytes(set: *const Set) *const [byte_count]u8 {
|
|
return std.mem.sliceAsBytes(&set.ints)[0..byte_count];
|
|
}
|
|
|
|
pub fn eql(set: Set, other_set: Set) bool {
|
|
return std.mem.eql(usize, &set.ints, &other_set.ints);
|
|
}
|
|
|
|
pub fn isSuperSetOf(set: Set, other_set: Set) bool {
|
|
switch (builtin.zig_backend) {
|
|
.stage2_x86_64 => {
|
|
var result = true;
|
|
for (&set.ints, other_set.ints) |*set_int, other_set_int|
|
|
result = result and (set_int.* & other_set_int) == other_set_int;
|
|
return result;
|
|
},
|
|
else => {
|
|
const V = @Vector(usize_count, usize);
|
|
const set_v: V = set.ints;
|
|
const other_v: V = other_set.ints;
|
|
return @reduce(.And, (set_v & other_v) == other_v);
|
|
},
|
|
}
|
|
}
|
|
};
|
|
|
|
pub fn feature_set_fns(comptime F: type) type {
|
|
return struct {
|
|
/// Populates only the feature bits specified.
|
|
pub fn featureSet(features: []const F) Set {
|
|
var x = Set.empty;
|
|
for (features) |feature| {
|
|
x.addFeature(@intFromEnum(feature));
|
|
}
|
|
return x;
|
|
}
|
|
|
|
/// Returns true if the specified feature is enabled.
|
|
pub fn featureSetHas(set: Set, feature: F) bool {
|
|
return set.isEnabled(@intFromEnum(feature));
|
|
}
|
|
|
|
/// Returns true if any specified feature is enabled.
|
|
pub fn featureSetHasAny(set: Set, features: anytype) bool {
|
|
inline for (features) |feature| {
|
|
if (set.isEnabled(@intFromEnum(@as(F, feature)))) return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
/// Returns true if every specified feature is enabled.
|
|
pub fn featureSetHasAll(set: Set, features: anytype) bool {
|
|
inline for (features) |feature| {
|
|
if (!set.isEnabled(@intFromEnum(@as(F, feature)))) return false;
|
|
}
|
|
return true;
|
|
}
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const Arch = enum {
|
|
arm,
|
|
armeb,
|
|
aarch64,
|
|
aarch64_be,
|
|
arc,
|
|
avr,
|
|
bpfel,
|
|
bpfeb,
|
|
csky,
|
|
dxil,
|
|
hexagon,
|
|
loongarch32,
|
|
loongarch64,
|
|
m68k,
|
|
mips,
|
|
mipsel,
|
|
mips64,
|
|
mips64el,
|
|
msp430,
|
|
powerpc,
|
|
powerpcle,
|
|
powerpc64,
|
|
powerpc64le,
|
|
amdgcn,
|
|
riscv32,
|
|
riscv64,
|
|
sparc,
|
|
sparc64,
|
|
s390x,
|
|
thumb,
|
|
thumbeb,
|
|
x86,
|
|
x86_64,
|
|
xcore,
|
|
xtensa,
|
|
nvptx,
|
|
nvptx64,
|
|
spirv,
|
|
spirv32,
|
|
spirv64,
|
|
kalimba,
|
|
lanai,
|
|
wasm32,
|
|
wasm64,
|
|
ve,
|
|
spu_2,
|
|
|
|
// LLVM tags deliberately omitted:
|
|
// - aarch64_32
|
|
// - r600
|
|
// - sparcel
|
|
// - tce
|
|
// - tcele
|
|
// - le32
|
|
// - le64
|
|
// - amdil
|
|
// - amdil64
|
|
// - hsail
|
|
// - hsail64
|
|
// - spir
|
|
// - spir64
|
|
// - shave
|
|
// - renderscript32
|
|
// - renderscript64
|
|
|
|
pub inline fn isX86(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.x86, .x86_64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isARM(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.arm, .armeb => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isAARCH64(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.aarch64, .aarch64_be => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isThumb(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.thumb, .thumbeb => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isArmOrThumb(arch: Arch) bool {
|
|
return arch.isARM() or arch.isThumb();
|
|
}
|
|
|
|
pub inline fn isWasm(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.wasm32, .wasm64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isRISCV(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.riscv32, .riscv64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isMIPS(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.mips, .mipsel, .mips64, .mips64el => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isPPC(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.powerpc, .powerpcle => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isPPC64(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.powerpc64, .powerpc64le => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isSPARC(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.sparc, .sparc64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isSpirV(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.spirv32, .spirv64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isBpf(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.bpfel, .bpfeb => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub inline fn isNvptx(arch: Arch) bool {
|
|
return switch (arch) {
|
|
.nvptx, .nvptx64 => true,
|
|
else => false,
|
|
};
|
|
}
|
|
|
|
pub fn parseCpuModel(arch: Arch, cpu_name: []const u8) !*const Cpu.Model {
|
|
for (arch.allCpuModels()) |cpu| {
|
|
if (std.mem.eql(u8, cpu_name, cpu.name)) {
|
|
return cpu;
|
|
}
|
|
}
|
|
return error.UnknownCpuModel;
|
|
}
|
|
|
|
pub fn toElfMachine(arch: Arch) std.elf.EM {
|
|
return switch (arch) {
|
|
.avr => .AVR,
|
|
.msp430 => .MSP430,
|
|
.arc => .ARC,
|
|
.arm => .ARM,
|
|
.armeb => .ARM,
|
|
.hexagon => .HEXAGON,
|
|
.dxil => .NONE,
|
|
.m68k => .@"68K",
|
|
.mips => .MIPS,
|
|
.mipsel => .MIPS_RS3_LE,
|
|
.powerpc, .powerpcle => .PPC,
|
|
.riscv32 => .RISCV,
|
|
.sparc => .SPARC,
|
|
.thumb => .ARM,
|
|
.thumbeb => .ARM,
|
|
.x86 => .@"386",
|
|
.xcore => .XCORE,
|
|
.xtensa => .XTENSA,
|
|
.nvptx => .NONE,
|
|
.kalimba => .CSR_KALIMBA,
|
|
.lanai => .LANAI,
|
|
.wasm32 => .NONE,
|
|
.aarch64 => .AARCH64,
|
|
.aarch64_be => .AARCH64,
|
|
.mips64 => .MIPS,
|
|
.mips64el => .MIPS_RS3_LE,
|
|
.powerpc64 => .PPC64,
|
|
.powerpc64le => .PPC64,
|
|
.riscv64 => .RISCV,
|
|
.x86_64 => .X86_64,
|
|
.nvptx64 => .NONE,
|
|
.wasm64 => .NONE,
|
|
.amdgcn => .AMDGPU,
|
|
.bpfel => .BPF,
|
|
.bpfeb => .BPF,
|
|
.csky => .CSKY,
|
|
.sparc64 => .SPARCV9,
|
|
.s390x => .S390,
|
|
.ve => .NONE,
|
|
.spu_2 => .SPU_2,
|
|
.spirv => .NONE,
|
|
.spirv32 => .NONE,
|
|
.spirv64 => .NONE,
|
|
.loongarch32 => .LOONGARCH,
|
|
.loongarch64 => .LOONGARCH,
|
|
};
|
|
}
|
|
|
|
pub fn toCoffMachine(arch: Arch) std.coff.MachineType {
|
|
return switch (arch) {
|
|
.avr => .Unknown,
|
|
.msp430 => .Unknown,
|
|
.arc => .Unknown,
|
|
.arm => .ARM,
|
|
.armeb => .Unknown,
|
|
.dxil => .Unknown,
|
|
.hexagon => .Unknown,
|
|
.m68k => .Unknown,
|
|
.mips => .Unknown,
|
|
.mipsel => .Unknown,
|
|
.powerpc, .powerpcle => .POWERPC,
|
|
.riscv32 => .RISCV32,
|
|
.sparc => .Unknown,
|
|
.thumb => .Thumb,
|
|
.thumbeb => .Thumb,
|
|
.x86 => .I386,
|
|
.xcore => .Unknown,
|
|
.xtensa => .Unknown,
|
|
.nvptx => .Unknown,
|
|
.kalimba => .Unknown,
|
|
.lanai => .Unknown,
|
|
.wasm32 => .Unknown,
|
|
.aarch64 => .ARM64,
|
|
.aarch64_be => .ARM64,
|
|
.mips64 => .Unknown,
|
|
.mips64el => .Unknown,
|
|
.powerpc64 => .Unknown,
|
|
.powerpc64le => .Unknown,
|
|
.riscv64 => .RISCV64,
|
|
.x86_64 => .X64,
|
|
.nvptx64 => .Unknown,
|
|
.wasm64 => .Unknown,
|
|
.amdgcn => .Unknown,
|
|
.bpfel => .Unknown,
|
|
.bpfeb => .Unknown,
|
|
.csky => .Unknown,
|
|
.sparc64 => .Unknown,
|
|
.s390x => .Unknown,
|
|
.ve => .Unknown,
|
|
.spu_2 => .Unknown,
|
|
.spirv => .Unknown,
|
|
.spirv32 => .Unknown,
|
|
.spirv64 => .Unknown,
|
|
.loongarch32 => .LOONGARCH32,
|
|
.loongarch64 => .LOONGARCH64,
|
|
};
|
|
}
|
|
|
|
pub fn endian(arch: Arch) std.builtin.Endian {
|
|
return switch (arch) {
|
|
.avr,
|
|
.arm,
|
|
.aarch64,
|
|
.amdgcn,
|
|
.bpfel,
|
|
.csky,
|
|
.xtensa,
|
|
.hexagon,
|
|
.kalimba,
|
|
.mipsel,
|
|
.mips64el,
|
|
.msp430,
|
|
.nvptx,
|
|
.nvptx64,
|
|
.powerpcle,
|
|
.powerpc64le,
|
|
.riscv32,
|
|
.riscv64,
|
|
.x86,
|
|
.x86_64,
|
|
.wasm32,
|
|
.wasm64,
|
|
.xcore,
|
|
.thumb,
|
|
.ve,
|
|
.spu_2,
|
|
// GPU bitness is opaque. For now, assume little endian.
|
|
.spirv,
|
|
.spirv32,
|
|
.spirv64,
|
|
.dxil,
|
|
.loongarch32,
|
|
.loongarch64,
|
|
.arc,
|
|
=> .little,
|
|
|
|
.armeb,
|
|
.aarch64_be,
|
|
.bpfeb,
|
|
.m68k,
|
|
.mips,
|
|
.mips64,
|
|
.powerpc,
|
|
.powerpc64,
|
|
.thumbeb,
|
|
.sparc,
|
|
.sparc64,
|
|
.lanai,
|
|
.s390x,
|
|
=> .big,
|
|
};
|
|
}
|
|
|
|
/// Returns whether this architecture supports the address space
|
|
pub fn supportsAddressSpace(arch: Arch, address_space: std.builtin.AddressSpace) bool {
|
|
const is_nvptx = arch == .nvptx or arch == .nvptx64;
|
|
const is_spirv = arch == .spirv32 or arch == .spirv64;
|
|
const is_gpu = is_nvptx or is_spirv or arch == .amdgcn;
|
|
return switch (address_space) {
|
|
.generic => true,
|
|
.fs, .gs, .ss => arch == .x86_64 or arch == .x86,
|
|
.global, .constant, .local, .shared => is_gpu,
|
|
.param => is_nvptx,
|
|
.input, .output, .uniform => is_spirv,
|
|
// TODO this should also check how many flash banks the cpu has
|
|
.flash, .flash1, .flash2, .flash3, .flash4, .flash5 => arch == .avr,
|
|
};
|
|
}
|
|
|
|
/// Returns a name that matches the lib/std/target/* source file name.
|
|
pub fn genericName(arch: Arch) [:0]const u8 {
|
|
return switch (arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => "arm",
|
|
.aarch64, .aarch64_be => "aarch64",
|
|
.bpfel, .bpfeb => "bpf",
|
|
.loongarch32, .loongarch64 => "loongarch",
|
|
.mips, .mipsel, .mips64, .mips64el => "mips",
|
|
.powerpc, .powerpcle, .powerpc64, .powerpc64le => "powerpc",
|
|
.amdgcn => "amdgpu",
|
|
.riscv32, .riscv64 => "riscv",
|
|
.sparc, .sparc64 => "sparc",
|
|
.s390x => "s390x",
|
|
.x86, .x86_64 => "x86",
|
|
.nvptx, .nvptx64 => "nvptx",
|
|
.wasm32, .wasm64 => "wasm",
|
|
.spirv32, .spirv64 => "spirv",
|
|
else => @tagName(arch),
|
|
};
|
|
}
|
|
|
|
/// All CPU features Zig is aware of, sorted lexicographically by name.
|
|
pub fn allFeaturesList(arch: Arch) []const Cpu.Feature {
|
|
return switch (arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => &arm.all_features,
|
|
.aarch64, .aarch64_be => &aarch64.all_features,
|
|
.arc => &arc.all_features,
|
|
.avr => &avr.all_features,
|
|
.bpfel, .bpfeb => &bpf.all_features,
|
|
.csky => &csky.all_features,
|
|
.hexagon => &hexagon.all_features,
|
|
.loongarch32, .loongarch64 => &loongarch.all_features,
|
|
.m68k => &m68k.all_features,
|
|
.mips, .mipsel, .mips64, .mips64el => &mips.all_features,
|
|
.msp430 => &msp430.all_features,
|
|
.powerpc, .powerpcle, .powerpc64, .powerpc64le => &powerpc.all_features,
|
|
.amdgcn => &amdgpu.all_features,
|
|
.riscv32, .riscv64 => &riscv.all_features,
|
|
.sparc, .sparc64 => &sparc.all_features,
|
|
.spirv32, .spirv64 => &spirv.all_features,
|
|
.s390x => &s390x.all_features,
|
|
.x86, .x86_64 => &x86.all_features,
|
|
.xtensa => &xtensa.all_features,
|
|
.nvptx, .nvptx64 => &nvptx.all_features,
|
|
.ve => &ve.all_features,
|
|
.wasm32, .wasm64 => &wasm.all_features,
|
|
|
|
else => &[0]Cpu.Feature{},
|
|
};
|
|
}
|
|
|
|
/// All processors Zig is aware of, sorted lexicographically by name.
|
|
pub fn allCpuModels(arch: Arch) []const *const Cpu.Model {
|
|
return switch (arch) {
|
|
.arc => comptime allCpusFromDecls(arc.cpu),
|
|
.arm, .armeb, .thumb, .thumbeb => comptime allCpusFromDecls(arm.cpu),
|
|
.aarch64, .aarch64_be => comptime allCpusFromDecls(aarch64.cpu),
|
|
.avr => comptime allCpusFromDecls(avr.cpu),
|
|
.bpfel, .bpfeb => comptime allCpusFromDecls(bpf.cpu),
|
|
.csky => comptime allCpusFromDecls(csky.cpu),
|
|
.hexagon => comptime allCpusFromDecls(hexagon.cpu),
|
|
.loongarch32, .loongarch64 => comptime allCpusFromDecls(loongarch.cpu),
|
|
.m68k => comptime allCpusFromDecls(m68k.cpu),
|
|
.mips, .mipsel, .mips64, .mips64el => comptime allCpusFromDecls(mips.cpu),
|
|
.msp430 => comptime allCpusFromDecls(msp430.cpu),
|
|
.powerpc, .powerpcle, .powerpc64, .powerpc64le => comptime allCpusFromDecls(powerpc.cpu),
|
|
.amdgcn => comptime allCpusFromDecls(amdgpu.cpu),
|
|
.riscv32, .riscv64 => comptime allCpusFromDecls(riscv.cpu),
|
|
.sparc, .sparc64 => comptime allCpusFromDecls(sparc.cpu),
|
|
.spirv32, .spirv64 => comptime allCpusFromDecls(spirv.cpu),
|
|
.s390x => comptime allCpusFromDecls(s390x.cpu),
|
|
.x86, .x86_64 => comptime allCpusFromDecls(x86.cpu),
|
|
.xtensa => comptime allCpusFromDecls(xtensa.cpu),
|
|
.nvptx, .nvptx64 => comptime allCpusFromDecls(nvptx.cpu),
|
|
.ve => comptime allCpusFromDecls(ve.cpu),
|
|
.wasm32, .wasm64 => comptime allCpusFromDecls(wasm.cpu),
|
|
|
|
else => &[0]*const Model{},
|
|
};
|
|
}
|
|
|
|
fn allCpusFromDecls(comptime cpus: type) []const *const Cpu.Model {
|
|
@setEvalBranchQuota(2000);
|
|
const decls = @typeInfo(cpus).Struct.decls;
|
|
var array: [decls.len]*const Cpu.Model = undefined;
|
|
for (decls, 0..) |decl, i| {
|
|
array[i] = &@field(cpus, decl.name);
|
|
}
|
|
const finalized = array;
|
|
return &finalized;
|
|
}
|
|
|
|
/// 0c spim little-endian MIPS 3000 family
|
|
/// 1c 68000 Motorola MC68000
|
|
/// 2c 68020 Motorola MC68020
|
|
/// 5c arm little-endian ARM
|
|
/// 6c amd64 AMD64 and compatibles (e.g., Intel EM64T)
|
|
/// 7c arm64 ARM64 (ARMv8)
|
|
/// 8c 386 Intel x86, i486, Pentium, etc.
|
|
/// kc sparc Sun SPARC
|
|
/// qc power Power PC
|
|
/// vc mips big-endian MIPS 3000 family
|
|
pub fn plan9Ext(arch: Cpu.Arch) [:0]const u8 {
|
|
return switch (arch) {
|
|
.arm => ".5",
|
|
.x86_64 => ".6",
|
|
.aarch64 => ".7",
|
|
.x86 => ".8",
|
|
.sparc => ".k",
|
|
.powerpc, .powerpcle => ".q",
|
|
.mips, .mipsel => ".v",
|
|
// ISAs without designated characters get 'X' for lack of a better option.
|
|
else => ".X",
|
|
};
|
|
}
|
|
};
|
|
|
|
pub const Model = struct {
|
|
name: []const u8,
|
|
llvm_name: ?[:0]const u8,
|
|
features: Feature.Set,
|
|
|
|
pub fn toCpu(model: *const Model, arch: Arch) Cpu {
|
|
var features = model.features;
|
|
features.populateDependencies(arch.allFeaturesList());
|
|
return .{
|
|
.arch = arch,
|
|
.model = model,
|
|
.features = features,
|
|
};
|
|
}
|
|
|
|
pub fn generic(arch: Arch) *const Model {
|
|
const S = struct {
|
|
const generic_model = Model{
|
|
.name = "generic",
|
|
.llvm_name = null,
|
|
.features = Cpu.Feature.Set.empty,
|
|
};
|
|
};
|
|
return switch (arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => &arm.cpu.generic,
|
|
.aarch64, .aarch64_be => &aarch64.cpu.generic,
|
|
.avr => &avr.cpu.avr2,
|
|
.bpfel, .bpfeb => &bpf.cpu.generic,
|
|
.hexagon => &hexagon.cpu.generic,
|
|
.loongarch32 => &loongarch.cpu.generic_la32,
|
|
.loongarch64 => &loongarch.cpu.generic_la64,
|
|
.m68k => &m68k.cpu.generic,
|
|
.mips, .mipsel => &mips.cpu.mips32,
|
|
.mips64, .mips64el => &mips.cpu.mips64,
|
|
.msp430 => &msp430.cpu.generic,
|
|
.powerpc => &powerpc.cpu.ppc,
|
|
.powerpcle => &powerpc.cpu.ppc,
|
|
.powerpc64 => &powerpc.cpu.ppc64,
|
|
.powerpc64le => &powerpc.cpu.ppc64le,
|
|
.amdgcn => &amdgpu.cpu.generic,
|
|
.riscv32 => &riscv.cpu.generic_rv32,
|
|
.riscv64 => &riscv.cpu.generic_rv64,
|
|
.spirv32, .spirv64 => &spirv.cpu.generic,
|
|
.sparc => &sparc.cpu.generic,
|
|
.sparc64 => &sparc.cpu.v9, // 64-bit SPARC needs v9 as the baseline
|
|
.s390x => &s390x.cpu.generic,
|
|
.x86 => &x86.cpu.i386,
|
|
.x86_64 => &x86.cpu.x86_64,
|
|
.nvptx, .nvptx64 => &nvptx.cpu.sm_20,
|
|
.ve => &ve.cpu.generic,
|
|
.wasm32, .wasm64 => &wasm.cpu.generic,
|
|
|
|
else => &S.generic_model,
|
|
};
|
|
}
|
|
|
|
pub fn baseline(arch: Arch) *const Model {
|
|
return switch (arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => &arm.cpu.baseline,
|
|
.hexagon => &hexagon.cpu.hexagonv60,
|
|
.riscv32 => &riscv.cpu.baseline_rv32,
|
|
.riscv64 => &riscv.cpu.baseline_rv64,
|
|
.x86 => &x86.cpu.pentium4,
|
|
.nvptx, .nvptx64 => &nvptx.cpu.sm_20,
|
|
.s390x => &s390x.cpu.arch8,
|
|
.sparc => &sparc.cpu.v9, // glibc does not work with 'plain' v8.
|
|
.loongarch64 => &loongarch.cpu.loongarch64,
|
|
|
|
else => generic(arch),
|
|
};
|
|
}
|
|
};
|
|
|
|
/// The "default" set of CPU features for cross-compiling. A conservative set
|
|
/// of features that is expected to be supported on most available hardware.
|
|
pub fn baseline(arch: Arch) Cpu {
|
|
return Model.baseline(arch).toCpu(arch);
|
|
}
|
|
};
|
|
|
|
pub fn zigTriple(target: Target, allocator: Allocator) Allocator.Error![]u8 {
|
|
return Query.fromTarget(target).zigTriple(allocator);
|
|
}
|
|
|
|
pub fn linuxTripleSimple(allocator: Allocator, arch: Cpu.Arch, os_tag: Os.Tag, abi: Abi) ![]u8 {
|
|
return std.fmt.allocPrint(allocator, "{s}-{s}-{s}", .{ @tagName(arch), @tagName(os_tag), @tagName(abi) });
|
|
}
|
|
|
|
pub fn linuxTriple(target: Target, allocator: Allocator) ![]u8 {
|
|
return linuxTripleSimple(allocator, target.cpu.arch, target.os.tag, target.abi);
|
|
}
|
|
|
|
pub fn exeFileExt(target: Target) [:0]const u8 {
|
|
return target.os.tag.exeFileExt(target.cpu.arch);
|
|
}
|
|
|
|
pub fn staticLibSuffix(target: Target) [:0]const u8 {
|
|
return target.os.tag.staticLibSuffix(target.abi);
|
|
}
|
|
|
|
pub fn dynamicLibSuffix(target: Target) [:0]const u8 {
|
|
return target.os.tag.dynamicLibSuffix();
|
|
}
|
|
|
|
pub fn libPrefix(target: Target) [:0]const u8 {
|
|
return target.os.tag.libPrefix(target.abi);
|
|
}
|
|
|
|
pub inline fn isMinGW(target: Target) bool {
|
|
return target.os.tag == .windows and target.isGnu();
|
|
}
|
|
|
|
pub inline fn isGnu(target: Target) bool {
|
|
return target.abi.isGnu();
|
|
}
|
|
|
|
pub inline fn isMusl(target: Target) bool {
|
|
return target.abi.isMusl();
|
|
}
|
|
|
|
pub inline fn isAndroid(target: Target) bool {
|
|
return target.abi == .android;
|
|
}
|
|
|
|
pub inline fn isWasm(target: Target) bool {
|
|
return target.cpu.arch.isWasm();
|
|
}
|
|
|
|
pub inline fn isDarwin(target: Target) bool {
|
|
return target.os.tag.isDarwin();
|
|
}
|
|
|
|
pub inline fn isBSD(target: Target) bool {
|
|
return target.os.tag.isBSD();
|
|
}
|
|
|
|
pub inline fn isBpfFreestanding(target: Target) bool {
|
|
return target.cpu.arch.isBpf() and target.os.tag == .freestanding;
|
|
}
|
|
|
|
pub inline fn isGnuLibC(target: Target) bool {
|
|
return target.os.tag.isGnuLibC(target.abi);
|
|
}
|
|
|
|
pub inline fn supportsNewStackCall(target: Target) bool {
|
|
return !target.cpu.arch.isWasm();
|
|
}
|
|
|
|
pub inline fn isSpirV(target: Target) bool {
|
|
return target.cpu.arch.isSpirV();
|
|
}
|
|
|
|
pub const FloatAbi = enum {
|
|
hard,
|
|
soft,
|
|
};
|
|
|
|
pub inline fn getFloatAbi(target: Target) FloatAbi {
|
|
return target.abi.floatAbi();
|
|
}
|
|
|
|
pub inline fn hasDynamicLinker(target: Target) bool {
|
|
if (target.cpu.arch.isWasm()) {
|
|
return false;
|
|
}
|
|
switch (target.os.tag) {
|
|
.freestanding,
|
|
.ios,
|
|
.tvos,
|
|
.watchos,
|
|
.macos,
|
|
.visionos,
|
|
.uefi,
|
|
.windows,
|
|
.emscripten,
|
|
.opencl,
|
|
.glsl450,
|
|
.vulkan,
|
|
.plan9,
|
|
.other,
|
|
=> return false,
|
|
else => return true,
|
|
}
|
|
}
|
|
|
|
pub const DynamicLinker = struct {
|
|
/// Contains the memory used to store the dynamic linker path. This field
|
|
/// should not be used directly. See `get` and `set`. This field exists so
|
|
/// that this API requires no allocator.
|
|
buffer: [255]u8,
|
|
|
|
/// Used to construct the dynamic linker path. This field should not be used
|
|
/// directly. See `get` and `set`.
|
|
len: u8,
|
|
|
|
pub const none: DynamicLinker = .{ .buffer = undefined, .len = 0 };
|
|
|
|
/// Asserts that the length is less than or equal to 255 bytes.
|
|
pub fn init(maybe_path: ?[]const u8) DynamicLinker {
|
|
var dl: DynamicLinker = undefined;
|
|
dl.set(maybe_path);
|
|
return dl;
|
|
}
|
|
|
|
pub fn initFmt(comptime fmt_str: []const u8, args: anytype) !DynamicLinker {
|
|
var dl: DynamicLinker = undefined;
|
|
try dl.setFmt(fmt_str, args);
|
|
return dl;
|
|
}
|
|
|
|
/// The returned memory has the same lifetime as the `DynamicLinker`.
|
|
pub fn get(dl: *const DynamicLinker) ?[]const u8 {
|
|
return if (dl.len > 0) dl.buffer[0..dl.len] else null;
|
|
}
|
|
|
|
/// Asserts that the length is less than or equal to 255 bytes.
|
|
pub fn set(dl: *DynamicLinker, maybe_path: ?[]const u8) void {
|
|
const path = maybe_path orelse "";
|
|
@memcpy(dl.buffer[0..path.len], path);
|
|
dl.len = @intCast(path.len);
|
|
}
|
|
|
|
/// Asserts that the length is less than or equal to 255 bytes.
|
|
pub fn setFmt(dl: *DynamicLinker, comptime fmt_str: []const u8, args: anytype) !void {
|
|
dl.len = @intCast((try std.fmt.bufPrint(&dl.buffer, fmt_str, args)).len);
|
|
}
|
|
|
|
pub fn eql(lhs: DynamicLinker, rhs: DynamicLinker) bool {
|
|
return std.mem.eql(u8, lhs.buffer[0..lhs.len], rhs.buffer[0..rhs.len]);
|
|
}
|
|
|
|
pub fn standard(cpu: Cpu, os_tag: Os.Tag, abi: Abi) DynamicLinker {
|
|
return if (abi == .android) initFmt("/system/bin/linker{s}", .{
|
|
if (ptrBitWidth_cpu_abi(cpu, abi) == 64) "64" else "",
|
|
}) catch unreachable else if (abi.isMusl()) return initFmt("/lib/ld-musl-{s}{s}.so.1", .{
|
|
@tagName(switch (cpu.arch) {
|
|
.thumb => .arm,
|
|
.thumbeb => .armeb,
|
|
else => cpu.arch,
|
|
}),
|
|
if (cpu.arch.isArmOrThumb() and abi.floatAbi() == .hard) "hf" else "",
|
|
}) catch unreachable else switch (os_tag) {
|
|
.freebsd => init("/libexec/ld-elf.so.1"),
|
|
.netbsd => init("/libexec/ld.elf_so"),
|
|
.openbsd => init("/usr/libexec/ld.so"),
|
|
.dragonfly => init("/libexec/ld-elf.so.2"),
|
|
.solaris, .illumos => init("/lib/64/ld.so.1"),
|
|
.linux => switch (cpu.arch) {
|
|
.x86,
|
|
.sparc,
|
|
=> init("/lib/ld-linux.so.2"),
|
|
|
|
.aarch64 => init("/lib/ld-linux-aarch64.so.1"),
|
|
.aarch64_be => init("/lib/ld-linux-aarch64_be.so.1"),
|
|
|
|
.arm,
|
|
.armeb,
|
|
.thumb,
|
|
.thumbeb,
|
|
=> initFmt("/lib/ld-linux{s}.so.3", .{switch (abi.floatAbi()) {
|
|
.hard => "-armhf",
|
|
else => "",
|
|
}}) catch unreachable,
|
|
|
|
.loongarch64 => init("/lib64/ld-linux-loongarch-lp64d.so.1"),
|
|
|
|
.mips,
|
|
.mipsel,
|
|
.mips64,
|
|
.mips64el,
|
|
=> initFmt("/lib{s}/{s}", .{
|
|
switch (abi) {
|
|
.gnuabin32, .gnux32 => "32",
|
|
.gnuabi64 => "64",
|
|
else => "",
|
|
},
|
|
if (mips.featureSetHas(cpu.features, .nan2008))
|
|
"ld-linux-mipsn8.so.1"
|
|
else
|
|
"ld.so.1",
|
|
}) catch unreachable,
|
|
|
|
.powerpc, .powerpcle => init("/lib/ld.so.1"),
|
|
.powerpc64, .powerpc64le => init("/lib64/ld64.so.2"),
|
|
.s390x => init("/lib64/ld64.so.1"),
|
|
.sparc64 => init("/lib64/ld-linux.so.2"),
|
|
.x86_64 => init(switch (abi) {
|
|
.gnux32 => "/libx32/ld-linux-x32.so.2",
|
|
else => "/lib64/ld-linux-x86-64.so.2",
|
|
}),
|
|
|
|
.riscv32 => init("/lib/ld-linux-riscv32-ilp32.so.1"),
|
|
.riscv64 => init("/lib/ld-linux-riscv64-lp64.so.1"),
|
|
|
|
// Architectures in this list have been verified as not having a standard
|
|
// dynamic linker path.
|
|
.wasm32,
|
|
.wasm64,
|
|
.bpfel,
|
|
.bpfeb,
|
|
.nvptx,
|
|
.nvptx64,
|
|
.spu_2,
|
|
.avr,
|
|
.spirv,
|
|
.spirv32,
|
|
.spirv64,
|
|
=> none,
|
|
|
|
// TODO go over each item in this list and either move it to the above list, or
|
|
// implement the standard dynamic linker path code for it.
|
|
.arc,
|
|
.csky,
|
|
.hexagon,
|
|
.m68k,
|
|
.msp430,
|
|
.amdgcn,
|
|
.xcore,
|
|
.kalimba,
|
|
.lanai,
|
|
.ve,
|
|
.dxil,
|
|
.loongarch32,
|
|
.xtensa,
|
|
=> none,
|
|
},
|
|
|
|
.ios,
|
|
.tvos,
|
|
.watchos,
|
|
.macos,
|
|
.visionos,
|
|
=> init("/usr/lib/dyld"),
|
|
|
|
.serenity => init("/usr/lib/Loader.so"),
|
|
|
|
// Operating systems in this list have been verified as not having a standard
|
|
// dynamic linker path.
|
|
.freestanding,
|
|
.uefi,
|
|
.windows,
|
|
.emscripten,
|
|
.wasi,
|
|
.opencl,
|
|
.glsl450,
|
|
.vulkan,
|
|
.other,
|
|
.plan9,
|
|
=> none,
|
|
|
|
// TODO revisit when multi-arch for Haiku is available
|
|
.haiku => init("/system/runtime_loader"),
|
|
|
|
// TODO go over each item in this list and either move it to the above list, or
|
|
// implement the standard dynamic linker path code for it.
|
|
.fuchsia,
|
|
.ps3,
|
|
.zos,
|
|
.minix,
|
|
.rtems,
|
|
.aix,
|
|
.cuda,
|
|
.nvcl,
|
|
.amdhsa,
|
|
.ps4,
|
|
.ps5,
|
|
.elfiamcu,
|
|
.mesa3d,
|
|
.contiki,
|
|
.amdpal,
|
|
.hermit,
|
|
.hurd,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.liteos,
|
|
=> none,
|
|
};
|
|
}
|
|
};
|
|
|
|
pub fn standardDynamicLinkerPath(target: Target) DynamicLinker {
|
|
return DynamicLinker.standard(target.cpu, target.os.tag, target.abi);
|
|
}
|
|
|
|
pub fn ptrBitWidth_cpu_abi(cpu: Cpu, abi: Abi) u16 {
|
|
switch (abi) {
|
|
.gnux32, .muslx32, .gnuabin32, .gnuilp32, .ilp32 => return 32,
|
|
.gnuabi64 => return 64,
|
|
else => {},
|
|
}
|
|
return switch (cpu.arch) {
|
|
.avr,
|
|
.msp430,
|
|
.spu_2,
|
|
=> 16,
|
|
|
|
.arc,
|
|
.arm,
|
|
.armeb,
|
|
.csky,
|
|
.hexagon,
|
|
.m68k,
|
|
.mips,
|
|
.mipsel,
|
|
.powerpc,
|
|
.powerpcle,
|
|
.riscv32,
|
|
.thumb,
|
|
.thumbeb,
|
|
.x86,
|
|
.xcore,
|
|
.nvptx,
|
|
.kalimba,
|
|
.lanai,
|
|
.wasm32,
|
|
.sparc,
|
|
.spirv32,
|
|
.loongarch32,
|
|
.xtensa,
|
|
=> 32,
|
|
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.dxil,
|
|
.mips64,
|
|
.mips64el,
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
.riscv64,
|
|
.x86_64,
|
|
.nvptx64,
|
|
.wasm64,
|
|
.amdgcn,
|
|
.bpfel,
|
|
.bpfeb,
|
|
.sparc64,
|
|
.s390x,
|
|
.ve,
|
|
.spirv,
|
|
.spirv64,
|
|
.loongarch64,
|
|
=> 64,
|
|
};
|
|
}
|
|
|
|
pub fn ptrBitWidth(target: Target) u16 {
|
|
return ptrBitWidth_cpu_abi(target.cpu, target.abi);
|
|
}
|
|
|
|
pub fn stackAlignment(target: Target) u16 {
|
|
return switch (target.cpu.arch) {
|
|
.m68k => 2,
|
|
.amdgcn => 4,
|
|
.x86 => switch (target.os.tag) {
|
|
.windows, .uefi => 4,
|
|
else => 16,
|
|
},
|
|
.arm,
|
|
.armeb,
|
|
.thumb,
|
|
.thumbeb,
|
|
.mips,
|
|
.mipsel,
|
|
.sparc,
|
|
=> 8,
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.bpfeb,
|
|
.bpfel,
|
|
.mips64,
|
|
.mips64el,
|
|
.riscv64,
|
|
.sparc64,
|
|
.x86_64,
|
|
.ve,
|
|
.wasm32,
|
|
.wasm64,
|
|
.loongarch64,
|
|
=> 16,
|
|
.riscv32,
|
|
=> if (Target.riscv.featureSetHas(target.cpu.features, .e)) 4 else 16,
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
=> switch (target.os.tag) {
|
|
else => 8,
|
|
.linux => 16,
|
|
},
|
|
else => @divExact(target.ptrBitWidth(), 8),
|
|
};
|
|
}
|
|
|
|
/// Default signedness of `char` for the native C compiler for this target
|
|
/// Note that char signedness is implementation-defined and many compilers provide
|
|
/// an option to override the default signedness e.g. GCC's -funsigned-char / -fsigned-char
|
|
pub fn charSignedness(target: Target) std.builtin.Signedness {
|
|
switch (target.cpu.arch) {
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.arm,
|
|
.armeb,
|
|
.thumb,
|
|
.thumbeb,
|
|
=> return if (target.os.tag.isDarwin() or target.os.tag == .windows) .signed else .unsigned,
|
|
.powerpc, .powerpc64 => return if (target.os.tag.isDarwin()) .signed else .unsigned,
|
|
.powerpcle,
|
|
.powerpc64le,
|
|
.s390x,
|
|
.xcore,
|
|
.arc,
|
|
.msp430,
|
|
.riscv32,
|
|
.riscv64,
|
|
=> return .unsigned,
|
|
else => return .signed,
|
|
}
|
|
}
|
|
|
|
pub const CType = enum {
|
|
char,
|
|
short,
|
|
ushort,
|
|
int,
|
|
uint,
|
|
long,
|
|
ulong,
|
|
longlong,
|
|
ulonglong,
|
|
float,
|
|
double,
|
|
longdouble,
|
|
};
|
|
|
|
pub fn c_type_byte_size(t: Target, c_type: CType) u16 {
|
|
return switch (c_type) {
|
|
.char,
|
|
.short,
|
|
.ushort,
|
|
.int,
|
|
.uint,
|
|
.long,
|
|
.ulong,
|
|
.longlong,
|
|
.ulonglong,
|
|
.float,
|
|
.double,
|
|
=> @divExact(c_type_bit_size(t, c_type), 8),
|
|
|
|
.longdouble => switch (c_type_bit_size(t, c_type)) {
|
|
16 => 2,
|
|
32 => 4,
|
|
64 => 8,
|
|
80 => @intCast(std.mem.alignForward(usize, 10, c_type_alignment(t, .longdouble))),
|
|
128 => 16,
|
|
else => unreachable,
|
|
},
|
|
};
|
|
}
|
|
|
|
pub fn c_type_bit_size(target: Target, c_type: CType) u16 {
|
|
switch (target.os.tag) {
|
|
.freestanding, .other => switch (target.cpu.arch) {
|
|
.msp430 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort, .int, .uint => return 16,
|
|
.float, .long, .ulong => return 32,
|
|
.longlong, .ulonglong, .double, .longdouble => return 64,
|
|
},
|
|
.avr => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort, .int, .uint => return 16,
|
|
.long, .ulong, .float, .double, .longdouble => return 32,
|
|
.longlong, .ulonglong => return 64,
|
|
},
|
|
.mips64, .mips64el => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return if (target.abi != .gnuabin32) 64 else 32,
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 128,
|
|
},
|
|
.x86_64 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => switch (target.abi) {
|
|
.gnux32, .muslx32 => return 32,
|
|
else => return 64,
|
|
},
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 80,
|
|
},
|
|
else => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return target.ptrBitWidth(),
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => switch (target.cpu.arch) {
|
|
.x86 => switch (target.abi) {
|
|
.android => return 64,
|
|
else => return 80,
|
|
},
|
|
|
|
.powerpc,
|
|
.powerpcle,
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
=> switch (target.abi) {
|
|
.musl,
|
|
.musleabi,
|
|
.musleabihf,
|
|
.muslx32,
|
|
=> return 64,
|
|
else => return 128,
|
|
},
|
|
|
|
.riscv32,
|
|
.riscv64,
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.s390x,
|
|
.sparc64,
|
|
.wasm32,
|
|
.wasm64,
|
|
.loongarch32,
|
|
.loongarch64,
|
|
.ve,
|
|
=> return 128,
|
|
|
|
else => return 64,
|
|
},
|
|
},
|
|
},
|
|
|
|
.linux,
|
|
.freebsd,
|
|
.netbsd,
|
|
.dragonfly,
|
|
.openbsd,
|
|
.wasi,
|
|
.emscripten,
|
|
.plan9,
|
|
.solaris,
|
|
.illumos,
|
|
.haiku,
|
|
.fuchsia,
|
|
.minix,
|
|
.serenity,
|
|
=> switch (target.cpu.arch) {
|
|
.msp430 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort, .int, .uint => return 16,
|
|
.long, .ulong, .float => return 32,
|
|
.longlong, .ulonglong, .double, .longdouble => return 64,
|
|
},
|
|
.avr => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort, .int, .uint => return 16,
|
|
.long, .ulong, .float, .double, .longdouble => return 32,
|
|
.longlong, .ulonglong => return 64,
|
|
},
|
|
.mips64, .mips64el => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return if (target.abi != .gnuabin32) 64 else 32,
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => if (target.os.tag == .freebsd) return 64 else return 128,
|
|
},
|
|
.x86_64 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => switch (target.abi) {
|
|
.gnux32, .muslx32 => return 32,
|
|
else => return 64,
|
|
},
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 80,
|
|
},
|
|
else => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return target.ptrBitWidth(),
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => switch (target.cpu.arch) {
|
|
.x86 => switch (target.abi) {
|
|
.android => return 64,
|
|
else => return 80,
|
|
},
|
|
|
|
.powerpc,
|
|
.powerpcle,
|
|
=> switch (target.abi) {
|
|
.musl,
|
|
.musleabi,
|
|
.musleabihf,
|
|
.muslx32,
|
|
=> return 64,
|
|
else => switch (target.os.tag) {
|
|
.freebsd, .netbsd, .openbsd => return 64,
|
|
else => return 128,
|
|
},
|
|
},
|
|
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
=> switch (target.abi) {
|
|
.musl,
|
|
.musleabi,
|
|
.musleabihf,
|
|
.muslx32,
|
|
=> return 64,
|
|
else => switch (target.os.tag) {
|
|
.freebsd, .openbsd => return 64,
|
|
else => return 128,
|
|
},
|
|
},
|
|
|
|
.riscv32,
|
|
.riscv64,
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.s390x,
|
|
.mips64,
|
|
.mips64el,
|
|
.sparc64,
|
|
.wasm32,
|
|
.wasm64,
|
|
.loongarch32,
|
|
.loongarch64,
|
|
.ve,
|
|
=> return 128,
|
|
|
|
else => return 64,
|
|
},
|
|
},
|
|
},
|
|
|
|
.windows, .uefi => switch (target.cpu.arch) {
|
|
.x86 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return 32,
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => switch (target.abi) {
|
|
.gnu, .gnuilp32, .ilp32, .cygnus => return 80,
|
|
else => return 64,
|
|
},
|
|
},
|
|
.x86_64 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => switch (target.abi) {
|
|
.cygnus => return 64,
|
|
else => return 32,
|
|
},
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => switch (target.abi) {
|
|
.gnu, .gnuilp32, .ilp32, .cygnus => return 80,
|
|
else => return 64,
|
|
},
|
|
},
|
|
else => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return 32,
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 64,
|
|
},
|
|
},
|
|
|
|
.macos, .ios, .tvos, .watchos, .visionos => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => switch (target.cpu.arch) {
|
|
.x86, .arm => return 32,
|
|
.x86_64 => switch (target.abi) {
|
|
.gnux32, .muslx32 => return 32,
|
|
else => return 64,
|
|
},
|
|
else => return 64,
|
|
},
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => switch (target.cpu.arch) {
|
|
.x86 => switch (target.abi) {
|
|
.android => return 64,
|
|
else => return 80,
|
|
},
|
|
.x86_64 => return 80,
|
|
else => return 64,
|
|
},
|
|
},
|
|
|
|
.nvcl, .cuda => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => switch (target.cpu.arch) {
|
|
.nvptx => return 32,
|
|
.nvptx64 => return 64,
|
|
else => return 64,
|
|
},
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 64,
|
|
},
|
|
|
|
.amdhsa, .amdpal, .mesa3d => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong, .longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 64,
|
|
},
|
|
|
|
.opencl, .vulkan => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong, .longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 64,
|
|
},
|
|
|
|
.ps4, .ps5 => switch (c_type) {
|
|
.char => return 8,
|
|
.short, .ushort => return 16,
|
|
.int, .uint, .float => return 32,
|
|
.long, .ulong => return 64,
|
|
.longlong, .ulonglong, .double => return 64,
|
|
.longdouble => return 80,
|
|
},
|
|
|
|
.ps3,
|
|
.zos,
|
|
.rtems,
|
|
.aix,
|
|
.elfiamcu,
|
|
.contiki,
|
|
.hermit,
|
|
.hurd,
|
|
.glsl450,
|
|
.driverkit,
|
|
.shadermodel,
|
|
.liteos,
|
|
=> @panic("TODO specify the C integer and float type sizes for this OS"),
|
|
}
|
|
}
|
|
|
|
pub fn c_type_alignment(target: Target, c_type: CType) u16 {
|
|
// Overrides for unusual alignments
|
|
switch (target.cpu.arch) {
|
|
.avr => return 1,
|
|
.x86 => switch (target.os.tag) {
|
|
.windows, .uefi => switch (c_type) {
|
|
.longlong, .ulonglong, .double => return 8,
|
|
.longdouble => switch (target.abi) {
|
|
.gnu, .gnuilp32, .ilp32, .cygnus => return 4,
|
|
else => return 8,
|
|
},
|
|
else => {},
|
|
},
|
|
else => {},
|
|
},
|
|
else => {},
|
|
}
|
|
|
|
// Next-power-of-two-aligned, up to a maximum.
|
|
return @min(
|
|
std.math.ceilPowerOfTwoAssert(u16, (c_type_bit_size(target, c_type) + 7) / 8),
|
|
@as(u16, switch (target.cpu.arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => switch (target.os.tag) {
|
|
.netbsd => switch (target.abi) {
|
|
.gnueabi,
|
|
.gnueabihf,
|
|
.eabi,
|
|
.eabihf,
|
|
.android,
|
|
.musleabi,
|
|
.musleabihf,
|
|
=> 8,
|
|
|
|
else => 4,
|
|
},
|
|
.ios, .tvos, .watchos, .visionos => 4,
|
|
else => 8,
|
|
},
|
|
|
|
.msp430,
|
|
.avr,
|
|
=> 2,
|
|
|
|
.arc,
|
|
.csky,
|
|
.x86,
|
|
.xcore,
|
|
.loongarch32,
|
|
.kalimba,
|
|
.spu_2,
|
|
.xtensa,
|
|
=> 4,
|
|
|
|
.amdgcn,
|
|
.bpfel,
|
|
.bpfeb,
|
|
.dxil,
|
|
.hexagon,
|
|
.m68k,
|
|
.mips,
|
|
.mipsel,
|
|
.sparc,
|
|
.lanai,
|
|
.nvptx,
|
|
.nvptx64,
|
|
.s390x,
|
|
.spirv,
|
|
.spirv32,
|
|
.spirv64,
|
|
=> 8,
|
|
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.loongarch64,
|
|
.mips64,
|
|
.mips64el,
|
|
.powerpc,
|
|
.powerpcle,
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
.riscv32,
|
|
.riscv64,
|
|
.sparc64,
|
|
.x86_64,
|
|
.ve,
|
|
.wasm32,
|
|
.wasm64,
|
|
=> 16,
|
|
}),
|
|
);
|
|
}
|
|
|
|
pub fn c_type_preferred_alignment(target: Target, c_type: CType) u16 {
|
|
// Overrides for unusual alignments
|
|
switch (target.cpu.arch) {
|
|
.arm, .armeb, .thumb, .thumbeb => switch (target.os.tag) {
|
|
.netbsd => switch (target.abi) {
|
|
.gnueabi,
|
|
.gnueabihf,
|
|
.eabi,
|
|
.eabihf,
|
|
.android,
|
|
.musleabi,
|
|
.musleabihf,
|
|
=> {},
|
|
|
|
else => switch (c_type) {
|
|
.longdouble => return 4,
|
|
else => {},
|
|
},
|
|
},
|
|
.ios, .tvos, .watchos, .visionos => switch (c_type) {
|
|
.longdouble => return 4,
|
|
else => {},
|
|
},
|
|
else => {},
|
|
},
|
|
.arc => switch (c_type) {
|
|
.longdouble => return 4,
|
|
else => {},
|
|
},
|
|
.avr => switch (c_type) {
|
|
.char, .int, .uint, .long, .ulong, .float, .longdouble => return 1,
|
|
.short, .ushort => return 2,
|
|
.double => return 4,
|
|
.longlong, .ulonglong => return 8,
|
|
},
|
|
.x86 => switch (target.os.tag) {
|
|
.windows, .uefi => switch (c_type) {
|
|
.longdouble => switch (target.abi) {
|
|
.gnu, .gnuilp32, .ilp32, .cygnus => return 4,
|
|
else => return 8,
|
|
},
|
|
else => {},
|
|
},
|
|
else => switch (c_type) {
|
|
.longdouble => return 4,
|
|
else => {},
|
|
},
|
|
},
|
|
else => {},
|
|
}
|
|
|
|
// Next-power-of-two-aligned, up to a maximum.
|
|
return @min(
|
|
std.math.ceilPowerOfTwoAssert(u16, (c_type_bit_size(target, c_type) + 7) / 8),
|
|
@as(u16, switch (target.cpu.arch) {
|
|
.msp430 => 2,
|
|
|
|
.csky,
|
|
.xcore,
|
|
.loongarch32,
|
|
.kalimba,
|
|
.spu_2,
|
|
.xtensa,
|
|
=> 4,
|
|
|
|
.arc,
|
|
.arm,
|
|
.armeb,
|
|
.avr,
|
|
.thumb,
|
|
.thumbeb,
|
|
.amdgcn,
|
|
.bpfel,
|
|
.bpfeb,
|
|
.dxil,
|
|
.hexagon,
|
|
.x86,
|
|
.m68k,
|
|
.mips,
|
|
.mipsel,
|
|
.sparc,
|
|
.lanai,
|
|
.nvptx,
|
|
.nvptx64,
|
|
.s390x,
|
|
.spirv,
|
|
.spirv32,
|
|
.spirv64,
|
|
=> 8,
|
|
|
|
.aarch64,
|
|
.aarch64_be,
|
|
.loongarch64,
|
|
.mips64,
|
|
.mips64el,
|
|
.powerpc,
|
|
.powerpcle,
|
|
.powerpc64,
|
|
.powerpc64le,
|
|
.riscv32,
|
|
.riscv64,
|
|
.sparc64,
|
|
.x86_64,
|
|
.ve,
|
|
.wasm32,
|
|
.wasm64,
|
|
=> 16,
|
|
}),
|
|
);
|
|
}
|
|
|
|
pub fn is_libc_lib_name(target: std.Target, name: []const u8) bool {
|
|
const ignore_case = target.os.tag == .macos or target.os.tag == .windows;
|
|
|
|
if (eqlIgnoreCase(ignore_case, name, "c"))
|
|
return true;
|
|
|
|
if (target.isMinGW()) {
|
|
if (eqlIgnoreCase(ignore_case, name, "m"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "mingw32"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "msvcrt-os"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "mingwex"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "uuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "bits"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dmoguids"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dxerr8"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dxerr9"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "mfuuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "msxml2"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "msxml6"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "amstrmid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "wbemuuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "wmcodecdspuuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dxguid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "ksguid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "locationapi"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "portabledeviceguids"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "mfuuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dloadhelper"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "strmiids"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "mfuuid"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "adsiid"))
|
|
return true;
|
|
|
|
return false;
|
|
}
|
|
|
|
if (target.abi.isGnu() or target.abi.isMusl()) {
|
|
if (eqlIgnoreCase(ignore_case, name, "m"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "rt"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "pthread"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "util"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "xnet"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "resolv"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dl"))
|
|
return true;
|
|
}
|
|
|
|
if (target.abi.isMusl()) {
|
|
if (eqlIgnoreCase(ignore_case, name, "crypt"))
|
|
return true;
|
|
}
|
|
|
|
if (target.os.tag.isDarwin()) {
|
|
if (eqlIgnoreCase(ignore_case, name, "System"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "c"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dbm"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "dl"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "info"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "m"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "poll"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "proc"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "pthread"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "rpcsvc"))
|
|
return true;
|
|
}
|
|
|
|
if (target.os.isAtLeast(.macos, .{ .major = 10, .minor = 8, .patch = 0 }) orelse false) {
|
|
if (eqlIgnoreCase(ignore_case, name, "mx"))
|
|
return true;
|
|
}
|
|
|
|
if (target.os.tag == .haiku) {
|
|
if (eqlIgnoreCase(ignore_case, name, "root"))
|
|
return true;
|
|
if (eqlIgnoreCase(ignore_case, name, "network"))
|
|
return true;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
pub fn is_libcpp_lib_name(target: std.Target, name: []const u8) bool {
|
|
const ignore_case = target.os.tag.isDarwin() or target.os.tag == .windows;
|
|
|
|
return eqlIgnoreCase(ignore_case, name, "c++") or
|
|
eqlIgnoreCase(ignore_case, name, "stdc++") or
|
|
eqlIgnoreCase(ignore_case, name, "c++abi");
|
|
}
|
|
|
|
fn eqlIgnoreCase(ignore_case: bool, a: []const u8, b: []const u8) bool {
|
|
if (ignore_case) {
|
|
return std.ascii.eqlIgnoreCase(a, b);
|
|
} else {
|
|
return std.mem.eql(u8, a, b);
|
|
}
|
|
}
|
|
|
|
pub fn osArchName(target: std.Target) [:0]const u8 {
|
|
return target.os.tag.archName(target.cpu.arch);
|
|
}
|
|
|
|
const Target = @This();
|
|
const std = @import("std.zig");
|
|
const builtin = @import("builtin");
|
|
const Allocator = std.mem.Allocator;
|
|
|
|
test {
|
|
std.testing.refAllDecls(Cpu.Arch);
|
|
}
|