"  or a1, a2, a3\n", {"(set! a1 (logior a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  or a2, r0, r0\n", {"(set! a2 0)"}, {"a2"}, {""}, {""}
"  or a1, s7, r0\n", {"(set! a1 '#f)"}, {"a1"}, {""}, {""}
"  ori a2, r0, 1234\n", {"(set! a2 1234)"}, {"a2"}, {""}, {""}
"  ori a2, r0, -1234\n", {"(set! a2 -1234)"}, {"a2"}, {""}, {""}
"  ori a2, a3, -1234\n", {"(set! a2 (logior a3 -1234))"}, {"a2"}, {"a3"}, {""}
"  mtc1 f3, a1\n", {"(set! f3 (gpr->fpr a1))"}, {"f3"}, {"a1"}, {""}
"  mfc1 a1, f3\n", {"(set! a1 (fpr->gpr f3))"}, {"a1"}, {"f3"}, {""}
"  and a1, a2, a3\n", {"(set! a1 (logand a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"L123:\n  lwc1 f3, L123(fp)\n", {"(set! f3 (l.f L123))"}, {"f3"}, {""}, {""}
"  lwc1 f2, 0(a3)\n", {"(set! f2 (l.f a3))"}, {"f2"}, {"a3"}, {""}
"  lwc1 f2, 12(a3)\n", {"(set! f2 (l.f (+ a3 12)))"}, {"f2"}, {"a3"}, {""}
"L123:\n  lb a3, L123(fp)\n", {"(set! a3 (l.b L123))"}, {"a3"}, {""}, {""}
"  lb a2, 0(a3)\n", {"(set! a2 (l.b a3))"}, {"a2"}, {"a3"}, {""}
"  lb a2, 12(a3)\n", {"(set! a2 (l.b (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"L123:\n  lbu a3, L123(fp)\n", {"(set! a3 (l.bu L123))"}, {"a3"}, {""}, {""}
"  lbu a2, 0(a3)\n", {"(set! a2 (l.bu a3))"}, {"a2"}, {"a3"}, {""}
"  lbu a2, 12(a3)\n", {"(set! a2 (l.bu (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"L123:\n  lh a3, L123(fp)\n", {"(set! a3 (l.h L123))"}, {"a3"}, {""}, {""}
"  lh a2, 0(a3)\n", {"(set! a2 (l.h a3))"}, {"a2"}, {"a3"}, {""}
"  lh a2, 12(a3)\n", {"(set! a2 (l.h (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"L123:\n  lhu a3, L123(fp)\n", {"(set! a3 (l.hu L123))"}, {"a3"}, {""}, {""}
"  lhu a2, 0(a3)\n", {"(set! a2 (l.hu a3))"}, {"a2"}, {"a3"}, {""}
"  lhu a2, 12(a3)\n", {"(set! a2 (l.hu (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"L123:\n  lwu a3, L123(fp)\n", {"(set! a3 (l.wu L123))"}, {"a3"}, {""}, {""}
"  lwu a2, 0(a3)\n", {"(set! a2 (l.wu a3))"}, {"a2"}, {"a3"}, {""}
"  lwu a2, 12(a3)\n", {"(set! a2 (l.wu (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"L123:\n  ld a3, L123(fp)\n", {"(set! a3 (l.d L123))"}, {"a3"}, {""}, {""}
"  ld a2, 0(a3)\n", {"(set! a2 (l.d a3))"}, {"a2"}, {"a3"}, {""}
"  ld a2, 12(a3)\n", {"(set! a2 (l.d (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"  lw r0, 2(r0)\n", {"(break!)"}, {""}, {""}, {""}
"  lw a2, test(s7)\n", {"(set! a2 test)"}, {"a2"}, {""}, {""}
"L123:\n  lw a3, L123(fp)\n", {"(set! a3 (l.w L123))"}, {"a3"}, {""}, {""}
"  lw a2, 0(a3)\n", {"(set! a2 (l.w a3))"}, {"a2"}, {"a3"}, {""}
"  lw a2, 12(a3)\n", {"(set! a2 (l.w (+ a3 12)))"}, {"a2"}, {"a3"}, {""}
"  dsll a2, a3, 3\n", {"(set! a2 (shl a3 3))"}, {"a2"}, {"a3"}, {""}
"  dsll32 a2, a3, 3\n", {"(set! a2 (shl a3 35))"}, {"a2"}, {"a3"}, {""}
"  dsrl a2, a3, 3\n", {"(set! a2 (srl a3 3))"}, {"a2"}, {"a3"}, {""}
"  dsrl32 a2, a3, 3\n", {"(set! a2 (srl a3 35))"}, {"a2"}, {"a3"}, {""}
"  dsra a2, a3, 3\n", {"(set! a2 (sra a3 3))"}, {"a2"}, {"a3"}, {""}
"  dsra32 a2, a3, 3\n", {"(set! a2 (sra a3 35))"}, {"a2"}, {"a3"}, {""}
"  div.s f1, f2, f3\n", {"(set! f1 (/.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  min.s f1, f2, f3\n", {"(set! f1 (min.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  max.s f1, f2, f3\n", {"(set! f1 (max.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  mul.s f1, f2, f3\n", {"(set! f1 (*.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  add.s f1, f2, f3\n", {"(set! f1 (+.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  sub.s f1, f2, f3\n", {"(set! f1 (-.s f2 f3))"}, {"f1"}, {"f2 f3"}, {""}
"  daddiu a1, s7, test\n", {"(set! a1 'test)"}, {"a1"}, {""}, {""}
"  daddiu a1, s7, -10\n", {"(set! a1 '())"}, {"a1"}, {""}, {""}
"  daddiu a1, s7, -32768\n", {"(set! a1 __START-OF-TABLE__)"}, {"a1"}, {""}, {""}
"  daddiu a1, s7, 8\n", {"(set! a1 '#t)"}, {"a1"}, {""}, {""}
"L123:\n  daddiu a1, fp, L123\n", {"(set! a1 L123)"}, {"a1"}, {""}, {""}
"  daddiu a1, a2, 1234\n", {"(set! a1 (+ a2 1234))"}, {"a1"}, {"a2"}, {""}
"  daddu a1, a2, a3\n", {"(set! a1 (+ a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  dsubu a1, a2, a3\n", {"(set! a1 (- a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  dsubu a1, r0, a3\n", {"(set! a1 (- a3))"}, {"a1"}, {"a3"}, {""}
"  mult3 a1, a2, a3\n", {"(set! a1 (*.si a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  multu3 a1, a2, a3\n", {"(set! a1 (*.ui a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  andi a1, a2, 1234\n", {"(set! a1 (logand a2 1234))"}, {"a1"}, {"a2"}, {""}
"  xori a1, a2, 1234\n", {"(set! a1 (logxor a2 1234))"}, {"a1"}, {"a2"}, {""}
"  nor a1, a2, r0\n", {"(set! a1 (lognot a2))"}, {"a1"}, {"a2"}, {""}
"  nor a1, a2, a3\n", {"(set! a1 (lognor a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  xor a1, a2, a3\n", {"(set! a1 (logxor a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  addiu a1, r0, 12\n", {"(set! a1 12)"}, {"a1"}, {""}, {""}
"  lui a3, 2\n", {"(set! a3 131072)"}, {"a3"}, {""}, {""}
"  sll r0, r0, 0\n", {"(nop!)"}, {""}, {""}, {""}
"  dsrav a1, a2, a3\n", {"(set! a1 (sra a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  dsrlv a1, a2, a3\n", {"(set! a1 (srl a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  dsllv a1, a2, a3\n", {"(set! a1 (sll a2 a3))"}, {"a1"}, {"a2 a3"}, {""}
"  sb a1, 2(a3)\n", {"(s.b! (+ a3 2) a1)"}, {""}, {"a1 a3"}, {""}
"  sb a1, 0(a3)\n", {"(s.b! a3 a1)"}, {""}, {"a1 a3"}, {""}
"  sb s7, 2(a3)\n", {"(s.b! (+ a3 2) '#f)"}, {""}, {"a3"}, {""}
"  sb s7, 0(a3)\n", {"(s.b! a3 '#f)"}, {""}, {"a3"}, {""}
"  sh a1, 2(a3)\n", {"(s.h! (+ a3 2) a1)"}, {""}, {"a1 a3"}, {""}
"  sh a1, 0(a3)\n", {"(s.h! a3 a1)"}, {""}, {"a1 a3"}, {""}
"  sh s7, 2(a3)\n", {"(s.h! (+ a3 2) '#f)"}, {""}, {"a3"}, {""}
"  sh s7, 0(a3)\n", {"(s.h! a3 '#f)"}, {""}, {"a3"}, {""}
"  sw a1, test(s7)\n", {"(s.w! test a1)"}, {""}, {"a1"}, {""}
"  sw s7, test(s7)\n", {"(s.w! test '#f)"}, {""}, {""}, {""}
"  sw a1, 2(a3)\n", {"(s.w! (+ a3 2) a1)"}, {""}, {"a1 a3"}, {""}
"  sw a1, 0(a3)\n", {"(s.w! a3 a1)"}, {""}, {"a1 a3"}, {""}
"  sw s7, 2(a3)\n", {"(s.w! (+ a3 2) '#f)"}, {""}, {"a3"}, {""}
"  sw s7, 0(a3)\n", {"(s.w! a3 '#f)"}, {""}, {"a3"}, {""}
"  sd a1, 2(a3)\n", {"(s.d! (+ a3 2) a1)"}, {""}, {"a1 a3"}, {""}
"  sd a1, 0(a3)\n", {"(s.d! a3 a1)"}, {""}, {"a1 a3"}, {""}
"  sd s7, 2(a3)\n", {"(s.d! (+ a3 2) '#f)"}, {""}, {"a3"}, {""}
"  sd s7, 0(a3)\n", {"(s.d! a3 '#f)"}, {""}, {"a3"}, {""}
"  swc1 f2, 2(a3)\n", {"(s.f! (+ a3 2) f2)"}, {""}, {"f2 a3"}, {""}
"  swc1 f2, 0(a3)\n", {"(s.f! a3 f2)"}, {""}, {"f2 a3"}, {""}
"  cvt.s.w f1, f2\n", {"(set! f1 (i2f f2))"}, {"f1"}, {"f2"}, {""}
"  cvt.w.s f1, f2\n", {"(set! f1 (f2i f2))"}, {"f1"}, {"f2"}, {""}
"  abs.s f1, f2\n", {"(set! f1 (abs.s f2))"}, {"f1"}, {"f2"}, {""}
"  neg.s f1, f2\n", {"(set! f1 (neg.s f2))"}, {"f1"}, {"f2"}, {""}
"  sqrt.s f1, f2\n", {"(set! f1 (sqrt.s f2))"}, {"f1"}, {"f2"}, {""}
"  mov.s f1, f2\n", {"(set! f1 f2)"}, {"f1"}, {"f2"}, {""}
"  movz a1, s7, a2\n", {"(cmove-#f-zero a1 a2)"}, {"a1"}, {"a2"}, {""}
"  movn a1, s7, a2\n", {"(cmove-#f-nonzero a1 a2)"}, {"a1"}, {"a2"}, {""}


"  div a1, a2\n  mflo a3\n", {"(set! a3 (/.si a1 a2))"}, {"a3"}, {"a1 a2"}, {""}
"  divu a1, a2\n  mflo a3\n", {"(set! a3 (/.ui a1 a2))"}, {"a3"}, {"a1 a2"}, {""}
"  div a1, a2\n  mfhi a3\n", {"(set! a3 (mod.si a1 a2))"}, {"a3"}, {"a1 a2"}, {""}
"  divu a1, a2\n  mfhi a3\n", {"(set! a3 (mod.ui a1 a2))"}, {"a3"}, {"a1 a2"}, {""}
"  jalr ra, t9\n  sll v0, ra, 0\n", {"(call!)"}, {""}, {"t9"}, {""}
"L100:\n  bne a1, a2, L100\n  sll r0, r0, 0\n", {"(b! (!= a1 a2) L100 (nop!))"}, {""}, {"a1 a2"}, {""}
"L100:\n  bne a1, a2, L100\n  or a3, s7, r0\n", {"(b! (!= a1 a2) L100 (set! a3 #f))"}, {"a3"}, {"a1 a2"}, {""}
"L100:\n  bne a1, a2, L100\n  or a3, t0, r0\n", {"(b! (!= a1 a2) L100 (set! a3 t0))"}, {"a3"}, {"a1 a2 t0"}, {""}
"L100:\n  bne a1, a2, L100\n  daddiu a3, s7, 8\n", {"(b! (!= a1 a2) L100 (set! a3 #t))"}, {"a3"}, {"a1 a2"}, {""}
"L100:\n  bne a1, a2, L100\n  lw a3, pair(s7)\n", {"(b! (!= a1 a2) L100 (set! a3 pair))"}, {"a3"}, {"a1 a2"}, {""}
"L100:\n  bne a1, a2, L100\n  lw a3, binteger(s7)\n", {"(b! (!= a1 a2) L100 (set! a3 binteger))"}, {"a3"}, {"a1 a2"}, {""}
"L100:\n  bne a1, a2, L100\n  dsllv a3, t0, t1\n", {"(b! (!= a1 a2) L100 (set! a3 (sll t0 t1)))"}, {"a3"}, {"a1 a2 t0 t1"}, {""}
"L100:\n  bne a1, a2, L100\n  dsubu a3, r0, t1\n", {"(b! (!= a1 a2) L100 (set! a3 (- t1)))"}, {"a3"}, {"a1 a2 t1"}, {""}
"L100:\n  bne a1, r0, L100\n  sll r0, r0, 0\n", {"(b! (nonzero? a1) L100 (nop!))"}, {""}, {"a1"}, {""}
"L100:\n  bne s7, a1, L100\n  sll r0, r0, 0\n", {"(b! (truthy a1) L100 (nop!))"}, {""}, {"a1"}, {""}
"L100:\n  bnel a1, a2, L100\n  sll r0, r0, 0\n", {"(bl! (!= a1 a2) L100 (nop!))"}, {""}, {"a1 a2"}, {""}
"L100:\n  bnel a1, r0, L100\n  sll r0, r0, 0\n", {"(bl! (nonzero? a1) L100 (nop!))"}, {""}, {"a1"}, {""}
"L100:\n  bnel s7, a1, L100\n  sll r0, r0, 0\n", {"(bl! (truthy a1) L100 (nop!))"}, {""}, {"a1"}, {""}
"L100:\n  beq a0, a1, L100\n  sll r0, r0, 0\n", {"(b! (= a0 a1) L100 (nop!))"}, {""}, {"a0 a1"}, {""}
"L100:\n  beq r0, r0, L100\n  sll r0, r0, 0\n", {"(b! #t L100 (nop!))"}, {""}, {""}, {""}
"L100:\n  beq a0, r0, L100\n  sll r0, r0, 0\n", {"(b! (zero? a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  beq s7, a0, L100\n  sll r0, r0, 0\n", {"(b! (not a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  beql a0, a1, L100\n  sll r0, r0, 0\n", {"(bl! (= a0 a1) L100 (nop!))"}, {""}, {"a0 a1"}, {""}
"L100:\n  beql r0, r0, L100\n  sll r0, r0, 0\n", {"(bl! #t L100 (nop!))"}, {""}, {""}, {""}
"L100:\n  beql a0, r0, L100\n  sll r0, r0, 0\n", {"(bl! (zero? a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  beql s7, a0, L100\n  sll r0, r0, 0\n", {"(bl! (not a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  bgtzl a0, L100\n  sll r0, r0, 0\n", {"(bl! (>0.si a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  bgezl a0, L100\n  sll r0, r0, 0\n", {"(bl! (>=0.si a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"L100:\n  bltzl a0, L100\n  sll r0, r0, 0\n", {"(bl! (<0.si a0) L100 (nop!))"}, {""}, {"a0"}, {""}
"  daddiu a1, s7, 8\n  movn a1, s7, a0\n", {"(set! a1 (zero? a0))"}, {"a1"}, {"a0"}, {""}
"  daddiu a1, s7, 8\n  movz a1, s7, a0\n", {"(set! a1 (nonzero? a0))"}, {"a1"}, {"a0"}, {""}
"L100:\n  lui a0, 2\n  ori a1, a0, 3\n", {"(set! a1 131075)"}, {"a1"}, {""}, {"a0"}
"L100:\n  lui a0, 2\n  ori a0, a0, 3\n", {"(set! a0 131075)"}, {"a0"}, {""}, {""}
"L100:\n  lui a0, L100\n  ori a1, a0, L100\n", {"(set! a1 L100)"}, {"a1"}, {""}, {"a0"}
"L100:\n  lui a0, L100\n  ori a0, a0, L100\n", {"(set! a0 L100)"}, {"a0"}, {""}, {""}
"  slt a0, a1, a2\n  movz a1, a2, a0\n", {"(set! a1 (min.si a1 a2))"}, {"a1"}, {"a1 a2"}, {"a0"}
"  slt a0, a1, a2\n  movn a1, a2, a0\n", {"(set! a1 (max.si a1 a2))"}, {"a1"}, {"a1 a2"}, {"a0"}
"  sltu a0, a1, a2\n  movz a1, a2, a0\n", {"(set! a1 (min.ui a1 a2))"}, {"a1"}, {"a1 a2"}, {"a0"}
"  sltu a0, a1, a2\n  movn a1, a2, a0\n", {"(set! a1 (max.ui a1 a2))"}, {"a1"}, {"a1 a2"}, {"a0"}
"L100:\n  lui a0, L100\n  ori a1, a0, L100\n  addu a1, fp, a1\n", {"(set! a1 L100)"}, {"a1"}, {""}, {"a0"}
"L100:\n  lui a1, L100\n  ori a1, a1, L100\n  addu a1, fp, a1\n", {"(set! a1 L100)"}, {"a1"}, {""}, {""}
"  dsubu a0, a1, a2\n  daddiu t0, s7, 8\n  movn t0, s7, a0\n", {"(set! t0 (= a1 a2))"}, {"t0"}, {"a1 a2"}, {"a0"}
"  dsubu a0, a1, a2\n  daddiu t0, s7, 8\n  movz t0, s7, a0\n", {"(set! t0 (!= a1 a2))"}, {"t0"}, {"a1 a2"}, {"a0"}
"L100:\n  slt a3, a0, a1\n  bne a3, r0, L100\n  or a3, s7, r0\n", {"(b! (<.si a0 a1) L100 (set! a3 #f))"}, {"a3"}, {"a0 a1"}, {""}
"L100:\n  slt a3, a0, a1\n  bne a3, r0, L100\n  or a2, s7, r0\n", {"(b! (<.si a0 a1) L100 (set! a2 #f))"}, {"a2"}, {"a0 a1"}, {"a3"}
"L100:\n  sltu a3, a0, a1\n  bne a3, r0, L100\n  or a3, s7, r0\n", {"(b! (<.ui a0 a1) L100 (set! a3 #f))"}, {"a3"}, {"a0 a1"}, {""}
"L100:\n  sltu a3, a0, a1\n  bne a3, r0, L100\n  or a2, s7, r0\n", {"(b! (<.ui a0 a1) L100 (set! a2 #f))"}, {"a2"}, {"a0 a1"}, {"a3"}
"L100:\n  slt a3, a0, a1\n  beq a3, r0, L100\n  or a3, s7, r0\n", {"(b! (>=.si a0 a1) L100 (set! a3 #f))"}, {"a3"}, {"a0 a1"}, {""}
"L100:\n  slt a3, a0, a1\n  beq a3, r0, L100\n  or a2, s7, r0\n", {"(b! (>=.si a0 a1) L100 (set! a2 #f))"}, {"a2"}, {"a0 a1"}, {"a3"}
"L100:\n  sltu a3, a0, a1\n  beq a3, r0, L100\n  or a3, s7, r0\n", {"(b! (>=.ui a0 a1) L100 (set! a3 #f))"}, {"a3"}, {"a0 a1"}, {""}
"L100:\n  sltu a3, a0, a1\n  beq a3, r0, L100\n  or a2, s7, r0\n", {"(b! (>=.ui a0 a1) L100 (set! a2 #f))"}, {"a2"}, {"a0 a1"}, {"a3"}
"  slt a3, a0, a1\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (<.si a0 a1))"}, {"a2"}, {"a0 a1"}, {"a3"}
"  slt a3, a0, r0\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (<0.si a0))"}, {"a2"}, {"a0"}, {"a3"}
"  sltu a3, a0, a1\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (<.ui a0 a1))"}, {"a2"}, {"a0 a1"}, {"a3"}
"  slt a3, a0, a1\n  daddiu a2, s7, 8\n  movn a2, s7, a3\n", {"(set! a2 (>=.si a0 a1))"}, {"a2"}, {"a0 a1"}, {"a3"}
"  slt a3, a0, r0\n  daddiu a2, s7, 8\n  movn a2, s7, a3\n", {"(set! a2 (>=0.si a0))"}, {"a2"}, {"a0"}, {"a3"}
"  sltu a3, a0, a1\n  daddiu a2, s7, 8\n  movn a2, s7, a3\n", {"(set! a2 (>=.ui a0 a1))"}, {"a2"}, {"a0 a1"}, {"a3"}
"L100:\n  slti a3, a0, 12\n  bne a3, r0, L100\n  or a3, s7, r0\n", {"(b! (<.si a0 12) L100 (set! a3 #f))"}, {"a3"}, {"a0"}, {""}
"L100:\n  slti a3, a0, 12\n  bne a3, r0, L100\n  or a2, s7, r0\n", {"(b! (<.si a0 12) L100 (set! a2 #f))"}, {"a2"}, {"a0"}, {"a3"}
"L100:\n  sltiu a3, a0, 12\n  bne a3, r0, L100\n  or a3, s7, r0\n", {"(b! (<.ui a0 12) L100 (set! a3 #f))"}, {"a3"}, {"a0"}, {""}
"L100:\n  sltiu a3, a0, 12\n  bne a3, r0, L100\n  or a2, s7, r0\n", {"(b! (<.ui a0 12) L100 (set! a2 #f))"}, {"a2"}, {"a0"}, {"a3"}
"L100:\n  slti a3, a0, 12\n  beq a3, r0, L100\n  or a3, s7, r0\n", {"(b! (>=.si a0 12) L100 (set! a3 #f))"}, {"a3"}, {"a0"}, {""}
"L100:\n  slti a3, a0, 12\n  beq a3, r0, L100\n  or a2, s7, r0\n", {"(b! (>=.si a0 12) L100 (set! a2 #f))"}, {"a2"}, {"a0"}, {"a3"}
"L100:\n  sltiu a3, a0, 12\n  beq a3, r0, L100\n  or a3, s7, r0\n", {"(b! (>=.ui a0 12) L100 (set! a3 #f))"}, {"a3"}, {"a0"}, {""}
"L100:\n  sltiu a3, a0, 12\n  beq a3, r0, L100\n  or a2, s7, r0\n", {"(b! (>=.ui a0 12) L100 (set! a2 #f))"}, {"a2"}, {"a0"}, {"a3"}
"  slti a3, a0, 12\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (<.si a0 12))"}, {"a2"}, {"a0"}, {"a3"}
"  sltiu a3, a0, 12\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (<.ui a0 12))"}, {"a2"}, {"a0"}, {"a3"}
"  slti a3, a0, 12\n  daddiu a2, s7, 8\n  movn a2, s7, a3\n", {"(set! a2 (>=.si a0 12))"}, {"a2"}, {"a0"}, {"a3"}
"  sltiu a3, a0, 12\n  daddiu a2, s7, 8\n  movn a2, s7, a3\n", {"(set! a2 (>=.ui a0 12))"}, {"a2"}, {"a0"}, {"a3"}
"L100:\n  c.eq.s f1, f2\n  bc1t L100\n  sll r0, r0, 0\n", {"(b! (=.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  c.eq.s f1, f2\n  bc1f L100\n  sll r0, r0, 0\n", {"(b! (!=.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  c.lt.s f1, f2\n  bc1t L100\n  sll r0, r0, 0\n", {"(b! (<.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  c.lt.s f1, f2\n  bc1f L100\n  sll r0, r0, 0\n", {"(b! (>=.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  c.le.s f1, f2\n  bc1t L100\n  sll r0, r0, 0\n", {"(b! (<=.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  c.le.s f1, f2\n  bc1f L100\n  sll r0, r0, 0\n", {"(b! (>.s f1 f2) L100 (nop!))"}, {""}, {"f1 f2"}, {""}
"L100:\n  dsll32 v1, s4, 30\n  slt v1, v1, r0\n  beq v1, r0, L100\n  sll r0, r0, 0\n", {"(b! (not-pair? s4) L100 (nop!))"}, {""}, {"s4"}, {"v1"}
"  slt a3, r0, a0\n  daddiu a2, s7, 8\n  movz a2, s7, a3\n", {"(set! a2 (>0.si a0))"}, {"a2"}, {"a0"}, {"a3"}
"  daddu v1, r0, v0\n", {"(set! v1 (+ v0 0))"}, {"v1"}, {"v0"}, {""}
"  sw r0, test(s7)\n", {"(s.w! test 0)"}, {""}, {""}, {""}
"  sw r0, 2(a3)\n", {"(s.w! (+ a3 2) 0)"}, {""}, {"a3"}, {""}
"  sw r0, 0(a3)\n", {"(s.w! a3 0)"}, {""}, {"a3"}, {""}
"L100:\n  slt v1, s2, r0\n  beq v1, r0, L100\n  or v1, s7, r0\n", {"(b! (>=0.si s2) L100 (set! v1 #f))"}, {"v1"}, {"s2"}, {""}
"L100:\n  slt v1, s2, r0\n  beq v1, r0, L100\n  or v0, s7, r0\n", {"(b! (>=0.si s2) L100 (set! v0 #f))"}, {"v0"}, {"s2"}, {"v1"}
"  mtc1 f3, r0\n", {"(set! f3 0)"}, {"f3"}, {""}, {""}