if and while fixes

lambdaclass · Feb 13, 2024 · 7427ac2 · 7427ac2
1 parent 24126b7
commit 7427ac2
Show file tree

Hide file tree

Showing 2 changed files with 289 additions and 184 deletions.
diff --git a/crates/concrete_codegen_mlir/src/codegen.rs b/crates/concrete_codegen_mlir/src/codegen.rs
@@ -517,7 +517,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
         BinOp::Lt => {
             let value = if is_float {
@@ -557,7 +557,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
         BinOp::Le => {
             let value = if is_float {
@@ -597,7 +597,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
         BinOp::Ne => {
             let value = if is_float {
@@ -625,7 +625,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
         BinOp::Ge => {
             let value = if is_float {
@@ -665,7 +665,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
         BinOp::Gt => {
             let value = if is_float {
@@ -705,7 +705,7 @@ fn compile_binop<'c: 'b, 'b>(
                     .unwrap()
                     .into()
             };
-            (value, lhs_ty)
+            (value, TyKind::Bool)
         }
     }
 }