Commit 37f92723 authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

added semantic translation for smlabb

parent 9d9a7446
Pipeline #1220 passed with stage
in 2 minutes and 7 seconds
......@@ -145,7 +145,7 @@ in
| MLA x: conditional sem-mla x
| MLS x: conditional sem-mls x
| MUL x: conditional sem-mul x
# | SMLABB x: conditional sem-smlabb x
| SMLABB x: conditional sem-smlabb x
# | SMLABT x: conditional sem-smlabt x
# | SMLATB x: conditional sem-smlatb x
# | SMLATT x: conditional sem-smlatt x
......@@ -1375,6 +1375,22 @@ val sem-mul x = do
emit-flags-nz (var result) x.o
end
val sem-smlabb x = do
rd <- lval x.opnd1;
opnd1 <- lval x.opnd4;
opnd2 <- lval x.opnd3;
ra <- rval x.opnd2;
result <- mktemp;
mul 32 result (var (varl 16 opnd1)) (var (varl 16 opnd2));
add 64 result (var result) ra;
mov 32 rd (var result);
cmpneq 64 fQF (var result) (var rd)
end
val sem-smlal x = do
opnd1 <- rval x.opnd3;
opnd2 <- rval x.opnd4;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment