[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality
From: |
Pip Cet |
Subject: |
Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812) |
Date: |
Thu, 4 Mar 2021 07:36:21 +0000 |
On Tue, Mar 2, 2021 at 5:14 PM Pip Cet <pipcet@gmail.com> wrote:
> Don't forget this one either (currently miscompiled to have subr-type
> ((t) nil)):
>
> (lambda (x)
> (unless (= x 0.0) (error ""))
> (unless (eql x -0.0) (error ""))
> x)
That one's still broken.
(lambda (x) (if (eql x 1.0) (error "")) (unless (floatp x) (error "")) x)
is also mis-analyzed to have subr-type (function (t) nil). However,
the compiled code appears to work correctly in both cases. Do you care
about such bugs?
Pip
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Pip Cet, 2021/03/02
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Andrea Corallo, 2021/03/02
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Pip Cet, 2021/03/02
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Andrea Corallo, 2021/03/02
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Pip Cet, 2021/03/02
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812),
Pip Cet <=
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Andrea Corallo, 2021/03/04
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Andrea Corallo, 2021/03/06
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Pip Cet, 2021/03/07
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Andrea Corallo, 2021/03/07
- Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812), Pip Cet, 2021/03/07