Groups > linux.debian.bugs.dist > #1082872

Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit

From	Bastian Germann <bage@debian.org>
Newsgroups	linux.debian.bugs.dist
Subject	Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit
Date	2021-11-23 23:00 +0100
Message-ID	<DmLZw-PF-7@gated-at.bofh.it> (permalink)
References	(4 earlier) <DbkSZ-1ZV-1@gated-at.bofh.it> <Dbm8q-2UU-3@gated-at.bofh.it> <DmjgS-Ho-3@gated-at.bofh.it> <BBdxh-3iH-13@gated-at.bofh.it> <DmjgS-Ho-3@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

Am 22.11.21 um 16:10 schrieb Giulio Paci:
> I guess the main reason for this weird behavior is described in (option -mfpmath):
> 
> https://gcc.gnu.org/onlinedocs/gcc-10.3.0/gcc/x86-Options.html#x86-Options 
> <https://gcc.gnu.org/onlinedocs/gcc-10.3.0/gcc/x86-Options.html#x86-Options>
> 
> and in (option -ffloat-store):
> 
> https://gcc.gnu.org/onlinedocs/gcc-10.3.0/gcc/Optimize-Options.html#Optimize-Options 
> <https://gcc.gnu.org/onlinedocs/gcc-10.3.0/gcc/Optimize-Options.html#Optimize-Options>.
> 
> Using -ffloat-store option indeed seems to fix the issue.
> 
> 
> However I am wondering:
> 1) is this the proper solution?
> 2) is it correct that the compiler does not guarantee the above assumptions?
> 
> Do you have any suggestion?

Hi,

I am not very knowlegable about floating point semantics in various compiler optimizations,
so unfortunately I do not have any suggestion. Does upstream have an opinion on this?

Thanks,
Bastian

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit Bastian Germann <bage@debian.org> - 2021-10-23 02:40 +0200
  Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit Giulio Paci <giuliopaci@gmail.com> - 2021-10-23 10:50 +0200
    Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit Bastian Germann <bage@debian.org> - 2021-10-23 12:10 +0200
      Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit Giulio Paci <giuliopaci@gmail.com> - 2021-11-22 16:20 +0100
        Bug#981030: RFS: sctk/2.4.10-20151007-1312Z+dfsg2-4 -- speech recognition scoring toolkit Bastian Germann <bage@debian.org> - 2021-11-23 23:00 +0100

csiph-web