#16 [asm] added or operator support

sleepy/asmik/emit.py

@@ -161,6 +161,10 @@ def emit_intrinsic(
                 lhsr = self.reg_var(lhs)
                 rhsr = self.reg_var(rhs)
                 self.emit_i(Andb(dst, lhsr, rhsr))
+            case tafka.Or(lhs, rhs):
+                lhsr = self.reg_var(lhs)
+                rhsr = self.reg_var(rhs)
+                self.emit_i(Orb(dst, lhsr, rhsr))
             case _:
                 raise NotImplementedError(str(source))
 
@@ -176,9 +180,8 @@ def emit_invokation(
         prev_ra = self.reg_tmp()
         self.emit_i(mov(prev_ra, Reg.ra()))
 
-        self.emit_i(Addim(Reg.ra(), Reg.ip(), Integer(4)))
-
         proc_reg = self.reg_var(source.closure)
+        self.emit_i(Addim(Reg.ra(), Reg.ip(), Integer(4)))
         self.emit_i(Brn(Reg.ze(), proc_reg))
 
         res_reg = self.reg_var(target)

sleepy/tafka/emit.py

@@ -38,7 +38,7 @@
 )
 from sleepy.tafka.representation import Conditional as TafConditional
 from sleepy.tafka.representation import Kind as TafKind
-from sleepy.tafka.representation.rvalue import And, Invokation
+from sleepy.tafka.representation.rvalue import And, Invokation, Or
 
 UniqueNameSequence = Generator[str, None, None]
 
@@ -137,6 +137,8 @@ def visit_application_intrinsic(
                 self.emit_intermidiate(Lt(args[0], args[1]))
             case "and":
                 self.emit_intermidiate(And(args[0], args[1]))
+            case "or":
+                self.emit_intermidiate(Or(args[0], args[1]))
             case _:
                 raise NotImplementedError(str(intrinsic))
 

sleepy/tafka/representation/__init__.py

@@ -22,6 +22,7 @@
     Load,
     Lt,
     Mul,
+    Or,
     Rem,
     RValue,
     Sum,

sleepy/tafka/representation/rvalue.py

@@ -203,3 +203,15 @@ def name(self) -> str:
     @property
     def value(self) -> Kind:
         return Bool()
+
+@dataclass(repr=False)
+class Or(BinaryOperator):
+    @override
+    @property
+    def name(self) -> str:
+        return "or"
+
+    @override
+    @property
+    def value(self) -> Kind:
+        return Bool()