basis/cpu/x86/assembler/assembler-tests.factor

   1 USING: cpu.x86.assembler cpu.x86.assembler.operands
   2 kernel tools.test namespaces make layouts ;
   3 IN: cpu.x86.assembler.tests
   4
   5 ! small registers
   6 [ { 128 192 12 } ] [ [ AL 12 <byte> ADD ] { } make ] unit-test
   7 [ { 128 196 12 } ] [ [ AH 12 <byte> ADD ] { } make ] unit-test
   8 [ { 176 12 } ] [ [ AL 12 <byte> MOV ] { } make ] unit-test
   9 [ { 180 12 } ] [ [ AH 12 <byte> MOV ] { } make ] unit-test
  10 [ { 198 0 12 } ] [ [ EAX [] 12 <byte> MOV ] { } make ] unit-test
  11 [ { 0 235 } ] [ [ BL CH ADD ] { } make ] unit-test
  12 [ { 136 235 } ] [ [ BL CH MOV ] { } make ] unit-test
  13
  14 ! immediate operands
  15 cell 4 = [
  16     [ { 0xb9 0x01 0x00 0x00 0x00 } ] [ [ ECX 1 MOV ] { } make ] unit-test
  17 ] [
  18     [ { 0xb9 0x01 0x00 0x00 0x00 0x00 0x00 0x00 0x00 } ] [ [ ECX 1 MOV ] { } make ] unit-test
  19 ] if
  20
  21 [ { 0x83 0xc1 0x01 } ] [ [ ECX 1 ADD ] { } make ] unit-test
  22 [ { 0x81 0xc1 0x96 0x00 0x00 0x00 } ] [ [ ECX 150 ADD ] { } make ] unit-test
  23 [ { 0xf7 0xc1 0xd2 0x04 0x00 0x00 } ] [ [ ECX 1234 TEST ] { } make ] unit-test
  24
  25 ! 64-bit registers
  26 [ { 0x40 0x8a 0x2a } ] [ [ BPL RDX [] MOV ] { } make ] unit-test
  27
  28 [ { 0x49 0x89 0x04 0x24 } ] [ [ R12 [] RAX MOV ] { } make ] unit-test
  29 [ { 0x49 0x8b 0x06 } ] [ [ RAX R14 [] MOV ] { } make ] unit-test
  30
  31 [ { 0x89 0xca } ] [ [ EDX ECX MOV ] { } make ] unit-test
  32 [ { 0x4c 0x89 0xe2 } ] [ [ RDX R12 MOV ] { } make ] unit-test
  33 [ { 0x49 0x89 0xd4 } ] [ [ R12 RDX MOV ] { } make ] unit-test
  34
  35 ! memory address modes
  36 [ { 0x8a 0x18         } ] [ [ BL RAX [] MOV ] { } make ] unit-test
  37 [ { 0x66 0x8b 0x18 } ] [ [ BX RAX [] MOV ] { } make ] unit-test
  38 [ { 0x8b 0x18         } ] [ [ EBX RAX [] MOV ] { } make ] unit-test
  39 [ { 0x48 0x8b 0x18 } ] [ [ RBX RAX [] MOV ] { } make ] unit-test
  40 [ { 0x88 0x18         } ] [ [ RAX [] BL MOV ] { } make ] unit-test
  41 [ { 0x66 0x89 0x18 } ] [ [ RAX [] BX MOV ] { } make ] unit-test
  42 [ { 0x89 0x18         } ] [ [ RAX [] EBX MOV ] { } make ] unit-test
  43 [ { 0x48 0x89 0x18 } ] [ [ RAX [] RBX MOV ] { } make ] unit-test
  44
  45 [ { 0x0f 0xbe 0xc3 } ] [ [ EAX BL MOVSX ] { } make ] unit-test
  46 [ { 0x0f 0xbf 0xc3 } ] [ [ EAX BX MOVSX ] { } make ] unit-test
  47
  48 [ { 0x80 0x08 0x05 } ] [ [ EAX [] 5 <byte> OR ] { } make ] unit-test
  49 [ { 0xc6 0x00 0x05 } ] [ [ EAX [] 5 <byte> MOV ] { } make ] unit-test
  50
  51 [ { 0x49 0x89 0x04 0x1a } ] [ [ R10 RBX [+] RAX MOV ] { } make ] unit-test
  52 [ { 0x49 0x89 0x04 0x1b } ] [ [ R11 RBX [+] RAX MOV ] { } make ] unit-test
  53
  54 [ { 0x49 0x89 0x04 0x1c } ] [ [ R12 RBX [+] RAX MOV ] { } make ] unit-test
  55 [ { 0x48 0x89 0x04 0x1c } ] [ [ RSP RBX [+] RAX MOV ] { } make ] unit-test
  56
  57 [ { 0x49 0x89 0x44 0x1d 0x00 } ] [ [ R13 RBX [+] RAX MOV ] { } make ] unit-test
  58 [ { 0x48 0x89 0x44 0x1d 0x00 } ] [ [ RBP RBX [+] RAX MOV ] { } make ] unit-test
  59
  60 [ { 0x4a 0x89 0x04 0x23 } ] [ [ RBX R12 [+] RAX MOV ] { } make ] unit-test
  61 [ { 0x4a 0x89 0x04 0x2b } ] [ [ RBX R13 [+] RAX MOV ] { } make ] unit-test
  62
  63 [ { 0x4b 0x89 0x44 0x25 0x00 } ] [ [ R13 R12 [+] RAX MOV ] { } make ] unit-test
  64 [ { 0x4b 0x89 0x04 0x2c } ] [ [ R12 R13 [+] RAX MOV ] { } make ] unit-test
  65
  66 [ { 0x49 0x89 0x04 0x2c } ] [ [ R12 RBP [+] RAX MOV ] { } make ] unit-test
  67 [ [ R12 RSP [+] RAX MOV ] { } make ] must-fail
  68
  69 [ { 0x89 0x1c 0x11 } ] [ [ ECX EDX [+] EBX MOV ] { } make ] unit-test
  70 [ { 0x89 0x1c 0x51 } ] [ [ ECX EDX 1 0 <indirect> EBX MOV ] { } make ] unit-test
  71 [ { 0x89 0x1c 0x91 } ] [ [ ECX EDX 2 0 <indirect> EBX MOV ] { } make ] unit-test
  72 [ { 0x89 0x1c 0xd1 } ] [ [ ECX EDX 3 0 <indirect> EBX MOV ] { } make ] unit-test
  73 [ { 0x89 0x5c 0x11 0x64 } ] [ [ ECX EDX 0 100 <indirect> EBX MOV ] { } make ] unit-test
  74 [ { 0x89 0x5c 0x51 0x64 } ] [ [ ECX EDX 1 100 <indirect> EBX MOV ] { } make ] unit-test
  75 [ { 0x89 0x5c 0x91 0x64 } ] [ [ ECX EDX 2 100 <indirect> EBX MOV ] { } make ] unit-test
  76 [ { 0x89 0x5c 0xd1 0x64 } ] [ [ ECX EDX 3 100 <indirect> EBX MOV ] { } make ] unit-test
  77
  78 [ { 0x48 0x89 0x1c 0x11 } ] [ [ RCX RDX [+] RBX MOV ] { } make ] unit-test
  79 [ { 0x48 0x89 0x1c 0x51 } ] [ [ RCX RDX 1 0 <indirect> RBX MOV ] { } make ] unit-test
  80 [ { 0x48 0x89 0x1c 0x91 } ] [ [ RCX RDX 2 0 <indirect> RBX MOV ] { } make ] unit-test
  81 [ { 0x48 0x89 0x1c 0xd1 } ] [ [ RCX RDX 3 0 <indirect> RBX MOV ] { } make ] unit-test
  82 [ { 0x48 0x89 0x5c 0x11 0x64 } ] [ [ RCX RDX 0 100 <indirect> RBX MOV ] { } make ] unit-test
  83 [ { 0x48 0x89 0x5c 0x51 0x64 } ] [ [ RCX RDX 1 100 <indirect> RBX MOV ] { } make ] unit-test
  84 [ { 0x48 0x89 0x5c 0x91 0x64 } ] [ [ RCX RDX 2 100 <indirect> RBX MOV ] { } make ] unit-test
  85 [ { 0x48 0x89 0x5c 0xd1 0x64 } ] [ [ RCX RDX 3 100 <indirect> RBX MOV ] { } make ] unit-test
  86
  87 ! r-rm / m-r sse instruction
  88 [ { 0x0f 0x10 0xc1 } ] [ [ XMM0 XMM1 MOVUPS ] { } make ] unit-test
  89 [ { 0x0f 0x10 0x01 } ] [ [ XMM0 ECX [] MOVUPS ] { } make ] unit-test
  90 [ { 0x0f 0x11 0x08 } ] [ [ EAX [] XMM1 MOVUPS ] { } make ] unit-test
  91
  92 [ { 0xf3 0x0f 0x10 0xc1 } ] [ [ XMM0 XMM1 MOVSS ] { } make ] unit-test
  93 [ { 0xf3 0x0f 0x10 0x01 } ] [ [ XMM0 ECX [] MOVSS ] { } make ] unit-test
  94 [ { 0xf3 0x0f 0x11 0x08 } ] [ [ EAX [] XMM1 MOVSS ] { } make ] unit-test
  95
  96 [ { 0x66 0x0f 0x6f 0xc1 } ] [ [ XMM0 XMM1 MOVDQA ] { } make ] unit-test
  97 [ { 0x66 0x0f 0x6f 0x01 } ] [ [ XMM0 ECX [] MOVDQA ] { } make ] unit-test
  98 [ { 0x66 0x0f 0x7f 0x08 } ] [ [ EAX [] XMM1 MOVDQA ] { } make ] unit-test
  99
 100 ! r-rm only sse instruction
 101 [ { 0x66 0x0f 0x2e 0xc1 } ] [ [ XMM0 XMM1 UCOMISD ] { } make ] unit-test
 102 [ { 0x66 0x0f 0x2e 0x01 } ] [ [ XMM0 ECX [] UCOMISD ] { } make ] unit-test
 103 [ [ EAX [] XMM1 UCOMISD ] { } make ] must-fail
 104 [ { 0x66 0x0f 0x38 0x2a 0x01 } ] [ [ XMM0 ECX [] MOVNTDQA ] { } make ] unit-test
 105
 106 [ { 0x66 0x48 0x0f 0x6e 0xc8 } ] [ [ XMM1 RAX MOVD ] { } make ] unit-test
 107 [ { 0x66 0x0f 0x6e 0xc8 } ] [ [ XMM1 EAX MOVD ] { } make ] unit-test
 108 [ { 0x66 0x48 0x0f 0x7e 0xc8 } ] [ [ RAX XMM1 MOVD ] { } make ] unit-test
 109 [ { 0x66 0x0f 0x7e 0xc8 } ] [ [ EAX XMM1 MOVD ] { } make ] unit-test
 110
 111 [ { 0xf3 0x0f 0x7e 0x08 } ] [ [ XMM1 EAX [] MOVQ ] { } make ] unit-test
 112 [ { 0xf3 0x0f 0x7e 0x08 } ] [ [ XMM1 EAX [] MOVQ ] { } make ] unit-test
 113 [ { 0xf3 0x0f 0x7e 0xca } ] [ [ XMM1 XMM2 MOVQ ] { } make ] unit-test
 114
 115 ! rm-r only sse instructions
 116 [ { 0x0f 0x2b 0x08 } ] [ [ EAX [] XMM1 MOVNTPS ] { } make ] unit-test
 117 [ { 0x66 0x0f 0xe7 0x08 } ] [ [ EAX [] XMM1 MOVNTDQ ] { } make ] unit-test
 118
 119 ! three-byte-opcode ssse3 instruction
 120 [ { 0x66 0x0f 0x38 0x02 0xc1 } ] [ [ XMM0 XMM1 PHADDD ] { } make ] unit-test
 121
 122 ! int/sse conversion instruction
 123 [ { 0xf2 0x0f 0x2c 0xc0 } ] [ [ EAX XMM0 CVTTSD2SI ] { } make ] unit-test
 124 [ { 0xf2 0x48 0x0f 0x2c 0xc0 } ] [ [ RAX XMM0 CVTTSD2SI ] { } make ] unit-test
 125 [ { 0xf2 0x4c 0x0f 0x2c 0xe0 } ] [ [ R12 XMM0 CVTTSD2SI ] { } make ] unit-test
 126 [ { 0xf2 0x0f 0x2a 0xc0 } ] [ [ XMM0 EAX CVTSI2SD ] { } make ] unit-test
 127 [ { 0xf2 0x48 0x0f 0x2a 0xc0 } ] [ [ XMM0 RAX CVTSI2SD ] { } make ] unit-test
 128 [ { 0xf2 0x48 0x0f 0x2a 0xc1 } ] [ [ XMM0 RCX CVTSI2SD ] { } make ] unit-test
 129 [ { 0xf2 0x48 0x0f 0x2a 0xd9 } ] [ [ XMM3 RCX CVTSI2SD ] { } make ] unit-test
 130 [ { 0xf2 0x48 0x0f 0x2a 0xc0 } ] [ [ XMM0 RAX CVTSI2SD ] { } make ] unit-test
 131 [ { 0xf2 0x49 0x0f 0x2a 0xc4 } ] [ [ XMM0 R12 CVTSI2SD ] { } make ] unit-test
 132
 133 ! 3-operand r-rm-imm sse instructions
 134 [ { 0x66 0x0f 0x70 0xc1 0x02 } ]
 135 [ [ XMM0 XMM1 2 PSHUFD ] { } make ] unit-test
 136
 137 [ { 0x0f 0xc6 0xc1 0x02 } ]
 138 [ [ XMM0 XMM1 2 SHUFPS ] { } make ] unit-test
 139
 140 ! shufflers with arrays of indexes
 141 [ { 0x66 0x0f 0x70 0xc1 0x02 } ]
 142 [ [ XMM0 XMM1 { 2 0 0 0 } PSHUFD ] { } make ] unit-test
 143
 144 [ { 0x0f 0xc6 0xc1 0x63 } ]
 145 [ [ XMM0 XMM1 { 3 0 2 1 } SHUFPS ] { } make ] unit-test
 146
 147 [ { 0x66 0x0f 0xc6 0xc1 0x2 } ]
 148 [ [ XMM0 XMM1 { 0 1 } SHUFPD ] { } make ] unit-test
 149
 150 [ { 0x66 0x0f 0xc6 0xc1 0x1 } ]
 151 [ [ XMM0 XMM1 { 1 0 } SHUFPD ] { } make ] unit-test
 152
 153 ! scalar register insert/extract sse instructions
 154 [ { 0x66 0x0f 0xc4 0xc1 0x02 } ] [ [ XMM0 ECX 2 PINSRW ] { } make ] unit-test
 155 [ { 0x66 0x0f 0xc4 0x04 0x11 0x03 } ] [ [ XMM0 ECX EDX [+] 3 PINSRW ] { } make ] unit-test
 156
 157 [ { 0x66 0x0f 0xc5 0xc1 0x02 } ] [ [ EAX XMM1 2 PEXTRW ] { } make ] unit-test
 158 [ { 0x66 0x0f 0x3a 0x15 0x08 0x02 } ] [ [ EAX [] XMM1 2 PEXTRW ] { } make ] unit-test
 159 [ { 0x66 0x0f 0x3a 0x15 0x14 0x08 0x03 } ] [ [ EAX ECX [+] XMM2 3 PEXTRW ] { } make ] unit-test
 160 [ { 0x66 0x0f 0x3a 0x14 0xc8 0x02 } ] [ [ EAX XMM1 2 PEXTRB ] { } make ] unit-test
 161 [ { 0x66 0x0f 0x3a 0x14 0x08 0x02 } ] [ [ EAX [] XMM1 2 PEXTRB ] { } make ] unit-test
 162
 163 ! sse shift instructions
 164 [ { 0x66 0x0f 0x71 0xd0 0x05 } ] [ [ XMM0 5 PSRLW ] { } make ] unit-test
 165 [ { 0x66 0x0f 0xd1 0xc1 } ] [ [ XMM0 XMM1 PSRLW ] { } make ] unit-test
 166
 167 ! sse comparison instructions
 168 [ { 0x66 0x0f 0xc2 0xc1 0x02 } ] [ [ XMM0 XMM1 CMPLEPD ] { } make ] unit-test
 169
 170 ! unique sse instructions
 171 [ { 0x0f 0x18 0x00 } ] [ [ EAX [] PREFETCHNTA ] { } make ] unit-test
 172 [ { 0x0f 0x18 0x08 } ] [ [ EAX [] PREFETCHT0 ] { } make ] unit-test
 173 [ { 0x0f 0x18 0x10 } ] [ [ EAX [] PREFETCHT1 ] { } make ] unit-test
 174 [ { 0x0f 0x18 0x18 } ] [ [ EAX [] PREFETCHT2 ] { } make ] unit-test
 175 [ { 0x0f 0xae 0x10 } ] [ [ EAX [] LDMXCSR ] { } make ] unit-test
 176 [ { 0x0f 0xae 0x18 } ] [ [ EAX [] STMXCSR ] { } make ] unit-test
 177
 178 [ { 0x0f 0xc3 0x08 } ] [ [ EAX [] ECX MOVNTI ] { } make ] unit-test
 179
 180 [ { 0x0f 0x50 0xc1 } ] [ [ EAX XMM1 MOVMSKPS ] { } make ] unit-test
 181 [ { 0x66 0x0f 0x50 0xc1 } ] [ [ EAX XMM1 MOVMSKPD ] { } make ] unit-test
 182
 183 [ { 0xf3 0x0f 0xb8 0xc1 } ] [ [ EAX ECX POPCNT ] { } make ] unit-test
 184 [ { 0xf3 0x48 0x0f 0xb8 0xc1 } ] [ [ RAX RCX POPCNT ] { } make ] unit-test
 185 [ { 0xf3 0x0f 0xb8 0x01 } ] [ [ EAX ECX [] POPCNT ] { } make ] unit-test
 186 [ { 0xf3 0x0f 0xb8 0x04 0x11 } ] [ [ EAX ECX EDX [+] POPCNT ] { } make ] unit-test
 187
 188 [ { 0xf2 0x0f 0x38 0xf0 0xc1 } ] [ [ EAX CL CRC32B ] { } make ] unit-test
 189 [ { 0xf2 0x0f 0x38 0xf0 0x01 } ] [ [ EAX ECX [] CRC32B ] { } make ] unit-test
 190 [ { 0xf2 0x0f 0x38 0xf1 0xc1 } ] [ [ EAX ECX CRC32 ] { } make ] unit-test
 191 [ { 0xf2 0x0f 0x38 0xf1 0x01 } ] [ [ EAX ECX [] CRC32 ] { } make ] unit-test
 192
 193 ! shifts
 194 [ { 0x48 0xd3 0xe0 } ] [ [ RAX CL SHL ] { } make ] unit-test
 195 [ { 0x48 0xd3 0xe1 } ] [ [ RCX CL SHL ] { } make ] unit-test
 196 [ { 0x48 0xd3 0xe8 } ] [ [ RAX CL SHR ] { } make ] unit-test
 197 [ { 0x48 0xd3 0xe9 } ] [ [ RCX CL SHR ] { } make ] unit-test
 198
 199 [ { 0xc1 0xe0 0x05 } ] [ [ EAX 5 SHL ] { } make ] unit-test
 200 [ { 0xc1 0xe1 0x05 } ] [ [ ECX 5 SHL ] { } make ] unit-test
 201 [ { 0xc1 0xe8 0x05 } ] [ [ EAX 5 SHR ] { } make ] unit-test
 202 [ { 0xc1 0xe9 0x05 } ] [ [ ECX 5 SHR ] { } make ] unit-test
 203
 204 ! multiplication
 205 [ { 0x4d 0x6b 0xc0 0x03 } ] [ [ R8 R8 3 IMUL3 ] { } make ] unit-test
 206 [ { 0x49 0x6b 0xc0 0x03 } ] [ [ RAX R8 3 IMUL3 ] { } make ] unit-test
 207 [ { 0x4c 0x6b 0xc0 0x03 } ] [ [ R8 RAX 3 IMUL3 ] { } make ] unit-test
 208 [ { 0x48 0x6b 0xc1 0x03 } ] [ [ RAX RCX 3 IMUL3 ] { } make ] unit-test
 209 [ { 0x48 0x69 0xc1 0x44 0x03 0x00 0x00 } ] [ [ RAX RCX 0x344 IMUL3 ] { } make ] unit-test
 210
 211 ! BT family instructions
 212 [ { 0x0f 0xba 0xe0 0x01 } ] [ [ EAX 1 BT ] { } make ] unit-test
 213 [ { 0x0f 0xba 0xf8 0x01 } ] [ [ EAX 1 BTC ] { } make ] unit-test
 214 [ { 0x0f 0xba 0xe8 0x01 } ] [ [ EAX 1 BTS ] { } make ] unit-test
 215 [ { 0x0f 0xba 0xf0 0x01 } ] [ [ EAX 1 BTR ] { } make ] unit-test
 216 [ { 0x48 0x0f 0xba 0xe0 0x01 } ] [ [ RAX 1 BT ] { } make ] unit-test
 217 [ { 0x0f 0xba 0x20 0x01 } ] [ [ EAX [] 1 BT ] { } make ] unit-test
 218
 219 [ { 0x0f 0xa3 0xd8 } ] [ [ EAX EBX BT ] { } make ] unit-test
 220 [ { 0x0f 0xbb 0xd8 } ] [ [ EAX EBX BTC ] { } make ] unit-test
 221 [ { 0x0f 0xab 0xd8 } ] [ [ EAX EBX BTS ] { } make ] unit-test
 222 [ { 0x0f 0xb3 0xd8 } ] [ [ EAX EBX BTR ] { } make ] unit-test
 223 [ { 0x0f 0xa3 0x18 } ] [ [ EAX [] EBX BT ] { } make ] unit-test
 224
 225 ! x87 instructions
 226 [ { 0xD8 0xC5 } ] [ [ ST0 ST5 FADD ] { } make ] unit-test
 227 [ { 0xDC 0xC5 } ] [ [ ST5 ST0 FADD ] { } make ] unit-test
 228 [ { 0xD8 0x00 } ] [ [ ST0 EAX [] FADD ] { } make ] unit-test
 229
 230 [ { 0xD9 0xC2 } ] [ [ ST2 FLD  ] { } make ] unit-test
 231 [ { 0xDD 0xD2 } ] [ [ ST2 FST  ] { } make ] unit-test
 232 [ { 0xDD 0xDA } ] [ [ ST2 FSTP ] { } make ] unit-test
 233
 234 [ { 15 183 195 } ] [ [ EAX BX MOVZX ] { } make ] unit-test
 235
 236 bootstrap-cell 4 = [
 237     [ { 100 199 5 0 0 0 0 123 0 0 0 } ] [ [ 0 [] FS 123 MOV ] { } make ] unit-test
 238
 239     [ { 0xa0 0x67 0x45 0x23 0x01 } ]
 240     [ [ AL 0x0123,4567 MOVABS ] { } make ] unit-test
 241
 242     [ { 0x66 0xa1 0x67 0x45 0x23 0x01 } ]
 243     [ [ AX 0x0123,4567 MOVABS ] { } make ] unit-test
 244
 245     [ { 0xa1 0x67 0x45 0x23 0x01 } ]
 246     [ [ EAX 0x0123,4567 MOVABS ] { } make ] unit-test
 247
 248     [ { 0x48 0xa1 0x67 0x45 0x23 0x01 } ]
 249     [ [ RAX 0x0123,4567 MOVABS ] { } make ] unit-test
 250
 251     [ { 0xa2 0x67 0x45 0x23 0x01 } ]
 252     [ [ 0x0123,4567 AL MOVABS ] { } make ] unit-test
 253
 254     [ { 0x66 0xa3 0x67 0x45 0x23 0x01 } ]
 255     [ [ 0x0123,4567 AX MOVABS ] { } make ] unit-test
 256
 257     [ { 0xa3 0x67 0x45 0x23 0x01 } ]
 258     [ [ 0x0123,4567 EAX MOVABS ] { } make ] unit-test
 259
 260     [ { 0x48 0xa3 0x67 0x45 0x23 0x01 } ]
 261     [ [ 0x0123,4567 RAX MOVABS ] { } make ] unit-test
 262 ] when
 263
 264 bootstrap-cell 8 = [
 265     [ { 72 137 13 123 0 0 0 } ] [ [ 123 [RIP+] RCX MOV ] { } make ] unit-test
 266     [ { 101 72 137 12 37 123 0 0 0 } ] [ [ 123 [] GS RCX MOV ] { } make ] unit-test
 267
 268     [ { 0xa0 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 269     [ [ AL 0x0123,4567,89ab,cdef MOVABS ] { } make ] unit-test
 270
 271     [ { 0x66 0xa1 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 272     [ [ AX 0x0123,4567,89ab,cdef MOVABS ] { } make ] unit-test
 273
 274     [ { 0xa1 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 275     [ [ EAX 0x0123,4567,89ab,cdef MOVABS ] { } make ] unit-test
 276
 277     [ { 0x48 0xa1 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 278     [ [ RAX 0x0123,4567,89ab,cdef MOVABS ] { } make ] unit-test
 279
 280     [ { 0xa2 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 281     [ [ 0x0123,4567,89ab,cdef AL MOVABS ] { } make ] unit-test
 282
 283     [ { 0x66 0xa3 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 284     [ [ 0x0123,4567,89ab,cdef AX MOVABS ] { } make ] unit-test
 285
 286     [ { 0xa3 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 287     [ [ 0x0123,4567,89ab,cdef EAX MOVABS ] { } make ] unit-test
 288
 289     [ { 0x48 0xa3 0xef 0xcd 0xab 0x89 0x67 0x45 0x23 0x01 } ]
 290     [ [ 0x0123,4567,89ab,cdef RAX MOVABS ] { } make ] unit-test
 291 ] when