sem [ andn orn xnor ] {
Rx
(
rd
,
op(
Rx
(
rs1
)
,
~
get_src2
(
i
,
rs2
,
simm13
)
)
); } where op in [ & | ^ ];