Bug#888253: mpfr4: Please reduce optimization level on powerpcspe

[Vincent Lefevre]

On 2018-01-24 11:38:35 +0100, John Paul Adrian Glaubitz wrote:
> Source: mpfr4
> Version: 3.1.6-1
   ^^^
I suppose that this should be 4.0.0-5.

[...]
> The mpfr4 build for the 4.x versions is currently choking on gcc ICEs [1]:
  

-- 
Vincent Lefèvre  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Bug#888253: mpfr4: Please reduce optimization level on powerpcspe

[John Paul Adrian Glaubitz]

Source: mpfr4
Version: 3.1.6-1
Severity: important
Tags: patch
User: debian-powe...@lists.debian.org
Usertags: powerpcspe

Hello!

The mpfr4 build for the 4.x versions is currently choking on gcc ICEs [1]:

../../src/set_d64.c: In function 'mpfr_set_decimal64':
../../src/set_d64.c:429:1: error: unrecognizable insn:
 }
 ^
(insn 15 14 16 2 (set (reg:DF 155 [ _9 ])
(subreg:DF (reg/v:DD 214 [ d ]) 0)) "../../src/set_d64.c":130 -1
 (nil))
../../src/set_d64.c:429:1: internal compiler error: in extract_insn, at 
recog.c:2311
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.
Preprocessed source stored into /tmp/ccilswZc.out file, please attach this to 
your bugreport.

Since this prevents powerpcspe from the libmpfr6 transition, I suggest
reducing the optimization level on this architecture as a quick work-
around. I will file an upstream gcc bug and also check whether we still
need -O0 on m68k.

Adrian

> [1] 
> https://buildd.debian.org/status/fetch.php?pkg=mpfr4=powerpcspe=4.0.0-5=1516751176=0

--
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaub...@debian.org
`. `'   Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
  `-GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913
diff -Nru old/mpfr4-4.0.0/debian/rules new/mpfr4-4.0.0/debian/rules
--- old/mpfr4-4.0.0/debian/rules2018-01-07 08:50:32.0 +0100
+++ new/mpfr4-4.0.0/debian/rules2018-01-24 11:31:37.917782498 +0100
@@ -39,7 +39,7 @@
 CXXFLAGS := -g $(shell dpkg-buildflags --get CXXFLAGS)
 LDFLAGS := $(shell dpkg-buildflags --get LDFLAGS) -Wl,-z,defs
 
-ifeq (m68k,$(DEB_HOST_ARCH))
+ifneq (,$(filter $(DEB_HOST_ARCH), m68k powerpcspe))
   CFLAGS += -O0
 else ifeq (sh4,$(DEB_HOST_ARCH))
   CFLAGS += -mieee