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

List:       sbcl-devel
Subject:    Re: [Sbcl-devel] Failed AVER on PPC64 in FAST-ASH-LEFT/UNSIGNED=>UNSIGNED
From:       Stas Boukarev <stassats () gmail ! com>
Date:       2022-06-28 15:55:26
Message-ID: CAF63=13OjZLSiaV_ZPKGc+M2nHVGQZ-9nKLv3T=DJMKeho=5HA () mail ! gmail ! com
[Download RAW message or body]

This is basically the same as
https://github.com/sbcl/sbcl/commit/02a200e80c51c782d1113bb7bfc4923652b6b117
but for ppc.

On Tue, Jun 28, 2022 at 4:46 PM Eric Marsden
<eric.marsden@risk-engineering.org> wrote:
>
> Hi,
>
> This is from random-integer testing on PPC64.
>
>
> This is SBCL 2.2.5.178-9b417e6-WIP, an implementation of ANSI Common Lisp.
> * (defun foo (a b)
>      (declare (type (integer -52157190517375857 39602286699665408) a))
>      (declare (type (integer 1 270632) b))
>      (deposit-field
>       (ash
>        (block b4 (setq b 33448))
>        (min 4 (floor 160 b)))
>       (byte 33 30)
>       a))
> debugger invoked on a SB-INT:BUG @1000403328 in thread
> #<THREAD "main thread" RUNNING {100268000C}>:
>      failed AVER: (> SB-VM::AMOUNT 0)
> restarts (invokable by number or by possibly-abbreviated name):
>    0: [ABORT] Exit debugger, returning to top level.
>
> ((SB-C::VOP SB-VM::FAST-ASH-LEFT/UNSIGNED=>UNSIGNED) #<SB-C::VOP :INFO
> SB-VM::FAST-ASH-LEFT-MOD64/UNSIGNED=>UNSIGNED :ARGS #<SB-C:TN-REF :TN
> #<SB-C:TN '33448!1 :CONSTANT> :WRITE-P NIL :VOP
> SB-VM::FAST-ASH-LEFT-MOD64/UNSIGN\
> ED=>UNSIGNED> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t2[NL0] :NORMAL>
> :WRITE-P T :VOP SB-VM::FAST-ASH-LEFT-MOD64/UNSIGNED=>UNSIGNED>>)
> 0]
>
>
> _______________________________________________
> 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]