Frameworks Supporting The Polyhedral Model
Use of the polyhedral model within a compiler requires software to represent the objects of this framework (sets of integer-valued points in regions of various spaces) and perform operations upon them (e.g., testing whether the set is empty).
For more detail about the objects and operations in this model, and an example relating the model to the programs being compiled, see the polyhedral model page.
There are many frameworks supporting the polyhedral model. Some of these frameworks use one or more libraries for performing polyhedral operations. Others, notably Omega, combine everything in a single package. Some commonly used libraries are the Omega Library (and a more recent fork), piplib, PolyLib, PPL, isl, the cloog polyhedral code generator, and the barvinok library for counting integer solutions. Of these libraries, PolyLib and PPL focus mostly on rational values, while the other libraries focus on integer values. The polyhedral framework of gcc is called Graphite. Polly provides polyhedral optimizations for LLVM.
Read more about Frameworks Supporting The Polyhedral Model: Common Strengths, Differences in Presentation or Vocabulary, Differences in Approach or Implementation Status, See Also
Famous quotes containing the words supporting, polyhedral and/or model:
“I hope you will be benefitted by your churchgoing. Where the habit does not Christianize, it generally civilizes. That is reason enough for supporting churches, if there were no higher.”
—Rutherford Birchard Hayes (1822–1893)
“O hideous little bat, the size of snot,
With polyhedral eye and shabby clothes,”
—Karl Shapiro (b. 1913)
“Your home is regarded as a model home, your life as a model life. But all this splendor, and you along with it ... it’s just as though it were built upon a shifting quagmire. A moment may come, a word can be spoken, and both you and all this splendor will collapse.”
—Henrik Ibsen (1828–1906)