cranelift-codegen-meta 0.131.0

Metaprogram for cranelift-codegen code generator library
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

use crate::cdsl::isa::TargetIsa;
use crate::cdsl::settings::SettingGroupBuilder;

pub(crate) fn define() -> TargetIsa {
    let mut settings = SettingGroupBuilder::new("s390x");

    // The baseline architecture for cranelift is z14 (arch12),
    // so we list only facilities of later processors here.

    // z15 (arch13) facilities
    let has_mie3 = settings.add_bool(
        "has_mie3",
        "Has Miscellaneous-Instruction-Extensions Facility 3 support.",
        "",
        false,
    );
    let has_vxrs_ext2 = settings.add_bool(
        "has_vxrs_ext2",
        "Has Vector-Enhancements Facility 2 support.",
        "",
        false,
    );

    // z16 (arch14) has no new facilities that can be exploited by cranelift

    // z17 (arch15) facilities
    let has_mie4 = settings.add_bool(
        "has_mie4",
        "Has Miscellaneous-Instruction-Extensions Facility 4 support.",
        "",
        false,
    );
    let has_vxrs_ext3 = settings.add_bool(
        "has_vxrs_ext3",
        "Has Vector-Enhancements Facility 3 support.",
        "",
        false,
    );

    // Architecture level presets
    settings.add_preset(
        "arch13",
        "Thirteenth Edition of the z/Architecture.",
        preset!(has_mie3 && has_vxrs_ext2),
    );
    settings.add_preset(
        "arch14",
        "Fourteenth Edition of the z/Architecture.",
        preset!(has_mie3 && has_vxrs_ext2),
    );
    settings.add_preset(
        "arch15",
        "Fifteenth Edition of the z/Architecture.",
        preset!(has_mie3 && has_mie4 && has_vxrs_ext2 && has_vxrs_ext3),
    );

    // Processor presets
    settings.add_preset(
        "z15",
        "IBM z15 processor.",
        preset!(has_mie3 && has_vxrs_ext2),
    );
    settings.add_preset(
        "z16",
        "IBM z16 processor.",
        preset!(has_mie3 && has_vxrs_ext2),
    );
    settings.add_preset(
        "z17",
        "IBM z17 processor.",
        preset!(has_mie3 && has_mie4 && has_vxrs_ext2 && has_vxrs_ext3),
    );

    TargetIsa::new("s390x", settings.build())
}