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

[Paul F. Dietz]

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)]

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)]

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

[Stas Boukarev (stassats)]

In 0e0e1002a193a8b0b699f80542ddd5c90b8e55f5.