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

List:       sbcl-devel
Subject:    Re: [Sbcl-devel] Bug: bad argument to XOR when emitting assembly, AMD64 backend
From:       Stas Boukarev <stassats () gmail ! com>
Date:       2021-04-21 18:23:53
Message-ID: CAF63=131bctovfJ36F7U4q=nU_mF4Hiinr4g8nWiJ43OBAzO7A () mail ! gmail ! com
[Download RAW message or body]

Fixed, thanks.

On Wed, Apr 21, 2021 at 8:13 PM Eric Marsden
<eric.marsden@risk-engineering.org> wrote:
>
> Hello,
>
> Problem encountered in random-testing on AMD64/Linux.
>
> * (lisp-implementation-version)
> "2.1.3.111-1fc7fb568"
> * (defun foo (A B D E)
>      (DECLARE (TYPE (INTEGER -20 14323937215631) A))
>      (DPB
>       (ASH
>        (TRUNCATE 562949953421316  (MAX 97 D))
>        (MIN 81 (EXPT (BOOLE BOOLE-AND E B) 2)))
>       (BYTE 7 5)
>       (DOTIMES (I 2 a)
>         (COUNT I #(61) :TEST '>=))))
>
>
> debugger invoked on a SIMPLE-ERROR in thread
> #<THREAD "main thread" RUNNING {1008A48283}>:
>    bogus operands to XOR
>
> Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
>
> restarts (invokable by number or by possibly-abbreviated name):
>    0: [ABORT] Exit debugger, returning to top level.
>
> ((FLET SB-X86-64-ASM::EMIT* :IN "SYS:SRC;COMPILER;X86-64;INSTS.LISP")
> "XOR" #<SB-ASSEM:SEGMENT {1004E54783}> 6 #<SB-C:TN t1[S7] :NORMAL>
> #<SB-C:TN t1[S7] :NORMAL> 6)
> 0] backtrace
> Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1008A48283}>
> 0: ((FLET SB-X86-64-ASM::EMIT* :IN "SYS:SRC;COMPILER;X86-64;INSTS.LISP")
> "XOR" #<SB-ASSEM:SEGMENT {1004E54783}> 6 #<SB-C:TN t1[S7] :NORMAL>
> #<SB-C:TN t1[S7] :NORMAL> 6)
> 1: (SB-ASSEM::%ASSEMBLE #<SB-ASSEM:SEGMENT {1004E54783}>
> (#<SB-ASSEM::STMT IGNORE {1004E4E913}> . #<SB-ASSEM::STMT .ALIGN
> {1004E54943}>))
>
> --
> Eric Marsden
> Web: https://risk-engineering.org/
> Twitter: @LearnRiskEng
>
>
>
> _______________________________________________
> Sbcl-devel mailing list
> Sbcl-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/sbcl-devel


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

Configure | About | News | Add a list | Sponsored by KoreLogic