Commit 7e583a9f authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

fixed semantic translation for smlad - 001

parent b8700380
Pipeline #1225 failed with stage
in 1 minute and 8 seconds
......@@ -1449,8 +1449,8 @@ val sem-smlad x = do
product2 <- mktemp;
result <- mktemp;
mul 32 product1 (var (varl 16 opnd1)) (var (varl 16 opnd2));
mul 32 product2 (var (at-offset (varl 16 opnd1) 16)) (var (at-offset (varl 16 opnd2) 16));
mul 32 product1 (var (varl 16 rn)) (var (varl 16 opnd2));
mul 32 product2 (var (at-offset (varl 16 rn) 16)) (var (at-offset (varl 16 opnd2) 16));
add 64 result (var product1) (var product2);
add 64 result (var result) ra;
......@@ -1460,6 +1460,10 @@ val sem-smlad x = do
cmpneq 64 fQF (var result) (var rd)
end
val sem-smladx x = do
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