Commit 3727eb39 authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

fixed semantic translation for smlad - 007

parent a1c25619
Pipeline #1236 passed with stage
in 2 minutes and 7 seconds
......@@ -1452,6 +1452,7 @@ val sem-smlad x = do
product1 <- mktemp;
product2 <- mktemp;
addend <- mktemp;
result <- mktemp;
......@@ -1466,10 +1467,11 @@ val sem-smlad x = do
mul 32 product2 (var factor12) (var factor22);
movsx 64 product1 32 (var product1);
movsx 64 product2 32 (var product2);
movsx 64 product2 32 (var product2);
movsx 64 addend 32 ra;
add 64 result (var product1) (var product2);
add 64 result (var result) ra;
add 64 result (var result) (var addend);
mov 32 rd (var result);
movsx 64 comparator 32 (var rd);
......
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