sem [ ldstub ldstuba ] { val
aa
=
Rx
(
rs1
)
+
get_src2
(
i
,
rs2
,
simm13
)
;
Rx
(
rd
,
M1
(
aa
)
);
M1
(
aa
,
0xff
); };