hacl 0.0.3-pre.1

Crypto library using formally verified code from the HACL project
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

#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn simd128_support(target: &str) -> bool {
    if target != "x86_64" {
        // We don't want any SIMD for x86 for now when cross compiling.
        return false;
    }

    std::arch::is_x86_feature_detected!("sse2")
        && std::arch::is_x86_feature_detected!("sse3")
        && std::arch::is_x86_feature_detected!("sse4.1")
        && std::arch::is_x86_feature_detected!("avx")
}

#[cfg(target_arch = "aarch64")]
fn simd128_support(_target: &str) -> bool {
    true
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64", target_arch = "aarch64")))]
fn simd128_support(_target: &str) -> bool {
    // XXX: Check for z14 or z15
    false
}

#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn simd256_support(target: &str) -> bool {
    if target != "x86_64" {
        // We don't want any SIMD for x86 for now when cross compiling.
        return false;
    }

    std::arch::is_x86_feature_detected!("avx2")
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))]
fn simd256_support(_target: &str) -> bool {
    // XXX: Check for z14 or z15
    false
}

#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn bmi2_adx_support(target: &str) -> bool {
    if target != "x86_64" {
        // We don't want any SIMD for x86 for now when cross compiling.
        return false;
    }

    std::arch::is_x86_feature_detected!("bmi2") && std::arch::is_x86_feature_detected!("adx")
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))]
fn bmi2_adx_support(_target: &str) -> bool {
    false
}

#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn sha_ni_support(target: &str) -> bool {
    if target != "x86_64" {
        // We don't want any SIMD for x86 for now when cross compiling.
        return false;
    }

    std::arch::is_x86_feature_detected!("sha")
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))]
fn sha_ni_support(_target: &str) -> bool {
    false
}

#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
fn aes_ni_support(target: &str) -> bool {
    if target != "x86_64" {
        // We don't want any SIMD for x86 for now when cross compiling.
        return false;
    }

    // Note that we don't check for "movbe" here.
    // This will be checked only on runtime.
    // This is good enough here for the build.
    std::arch::is_x86_feature_detected!("avx")
        && std::arch::is_x86_feature_detected!("sse")
        && std::arch::is_x86_feature_detected!("aes")
        && std::arch::is_x86_feature_detected!("pclmulqdq")
}

#[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))]
fn aes_ni_support(_target: &str) -> bool {
    false
}

fn main() {
    // We can't use cfg for cross compilation because the build script is compiled
    // for the host.
    let target_arch = std::env::var("CARGO_CFG_TARGET_ARCH").unwrap_or_default();
    eprintln!("Building for {target_arch}");

    if simd128_support(&target_arch) {
        println!("cargo:rustc-cfg=simd128");
    }
    if simd256_support(&target_arch) {
        println!("cargo:rustc-cfg=simd256");
    }
    if bmi2_adx_support(&target_arch) {
        println!("cargo:rustc-cfg=bmi2");
        println!("cargo:rustc-cfg=adx");
    }
    if sha_ni_support(&target_arch) {
        println!("cargo:rustc-cfg=sha_ni");
    }
    if aes_ni_support(&target_arch) {
        println!("cargo:rustc-cfg=aes_ni");
    }
}