Error in code generation: bogus arguments to MOV (x86-64)

Bug #1722375 reported by Paul F. Dietz on 2017-10-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

Current snapshot, x86-64 Linux:

(defun f17 (a)
  (declare (notinline values typep))
  (the integer (values a 2305843009213693946 a -207)))

bogus arguments to MOV: #<SB-C:TN t1[S10] :NORMAL> #<SB-X86-64-ASM::EA :QWORD base=#<SB-C:TN t2[RBX] :NORMAL> disp=-32>
   [Condition of type SIMPLE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-X86-64-ASM::MOV #<SB-C:TN t1[S10] :NORMAL> #<SB-X86-64-ASM::EA :QWORD base=#<SB-C:TN t2[RBX] :NORMAL> disp=-32>)
  1: (SB-VM::DEFAULT-UNKNOWN-VALUES #<SB-C::VOP :INFO SB-C:CALL-NAMED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t3[RAX] :NORMAL> :WRITE-P NIL :VOP SB-C:CALL-NAMED> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t4[#1=RDX] :..
  2: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME F17 {100326C153}>)
  3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME F17 {100326C153}>)
  4: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME F17 {100326C153}>)
  5: (SB-C::%COMPILE (SB-INT:NAMED-LAMBDA F17 (A) (DECLARE (NOTINLINE VALUES TYPEP)) (BLOCK F17 (THE INTEGER #))) #<SB-C::CORE-OBJECT {1003247F23}> :NAME NIL :PATH (SB-C::ORIGINAL-SOURCE-START 0 0))

Paul F. Dietz (paul-f-dietz) wrote :

This is showing up at high frequency in the random tester (about once per 2000 tests for terms generated with size parameter 100). If it would be useful I can try to get the public version of the random tester working well enough so you all can do a sanity check with it before relevant commits.

Stas Boukarev (stassats) wrote :

It's a recent addition and will be fixed shortly. But a public version would be nice.

Stas Boukarev (stassats) wrote :

In 0e0e1002a193a8b0b699f80542ddd5c90b8e55f5.

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers