summaryrefslogtreecommitdiff
path: root/x86.pit
blob: 2aa8d898a74dea568ba151127f9d67a0199681dd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
(defun! x86/split16le (w)
  "Split the 16-bit W16 into a little-endian list of 8-bit integers."
  (list
    (bitwise/and 0xff w)
    (bitwise/and 0xff (bitwise/rshift w 8))))

(defun! x86/split32le (w)
  "Split the 32-bit W32 into a little-endian list of 8-bit integers."
  (list
   (bitwise/and 0xff w)
   (bitwise/and 0xff (bitwise/rshift w 8))
   (bitwise/and 0xff (bitwise/rshift w 16))
   (bitwise/and 0xff (bitwise/rshift w 24))))

(defun! x86/register-1byte? (r)
  "Return the register index for 1-byte register R."
  (case r
    (al 0) (cl 1) (dl 2) (bl 3)
    (ah 4) (ch 5) (dh 6) (bh 7)
    (r8b 8) (r9b 9) (r10b 10) (r11b 11)
    (r12b 12) (r13b 13) (r14b 14) (r15b 15)))

(defun! x86/register-2byte? (r)
  "Return the register index for 2-byte register R."
  (case r
    (ax 0) (cx 1) (dx 2) (bx 3)
    (sp 4) (bp 5) (si 6) (di 7)
    (r8w 8) (r9w 9) (r10w 10) (r11w 11)
    (r12w 12) (r13w 13) (r14w 14) (r15w 15)))

(defun! x86/register-4byte? (r)
  "Return the register index for 4-byte register R."
  (case r
    (eax 0) (ecx 1) (edx 2) (ebx 3)
    (esp 4) (ebp 5) (esi 6) (edi 7)
    (r8d 8) (r9d 9) (r10d 10) (r11d 11)
    (r12d 12) (r13d 13) (r14d 14) (r15d 15)))

(defun! x86/register-8byte? (r)
  "Return the register index for 8-byte register R."
  (case r
    (rax 0) (rcx 1) (rdx 2) (rbx 3)
    (rsp 4) (rbp 5) (rsi 6) (rdi 7)
    (r8 8) (r9 9) (r10 10) (r11 11)
    (r12 12) (r13 13) (r14 14) (r15 15)))

(defun! x86/register? (r)
  "Return the register index of R."
  (or
    (x86/register-1byte? r)
    (x86/register-2byte? r)
    (x86/register-4byte? r)
    (x86/register-8byte? r)))

(defun! x86/register-extended? (r)
  "Return non-nil if R is an extended register."
  (list/contains? r
    '( r8b r9b r10b r11b r12b r13b r14b r15b
       r8w r9w r10w r11w r12w r13w r14w r15w
       r8d r9d r10d r11d r12d r13d r14d r15d
       r8 r9 r10 r11 r12 r13 r14 r15)))

(defun! x86/integer-fits-in-bits? (bits x)
  "Determine if X fits in BITS."
  (if (integer? x)
    (let ((leftover (bitwise/rshift x bits)))
      (eq? leftover 0))))
(defun! x86/operand-immediate-fits? (sz x)
  "Determine if immediate operand X fits in SZ."
  (let
    ((bits
       (or
         (case sz
           ("b" 8) ("c" 16) ("d" 32) ("i" 16)
           ("j" 32) ("q" 64) ("v" 64) ("w" 16)
           ("y" 64) ("z" 32))
         (error! "unknown operand pattern size"))))
    (x86/integer-fits-in-bits? bits x)))

(defun! x86/operand-register-fits? (sz r)
  "Determine if register operand R fits in SZ."
  (case sz
    ("b" (x86/register-1byte? r))
    ("c" (or (x86/register-1byte? r) (x86/register-2byte? r)))
    ("d" (x86/register-4byte? r))
    ("i" (x86/register-2byte? r))
    ("j" (x86/register-4byte? r))
    ("q" (x86/register-8byte? r))
    ("v" (or (x86/register-2byte? r) (x86/register-4byte? r) (x86/register-8byte? r)))
    ("w" (x86/register-2byte? r))
    ("y" (or (x86/register-4byte? r) (x86/register-8byte? r)))
    ("z" (or (x86/register-2byte? r) (x86/register-4byte? r)))))

