teascade/reid-llvm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix bug in Logic Operator conversion

Browse Source
This commit is contained in:
Sofia 2025-07-09 19:00:03 +03:00
parent 974647b401
commit 8afb2c2572
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
reid-llvm-lib/src/compile.rs
View File

@ -359,12 +359,12 @@ impl CmpPredicate {
use LLVMIntPredicate::*; use LLVMIntPredicate::*;
match (self, signed) { match (self, signed) {
(LT, true) => LLVMIntSLT, (LT, true) => LLVMIntSLT,
(GT, true) => LLVMIntSGT,
(LE, true) => LLVMIntSLE, (LE, true) => LLVMIntSLE,
(GT, true) => LLVMIntSGT,
(GE, true) => LLVMIntSGE, (GE, true) => LLVMIntSGE,
(LT, false) => LLVMIntULT, (LT, false) => LLVMIntULT,
(GT, false) => LLVMIntUGT,
(LE, false) => LLVMIntULE, (LE, false) => LLVMIntULE,
(GT, false) => LLVMIntUGT,
(GE, false) => LLVMIntUGE, (GE, false) => LLVMIntUGE,
(EQ, _) => LLVMIntEQ, (EQ, _) => LLVMIntEQ,
(NE, _) => LLVMIntNE, (NE, _) => LLVMIntNE,

6
reid/examples/reid/fibonacci.reid
View File

@ -1,12 +1,12 @@
// Main // Main
fn main() -> bool { fn main() -> bool {
return 1 == fibonacci(3); return 2 == fibonacci(3);
} }
// Fibonacci // Fibonacci
fn fibonacci(value: u16) -> u16 { fn fibonacci(value: u16) -> u16 {
if value < 3 { if value <= 2 {
return 1; return 1;
} }
return 5 + fibonacci(value - 2); return fibonacci(value - 1) + fibonacci(value - 2);
} }

2
reid/src/codegen.rs
View File

@ -291,7 +291,7 @@ impl mir::LogicOperator {
match self { match self {
mir::LogicOperator::LT => CmpPredicate::LT, mir::LogicOperator::LT => CmpPredicate::LT,
mir::LogicOperator::GT => CmpPredicate::GT, mir::LogicOperator::GT => CmpPredicate::GT,
mir::LogicOperator::LE => CmpPredicate::LT, mir::LogicOperator::LE => CmpPredicate::LE,
mir::LogicOperator::GE => CmpPredicate::GE, mir::LogicOperator::GE => CmpPredicate::GE,
mir::LogicOperator::EQ => CmpPredicate::EQ, mir::LogicOperator::EQ => CmpPredicate::EQ,
mir::LogicOperator::NE => CmpPredicate::NE, mir::LogicOperator::NE => CmpPredicate::NE,