tvl-depot/tvix/eval/src/systems.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

344 lines
11 KiB
Rust
Raw Normal View History

/// true iff the argument is recognized by cppnix as the second
/// coordinate of a "nix double"
fn is_second_coordinate(x: &str) -> bool {
match x {
"linux" | "darwin" | "netbsd" | "openbsd" | "freebsd" => true,
_ => false,
}
}
/// This function takes an llvm triple (which may have three or four
/// components, separated by dashes) and returns the "best"
/// approximation as a nix double, where "best" is currently defined
/// as "however cppnix handles it".
pub fn llvm_triple_to_nix_double(llvm_triple: &str) -> String {
let parts: Vec<&str> = llvm_triple.split('-').collect();
let cpu = match parts[0] {
"armv6" => "armv6l", // cppnix appends an "l" to armv6
"armv7" => "armv7l", // cppnix appends an "l" to armv7
x => match x.as_bytes().as_ref() {
[b'i', _, b'8', b'6'] => "i686", // cppnix glob-matches against i*86
_ => x,
},
};
let os = match parts[1..] {
[_vendor, kernel, _environment] if is_second_coordinate(kernel) => kernel,
[_vendor, kernel] if is_second_coordinate(kernel) => kernel,
[kernel, _environment] if is_second_coordinate(kernel) => kernel,
_ => panic!("unrecognized triple {llvm_triple}"),
};
format!("{cpu}-{os}")
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_systems() {
assert_eq!(
llvm_triple_to_nix_double("aarch64-unknown-linux-gnu"),
"aarch64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i686-unknown-linux-gnu"),
"i686-linux"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-apple-darwin"),
"x86_64-darwin"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-unknown-linux-gnu"),
"x86_64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64-apple-darwin"),
"aarch64-darwin"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64-unknown-linux-musl"),
"aarch64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("arm-unknown-linux-gnueabi"),
"arm-linux"
);
assert_eq!(
llvm_triple_to_nix_double("arm-unknown-linux-gnueabihf"),
"arm-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-gnueabihf"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips-unknown-linux-gnu"),
"mips-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64-unknown-linux-gnuabi64"),
"mips64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64-unknown-linux-gnuabin32"),
"mips64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64el-unknown-linux-gnuabi64"),
"mips64el-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64el-unknown-linux-gnuabin32"),
"mips64el-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsel-unknown-linux-gnu"),
"mipsel-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc-unknown-linux-gnu"),
"powerpc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc64-unknown-linux-gnu"),
"powerpc64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc64le-unknown-linux-gnu"),
"powerpc64le-linux"
);
assert_eq!(
llvm_triple_to_nix_double("s390x-unknown-linux-gnu"),
"s390x-linux"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-unknown-linux-musl"),
"x86_64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-unknown-netbsd"),
"x86_64-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64-linux-android"),
"aarch64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("arm-linux-androideabi"),
"arm-linux"
);
assert_eq!(
llvm_triple_to_nix_double("arm-unknown-linux-musleabi"),
"arm-linux"
);
assert_eq!(
llvm_triple_to_nix_double("arm-unknown-linux-musleabihf"),
"arm-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv5te-unknown-linux-gnueabi"),
"armv5te-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv5te-unknown-linux-musleabi"),
"armv5te-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-linux-androideabi"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-gnueabi"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-musleabi"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-musleabihf"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i586-unknown-linux-gnu"),
"i686-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i586-unknown-linux-musl"),
"i686-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i686-linux-android"),
"i686-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i686-unknown-linux-musl"),
"i686-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips-unknown-linux-musl"),
"mips-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64-unknown-linux-muslabi64"),
"mips64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64el-unknown-linux-muslabi64"),
"mips64el-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsel-unknown-linux-musl"),
"mipsel-linux"
);
assert_eq!(
llvm_triple_to_nix_double("sparc64-unknown-linux-gnu"),
"sparc64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("thumbv7neon-linux-androideabi"),
"thumbv7neon-linux"
);
assert_eq!(
llvm_triple_to_nix_double("thumbv7neon-unknown-linux-gnueabihf"),
"thumbv7neon-linux"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-linux-android"),
"x86_64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("x86_64-unknown-linux-gnux32"),
"x86_64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64-unknown-linux-gnu_ilp32"),
"aarch64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64-unknown-netbsd"),
"aarch64-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64_be-unknown-linux-gnu_ilp32"),
"aarch64_be-linux"
);
assert_eq!(
llvm_triple_to_nix_double("aarch64_be-unknown-linux-gnu"),
"aarch64_be-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armeb-unknown-linux-gnueabi"),
"armeb-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv4t-unknown-linux-gnueabi"),
"armv4t-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv6-unknown-netbsd-eabihf"),
"armv6l-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-uclibceabi"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-linux-uclibceabihf"),
"armv7l-linux"
);
assert_eq!(
llvm_triple_to_nix_double("armv7-unknown-netbsd-eabihf"),
"armv7l-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("hexagon-unknown-linux-musl"),
"hexagon-linux"
);
assert_eq!(
llvm_triple_to_nix_double("i686-unknown-netbsd"),
"i686-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("m68k-unknown-linux-gnu"),
"m68k-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips-unknown-linux-uclibc"),
"mips-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mips64-openwrt-linux-musl"),
"mips64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsel-unknown-linux-uclibc"),
"mipsel-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsisa32r6-unknown-linux-gnu"),
"mipsisa32r6-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsisa32r6el-unknown-linux-gnu"),
"mipsisa32r6el-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsisa64r6-unknown-linux-gnuabi64"),
"mipsisa64r6-linux"
);
assert_eq!(
llvm_triple_to_nix_double("mipsisa64r6el-unknown-linux-gnuabi64"),
"mipsisa64r6el-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc-unknown-linux-gnuspe"),
"powerpc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc-unknown-linux-musl"),
"powerpc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc-unknown-netbsd"),
"powerpc-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc64-unknown-linux-musl"),
"powerpc64-linux"
);
assert_eq!(
llvm_triple_to_nix_double("powerpc64le-unknown-linux-musl"),
"powerpc64le-linux"
);
assert_eq!(
llvm_triple_to_nix_double("riscv32gc-unknown-linux-gnu"),
"riscv32gc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("riscv32gc-unknown-linux-musl"),
"riscv32gc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("riscv64gc-unknown-linux-musl"),
"riscv64gc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("s390x-unknown-linux-musl"),
"s390x-linux"
);
assert_eq!(
llvm_triple_to_nix_double("sparc-unknown-linux-gnu"),
"sparc-linux"
);
assert_eq!(
llvm_triple_to_nix_double("sparc64-unknown-netbsd"),
"sparc64-netbsd"
);
assert_eq!(
llvm_triple_to_nix_double("thumbv7neon-unknown-linux-musleabihf"),
"thumbv7neon-linux"
);
}
}