Re: Rustc unsoundness on i386

2024-11-24 Thread Simon McVittie
On Sun, 24 Nov 2024 at 13:25:59 +0100, Iustin Pop wrote: > Are there viable/realistic platforms today that are i386 for real, and > don't support SSE2? In other words, if Debian as a whole does B) (not > only for rust), what is the practical impact on any non-toy hardware? SSE2 is well over 20 yea

Re: Rustc unsoundness on i386

2024-11-24 Thread Iustin Pop
On 2024-11-24 11:00:20, Fabian Grünbichler wrote: > On Sat, Nov 23, 2024, at 5:50 PM, Chris Hofstaedtler wrote: > > * Fabian Grünbichler [241123 15:31]: > >> B) bump the i386 baseline in Debian to require SSE2, and stop disabling > >> SSE2 there in rustc > >> C) disable all optimizations for Rust

Re: Rustc unsoundness on i386

2024-11-24 Thread Sylvestre Ledru
Le 24/11/2024 à 05:00, Fabian Grünbichler a écrit : On Sat, Nov 23, 2024, at 5:50 PM, Chris Hofstaedtler wrote: * Fabian Grünbichler [241123 15:31]: B) bump the i386 baseline in Debian to require SSE2, and stop disabling SSE2 there in rustc C) disable all optimizations for Rust code on i386

Re: Rustc unsoundness on i386

2024-11-24 Thread Bastien Roucariès
Le dimanche 24 novembre 2024, 09:54:18 UTC Fabian Grünbichler a écrit : > On Sun, Nov 24, 2024, at 8:01 AM, Shengjing Zhu wrote: > > On Sat, Nov 23, 2024 at 10:30 PM Fabian Grünbichler > > wrote: > >> A) move i386 rustc to Rust's i586 target (which doesn't have SSE out of > >> the box), instead o

Re: Rustc unsoundness on i386

2024-11-24 Thread Fabian Grünbichler
On Sat, Nov 23, 2024, at 5:50 PM, Chris Hofstaedtler wrote: > * Fabian Grünbichler [241123 15:31]: >> B) bump the i386 baseline in Debian to require SSE2, and stop disabling SSE2 >> there in rustc >> C) disable all optimizations for Rust code on i386 (not really an option I >> think, just here f

Re: Rustc unsoundness on i386

2024-11-24 Thread Fabian Grünbichler
On Sun, Nov 24, 2024, at 8:01 AM, Shengjing Zhu wrote: > On Sat, Nov 23, 2024 at 10:30 PM Fabian Grünbichler > wrote: >> A) move i386 rustc to Rust's i586 target (which doesn't have SSE out of the >> box), instead of the i686-with-SSE2-disabled it currently uses >> B) bump the i386 baseline in De

Re: Rustc unsoundness on i386

2024-11-23 Thread Shengjing Zhu
On Sat, Nov 23, 2024 at 10:30 PM Fabian Grünbichler wrote: > A) move i386 rustc to Rust's i586 target (which doesn't have SSE out of the > box), instead of the i686-with-SSE2-disabled it currently uses > B) bump the i386 baseline in Debian to require SSE2, and stop disabling SSE2 > there in rust

Re: Rustc unsoundness on i386

2024-11-23 Thread Johannes Schauer Marin Rodrigues
Quoting Chris Hofstaedtler (2024-11-23 17:50:25) > * Fabian Grünbichler [241123 15:31]: > > A) move i386 rustc to Rust's i586 target (which doesn't have SSE out of the > > box), instead of the i686-with-SSE2-disabled it currently uses > > B) bump the i386 baseline in Debian to require SSE2, and s

Re: Rustc unsoundness on i386

2024-11-23 Thread Chris Hofstaedtler
* Fabian Grünbichler [241123 15:31]: > A) move i386 rustc to Rust's i586 target (which doesn't have SSE out of the > box), instead of the i686-with-SSE2-disabled it currently uses > B) bump the i386 baseline in Debian to require SSE2, and stop disabling SSE2 > there in rustc > C) disable all opt

Re: Rustc unsoundness on i386

2024-11-23 Thread Fabian Grünbichler
On Sat, Nov 23, 2024, at 3:14 PM, Fabian Grünbichler wrote: > On Sat, Nov 23, 2024, at 1:09 PM, Jonas Smedegaard wrote: >> Quoting Chris Hofstaedtler (2024-11-23 04:16:29) >>> * Jonas Smedegaard [241122 18:01]: >>> > > All release architectures support Rust. We should not accept >>> > > release

Re: Rustc unsoundness on i386

2024-11-23 Thread Jonas Smedegaard
[individuals stripped as recipients, as per Debian mailinglist policy] Quoting Fabian Grünbichler (2024-11-23 15:14:42) > p.s.: if you become aware of such an issue with any toolchain, it > would be nice to file a bug report *with the corresponding toolchain > package in Debian* to make its mainta

Rustc unsoundness on i386

2024-11-23 Thread Fabian Grünbichler
On Sat, Nov 23, 2024, at 1:09 PM, Jonas Smedegaard wrote: > Quoting Chris Hofstaedtler (2024-11-23 04:16:29) >> * Jonas Smedegaard [241122 18:01]: >> > > All release architectures support Rust. We should not accept >> > > release architectures without Rust support. >> > > >> > > A minor set of po