sem [ faddd fsubd fmuld fdivd ] {
F8
(
rd
,
op(
F8
(
rs1
)
,
F8
(
rs2
)
)
); } where op in [ + - * / ];