Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 469330 - =dev-libs/ppl-0.12.1-r1 on HPPA fails polyhedron1 and polyhedron2 tests
Summary: =dev-libs/ppl-0.12.1-r1 on HPPA fails polyhedron1 and polyhedron2 tests
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Core system (show other bugs)
Hardware: HPPA Linux
: Normal normal (vote)
Assignee: Gentoo Toolchain Maintainers
URL:
Whiteboard:
Keywords: PMASKED, TESTFAILURE
Depends on:
Blocks:
 
Reported: 2013-05-10 16:02 UTC by Jeroen Roovers (RETIRED)
Modified: 2016-12-08 04:40 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
dev-libs:ppl-0.12.1-r1:20130508-135340.log.gz (20130508-135340.log.gz,15.75 KB, application/x-gzip)
2013-05-10 16:02 UTC, Jeroen Roovers (RETIRED)
Details
test output (469330-ppl.tst,1.63 KB, text/plain)
2013-05-17 13:25 UTC, Jeroen Roovers (RETIRED)
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Jeroen Roovers (RETIRED) gentoo-dev 2013-05-10 16:02:39 UTC
Created attachment 347938 [details]
dev-libs:ppl-0.12.1-r1:20130508-135340.log.gz

Fri May 10 18:02:15 CEST 2013
emerge --info dev-libs/ppl
Portage 2.1.11.63 (default/linux/hppa/13.0, gcc-4.6.3, glibc-2.17, 3.9.0-rc8-JeR-00030-g4cbbd1d parisc64)
=================================================================
                        System Settings
=================================================================
System uname: Linux-3.9.0-rc8-JeR-00030-g4cbbd1d-parisc64-PA8800_-Mako-with-gentoo-2.2
KiB Mem:     1020312 total,    169888 free
KiB Swap:    2101676 total,   2101676 free
Timestamp of tree: Fri, 10 May 2013 15:15:01 +0000
ld GNU ld (GNU Binutils) 2.22
distcc 3.1 hppa2.0-unknown-linux-gnu [enabled]
ccache version 3.1.9 [disabled]
app-shells/bash:          4.2_p45
dev-lang/python:          2.5.4-r5, 2.6.8-r1, 2.7.3-r3, 3.1.5-r1, 3.2.3-r2
dev-util/ccache:          3.1.9
dev-util/cmake:           2.8.10.2-r2
dev-util/pkgconfig:       0.28
sys-apps/baselayout:      2.2
sys-apps/openrc:          0.11.8
sys-apps/sandbox:         2.5
sys-devel/autoconf:       2.13, 2.69
sys-devel/automake:       1.9.6-r3, 1.11.6, 1.12.6
sys-devel/binutils:       2.21.1-r1, 2.22-r1
sys-devel/gcc:            4.6.3, 4.7.2-r1
sys-devel/gcc-config:     1.7.3
sys-devel/libtool:        2.4-r1
sys-devel/make:           3.82-r4
sys-kernel/linux-headers: 3.7 (virtual/os-headers)
sys-libs/glibc:           2.17
Repositories: gentoo JeR
ACCEPT_KEYWORDS="hppa"
ACCEPT_LICENSE="* -@EULA"
CBUILD="hppa2.0-unknown-linux-gnu"
CFLAGS="-mschedule=8000 -march=2.0 -ggdb -pipe -Wall -O2 -Wno-comment"
CHOST="hppa2.0-unknown-linux-gnu"
CONFIG_PROTECT="/etc /usr/lib/distcc/bin /usr/lib/python2.5/site-packages/buildbot/status/web /usr/lib/python2.6/site-packages/buildbot/status/web /usr/lib/python2.7/site-packages/buildbot/status/web /usr/share/gnupg/qualified.txt /var/bind /var/www/localhost/htdocs/wordpress/wp-config.php"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/php/apache2-php5.3/ext-active/ /etc/php/apache2-php5.4/ext-active/ /etc/php/cgi-php5.3/ext-active/ /etc/php/cgi-php5.4/ext-active/ /etc/php/cli-php5.3/ext-active/ /etc/php/cli-php5.4/ext-active/ /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c"
CXXFLAGS="-mschedule=8000 -march=2.0 -ggdb -pipe -Wall -O2"
DISTDIR="/world/distfiles"
EMERGE_DEFAULT_OPTS="--quiet-build=n"
FCFLAGS=""
FEATURES="assume-digests binpkg-logs buildpkg config-protect-if-modified distcc distlocks ebuild-locks fixlafiles merge-sync metadata-transfer news notitles parallel-fetch preserve-libs protect-owned sfperms splitdebug strict test test-fail-continue unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv xattr"
FFLAGS="-mschedule=8000 -march=2.0 -ggdb -pipe -Wall -O2"
GENTOO_MIRRORS="http://de-mirror.org/distro/gentoo/ http://mirror.netcologne.de/gentoo/ http://ftp.snt.utwente.nl/pub/os/linux/gentoo http://gentoo.tiscali.nl/ http://mirror.leaseweb.com/gentoo/ "
LC_ALL="C"
LDFLAGS="-Wl,-O1 -Wl,--hash-style=gnu -Wl,--as-needed"
MAKEOPTS="-j6"
PKGDIR="/keeps/gentoo/packages/karsten"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages"
PORTAGE_TMPDIR="/var/tmp"
PORTDIR="/world/gentoo/portage"
PORTDIR_OVERLAY="/keeps/gentoo/local"
SYNC="rsync://rsync.nl.gentoo.org/gentoo-portage"
USE="256-color X acl amr apng bash-completion bzip2 cli coverage cracklib crypt cups custom-cflags cxx dirac directfb dri exif fbcon filecaps firefox firmware foomaticdb fortran frontend-optional gdbm geoip gpm gsm gstreamer gtk gudev hppa hwdb iconv idn imlib ipv6 jpeg kmod ladspa launch-frontend libcaca libwww lua lzo mad mng modules mp3 mudflap multislot ncurses netlink nls nptl openmp pam pcre php pkcs11 png pnm python qt quvi readline rtmp samba session smi speex spell sqlite ssl tcl tcpd test tga theora threads tk truetype unicode v4l vorbis wcwidth xattr xcb xft xml2 xvfb xvid zlib" ALSA_CARDS="ad1889 usb-audio" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump author" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CURL_SSL="nss" DRACUT_MODULES="nfs syslog" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ubx" INPUT_DEVICES="evdev joystick keyboard mouse acecad aiptek calcomp citron digitaledge dmc dynapro elo2300 elographics fpit hyperpen jamstudio magellan microtouch mutouch palmax penmount spaceorb summa tek4957 tslib ur98 void" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LINGUAS="en nl he" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-3" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_5 python2_6 python2_7 python3_1 python3_2" RUBY_TARGETS="ruby18 ruby19" USERLAND="GNU" VIDEO_CARDS="stifb dummy" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account"
USE_PYTHON="2.5 2.6 2.7 3.1 3.2"
Unset:  CPPFLAGS, CTARGET, INSTALL_MASK, LANG, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS

