#12666: Optional CLooG-PPL spkg
-------------------------------------+-------------------------------------
       Reporter:  SimonKing          |        Owner:  tbd
           Type:  enhancement        |       Status:  positive_review
       Priority:  major              |    Milestone:  sage-
      Component:  packages:          |  duplicate/invalid/wontfix
  optional                           |   Resolution:
       Keywords:  CLooG PPL ISL GCC  |    Merged in:
  LTO                                |
        Authors:                     |    Reviewers:  François Bissey
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
   Dependencies:  #12672             |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by leif):

 Replying to [comment:21 leif]:
 > Replying to [comment:20 fbissey]:
 > > cloog/isl and previously ppl were for the graphite plugin which does
 loop optimization, not "link time optimization" unless you know something
 I don't.
 >
 > Yes, but that was (at least years ago) also, if not only, done ''at link
 time''.  But LTO has massively changed (and improved) over the last years,
 they say.
 >
 > Not sure whether CLooG was initially used during ''compilation'' as
 well.

 Hmmm, strike that.  I couldn't find any reference, and both seem indeed
 independent, while combining them may of course be advantageous.  (Hence
 you're right, `--enable-lto` is orthogonal to `--with-isl`.)

--
Ticket URL: <https://trac.sagemath.org/ticket/12666#comment:22>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to