suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

i3 repairs related to fp unboxing

Browse Source 
original commit: 0f33056b6503013237b26c09c2e9baba4377a750
This commit is contained in:
Matthew Flatt 2020-06-03 16:29:26 -06:00
parent a1def58a46
commit c9f2d1e156
2 changed files with 21 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
s/cpnanopass.ss
View File

@ -668,12 +668,26 @@
(loop n))))
(set! frame-vars new-vec))))
(or (vector-ref frame-vars x)
(let ([fv ($make-fv x (constant-case stack-word-alignment
[(2) (if (and (eq? type 'fp)
(fxodd? x))
'ptr
type)]
[(1) type]))])
(let ([fv ($make-fv x (let* ([type
;; Don't allocate misaligned 'fp
(constant-case stack-word-alignment
[(2) (if (and (eq? type 'fp)
(fxodd? x))
'ptr
type)]
[(1) type])]
[type
;; Don't allocate 'fp that overlaps
;; an allocated slot
(constant-case ptr-bits
[(32) (let ([next-fv (and (fx< (fx+ x 1) (vector-length frame-vars))
(vector-ref frame-vars (add1 x)))])
(if (and next-fv
(not (eq? (fv-type next-fv) 'reserved)))
'ptr
type))]
[(64) type])])
type))])
(vector-set! frame-vars x fv)
fv))]))
(define get-ptr-fv

2
s/x86.ss
View File

@ -824,7 +824,7 @@
`(asm ,info ,(asm-fl-load op (info-loadfl-flreg info)) ,x ,y ,z)])
(define-instruction value (fpt)
[(op (x fpur) (y ur)) `(asm ,info ,asm-fpt ,x ,y)])
[(op (x fpur) (y ur)) `(set! ,(make-live-info) ,x (asm ,info ,asm-fpt ,y))])
(define-instruction value (fpmove)
[(op (x fpmem) (y fpur)) `(set! ,(make-live-info) ,x (asm ,info ,asm-fpmove ,y))]