blob: b3f22b0d690ff632fc8f609b242502e5e6889fda (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(bits 16)
(text
(begin (nop)
(inv (alt z!
l!
a!))
(nop)))
;The arguments to a begin always take as their win and lose the
;following arg in the sequence, except for the last, which takes
;begin's win and lose. Since the assertions only generate jcc's, they
;would all be jcc's to the last (nop). But it happens that the last
;(nop) is the instruction following the a! assertion. But a jmp to the
;next instruction is really doing nothing at all, so it may be
;eliminated. But then the l! assertion is in the same circumstance,
;and so on. Hence:
; 00000000 90 nop
; 00000001 90 nop
|