Странно: как hard-float может дать больше кода, чем soft-float? У
меня ровно наоборот наблюдалось, когда экспериментировал и с тем, и
с этим. А вот когда я soft-float (еще и с double!) воткнул на STM32F042, там сразу чуть ли не 10кБ добавилось (но мне было откровенно лень fixed point использовать, чтобы из полученных от TSYS01 данных вычислить температуру, а float там не справлялся с точностью)!