cranelift-codegen 0.134.0

Low-level 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

; Parameters of a load operation.
(state isa_load
    (type
        (struct
            (active Bool)
            (size_bits Int)
            (addr (bv 64))
        )
    )
    (default
        (not (:active isa_load))
    )
)

; Parameters of a store operation.
(state isa_store
    (type
        (struct
            (active Bool)
            (size_bits Int)
            (addr (bv 64))
            (value (bv 64))
        )
    )
    (default
        (and
            ; Store is not active.
            (not (:active isa_store))

            ; Must provide a fixed size in the default case, otherwise type
            ; inference is underconstrained.
            (= (:size_bits isa_store) 1)
        )
    )
)

; Floating point control register.
(state fpcr
    ; FPCR is a 64-bit register.
    (type (bv 64))

    ; Unconstrained. We currently do not model the FPCR configuration bits.
    (default true)
)