Revert "3a_asm: ugly workaroud with ldil vs. ldilt"

This reverts commit 79de90a76b7822145fcc57f45afb83ac34225bbf.

diff --git a/3_test/vm.s b/3_test/vm.s
deleted file mode 120000 (symlink)
index 15350bc..0000000
--- a/3_test/vm.s
+++ /dev/null
@@ -1 +0,0 @@
-../8_benchs/src/vm.s
\ No newline at end of file

diff --git a/3a_asm/DT.hs b/3a_asm/DT.hs
index 8696ebe145b23dd3e3dabe8b2f57341226497fe6..562285ba8c2d621e1febecb46f81cb4876218ba0 100644 (file)
--- a/3a_asm/DT.hs
+++ b/3a_asm/DT.hs
@@ -70,15 +70,6 @@ condition = do
        let (Just ret) = lookup str conds
        return $ ret
 
-hlcondition :: Parser (Word32,Word32)
-hlcondition = try(do {
-               c1 <- condition;
-               return $ (0,c1)
-       }) <|> do {
-               hl <- highlow; c <- condition;
-               return $ (hl,c)
-       } <?> "DO NOT USE ldil (you can skip 'l' [low], since it is default)"
-
 carry :: Parser Word32
 carry = do { char 'c'; return 1} <|> do {string ""; return 0}
 
@@ -125,7 +116,7 @@ csv2m dict f = f<$>condition<%>reg<.>(iLit15 dict)<@>reg
 csv2i_cd dict f = f<$>carry<*>updateDisable<*>condition<%>reg<.>reg<.>(iLit5 dict)
 csv2i_d dict f = f<$>updateDisable<*>condition<%>reg<.>reg<.>(iLit5 dict)
 csv2i_scd dict f = f<$>sign<*>carry<*>updateDisable<*>condition<%>reg<.>reg<.>(iLit12 dict)
-csv2i_sl dict f = f<$>sign<*>hlcondition<%>reg<.>(iLit16 dict)
+csv2i_sl dict f = f<$>sign<*>highlow<*>condition<%>reg<.>(iLit16 dict)
 csv2i_lfd dict f = f<$>highlow<*>fill<*>updateDisable<*>condition<%>reg<.>(iLit16 dict)
 csv3_cd f = f<$>carry<*>updateDisable<*>condition<%>reg<.>reg<.>reg
 csv3_d f = f<$>updateDisable<*>condition<%>reg<.>reg<.>reg
@@ -197,7 +188,7 @@ aformi opcd s c d cond rd ra imm = pack [(cond,28),(opcd,23),(rd,19),(ra,15),(im
 aformi' opcd s c d cond rd ra = aformi opcd s c d cond rd ra 0
 
 lformi opcd hl f d cond rd imm = pack [(cond,28),(opcd,23),(rd,19),(imm,3),(hl,2),(f,1),(d,0)]
-lformi' opcd s (hl,cond) rd imm = lformi opcd s hl 0 cond rd imm
+lformi' opcd s hl cond rd imm = lformi opcd s hl 0 cond rd imm
 lformi'not opcd cond rd = lformi opcd 0 1 0 cond rd 0xefffffff
 
 mformi opcd cond rd disp ra = pack [(cond,28),(opcd,23),(rd,19),(ra,15),(disp,0)]