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

;; GENERATED BY `isaspec`. DO NOT EDIT!!!

(attr MInst.FpuRRIMod (tag isaspec_generated))

(spec
    (MInst.FpuRRIMod fpu_op rd ri rn)
    (provide
        (=>
            (= (:lane_size_in_bits fpu_op) #x40)
            (=
                (conv_to 128 (as rd (bv 64)))
                (zero_ext 128 (concat (extract 0 0 (conv_to 128 (as rn (bv 64)))) (extract 62 0 (conv_to 128 (as ri (bv 64))))))
            )
        )
        (=>
            (= (:lane_size_in_bits fpu_op) #x20)
            (=
                (conv_to 128 (as rd (bv 64)))
                (zero_ext
                    128
                    (concat
                        (concat (extract 32 32 (conv_to 128 (as rn (bv 64)))) (extract 62 32 (conv_to 128 (as ri (bv 64)))))
                        (concat (extract 0 0 (conv_to 128 (as rn (bv 64)))) (extract 30 0 (conv_to 128 (as ri (bv 64)))))
                    )
                )
            )
        )
    )
    (require (or (= (:lane_size_in_bits fpu_op) #x40) (= (:lane_size_in_bits fpu_op) #x20)))
)