1. Computers
  2. Display Drivers
  3. Graphics Cards
  4. Memory
  5. Motherboards
  6. Processors
  7. Software
  8. Storage
  9. Operating Systems


Facebook RSS Twitter Twitter Google Plus


Phoronix Test Suite

OpenBenchmarking.org

LLVM's Polly Keeps Optimizing, Plays With Pluto

Compiler

Published on 10 October 2012 01:46 PM EDT
Written by Michael Larabel in Compiler
4 Comments

Polly was accepted at the beginning of this year as an official LLVM project and since then it's continued to advance ahead of the LLVM 3.2 release for providing polyhedral optimizations.

With LLVM 3.1 it was the first release where Polly became an official LLVM project for being an experimental optimizer for data locality and parallelism. Polly can be loaded directly into Clang and there was an automatic scheduling optimizer as well for performing loop transformations. Since the LLVM 3.1 release, there's been more Polly improvements building up for LLVM 3.2 this December.

In July, the Polly Polyhderal optimizer was modified so that it could be directly linked to the PLUTO optimizer. The PLUTO Compiler project page describes itself as "an automatic parallelization tool based on the polyhedral model. The polyhedral model for compiler optimization provides an abstraction to perform high-level transformations such as loop-nest optimization and parallelization on affine loop nests. Pluto transforms C programs from source to source for coarse-grained parallelism and data locality simultaneously. The core transformation framework mainly works by finding affine transformations for efficient tiling and fusion, but not limited to those."

Polly could already handle PLUTO-like optimizations with a similar algorithm having existed within the project's code-base, but now PLUTO can be directly linked to from Polly. "Being able to directly compare with the original implementation will not only bring in competition in the optimizer field. It will also allow new experiments with a cutting edge research tool."

Another milestone for Polly happened last month when experimental support was committed for the new ISL code generator. The new ISL code generator gives direct control over items like loop unrolling, control overhead, and code size. ISL was also relicensed to MIT in the process, but does depend upon the GPL-licensed GMP library. However, developers do hope to replace the GPL GMP code with something more liberally licensed. "The use of GMP is limited to a well defined interface. Replacing it with a BSD licensed replacement is a tractable engineering project we would be very interested in."

The Integer Set Library (ISL) work is described in the manual (PDF). "isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints. The descriptions of the sets and relations may involve both parameters and existentially quantified variables. All computations are performed in exact integer arithmetic using GMP. The isl library offers functionality that is similar to that offered by the Omega and Omega+ libraries, but the underlying algorithms are in most cases completely different."

More information on the LLVM Polly work can be found via its project page.

About The Author
Michael Larabel is the principal author of Phoronix.com and founded the web-site in 2004 with a focus on enriching the Linux hardware experience and being the largest web-site devoted to Linux hardware reviews, particularly for products relevant to Linux gamers and enthusiasts but also commonly reviewing servers/workstations and embedded Linux devices. Michael has written more than 10,000 articles covering the state of Linux hardware support, Linux performance, graphics hardware drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated testing software. He can be followed via and or contacted via .
Latest Linux Hardware Reviews
  1. Acer B286HK: A 28-inch UHD LED 4K Monitor For As Low As $350
  2. Intel Xeon E5-1680 v3 & E5-2687W v3 Compared To The Core i7 5960X On Linux
  3. Intel 120GB 530 Series SSD Linux Performance
  4. Btrfs/EXT4/XFS/F2FS RAID 0/1/5/6/10 Linux Benchmarks On Four SSDs
Latest Linux Articles
  1. Mesa Git Yields Performance Improvements For Newer AMD GPUs
  2. Apple OS X 10.10 vs. Ubuntu 14.10 Performance
  3. Mesa 10.5-devel Brings Some Intel Haswell HD Graphics Changes Over Mesa 10.3
  4. NVIDIA vs. Nouveau Drivers With Linux 3.18 + Mesa 10.4-devel
Latest Linux News
  1. Devuan: Debian Without Systemd
  2. Wine 1.7.32 Updates Its Mono Engine
  3. Mesa 10.4 Release Candidate 3 Is Here For Weekend Testing
  4. GenodeOS 14.11 Now Supports Intel's Wireless Hardware
  5. Jolla Tablet Could Have Upgrades For MicroSDHC, Split Screen, 3.5G
  6. Intel Has Last Round Of DRM Changes For Linux 3.19, Starts Dropping DRI1/UMS
  7. Fedora 21 Release Candidate 1 Awaits Your Testing
  8. GCC 5 Adds Support For ARM's Cortex-A17
  9. KWayland Server Component Coming For KDE Plasma 5.2
  10. NVIDIA Posts Tegra Gallium3D Patch For K1+ Support
Latest Forum Discussions
  1. Aliens vs predator for Linux
  2. Updated and Optimized Ubuntu Free Graphics Drivers
  3. Hurrican SDL Port
  4. Roadmap to Catalyst 14.10 ?
  5. how to configure module phoromatic ?
  6. PulseAudio 6.0 Is Coming & Other Linux Audio Plans For The Future
  7. Debian Developer Resigns From The Systemd Maintainership Team
  8. Cant get working Kaveri APU - A10-7850k