package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/src/jasmin.jasmin/AsmTargetBuilder.ml.html

Source file AsmTargetBuilder.ml

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
open PrintASM
open Arch_decl
open Utils
open Asm_utils
open PrintCommon
open CoreIdent

module type AsmTarget = sig

    type reg
    type regx
    type xreg
    type rflag
    type cond
    type asm_op

    val headers             : asm_element list
    val data_segment_header : asm_element list
    val function_header     : asm_element list
    val function_tail       : asm_element list
    val pp_instr_r          : Name.t -> (reg, regx, xreg, rflag, cond, asm_op) Arch_decl.asm_i_r -> asm_element list

end

module type S = sig
    type reg
    type regx
    type xreg
    type rflag
    type cond
    type asm_op

    val asm_of_prog : (reg,regx,xreg,rflag,cond,asm_op) asm_prog -> asm_element list
end

module Make(Target : AsmTarget) : S
    with type reg    = Target.reg
    and  type regx   = Target.regx
    and  type xreg   = Target.xreg
    and  type rflag  = Target.rflag
    and  type cond   = Target.cond
    and  type asm_op = Target.asm_op
= struct

    type reg    = Target.reg
    type regx   = Target.regx
    type xreg   = Target.xreg
    type rflag  = Target.rflag
    type cond   = Target.cond
    type asm_op = Target.asm_op

    let asm_debug_info ({Location.base_loc = ii; _}, _) =
        List.map (fun x -> Dwarf x) (DebugInfo.source_positions ii)

    let pp_instr name instr =
        let Arch_decl.({ asmi_i = i; asmi_ii = ii}) = instr in
        asm_debug_info ii @ Target.pp_instr_r name i

    let pp_instrs name instrs = List.concat_map (pp_instr name) instrs

    let pp_body name decl =pp_instrs name decl.asm_fd_body

    let pp_function_header (name:string) decl =
        if decl.asm_fd_export then
            [
                Label (mangle name);
                Label name;
            ] @ Target.function_header
        else []

    let pp_function_tail decl =
        if decl.asm_fd_export then
            Target.function_tail
        else []

    let pp_function (fname,decl) =
        let name = escape fname.fn_name in
        let headers = pp_function_header name decl in
        let body = pp_body name decl in
        let tail = pp_function_tail decl in
        headers @ body @ tail

    let pp_functions funcs = List.concat_map pp_function funcs

    let pp_function_decl (name, decl : CoreIdent.funname * (_,_,_,_,_,_) asm_fundef) =
        if decl.asm_fd_export then
            let fn = escape name.fn_name in
            [
                Instr (".global", [mangle fn]);
                Instr (".global", [fn])
            ]
        else []

    let pp_functions_decl (funcs) = List.concat_map pp_function_decl funcs

    let pp_data_segment_body globs names = Asm_utils.format_glob_data globs names

    let pp_data_segment globs names =
    if not (List.is_empty globs) then
        let headers = Target.data_segment_header in
        let data = pp_data_segment_body globs names in
        headers @ data
    else
        []

    let asm_of_prog (asm: (reg,regx,xreg,rflag,cond,asm_op) asm_prog) : asm_element list =
        let headers = Target.headers in
        let functions_head = pp_functions_decl asm.asm_funcs in
        let functions_body = pp_functions asm.asm_funcs in
        let data_segment = pp_data_segment asm.asm_globs asm.asm_glob_names in
        headers @ functions_head @ functions_body @ data_segment

end