Error in code generation: bogus arguments to MOV (x86-64)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
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:
2: (SB-C::
3: (SB-C::
4: (SB-C::
5: (SB-C::%COMPILE (SB-INT:
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
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.