gcc/gcc/config/fx80
