From e7b5693587cb8655e781d46fa97ebe98a8c2b9b4 Mon Sep 17 00:00:00 2001
From: XingZi <20374272@buaa.edu.cn>
Date: Sat, 31 Aug 2024 16:08:16 +0800
Subject: [PATCH 1/7] [fix](mips): fix

---
 libs/mips/src/mips_printer.cpp |  2 +-
 libs/mips/src/translator.cpp   | 27 +++++++++++++++++++--------
 tests/test_mips.cpp            |  8 ++++----
 3 files changed, 24 insertions(+), 13 deletions(-)

diff --git a/libs/mips/src/mips_printer.cpp b/libs/mips/src/mips_printer.cpp
index dc45064..652cc09 100644
--- a/libs/mips/src/mips_printer.cpp
+++ b/libs/mips/src/mips_printer.cpp
@@ -160,7 +160,7 @@ void ICode::PrintCode(std::ostream &out) {
         rs->PrintReg(out);
         out << ", " << label << std::endl;
     } else if (op <= BC1T && op >= BC1F) {
-        Ope = op == BC1F ? "bc1f" : op == BC1T ? "bc1f" : "";
+        Ope = op == BC1F ? "bc1f" : op == BC1T ? "bc1t" : "";
         out << Ope << " " << label << std::endl;
     } else {
         TOLANG_DIE("ICode not supported.");
diff --git a/libs/mips/src/translator.cpp b/libs/mips/src/translator.cpp
index 5d2c1fb..8b0bcca 100644
--- a/libs/mips/src/translator.cpp
+++ b/libs/mips/src/translator.cpp
@@ -133,9 +133,17 @@ void Translator::translate(UnaryOperatorPtr unaryOperatorPtr) {
         manager->occupy(operandRegPtr, unaryOperatorPtr);
     } else if (unaryOperatorPtr->OpType() == UnaryOpType::Neg) { // -
         auto result = manager->allocReg(unaryOperatorPtr);
+        if (unaryOperatorPtr->GetType()->IsIntegerTy()) {
+            manager->addCode(
+                new RCode(Subu, result, manager->zero, operandRegPtr));
+        } else if (unaryOperatorPtr->GetType()->IsIntegerTy()) {
+            auto reg0 = manager->getFreeFloat();
+            std::string name0 = manager->addFloat(0);
+            manager->addCode(new ICode(LS, reg0, name0));
+            manager->addCode(new RCode(SubS, result, reg0, operandRegPtr));
+        }
         auto optype = unaryOperatorPtr->GetType()->IsFloatTy() ? SubS : Subu;
-        manager->addCode(
-            new RCode(optype, result, manager->zero, operandRegPtr));
+
     } else { // not !
         assert(unaryOperatorPtr->OpType() == UnaryOpType::Not &&
                "invalid unary operator");
@@ -211,11 +219,11 @@ void Translator::translate(CompareInstructionPtr compareInstructionPtr) {
             doOpposite = true;
             break;
         case CompareOpType::GreaterThan:
-            op = CLtS;
+            op = CLeS;
             doOpposite = true;
             break;
         case CompareOpType::GreaterThanOrEqual:
-            op = CLeS;
+            op = CLtS;
             doOpposite = true;
             break;
         case CompareOpType::LessThan:
@@ -255,10 +263,10 @@ void Translator::translate(BranchInstPtr branchInstPtr) {
     std::string falseLabel =
         *manager->getLabelName(branchInstPtr->FalseBlock());
 
-    manager->addCode(new ICode(Bnez, cond, falseLabel));
+    manager->addCode(new ICode(Bnez, cond, trueLabel));
     manager->addCode(new RCode(Nop));
 
-    manager->addCode(new JCode(J, trueLabel));
+    manager->addCode(new JCode(J, falseLabel));
     manager->addCode(new RCode(Nop));
 }
 
@@ -269,8 +277,12 @@ void Translator::translate(CallInstPtr callInstPtr) {
             pushSet.insert(occ.first);
         }
     }
+    for (UsePtr use : *(callInstPtr->GetUseList())) {
+        pushSet.erase(use->GetValue());
+    }
+
     int pos = manager->currentOffset - 4 -
-              4 * (pushSet.size() - callInstPtr->GetUseList()->size());
+              4 * pushSet.size();
     for (UsePtr use : *(callInstPtr->GetUseList())) {
         MipsCodeType codeType =
             use->GetValue()->GetType()->IsFloatTy() ? SS : SW;
@@ -279,7 +291,6 @@ void Translator::translate(CallInstPtr callInstPtr) {
             use->GetValue()->GetType()->IsFloatTy() ? FloatRegTy : TmpRegTy);
         manager->addCode(new ICode(codeType, reg, manager->sp, pos));
         pos -= 4;
-        pushSet.erase(use->GetValue());
     }
 
     for (auto valuePtr : pushSet) {
diff --git a/tests/test_mips.cpp b/tests/test_mips.cpp
index b3cec74..aa27123 100644
--- a/tests/test_mips.cpp
+++ b/tests/test_mips.cpp
@@ -124,7 +124,7 @@ add.s $f8, $f0, $f9
 s.s $f8, 0($sp)
 l.s $f10, 0($sp)
 l.s $f11, flt4
-c.lt.s $f10, $f11
+c.le.s $f10, $f11
 bc1f main_1
 nop
 addiu $t0, $zero, 0
@@ -135,9 +135,9 @@ nop
 addiu $t0, $zero, 1
 
 main_2:
-bnez $t0, main_4
+bnez $t0, main_3
 nop
-j main_3
+j main_4
 nop
 
 main_3:
@@ -177,7 +177,7 @@ TEST_CASE("testing mips") {
     translator.print(ss);
 
     auto ir = ss.str();
-    // std::cout << ir;
+//    std::cout << ir;
     CHECK_EQ(ir, EXPECTED);
 }
 

From 6e6bcdf2ba6b00bd25f7fa84ab0360bbc07af0e8 Mon Sep 17 00:00:00 2001
From: XingZi <20374272@buaa.edu.cn>
Date: Sat, 31 Aug 2024 16:36:34 +0800
Subject: [PATCH 2/7] [fix](mips): change input format

---
 testcases/fibo.input   | 7 +------
 testcases/newton.input | 4 +---
 testcases/sum.input    | 3 +--
 testcases/sum.output   | 2 +-
 4 files changed, 4 insertions(+), 12 deletions(-)

diff --git a/testcases/fibo.input b/testcases/fibo.input
index 88e0b7e..119f08d 100644
--- a/testcases/fibo.input
+++ b/testcases/fibo.input
@@ -1,6 +1 @@
-5
-1
-3
-5
-7
-9
+5 1 3 5 7 9
\ No newline at end of file
diff --git a/testcases/newton.input b/testcases/newton.input
index b3b5ced..c2a8a22 100644
--- a/testcases/newton.input
+++ b/testcases/newton.input
@@ -1,3 +1 @@
-5
-0.00001
-2 3 4 5 7
+5 0.00001 2 3 4 5 7
\ No newline at end of file
diff --git a/testcases/sum.input b/testcases/sum.input
index 63bb245..e212eb8 100644
--- a/testcases/sum.input
+++ b/testcases/sum.input
@@ -1,2 +1 @@
-10
-1 2 3 4 5 6 7 8 9 10
+10 1 2 3 4 5 6 7 8 9 10
\ No newline at end of file
diff --git a/testcases/sum.output b/testcases/sum.output
index c3f407c..7c6ba0f 100644
--- a/testcases/sum.output
+++ b/testcases/sum.output
@@ -1 +1 @@
-55
+55
\ No newline at end of file

From 69814d707ed336ea8313059cc329423f81a0fdc0 Mon Sep 17 00:00:00 2001
From: XingZi <20374272@buaa.edu.cn>
Date: Sat, 31 Aug 2024 16:48:08 +0800
Subject: [PATCH 3/7] [fix](mips): test.py - add precision check

---
 scripts/test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/test.py b/scripts/test.py
index 87f215b..f47efda 100644
--- a/scripts/test.py
+++ b/scripts/test.py
@@ -88,7 +88,7 @@ def compare(test_result_file: pathlib.Path, output_file: pathlib.Path):
     for no, (test_result, expected_result) in enumerate(
         zip(test_results, expected_results)
     ):
-        if test_result != expected_result:
+        if abs(test_result - expected_result) > 1e-6:
             is_success = False
             print(f"line {no + 1}: {test_result} != {expected_result}")
 

From 3f26621c1cc0f63bad5a3ce13470f215936f1946 Mon Sep 17 00:00:00 2001
From: wokron <stringcatwok@gmail.com>
Date: Sat, 31 Aug 2024 17:53:57 +0800
Subject: [PATCH 4/7] =?UTF-8?q?=E6=B5=8B=E8=AF=95=E8=84=9A=E6=9C=AC?=
 =?UTF-8?q?=E5=92=8C=E6=A0=B7=E4=BE=8B=E9=80=82=E9=85=8D=20mars?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 scripts/test.py        | 27 +++++++++++++++++++--------
 testcases/fibo.input   |  7 ++++++-
 testcases/newton.input |  8 +++++++-
 testcases/sum.input    | 12 +++++++++++-
 4 files changed, 43 insertions(+), 11 deletions(-)

diff --git a/scripts/test.py b/scripts/test.py
index f47efda..3a92d97 100644
--- a/scripts/test.py
+++ b/scripts/test.py
@@ -79,18 +79,29 @@ def general_test(test_files: list[pathlib.Path], preprocess_fn, run_fn, compare_
 
 
 def compare(test_result_file: pathlib.Path, output_file: pathlib.Path):
+    def convert_to_float(text):
+        try:
+            val = float(text)
+        except ValueError:
+            val = f"'{text}'"
+        return val
+
     with open(test_result_file, "r") as f:
-        test_results = map(float, f.readlines())
+        test_results = map(convert_to_float, f.readlines())
     with open(output_file, "r") as f:
-        expected_results = map(float, f.readlines())
+        expected_results = map(convert_to_float, f.readlines())
 
     is_success = True
-    for no, (test_result, expected_result) in enumerate(
-        zip(test_results, expected_results)
-    ):
-        if abs(test_result - expected_result) > 1e-6:
-            is_success = False
-            print(f"line {no + 1}: {test_result} != {expected_result}")
+    try:
+        for no, (test_result, expected_result) in enumerate(
+            zip(test_results, expected_results, strict=True)
+        ):
+            if type(test_result) != float or abs(test_result - expected_result) > 1e-6:
+                is_success = False
+                print(f"line {no + 1}: {test_result} != {expected_result}")
+    except ValueError:
+        is_success = False
+        print("result number not matched")
 
     return is_success
 
diff --git a/testcases/fibo.input b/testcases/fibo.input
index 119f08d..4896dee 100644
--- a/testcases/fibo.input
+++ b/testcases/fibo.input
@@ -1 +1,6 @@
-5 1 3 5 7 9
\ No newline at end of file
+5
+1
+3
+5
+7
+9
\ No newline at end of file
diff --git a/testcases/newton.input b/testcases/newton.input
index c2a8a22..c387dc8 100644
--- a/testcases/newton.input
+++ b/testcases/newton.input
@@ -1 +1,7 @@
-5 0.00001 2 3 4 5 7
\ No newline at end of file
+5
+0.00001
+2
+3
+4
+5
+7
diff --git a/testcases/sum.input b/testcases/sum.input
index e212eb8..c59d0b3 100644
--- a/testcases/sum.input
+++ b/testcases/sum.input
@@ -1 +1,11 @@
-10 1 2 3 4 5 6 7 8 9 10
\ No newline at end of file
+10
+1
+2
+3
+4
+5
+6
+7
+8
+9
+10
\ No newline at end of file

From a3a486f645dc45c55117a56d804585fc99de605f Mon Sep 17 00:00:00 2001
From: XingZi <20374272@buaa.edu.cn>
Date: Sat, 31 Aug 2024 19:08:21 +0800
Subject: [PATCH 5/7] [fix](mips): add \n for test

---
 libs/mips/include/mips/mips_manager.h | 1 +
 libs/mips/src/mips_manager.cpp        | 2 ++
 libs/mips/src/translator.cpp          | 4 ++++
 tests/test_mips.cpp                   | 3 +++
 4 files changed, 10 insertions(+)

diff --git a/libs/mips/include/mips/mips_manager.h b/libs/mips/include/mips/mips_manager.h
index 8413eb0..f18c33f 100644
--- a/libs/mips/include/mips/mips_manager.h
+++ b/libs/mips/include/mips/mips_manager.h
@@ -31,6 +31,7 @@ class MipsManager {
     ZeroReg *zero;
     StkPtrReg *sp;
     RetAddrReg *ra;
+    ArgumentReg *a0;
     ValueReg *v0;
     // f0 和 f12 保留，用于输入输出
     FloatReg *f0;
diff --git a/libs/mips/src/mips_manager.cpp b/libs/mips/src/mips_manager.cpp
index 10fba36..01ba060 100644
--- a/libs/mips/src/mips_manager.cpp
+++ b/libs/mips/src/mips_manager.cpp
@@ -15,6 +15,7 @@ MipsManager::MipsManager() {
     zero = new ZeroReg();
     sp = new StkPtrReg();
     ra = new RetAddrReg();
+    a0 = new ArgumentReg(0);
     v0 = new ValueReg(0);
     f0 = new FloatReg(0);
     f12 = new FloatReg(12);
@@ -42,6 +43,7 @@ MipsManager::~MipsManager() {
     delete zero;
     delete sp;
     delete ra;
+    delete a0;
     delete v0;
     delete f0;
     delete f12;
diff --git a/libs/mips/src/translator.cpp b/libs/mips/src/translator.cpp
index 8b0bcca..ecd2f2b 100644
--- a/libs/mips/src/translator.cpp
+++ b/libs/mips/src/translator.cpp
@@ -416,4 +416,8 @@ void Translator::translate(OutputInstPtr outputInstPtr) {
     manager->addCode(new RCode(AddS, manager->f12, reg, reg0));
     manager->addCode(new ICode(Addiu, manager->v0, manager->zero, 2));
     manager->addCode(new RCode(Syscall));
+    // for test: put '\n'
+    manager->addCode(new ICode(Addiu, manager->a0, manager->zero, 10));
+    manager->addCode(new ICode(Addiu, manager->v0, manager->zero, 11));
+    manager->addCode(new RCode(Syscall));
 }
diff --git a/tests/test_mips.cpp b/tests/test_mips.cpp
index aa27123..677789b 100644
--- a/tests/test_mips.cpp
+++ b/tests/test_mips.cpp
@@ -146,6 +146,9 @@ l.s $f14, flt1
 add.s $f12, $f13, $f14
 addiu $v0, $zero, 2
 syscall
+addiu $a0, $zero, 10
+addiu $v0, $zero, 11
+syscall
 j main_5
 nop
 

From fd8e712e8648fde2b89cd1e48eaad5fcfa2a9f0c Mon Sep 17 00:00:00 2001
From: XingZi <20374272@buaa.edu.cn>
Date: Sat, 31 Aug 2024 20:01:08 +0800
Subject: [PATCH 6/7] [fix](mips): add test info print

---
 scripts/test.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/test.py b/scripts/test.py
index 3a92d97..d9ab94d 100644
--- a/scripts/test.py
+++ b/scripts/test.py
@@ -83,6 +83,7 @@ def convert_to_float(text):
         try:
             val = float(text)
         except ValueError:
+            print(f"line {no + 1}: {text} is not float")
             val = f"'{text}'"
         return val
 

From 7f4ebda7cc8a72ab1f6814c817c4555602e1e75c Mon Sep 17 00:00:00 2001
From: wokron <stringcatwok@gmail.com>
Date: Sat, 31 Aug 2024 20:06:36 +0800
Subject: [PATCH 7/7] =?UTF-8?q?=E6=B6=88=E9=99=A4=E7=A9=BA=E7=99=BD?=
 =?UTF-8?q?=E8=A1=8C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 scripts/test.py | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/scripts/test.py b/scripts/test.py
index d9ab94d..a59f74b 100644
--- a/scripts/test.py
+++ b/scripts/test.py
@@ -79,7 +79,11 @@ def general_test(test_files: list[pathlib.Path], preprocess_fn, run_fn, compare_
 
 
 def compare(test_result_file: pathlib.Path, output_file: pathlib.Path):
-    def convert_to_float(text):
+
+    def is_not_empty_line(text: str):
+        return len(text.strip()) > 0
+
+    def convert_to_float(text: str):
         try:
             val = float(text)
         except ValueError:
@@ -88,9 +92,11 @@ def convert_to_float(text):
         return val
 
     with open(test_result_file, "r") as f:
-        test_results = map(convert_to_float, f.readlines())
+        test_results = map(convert_to_float, filter(is_not_empty_line, f.readlines()))
     with open(output_file, "r") as f:
-        expected_results = map(convert_to_float, f.readlines())
+        expected_results = map(
+            convert_to_float, filter(is_not_empty_line, f.readlines())
+        )
 
     is_success = True
     try: