Loop unrolling with non-constant bounds in firm Source repo of my bachelor's thesis LaTeX files. Details can be found at: https://pp.ipd.kit.edu/thesis.php?id=311 Source code can be found in my fork of libFIRM in branch duffs