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

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

(attr MInst.MovToFpu (tag isaspec_generated))

(spec
    (MInst.MovToFpu rd rn size)
    (provide
        (match
            size
            ((Size64) (= rd (zero_ext 128 (as rn (bv 64)))))
            ((Size32) (= rd (zero_ext 128 (extract 31 0 (as rn (bv 64))))))
            ((Size16) (= rd (zero_ext 128 (extract 15 0 (as rn (bv 64))))))
        )
    )
    (require (match size ((Size64) true) ((Size32) true) ((Size16) true)))
)