[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-devel
Subject:    [Sbcl-devel] Bug: type error in MAYBE-EMIT-REX-FOR-EA (AMD64/x86)
From:       Eric Marsden <eric.marsden () free ! fr>
Date:       2017-06-02 9:54:45
Message-ID: 87wp8u4suy.fsf () free ! fr
[Download RAW message or body]

Hi,

This bug is present on Linux/AMD64 and (with slightly different
signalling) Linux/x86.



(lisp-implementation-version)
"1.3.15.66-6c83ec339"
* (lambda (p1 p2 p3)
    (declare (optimize (debug 2) (space 0))
             (type (member :end1 0) p3))
    (string-not-lessp p1 p2 (the keyword p3) 1))
debugger invoked on a TYPE-ERROR:
  The value
    :END1
  is not of type
    (OR SB-X86-64-ASM::EA SB-C:TN SB-C:FIXUP)
  when binding SB-X86-64-ASM::THING

Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1001F2E853}>
0: (SB-X86-64-ASM::MAYBE-EMIT-REX-FOR-EA #<SB-ASSEM:SEGMENT :TYPE :REGULAR> :END1 \
                #<SB-C:TN t1[RAX]>) [external]
1: (SB-X86-64-ASM::|mov| #<SB-ASSEM:SEGMENT :TYPE :REGULAR> #<SB-C::VOP :INFO \
SB-VM::MOVE-TO-WORD-C :ARGS #<SB-C:TN-REF :TN #<SB-C:TN ':END1!2[Const4]> :WRITE-P \
NIL :VOP SB-VM::MOVE-TO-WORD-C> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t1[RAX]> \
                :WRITE-P T :VOP SB-VM::MOVE-TO-WORD-C>> #<SB-C:TN t1[RAX]> :END1)
2: ((SB-C::VOP SB-VM::MOVE-TO-WORD-C) #<SB-C::VOP :INFO SB-VM::MOVE-TO-WORD-C :ARGS \
#<SB-C:TN-REF :TN #<SB-C:TN ':END1!2[Const4]> :WRITE-P NIL :VOP \
SB-VM::MOVE-TO-WORD-C> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t1[RAX]> :WRITE-P T :VOP \
                SB-VM::MOVE-TO-WORD-C>>)
3: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME (LAMBDA (P1 P2 P3)) {1001F93413}>)



-- 
Eric Marsden
https://risk-engineering.org/


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel


[prev in list] [next in list] [prev in thread] [next in thread]