Add special case in cpnanopass for (eq? (ftype-pointer-address x) 0)

This commit is contained in:
Gustavo Massaccesi 2020-11-19 22:26:23 -03:00 committed by Matthew Flatt
parent 6bdf095944
commit 76c45cc3e4
2 changed files with 4 additions and 1 deletions

View File

@ -2116,3 +2116,5 @@
i3nt/ti3nt. more recent versions of gcc sometimes generate sse
instructions that require 16-byte stack alignment.
x86.ss
- add special case in cpnanopass.ss for (eq? (ftype-pointer-address x) 0)
cpnanopass.ss

View File

@ -4600,7 +4600,8 @@
[(e) (ensure-single-valued e #f)])
(define-inline 2 eq?
[(e1 e2)
(or (relop-length RELOP= e1 e2)
(or (eqvop-null-fptr e1 e2)
(relop-length RELOP= e1 e2)
(%inline eq? ,e1 ,e2))])
(define-inline 2 keep-live
[(e) (%seq ,(%inline keep-live ,e) ,(%constant svoid))])