Описание тега gimple
GIMPLE - это язык промежуточных представлений, используемый GCC.
GIMPLE - это трехадресный язык промежуточного представления на основе дерева как высокого, так и низкого уровня, полученный в результате рекурсивного разбиения ОБЩИХ выражений на кортежи.
Он используется серверной частью GCC для оптимизации и анализа кода. Оптимизация, выполненная в этой форме, перечислена в Википедии.
Страницу GCC на GIMPLE можно найти здесь.