/libgcc/config/spu/