Superoptimization is finding -the- optimal program to perform a task, as opposed to optimization which only looks for better programs. Loop-free means... no loops.

That said, their approach does not actually give you the superoptimal solution, since it is a stochastic search.