=================================================================
                        Package Settings
=================================================================

dev-libs/ppl-0.12.1-r1 was built with the following:
USE="test -doc -lpsol -pch -static-libs"
Comment 1 Ryan Hill (RETIRED) gentoo-dev 2013-05-11 05:25:51 UTC
Are there any test logs?
Comment 2 Agostino Sarubbo gentoo-dev 2013-05-11 12:31:11 UTC
@toolchain, fyi on amd64 the tests are fine.
Comment 3 Jeroen Roovers (RETIRED) gentoo-dev 2013-05-11 17:29:32 UTC
(In reply to comment #2)
> @toolchain, fyi on amd64 the tests are fine.

The point is, can you reproduce it on PARISC?
Comment 4 Ryan Hill (RETIRED) gentoo-dev 2013-05-16 02:49:07 UTC
Still waitin on those logs.
Comment 5 Jeroen Roovers (RETIRED) gentoo-dev 2013-05-16 14:32:39 UTC
(In reply to comment #4)
> Still waitin on those logs.

What logs? Does the ppl test suite produce logs on your system?
Comment 6 Ryan Hill (RETIRED) gentoo-dev 2013-05-17 03:11:37 UTC
Hmm I guess not.  Can you try setting PPL_NOISY_TESTS (or PPL_VERY_NOISY_TESTS) in the env?
Comment 7 Jeroen Roovers (RETIRED) gentoo-dev 2013-05-17 13:21:48 UTC
karsten /var/tmp/portage/dev-libs/ppl-0.12.1-r1/work/ppl-0.12.1/tests/Concrete_Expression # export PPL_NOISY_TESTS=yesplz           
karsten /var/tmp/portage/dev-libs/ppl-0.12.1-r1/work/ppl-0.12.1/tests/Concrete_Expression # ./polyhedron1                           
                                                                                                                                    
=== test01 ===                                                                                                                      
*** ph.affine_form_image(B, 3) ***                                                                                                  
C = 0,                                                                                                                              
A = -2,                                                                                                                             
-B >= -3,                                                                                                                           
B >= 3.                                                                                                                             
*** know_result ***                                                                                                                 
C = 0,                                                                                                                              
A = -2,                                                                                                                             
B = 3.                                                                                                                              
                                                                                                                                    
=== test02 ===                                                                                                                      
*** ph.affine_form_image(A, A + B + 1) ***                                                                                          
B >= 0,                                                                                                                             
A - 2*B >= 1,                                                                                                                       
-A + B >= -4.                                                                                                                       
*** known_result ***                                                                                                                
A - 2*B >= 1,                                                                                                                       
B >= 0,                                                                                                                             
-A + B >= -4.                                                                                                                       
                                                                                                                                    
=== test03 ===                                                                                                                      
*** ph.affine_form_image(A, (A + 1) / 2) ***                                                                                        
2*A >= 1,                                                                                                                           
B >= 0.                                                                                                                             
*** known_result ***                                                                                                                
2*A >= 1,                                                                                                                           
B >= 0.                                                                                                                             
                                                                                                                                    
=== test04 ===                                                                                                                      
*** ph.affine_form_image(A, (B + 2) / (-3)) ***                                                                                     
0 = 1.                                                                                                                              
*** known_result ***                                                                                                                
B = 0,                                                                                                                              
3*A = -2.                                                                                                                           
                                                                                                                                    
=== test05 ===                                                                                                                      
*** ph.affine_form_image(B, (A - B + 2) / (-3)) ***                                                                                 
0 = 1.                                                                                                                              
*** known_result ***                                                                                                                
A >= 2,                                                                                                                             
A + 3*B >= -1,                                                                                                                      
-A >= -3,                                                                                                                           
A - 3*B >= 2.                                                                                                                       
                                                                                                                                    
=== test06 ===                                                                                                                      
*** ph.affine_form_image(A, (-A - 1) / (-1)) ***                                                                                    
A >= 1,                                                                                                                             
B >= 0,                                                                                                                             
-A >= -2,                                                                                                                           
-B >= -1.                                                                                                                           
*** known_result ***                                                                                                                
A >= 1,                                                                                                                             
B >= 0,                                                                                                                             
-A >= -2,                                                                                                                           
-B >= -1.                                                                                                                           
                                                                                                                                    
=== test07 ===                                                                                                                      
*** p1.affine_form_image(B, A) ***                                                                                                  
A - B >= 0,                                                                                                                         
-A > 0,                                                                                                                             
-A + B >= 0.                                                                                                                        
*** known_result1 ***                                                                                                               
A - B >= 0,                                                                                                                         
-A > 0,                                                                                                                             
-A + B >= 0.                                                                                                                        
*** p2.affine_form_image(B, A + 2) ***                                                                                              
A >= 0,                                                                                                                             
A - B >= -2,                                                                                                                        
-A + B >= 2.                                                                                                                        
*** known_result2 ***                                                                                                               
A >= 0,                                                                                                                             
A - B >= -2,                                                                                                                        
-A + B >= 2.                                                                                                                        
tests failed: test04 test05
Comment 8 Jeroen Roovers (RETIRED) gentoo-dev 2013-05-17 13:21:58 UTC
karsten /var/tmp/portage/dev-libs/ppl-0.12.1-r1/work/ppl-0.12.1/tests/Concrete_Expression # ./polyhedron2 

=== test01 ===
incompatible dimensions.

=== test02 ===
*** A <= [57, 57] ***
-A >= -57.
*** known_result ***
-A >= -57.

=== test03 ===
*** ph ***
-A >= -2,
B >= 1,
A >= 0,
-C >= 0,
C >= 0.
*** known_result ***
A >= 0,
-A >= -2,
B >= 1,
C = 0.

=== test04 ===
*** ph ***
0 = 1.
*** known_result1 ***
3*A >= 1,
-3*A >= -2,
B >= 0,
-3*B >= -1.
*** FP_Interval_Abstract_Store ***
A = []
B = []

=== test05 ===
*** ph ***
-A >= -1,
-B >= -1,
A >= -1,
B >= -1,
-A - B >= 2.
*** known_result1 ***
-2*A + 4*B >= -3,
A >= -1,
-A >= -1,
B >= -1,
-B >= -1.
*** FP_Interval_Abstract_Store ***
A = -1
B = -1
tests failed: test04 test05
Comment 9 Jeroen Roovers (RETIRED) gentoo-dev 2013-05-17 13:25:01 UTC
Created attachment 348518 [details]
test output

Of course copy/paste somehow bungled the line endings. :-\
Comment 10 Jeroen Roovers (RETIRED) gentoo-dev 2013-07-23 16:59:59 UTC
This seems to actually affect sys-devel/gcc[graphite] in that it miscompiles certain loops. USE=graphite is now use.masked for sys-devel/gcc on HPPA.
Comment 11 Ryan Hill (RETIRED) gentoo-dev 2013-07-24 01:40:39 UTC
Thanks.  Sorry I lost track of this one.  Seems upstream isn't interested in older versions.
Comment 12 Jeroen Roovers (RETIRED) gentoo-dev 2013-07-24 02:53:53 UTC
No problem. I'm dying to see if ppl-1.0 fixes the stack direction problems, but I doubt it will.
Comment 13 SpanKY gentoo-dev 2016-12-08 04:40:28 UTC
the 0.12.1 track is dead and no one cares and nothing uses it, so we can just let it go quietly into the night