lamina-ras 0.1.0

ras - as/GAS alternative. Cross-platform assembler: assembly source (.s) to relocatable object files (.o). Used by Lamina, usable standalone.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

//! Target support: which (arch, OS) combinations are supported.

use lamina_platform::{TargetArchitecture, TargetOperatingSystem};

pub fn is_assembly_target_supported(arch: TargetArchitecture, os: TargetOperatingSystem) -> bool {
    if !is_arch_encoded(arch) {
        return false;
    }
    if arch == TargetArchitecture::Arx64 {
        return matches!(
            os,
            TargetOperatingSystem::Linux
                | TargetOperatingSystem::FreeBSD
                | TargetOperatingSystem::OpenBSD
                | TargetOperatingSystem::NetBSD
                | TargetOperatingSystem::DragonFly
                | TargetOperatingSystem::Redox
        );
    }
    matches!(
        os,
        TargetOperatingSystem::Linux
            | TargetOperatingSystem::MacOS
            | TargetOperatingSystem::Windows
            | TargetOperatingSystem::FreeBSD
            | TargetOperatingSystem::OpenBSD
            | TargetOperatingSystem::NetBSD
            | TargetOperatingSystem::DragonFly
            | TargetOperatingSystem::Redox
    )
}

pub fn is_object_file_supported(arch: TargetArchitecture, os: TargetOperatingSystem) -> bool {
    if !is_arch_encoded(arch) {
        return false;
    }
    if arch == TargetArchitecture::Arx64 {
        return matches!(
            os,
            TargetOperatingSystem::Linux
                | TargetOperatingSystem::FreeBSD
                | TargetOperatingSystem::OpenBSD
                | TargetOperatingSystem::NetBSD
                | TargetOperatingSystem::DragonFly
                | TargetOperatingSystem::Redox
        );
    }
    // RISC-V is only relevant on Linux/BSD (no macOS/Windows RISC-V targets)
    if matches!(
        arch,
        TargetArchitecture::Riscv32 | TargetArchitecture::Riscv64
    ) {
        return matches!(
            os,
            TargetOperatingSystem::Linux
                | TargetOperatingSystem::FreeBSD
                | TargetOperatingSystem::OpenBSD
                | TargetOperatingSystem::NetBSD
                | TargetOperatingSystem::DragonFly
                | TargetOperatingSystem::Redox
        );
    }
    matches!(
        os,
        TargetOperatingSystem::Linux
            | TargetOperatingSystem::MacOS
            | TargetOperatingSystem::Windows
            | TargetOperatingSystem::FreeBSD
            | TargetOperatingSystem::OpenBSD
            | TargetOperatingSystem::NetBSD
            | TargetOperatingSystem::DragonFly
            | TargetOperatingSystem::Redox
    )
}

pub fn is_jit_arch_supported(arch: TargetArchitecture) -> bool {
    matches!(
        arch,
        TargetArchitecture::X86_64 | TargetArchitecture::Aarch64 | TargetArchitecture::Riscv64
    )
}

fn is_arch_encoded(arch: TargetArchitecture) -> bool {
    matches!(
        arch,
        TargetArchitecture::X86_64
            | TargetArchitecture::Aarch64
            | TargetArchitecture::Arx64
            | TargetArchitecture::Riscv32
            | TargetArchitecture::Riscv64
    )
}

pub fn unsupported_target_hint(arch: TargetArchitecture, os: TargetOperatingSystem) -> String {
    if !is_arch_encoded(arch) {
        format!(
            "Architecture {:?} has no binary encoder. For WASM use lamina pipeline.",
            arch
        )
    } else if !is_assembly_target_supported(arch, os) {
        if arch == TargetArchitecture::Arx64 {
            return format!(
                "OS {:?} not supported for ARX64 ras output. Supported: Linux, FreeBSD, OpenBSD, NetBSD, DragonFly, Redox.",
                os
            );
        }
        format!(
            "OS {:?} not supported. Supported: Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD, DragonFly, Redox.",
            os
        )
    } else {
        "Target should be supported; check ras::target module.".to_string()
    }
}

pub fn supported_jit_targets_hint() -> &'static str {
    "JIT emits machine code for x86_64, AArch64, and RISC-V 64 (integer-focused MIR subset; see ras assembler JIT). ARX64 supports assembly/object emission only."
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_jit_arch_supported() {
        assert!(is_jit_arch_supported(TargetArchitecture::X86_64));
        assert!(is_jit_arch_supported(TargetArchitecture::Aarch64));
        assert!(is_jit_arch_supported(TargetArchitecture::Riscv64));
        assert!(!is_jit_arch_supported(TargetArchitecture::Riscv32));
    }

    #[test]
    fn test_object_file_supported() {
        assert!(is_object_file_supported(
            TargetArchitecture::X86_64,
            TargetOperatingSystem::Linux
        ));
        assert!(is_object_file_supported(
            TargetArchitecture::X86_64,
            TargetOperatingSystem::MacOS
        ));
        assert!(is_object_file_supported(
            TargetArchitecture::Riscv64,
            TargetOperatingSystem::Linux
        ));
        assert!(!is_object_file_supported(
            TargetArchitecture::Riscv64,
            TargetOperatingSystem::MacOS
        ));
    }
}