bhc-target

Target specifications and platform support for the Basel Haskell Compiler.

Overview

This crate defines target machine specifications including architecture, operating system, ABI, and CPU features. It supports cross-compilation to multiple platforms.

Supported Targets

Key Types

Usage

Getting Target Information

use bhc_target::{TargetSpec, Arch, Os};

// Get the host target
let host = TargetSpec::host();
println!("Host: {}", host.triple());

// Create a specific target
let target = TargetSpec::parse("aarch64-apple-darwin")?;
assert_eq!(target.arch, Arch::Aarch64);
assert_eq!(target.os, Os::Darwin);

Architecture Properties

use bhc_target::Arch;

let arch = Arch::X86_64;

// Pointer width
assert_eq!(arch.pointer_width(), 64);

// Natural alignment
assert_eq!(arch.natural_alignment(), 8);

// Architecture name
assert_eq!(arch.name(), "x86_64");

Architectures

pub enum Arch {
    X86_64,    // AMD64
    Aarch64,   // 64-bit ARM
    Wasm32,    // 32-bit WebAssembly
    Wasm64,    // 64-bit WebAssembly
    Riscv32,   // 32-bit RISC-V
    Riscv64,   // 64-bit RISC-V
    Nvptx64,   // NVIDIA PTX
    Amdgcn,    // AMD GCN/RDNA
}

Operating Systems

pub enum Os {
    Linux,
    Darwin,    // macOS/iOS
    Windows,
    Wasi,      // WebAssembly System Interface
    None,      // Bare metal
    Cuda,      // NVIDIA CUDA
    Amdhsa,    // AMD HSA
}

CPU Features

use bhc_target::{CpuFeatures, X86Feature};

let mut features = CpuFeatures::default();

// Enable SIMD features
features.enable(X86Feature::Sse2);
features.enable(X86Feature::Avx);
features.enable(X86Feature::Avx2);
features.enable(X86Feature::Fma);

// Check features
if features.has(X86Feature::Avx512f) {
    println!("AVX-512 available");
}

x86-64 Features

AArch64 Features

Target Triple

Targets are specified using the standard triple format: <arch>-<vendor>-<os>-<abi>

use bhc_target::TargetSpec;

// Parse from string
let target = TargetSpec::parse("x86_64-unknown-linux-gnu")?;

// Access components
println!("Architecture: {}", target.arch);
println!("Vendor: {}", target.vendor);
println!("OS: {}", target.os);
println!("ABI: {}", target.abi);

// Get the triple string
println!("Triple: {}", target.triple());

Data Layout

use bhc_target::TargetSpec;

let target = TargetSpec::parse("x86_64-unknown-linux-gnu")?;

// Get data layout for LLVM
let layout = target.data_layout();
// e.g., "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"

Design Notes

• Target specifications are immutable after creation
• Host target is detected at compile time
• GPU targets require specific feature sets
• WASM targets have special handling for linear memory

Related Crates

• bhc-codegen - Uses targets for code generation
• bhc-session - Session holds target configuration
• bhc-driver - Cross-compilation support
• bhc-gpu - GPU target specifications

Specification References

• H26-SPEC Section 12: Target Platforms
• LLVM Target Triple Documentation