sjs/sectorlisp
1
0
Fork 0
mirror of https://github.com/samsonjs/sectorlisp.git synced 2026-04-27 14:57:41 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Inline Pairlis (436 bytes)

Browse source
This commit is contained in:
Justine Tunney 2021-12-09 08:51:26 -08:00
parent 040852302c
commit caa4547c8f
1 changed files with 20 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

43
sectorlisp.S
View file

@ -140,24 +140,11 @@ PutChar:mov $0x0e,%ah # prints CP-437
jne 1f # look xchg ret jne 1f # look xchg ret
mov $'\n',%al mov $'\n',%al
jmp PutChar jmp PutChar
////////////////////////////////////////////////////////////////////////////////
Pairlis:test %di,%di # Pairlis(x:di,y:si,a:dx):ax
jz 1f # jump if nil
push (%bx,%di) # save 1 Cdr(x)
lodsw
push (%si) # save 2 Cdr(y)
mov (%di),%di
call Cons # preserves dx
pop %si # restore 2
pop %di # restore 1
push %ax # save 3
call Pairlis
jmp xCons # can be inlined here
1: xchg %dx,%ax 1: xchg %dx,%ax
ret ret
////////////////////////////////////////////////////////////////////////////////
Evlis: test %di,%di # Evlis(m:di,a:dx):ax Evlis: test %di,%di # Evlis(m:di,a:dx):ax
jz 1f # jump if nil jz 1f # jump if nil
push (%bx,%di) # save 1 Cdr(m) push (%bx,%di) # save 1 Cdr(m)
@ -170,7 +157,7 @@ Evlis: test %di,%di # Evlis(m:di,a:dx):ax
xCons: pop %di # restore 2 xCons: pop %di # restore 2
Cons: xchg %di,%cx # Cons(m:di,a:ax):ax Cons: xchg %di,%cx # Cons(m:di,a:ax):ax
mov %cx,(%di) mov %cx,(%di) # must preserve si
mov %ax,(%bx,%di) mov %ax,(%bx,%di)
lea 4(%di),%cx lea 4(%di),%cx
1: xchg %di,%ax 1: xchg %di,%ax
@ -207,12 +194,21 @@ Apply: test %ax,%ax # Apply(fn:ax,x:si:a:dx):ax
jns .switch # jump if atom jns .switch # jump if atom
xchg %ax,%di # di = fn xchg %ax,%di # di = fn
.lambda:mov (%bx,%di),%di # di = Cdr(fn) .lambda:mov (%bx,%di),%di # di = Cdr(fn)
push %di # save 1 push %di # for .EvCadr
mov (%di),%di # di = Cadr(fn) mov (%di),%di # di = Cadr(fn)
call Pairlis Pairlis:test %di,%di # Pairlis(x:di,y:si,a:dx):dx
xchg %ax,%dx jz .EvCadr # return if x is nil
pop %di # restore 1 lodsw # ax = Car(y)
jmp .EvCadr push (%bx,%di) # push Cdr(x)
mov (%di),%di # di = Car(x)
mov (%si),%si # si = Cdr(y)
call Cons # Cons(Car(x),Car(y))
xchg %ax,%di
xchg %dx,%ax
call Cons # Cons(Cons(Car(x),Car(y)),a)
xchg %ax,%dx # a = new list
pop %di # grab Cdr(x)
jmp Pairlis
.switch:cmp $kEq,%ax # eq is last builtin atom .switch:cmp $kEq,%ax # eq is last builtin atom
ja .dflt1 # ah is zero if not above ja .dflt1 # ah is zero if not above
mov (%si),%di # di = Car(x) mov (%si),%di # di = Car(x)
@ -255,8 +251,9 @@ Evcon: push %di # save c
pop %di # restore c pop %di # restore c
test %ax,%ax # nil test test %ax,%ax # nil test
jz 1b jz 1b
mov (%di),%di # di = Car(c) push (%di) # push Car(c)
.EvCadr:call Cadr # ax = Cadar(c) .EvCadr:pop %di
call Cadr # ax = Cadar(c)
# jmp Eval # jmp Eval
Eval: test %ax,%ax # Eval(e:ax,a:dx):ax Eval: test %ax,%ax # Eval(e:ax,a:dx):ax