Hello,
My MR [1] using SIMDEverywhere has been merged into z3.
It is going to solve the SSE2 issue on i386 on CPUs
like Athlon XP and Pentium Pro or anything before
Pentium 4.
[1]: https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/9
I've opened a new MR:
https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/8
This MR won't add SSE2 as a requirement. Instead, it will make
the compiler not to emit SSE2 instructions when building for x86_32.
I've tested it on my Athlon XP and it works fine.
objdump -d doesn't show up any SS
I'm pretty happy with that solution. the downside would be that the Z3
constraint solver can't be used by LLVM. Ubuntu and Fedora currently
have it disabled for all architectures and I'm not seeing any bug
reports.
On Mon, Oct 17, 2022 at 3:33 PM Bernhard Übelacker
wrote:
>
> Hello Karo, hello Di
Hello Karo, hello Dill,
I tried to carry this issue to the llvm people, if it
might be possible to drop libz3 linking of libllvm at i386.
This should mitigate most visible issues,
but I am not sure what the downsides would be.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021926
Kind regard
It seems to me that the libz3-4 package was compiled with SSE2 turned on.
$ objdump -d libz3.so.4 | grep pxor | wc -l
2896
$ objdump -d libz3.so.4 | grep movq | wc -l
26380
> According to the developers of libz4-3, the precision of the FPU x87
> registers is not sufficient therefore a libz4-3 package compiled
> without SSE2 would be non-functional.
I think this is just a made-up excuse so they don't have to waste time
on supporting niche 20+ years old hardware.
But i
> The package pulling in libz3-4 into the dependency chain is libllvm14.
> I've noticed the ubuntu version of the package does not link against
> libz3-4 and the libz3-4 package can be removed from the system and
> xorg and mesa function just fine. Perhaps a version of libllvm14
> compiled without
On Tue, Oct 11, 2022 at 4:06 AM karogyoker999 wrote:
>
> > As far as I see your MR just adds a dependency to sse2-support,
> > which I guess just makes the installation abort in case of a CPU
> > not supporting sse2, so I guess this would just make
> > mesa not installable on your hardware?
>
> Ex
> As far as I see your MR just adds a dependency to sse2-support,
> which I guess just makes the installation abort in case of a CPU
> not supporting sse2, so I guess this would just make
> mesa not installable on your hardware?
Exactly.
It will abort the installation as it wouldn't work anyways.
Am 10.10.22 um 17:21 schrieb karogyoker999:
Hello,
MR has been opened to "fix" this issue:
https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/6
Eliminating SSE2 from z3 upstream is not feasible:
https://github.com/Z3Prover/z3/issues/6369#issuecomment-1259419466
The dependency chain I h
Hello,
MR has been opened to "fix" this issue:
https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/6
Eliminating SSE2 from z3 upstream is not feasible:
https://github.com/Z3Prover/z3/issues/6369#issuecomment-1259419466
The dependency chain I have identified:
xorg->libgl1-mesa-dri->libllvm
Dear Maintainer,
tried to have a look at another bug report, but found X not starting up.
I could reproduce this inside a qemu VM started with:
qemu-system-i386 -enable-kvm -cpu pentium-v1 ...
So due to the current documentation [1] it looks like plain Pentium will
not be supported in bookworm
Package: libz3-4
Version: 4.8.12-1+b2
Severity: important
X-Debbugs-Cc: russ.d...@gmail.com
Dear Maintainer,
Running Xorg on my Pentium Pro system crashes with an illegal instruction:
(gdb) run
Starting program: /usr/lib/xorg/Xorg
[Thread debugging using libthread_db enabled]
Using host libthre
13 matches
Mail list logo
