Ghassan Shobaki wrote:
We are currently working on a research project on instruction scheduling for low power (experimenting with different algorithms for minimizing switching power) and would like to find out if GCC already has such a scheduler and how it can be enabled, so that we can experiment with it.
Your project sounds similar to the following project: http://gcc.gnu.org/ml/gcc/2013-03/msg00259.html ("Identifying Compiler Options to Minimise Energy Consumption for Embedded Platforms").
Tobias