Automatic tuning of GCC optimizations for ARM platform