Subversion Repositories pentevo

Rev

Blame | Last modification | View Log | Download | RSS feed | ?url?

  1.  
  2. {\tt las imm4}        & {\tt ld a,\#$<$imm4}    & {\tt A} $\longleftarrow$ {\tt 0:imm4} \\
  3. \hline
  4. {\tt lal imm8}        & {\tt ld a,\#$>$imm8}    & {\tt A} $\longleftarrow$ {\tt imm8} \\
  5. \hline
  6. {\tt lss imm3}        & {\tt ld s,\#imm3}       & {\tt S} $\longleftarrow$ {\tt imm3} \\
  7. \hline
  8. {\tt lts imm3}        & {\tt ld t,\#imm3}       & {\tt T} $\longleftarrow$ {\tt imm3} \\
  9. \hline
  10. {\tt anl imm8}        & {\tt and [a,]\#imm8}    & {\tt A} $\longleftarrow$ {\tt A} $\land$ {\tt imm8} \\
  11. \hline
  12. {\tt eol imm8}        & {\tt xor [a,]\#imm8}    & {\tt A} $\longleftarrow$ {\tt A} $\oplus$ {\tt imm8} \\
  13. \hline
  14. {\tt orl imm8}        & {\tt or [a,]\#imm8}     & {\tt A} $\longleftarrow$ {\tt A} $\lor$ {\tt imm8} \\
  15. \hline
  16. {\tt adl imm8}        & {\tt add [a,]\#imm8}    & {\tt A} $\longleftarrow$ {\tt A} + {\tt imm8} \\
  17. \hline
  18. {\tt cml imm8}        & {\tt cp [a,]\#imm8}     & {\tt Flags} $\longleftarrow$ {\tt A} - {\tt imm8} \\
  19. \hline
  20. {\tt lav}             & {\tt ld a,v}            & {\tt A} $\longleftarrow$ {\tt V} \\
  21. \hline
  22. {\tt law}             & {\tt ld a,w}            & {\tt A} $\longleftarrow$ {\tt W} \\
  23. \hline
  24. {\tt lax}             & {\tt ld a,x}            & {\tt A} $\longleftarrow$ {\tt X} \\
  25. \hline
  26. {\tt lay}             & {\tt ld a,y}            & {\tt A} $\longleftarrow$ {\tt Y} \\
  27. \hline
  28. {\tt sav}             & {\tt ld v,a}            & {\tt V} $\longleftarrow$ {\tt A} \\
  29. \hline
  30. {\tt saw}             & {\tt ld w,a}            & {\tt W} $\longleftarrow$ {\tt A} \\
  31. \hline
  32. {\tt sax}             & {\tt ld x,a}            & {\tt X} $\longleftarrow$ {\tt A} \\
  33. \hline
  34. {\tt say}             & {\tt ld y,a}            & {\tt Y} $\longleftarrow$ {\tt A} \\
  35. \hline
  36. {\tt sat}             & {\tt ld t,a}            & {\tt T} $\longleftarrow$ {\tt A} \\
  37. \hline
  38. {\tt sst}             & {\tt ld st,a}           & {\tt S$|$T} $\longleftarrow$ {\tt A} \\
  39. \hline
  40. {\tt als}             & {\tt sla [a]}           & {\tt A(7..1)} $\longleftarrow$ {\tt A(6..0)}, \\
  41.                      & {\tt sla [a],1}         & {\tt A(0)} $\longleftarrow$ {\tt 0} \\
  42. \hline
  43. {\tt ars}             & {\tt srl [a]}           & {\tt A(6..0)} $\longleftarrow$ {\tt A(7..1)}, \\
  44.                      & {\tt srl [a],1}         & {\tt A(7)} $\longleftarrow$ {\tt 0} \\
  45. \hline
  46. {\tt alf}             & {\tt sla [a],4}         & {\tt A(7..4)} $\longleftarrow$ {\tt A(3..0)}, \\
  47.                      &                         & {\tt A(3..0)} $\longleftarrow$ {\tt 0} \\
  48. \hline
  49. {\tt arf}             & {\tt srl [a],4}         & {\tt A(3..0)} $\longleftarrow$ {\tt A(7..4)}, \\
  50.                      &                         & {\tt A(7..4)} $\longleftarrow$ {\tt 0} \\
  51. \hline
  52. {\tt lar n}           & {\tt ld a,n}            & {\tt A} $\longleftarrow$ {\tt R(n), n=0..11} \\
  53. \hline
  54. {\tt lar 12}          & {\tt ld a,(st)}         & {\tt A} $\longleftarrow$ {\tt R(S,T)} \\
  55. \hline
  56. {\tt lar 13}          & {\tt ld a,(st)-}        & {\tt A} $\longleftarrow$ {\tt R(S,T)}, \\
  57.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  58. \hline
  59. {\tt lar 14}          & {\tt ld a,(st)+}        & {\tt A} $\longleftarrow$ {\tt R(S,T)}, \\
  60.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  61. \hline
  62. {\tt sar n}           & {\tt ld n,a}            & {\tt R(n)} $\longleftarrow$ {\tt A, n=0..11} \\
  63. \hline
  64. {\tt sar 12}          & {\tt ld (st),a}         & {\tt R(S,T)} $\longleftarrow$ {\tt A} \\
  65. \hline
  66. {\tt sar 13}          & {\tt ld (st)-,a}        & {\tt R(S,T)} $\longleftarrow$ {\tt A}, \\
  67.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  68. \hline
  69. {\tt sar 14}          & {\tt ld (st)+,a}        & {\tt R(S,T)} $\longleftarrow$ {\tt A}, \\
  70.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  71. \hline
  72. {\tt adr n}           & {\tt add a,n}           & {\tt A} $\longleftarrow$ {\tt A} + {\tt R(n), n=0..11} \\
  73. \hline
  74. {\tt adr 12}          & {\tt add a,(st)}        & {\tt A} $\longleftarrow$ {\tt A} + {\tt R(S,T)} \\
  75. \hline
  76. {\tt adr 13}          & {\tt add a,(st)-}       & {\tt A} $\longleftarrow$ {\tt A} + {\tt R(S,T)}, \\
  77.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  78. \hline
  79. {\tt adr 14}          & {\tt add a,(st)+}       & {\tt A} $\longleftarrow$ {\tt A} + {\tt R(S,T)}, \\
  80.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  81. \hline
  82. {\tt anr n}           & {\tt and a,n}           & {\tt A} $\longleftarrow$ {\tt A} $\land$ {\tt R(n), n=0..11} \\
  83. \hline
  84. {\tt anr 12}          & {\tt and a,(st)}        & {\tt A} $\longleftarrow$ {\tt A} $\land$ {\tt R(S,T)} \\
  85. \hline
  86. {\tt anr 13}          & {\tt and a,(st)-}       & {\tt A} $\longleftarrow$ {\tt A} $\land$ {\tt R(S,T)}, \\
  87.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  88. \hline
  89. {\tt anr 14}          & {\tt and a,(st)+}       & {\tt A} $\longleftarrow$ {\tt A} $\land$ {\tt R(S,T)}, \\
  90.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  91. \hline
  92. {\tt eor n}           & {\tt xor a,n}           & {\tt A} $\longleftarrow$ {\tt A} $\oplus$ {\tt R(n), n=0..11} \\
  93. \hline
  94. {\tt eor 12}          & {\tt xor a,(st)}        & {\tt A} $\longleftarrow$ {\tt A} $\oplus$ {\tt R(S,T)} \\
  95. \hline
  96. {\tt eor 13}          & {\tt xor a,(st)-}       & {\tt A} $\longleftarrow$ {\tt A} $\oplus$ {\tt R(S,T)}, \\
  97.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  98. \hline
  99. {\tt eor 14}          & {\tt xor a,(st)+}       & {\tt A} $\longleftarrow$ {\tt A} $\oplus$ {\tt R(S,T)}, \\
  100.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  101. \hline
  102. {\tt dec n}           & {\tt dec a,n}           & {\tt R(n)} $\longleftarrow$ {\tt R(n) - 1, n=0..11} \\
  103. \hline
  104. {\tt dec 12}          & {\tt dec a,(st)}        & {\tt R(S,T)} $\longleftarrow$ {\tt R(S,T) - 1} \\
  105. \hline
  106. {\tt dec 13}          & {\tt dec a,(st)-}       & {\tt R(S,T)} $\longleftarrow$ {\tt R(S,T) - 1}, \\
  107.                      &                         & {\tt S} $\longleftarrow$ {\tt S-1} \\
  108. \hline
  109. {\tt dec 14}          & {\tt dec a,(st)+}       & {\tt R(S,T)} $\longleftarrow$ {\tt R(S,T) - 1}, \\
  110.                      &                         & {\tt S} $\longleftarrow$ {\tt S+1} \\
  111. \hline
  112. {\tt six}             & {\tt ld (z(x)),a}       & {\tt (Z(module X))} $\longleftarrow$ {\tt A} \\
  113. \hline
  114. {\tt lix}             & {\tt ld a,(z(x))}       & {\tt A} $\longleftarrow$ {\tt (Z(module X))} \\
  115. \hline
  116. {\tt liy}             & {\tt ld a,(z(y))}       & {\tt A} $\longleftarrow$ {\tt (Z(module Y))} \\
  117. \hline
  118. {\tt sqx}             & {\tt ld q(x),a}         & {\tt Q(module X)} $\longleftarrow$ {\tt X$|$A} \\
  119. \hline
  120. {\tt sqy}             & {\tt ld q(y),a}         & {\tt Q(module Y)} $\longleftarrow$ {\tt Y$|$A} \\
  121. \hline
  122. {\tt szx}             & {\tt ld z(x),a}         & {\tt Z(module X)} $\longleftarrow$ {\tt X$|$A} \\
  123. \hline
  124. {\tt szy}             & {\tt ld z(y),a}         & {\tt Z(module Y)} $\longleftarrow$ {\tt Y$|$A}
  125.