Add Lowlevel::And

crates/compiler/gen_dev/src/generic64/mod.rs

@@ -1132,6 +1132,22 @@ impl<
         }
     }
 
+    fn build_and(&mut self, dst: &Symbol, src1: &Symbol, src2: &Symbol, arg_layout: &InLayout<'a>) {
+        match *arg_layout {
+            Layout::BOOL => {
+                let dst_reg = self.storage_manager.claim_general_reg(&mut self.buf, dst);
+                let src1_reg = self
+                    .storage_manager
+                    .load_to_general_reg(&mut self.buf, src1);
+                let src2_reg = self
+                    .storage_manager
+                    .load_to_general_reg(&mut self.buf, src2);
+                ASM::and_reg64_reg64_reg64(&mut self.buf, dst_reg, src1_reg, src2_reg);
+            }
+            x => todo!("And: layout, {:?}", x),
+        }
+    }
+
     fn build_num_lt(
         &mut self,
         dst: &Symbol,

crates/compiler/gen_dev/src/lib.rs

@@ -623,6 +623,19 @@ trait Backend<'a> {
                 );
                 self.build_neq(sym, &args[0], &args[1], &arg_layouts[0])
             }
+            LowLevel::And => {
+                debug_assert_eq!(2, args.len(), "And: expected to have exactly two argument");
+                debug_assert_eq!(
+                    arg_layouts[0], arg_layouts[1],
+                    "And: expected all arguments of to have the same layout"
+                );
+                debug_assert_eq!(
+                    Layout::BOOL,
+                    *ret_layout,
+                    "And: expected to have return layout of type Bool"
+                );
+                self.build_and(sym, &args[0], &args[1], &arg_layouts[0])
+            }
             LowLevel::NumLt => {
                 debug_assert_eq!(
                     2,
@@ -1016,6 +1029,9 @@ trait Backend<'a> {
     /// build_neq stores the result of `src1 != src2` into dst.
     fn build_neq(&mut self, dst: &Symbol, src1: &Symbol, src2: &Symbol, arg_layout: &InLayout<'a>);
 
+    /// build_and stores the result of `src1 && src2` into dst.
+    fn build_and(&mut self, dst: &Symbol, src1: &Symbol, src2: &Symbol, arg_layout: &InLayout<'a>);
+
     /// build_num_lt stores the result of `src1 < src2` into dst.
     fn build_num_lt(
         &mut self,

crates/compiler/test_gen/src/gen_compare.rs

@@ -111,6 +111,15 @@ fn neq_bool_tag() {
     );
 }
 
+#[test]
+#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
+fn and_bool() {
+    assert_evals_to!("Bool.true && Bool.true", true, bool);
+    assert_evals_to!("Bool.true && Bool.false", false, bool);
+    assert_evals_to!("Bool.false && Bool.true", false, bool);
+    assert_evals_to!("Bool.false && Bool.false", false, bool);
+}
+
 #[test]
 #[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
 fn empty_record() {