GIMPLE is an intermediate representation language used by GCC.
GIMPLE is both a high and low level, three-address, tree-based intermediate representation language derived from breaking down GENERIC expressions into tuples recursively.
It is used by the GCC backend to perform code optimization and analysis. Optimizations done in this form are listed by Wikipedia.
GCC's page on GIMPLE can be found here.