зачастую компиляторы промахиваются от того что код который им скормили превышает требования задачи, но компиляторы не умеют в языки постановки задач, а лишь умеют педантично парсить код, компилятору просто не откуда знать что вот там данные можно выкинуть и выиграть +100500 тактов
я лично там где компилятор не может сгенерить код, например в 512 байт нужно логику загрузки для диска с GPT впилить, или стартовый код для 32ух битного бинарника стартующего в рилмоде