https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
Thomas Koenig changed:
What|Removed |Added
Status|WAITING |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #13 from CVS Commits ---
The master branch has been updated by Thomas Kथà¤nig :
https://gcc.gnu.org/g:905ba62ec96f8469c1085861d9ceec58fbee5709
commit r11-1018-g905ba62ec96f8469c1085861d9ceec58fbee5709
Author: Thomas Koenig
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
pthaugen at gcc dot gnu.org changed:
What|Removed |Added
CC||pthaugen at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
Thomas Koenig changed:
What|Removed |Added
Ever confirmed|0 |1
CC|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #10 from William J. Schmidt
2012-04-09 16:03:27 UTC ---
FWIW, my original compile did eventually complete (after 31.5 hours)...
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #9 from bagnara at cs dot unipr.it 2012-04-06 19:17:25 UTC ---
Pity it is not enabled: it definitely should.
Note that the addition of the deterministic timeout facility of the PPL was
solicited by the Graphite people. Previously the
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #8 from William J. Schmidt 2012-04-06
19:08:09 UTC ---
Roberto, I tried your patch, but got the following error:
PPL error code -8
PPL C interface error:
ppl_set_deterministic_timeout: the PPL Watchdog library is not enabled.
I assu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #7 from bagnara at cs dot unipr.it 2012-04-06 14:06:38 UTC ---
(In reply to comment #5)
> Here is a sketch (100% untested) of what can be done without intervening [...]
So untested that I forgot to declare to the MIP problem that all v
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #6 from bagnara at cs dot unipr.it 2012-04-06 14:04:09 UTC ---
Created attachment 27104
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27104
Example alternative implementation for ppl_powerset_is_empty ()
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
bagnara at cs dot unipr.it changed:
What|Removed |Added
CC||bagnara at cs dot unipr.it
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
William J. Schmidt changed:
What|Removed |Added
CC||dberlin at gcc dot gnu.org,
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #3 from William J. Schmidt 2012-04-06
12:09:47 UTC ---
PPL administrator "bagnara" was very helpful in investigating this.
The PPL code is not actually looping, but simply is taking a very long time to
analyze a large input set. The
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #2 from William J. Schmidt 2012-04-05
17:06:47 UTC ---
Opened a bug report as https://www.cs.unipr.it/mantis/view.php?id=353 against
PPL.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #1 from William J. Schmidt 2012-04-05
16:47:32 UTC ---
I verified that the looping occurs inside the PPL library, on a call to
ppl_PIP_Problem_is_satisfiable. I used ppl_PIP_Problem_ascii_dump to examine
the "pip" variable passed int
14 matches
Mail list logo
