В C есть ключевое слово restrict. Оно говорит компилятору простую, но очень важную вещь: «Эти указатели не пересекаются в памяти». Без restrict компилятор обязан быть осторожным. Он не знает, могут ли a, b и result указывать на один и тот же участок памяти. Поэтому он не всегда может агрессивно оптимизировать код. С restrict ситуация меняется: - компилятор уверен, что указатели не alias друг друга - цикл можно безопаснее векторизовать - загрузки и записи можно переупорядочивать - проще включать...