asm/vm: add ifq and ifql instructions.

* share/txr/stdlib/asm.tl (op-ifq, op-ifql): New opcode
types.

* vm.c (vm_ifq, vm_ifql): New static functions.
(vm_execute): Handle IFQ and IFQL opcodes.

* vmop.h (vm_op_t): Regenerated.

1 files changed, 28 insertions, 0 deletions

diff --git a/vm.c b/vm.c
index 4edf4a85..450165f0 100644
--- a/vm.c
+++ b/vm.c
@@ -441,6 +441,28 @@ static void vm_if(struct vm *vm, vm_word_t insn)
     vm->ip = vm_insn_bigop(ip);
 }
 
+static void vm_ifq(struct vm *vm, vm_word_t insn)
+{
+  unsigned ip = vm_insn_bigop(insn);
+  vm_word_t arg = vm->code[vm->ip++];
+  val a = vm_get(vm->dspl, vm_arg_operand_lo(arg));
+  val b = vm_get(vm->dspl, vm_arg_operand_hi(arg));
+
+  if (a != b)
+    vm->ip = vm_insn_bigop(ip);
+}
+
+static void vm_ifql(struct vm *vm, vm_word_t insn)
+{
+  unsigned ip = vm_insn_bigop(insn);
+  vm_word_t arg = vm->code[vm->ip++];
+  val a = vm_get(vm->dspl, vm_arg_operand_lo(arg));
+  val b = vm_get(vm->dspl, vm_arg_operand_hi(arg));
+
+  if (!eql(a, b))
+    vm->ip = vm_insn_bigop(ip);
+}
+
 static void vm_uwprot(struct vm *vm, vm_word_t insn)
 {
   int saved_lev = vm->lev;
@@ -667,6 +689,12 @@ static val vm_execute(struct vm *vm)
     case IF:
       vm_if(vm, insn);
       break;
+    case IFQ:
+      vm_ifq(vm, insn);
+      break;
+    case IFQL:
+      vm_ifql(vm, insn);
+      break;
     case UWPROT:
       vm_uwprot(vm, insn);
       break;