(defun! x86/memory-operand-base (m)
  (and
    (eq? (car m) 'mem)
    (car (cdr m))))
(defun! x86/memory-operand-off (m)
  (and
    (eq? (car m) 'mem)
    (or (car (cdr (cdr m))) 0)))

(defun! x86/operand-memory-location? (op)
  "Return non-nil if OP represents a memory location."
  (let ( (base (x86/memory-operand-base op))
         (off (x86/memory-operand-off op)))
    (and
      (or (x86/register-4byte? base) (x86/register-8byte? base))
      (integer? off))))

(defun! x86/operand-match? (pat op)
  "Determine if operand OP matches PAT."
  (cond
    ((symbol? pat) (eq? pat op))
    ((cons? pat) (list/contains? op pat))
    ((bytes? pat)
      (let ( (loc (bytes/range 0 1 pat))
             (sz (bytes/range 1 (bytes/len pat) pat)))
        (cond
          ((or (equal? loc "I") (equal? loc "J")) (x86/operand-immediate-fits? sz op))
          ((or (equal? loc "G") (equal? loc "R")) (x86/operand-register-fits? sz op))
          ((equal? loc "M") (x86/operand-memory-location? op))
          ((equal? loc "E")
            (or (x86/operand-register-fits? sz op) (x86/operand-memory-location? op)))
          (t (error! "unknown operand pattern location")))))))

(defun! x86/operand-size (op)
  "Return the minimum power-of-2 size in bytes that contains OP."
  (cond
    ((symbol? op)
      (cond
        ((x86/register-1byte? op) 1)
        ((x86/register-2byte? op) 2)
        ((x86/register-4byte? op) 4)
        ((x86/register-8byte? op) 8)
        (t (error! "attempted to take size of unknown register"))))
    ((integer? op)
      (cond
        ((x86/integer-fits-in-bits? 8 op) 1)
        ((x86/integer-fits-in-bits? 16 op) 2)
        ((x86/integer-fits-in-bits? 32 op) 4)
        ((x86/integer-fits-in-bits? 64 op) 8)
        (t (error! "attempted to take size of too-large immediate"))))
    ((x86/operand-memory-location? op) 1)
    (t (error! "attempted to take size of unknown operand"))))

(defstruct! x86/ins
  operand-size-prefix
  address-size-prefix
  rex-w
  rex-r
  rex-x
  rex-b
  opcode
  modrm-mod
  modrm-reg
  modrm-rm
  disp ;; pair of size and value
  imm ;; pair of size and value
  )

(defun! x86/ins-bytes (ins)
  "Return a list of bytes encoding INS."
  (let ( (opcode (x86/ins/get-opcode ins))
         (rex-w (x86/ins/get-rex-w ins))
         (rex-r (x86/ins/get-rex-r ins))
         (rex-x (x86/ins/get-rex-x ins))
         (rex-b (x86/ins/get-rex-b ins))
         (modrm-mod (x86/ins/get-modrm-mod ins))
         (modrm-reg (x86/ins/get-modrm-reg ins))
         (modrm-rm (x86/ins/get-modrm-rm ins))
         (disp (x86/ins/get-disp ins))
         (imm (x86/ins/get-imm ins)))
    (list/append
      (if (x86/ins/get-operand-size-prefix ins) '(0x66))
      (if (x86/ins/get-address-size-prefix ins) '(0x67))
      (if (or rex-w rex-r rex-x rex-b)
        (list
          (bitwise/or
            0x40
            (if rex-w 0b1000 0)
            (if rex-r 0b0100 0)
            (if rex-x 0b0010 0)
            (if rex-b 0b0001 0))))
      (cond
        ((not opcode) (error! "no opcode for instruction"))
        ((cons? opcode) opcode)
        ((integer? opcode) (list opcode))
        (t (error! "malformed opcode for instruction")))
      (if (or modrm-mod modrm-reg modrm-rm)
        (list
          (bitwise/or
            (bitwise/lshift (or modrm-mod 0) 6)
            (bitwise/lshift (or modrm-reg 0) 3)
            (or modrm-rm 0))))
      (if disp
        (cond
          ((eq? (car disp) 1) (list (cdr disp)))
          ((eq? (car disp) 4) (x86/split32le (cdr disp)))
          (t (error! "malformed displacement for instruction"))))
      (if imm
        (cond
          ((eq? (car imm) 1) (list (cdr imm)))
          ((eq? (car imm) 2) (x86/split16le (cdr imm)))
          ((eq? (car imm) 4) (x86/split32le (cdr imm)))
          (t (error! "malformed immediate for instruction")))))))

(defun! x86/instruction-update-sizes (ins ops default-size)
  "Update INS to account for the sizes of OPS.
DEFAULT-SIZE is the default operand size."
  (let ((defsz (or default-size 4)))
    (if (> (list/len ops) 0)
      (let ((regs (list/uniq (list/map 'x86/operand-size (list/filter 'x86/register? ops)))))
        (if (> (list/len regs) 1)
          (error! "invalid mix of register sizes in operands"))
        (let ((sz (if (eq? (list/len regs) 0) defsz (car regs))))
          (cond
            ((eq? sz 1) nil)
            ((eq? defsz sz) nil)
            ((and (not (eq? defsz 2)) (eq? sz 2)) (x86/ins/set-operand-size-prefix! ins t))
            ((and (not (eq? defsz 8)) (eq? sz 8)) (x86/ins/set-rex-w! ins t))
            (t (error! "unable to encode operands with default size")))
          sz)))))

(defun! x86/instruction-update-operand (esz ins pat op)
  "Update INS to account for an operand OP according to PAT.
The effective operand size is ESZ."
  (cond
    ((bytes? pat)
      (let ((loc (bytes/range 0 1 pat)))
        (cond
          ((equal? loc "I")
            (let ((immsz (if (>= esz 4) 4 esz)))
              (if (not (x86/integer-fits-in-bits? (* 8 immsz) op))
                (error! "Immediate too large" op))
              (x86/ins/set-imm! ins (cons immsz op))))
          ((equal? loc "J")
            (let ((immsz (if (eq? esz 1) 1 4)))
              (if (not (x86/integer-fits-in-bits? (* 8 immsz) op))
                (error! "jump displacement too large"))
              (x86/ins/set-disp! ins (cons immsz op))))
          ((equal? loc "G")
            (x86/ins/set-modrm-reg! ins
              (or (x86/register? op) (error "Invalid register: %s" op))))
          ((or (equal? loc "R") (and (equal? loc "E") (x86/register? op)))
            (x86/ins/set-modrm-mod! ins 0b11)
            (x86/ins/set-modrm-rm! ins
              (or (x86/register? op) (error "Invalid register: %s" op))))
          ((or (equal? loc "M") (and (equal? loc "E") (x86/operand-memory-location? op)))
            (let ( (base (x86/memory-operand-base op))
                   (off (x86/memory-operand-off op)))
              (cond
                ((eq? base 'eip)
                  (x86/ins/set-modrm-rm! ins 0b101)
                  (x86/ins/set-modrm-mod! ins 0b00)
                  (x86/ins/set-disp! ins (cons 4 off))
                  (x86/ins/set-address-size-prefix! ins t))
                ((eq? base 'rip)
                  (x86/ins/set-modrm-rm! ins 0b101)
                  (x86/ins/set-modrm-mod! ins 0b00)
                  (x86/ins/set-disp! ins (cons 4 off)))
                (t
                  (x86/ins/set-modrm-rm! ins
                    (or
                      (x86/register-4byte? base)
                      (x86/register-8byte? base)
                      (error! "invalid base register")))
                  (if (x86/register-4byte? base)
                    (x86/ins/set-address-size-prefix! ins t))
                  (cond
                    ((x86/integer-fits-in-bits? 8 off)
                      (x86/ins/set-disp! ins (cons 1 off))
                      (x86/ins/set-modrm-mod! ins 0b01))
                    ((x86/integer-fits-in-bits? 32 off)
                      (x86/ins/set-disp! ins (cons 4 off))
                      (x86/ins/set-modrm-mod! ins 0b10))
                    (t (error! "invalid offset")))))))
          (t (error! "invalid operand location code")))))))

(defun! x86/default-instruction-handler (opcode & kwargs)
  "Return an instruction handler for OPCODE.
The instruction handler will run POSTHOOK on the instruction at the end.
DEFAULT-SIZE is the default operand size."
  (let ( (posthook (plist/get :posthook kwargs))
         (default-size (plist/get :default-size kwargs)))
    (lambda (pats ops)
      (let ((ret (x86/ins/new :opcode opcode)))
        (let ((esz
                (or (x86/instruction-update-sizes ret ops default-size)
                  (error! "malformed size for operands"))))
          (list/zip-with
            (lambda (it other)
              (x86/instruction-update-operand esz ret it other))
            pats
            ops))
        (if posthook
          (funcall posthook ret ops))
        ret))))

(defun! x86/instruction-handler-jcc (opcode immsz)
  "Return an instruction handler for a Jcc instruction at OPCODE.
IMMSZ is the size of the displacement from RIP."
  (lambda (_pats ops)
    (let ((ret (x86/ins/new :opcode opcode)))
      (x86/ins/set-disp! ret (cons immsz (car ops)))
      ret)))

(defun! x86/generate-handlers-arith (opbase group1reg)
  "Return handlers for an arithmetic mnemonic starting at OPBASE.
The REG value in ModR/M is indicated by GROUP1REG."
  (list
    (cons '("Eb" "Gb") (x86/default-instruction-handler (+ opbase 0)))
    (cons '("Ev" "Gv") (x86/default-instruction-handler (+ opbase 1)))
    (cons '("Gb" "Eb") (x86/default-instruction-handler (+ opbase 2)))
    (cons '("Gv" "Ev") (x86/default-instruction-handler (+ opbase 3)))
    (cons '(al "Ib") (x86/default-instruction-handler (+ opbase 4)))
    (cons '((ax eax rax) "Iz") (x86/default-instruction-handler (+ opbase 5)))
    (cons '("Eb" "Ib")
      (x86/default-instruction-handler 0x80
        :posthook (lambda (ins _) (x86/ins/set-modrm-reg! ins group1reg))))
    (cons '("Ev" "Iz")
      (x86/default-instruction-handler 0x81
        :posthook (lambda (ins _) (x86/ins/set-modrm-reg! ins group1reg))))
    (cons '("Ev" "Ib")
      (x86/default-instruction-handler 0x83
        :posthook (lambda (ins _) (setf (x86/ins-modrm-reg ins) group1reg))))))

(setq! x86/registers-+reg-base
  '( (+rb . (al cl dl bl ah ch dh bh))
     (+rw . (ax cx dx bx sp bp si di))
     (+rd . (eax ecx edx ebx esp ebp esi edi))
     (+rq . (rax rcx rdx rbx rsp rbp rsi rdi))))
(setq! x86/registers-+reg-extended
  '( (+rw . (r8b r9b r10b r11b r12b r13b r14b r15b))
     (+rw . (r8w r9w r10w r11w r12w r13w r14w r15w))
     (+rd . (r8d r9d r10d r11d r12d r13d r14d r15d))
     (+rq . (r8 r9 r10 r11 r12 r13 r14 r15))))
(defun! x86/generate-handlers-opcode-+reg (opbase extraops addends & args)
  "Generate handlers for a family of opcodes that uses the +reg encoding.
OPBASE is the base opcode.
EXTRAOPS are additional operands after the register operand.
ADDENDS is a list of symbols like +rw, +rq etc. that denote allowed registers.
ARGS are passed verbatim to `u/x86/default-instruction-handler."
  (list/map
    (lambda (it)
      (let ( (abase (list/map (lambda (a) (list/nth it (alist/get a x86/registers-+reg-base))) addends))
             (aext (list/map (lambda (a) (list/nth it (alist/get a x86/registers-+reg-extended))) addends)))
        (cons
          (cons (list/append abase aext) extraops)
          (apply 'x86/default-instruction-handler (cons (+ opbase it) args)))))
    (list/iota 8)))

(setq!
  x86/mnemonic-table
  (list
    (cons 'add (x86/generate-handlers-arith 0x00 0))
    (cons 'or  (x86/generate-handlers-arith 0x08 1))
    (cons 'adc (x86/generate-handlers-arith 0x10 2))
    (cons 'sbb (x86/generate-handlers-arith 0x18 3))
    (cons 'and (x86/generate-handlers-arith 0x20 4))
    (cons 'sub (x86/generate-handlers-arith 0x28 5))
    (cons 'xor (x86/generate-handlers-arith 0x30 6))
    (cons 'cmp (x86/generate-handlers-arith 0x38 7))
    (cons 'push
      (x86/generate-handlers-opcode-+reg 0x50 '() '(+rw +rq) 
        :default-size 8
        :posthook (lambda (ins ops) (x86/ins/set-rex-b! ins (x86/register-extended? (car ops))))))
    (cons 'pop
      (x86/generate-handlers-opcode-+reg 0x58 '() '(+rw +rq)
        :default-size 8
        :posthook (lambda (ins ops) (x86/ins/set-rex-b! ins (x86/register-extended? (car ops))))))
    (list 'jo
      (cons '("Jb") (x86/instruction-handler-jcc 0x70 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x80) 4)))
    (list 'jno
      (cons '("Jb") (x86/instruction-handler-jcc 0x71 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x81) 4)))
    (list 'jb
      (cons '("Jb") (x86/instruction-handler-jcc 0x72 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x82) 4)))
    (list 'jnb
      (cons '("Jb") (x86/instruction-handler-jcc 0x73 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x83) 4)))
    (list 'jz
      (cons '("Jb") (x86/instruction-handler-jcc 0x74 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x84) 4)))
    (list 'jnz
      (cons '("Jb") (x86/instruction-handler-jcc 0x75 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x85) 4)))
    (list 'jbe
      (cons '("Jb") (x86/instruction-handler-jcc 0x76 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x86) 4)))
    (list 'jnbe
      (cons '("Jb") (x86/instruction-handler-jcc 0x77 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x87) 4)))
    (list 'js
      (cons '("Jb") (x86/instruction-handler-jcc 0x78 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x88) 4)))
    (list 'jns
      (cons '("Jb") (x86/instruction-handler-jcc 0x79 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x89) 4)))
    (list 'jp
      (cons '("Jb") (x86/instruction-handler-jcc 0x7a 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8a) 4)))
    (list 'jnp
      (cons '("Jb") (x86/instruction-handler-jcc 0x7b 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8b) 4)))
    (list 'jl
      (cons '("Jb") (x86/instruction-handler-jcc 0x7c 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8c) 4)))
    (list 'jnl
      (cons '("Jb") (x86/instruction-handler-jcc 0x7d 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8d) 4)))
    (list 'jle
      (cons '("Jb") (x86/instruction-handler-jcc 0x7e 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8e) 4)))
    (list 'jnle
      (cons '("Jb") (x86/instruction-handler-jcc 0x7f 1))
      (cons '("Jz") (x86/instruction-handler-jcc '(0x0f 0x8f) 4)))
    (cons 'mov
      (x86/generate-handlers-opcode-+reg 0xb0 '("Ib") '(+rb)
        :posthook (lambda (ins ops) (x86/ins/set-rex-b! ins (x86/register-extended? (car ops))))))
    (cons 'mov
      (x86/generate-handlers-opcode-+reg 0xb8 '("Iv") '(+rw +rd +rq)
        :posthook (lambda (ins ops) (x86/ins/set-rex-b! ins (x86/register-extended? (car ops))))))
    (list 'jmp
      (cons '("Ev")
        (x86/default-instruction-handler 0xff
          :default-size 8
          :posthook (lambda (ins _) (setf (u/x86/ins-modrm-reg ins) 4)))))
    (list 'syscall
      (cons '() (lambda (_ _) (x86/ins/new :opcode '(0x0f 0x05)))))
    ))

(defun! x86/asm (op)
  "Assemble OP to an instruction."
  (let ((mnem (car op)) (operands (cdr op)))
    (let ((variants (or (alist/get mnem x86/mnemonic-table) (error! "unknown mnemonic"))))
      (let ((v
              (list/find
                (lambda (it)
                  (and (eq? (list/len (car it)) (list/len operands))
                    (list/all? (lambda (x) x) (list/zip-with 'x86/operand-match? (car it) operands))))
                variants)))
        (if (and v (function? (cdr v)))
          (funcall (cdr v) (car v) operands)
          (error! "could not identify instruction"))))))

(setq! test-ins (x86/asm '(syscall)))
(print! test-ins)
(print! (x86/ins-bytes test-ins))