Llvm без оптимизации под определенные инструкции

Я вставляю некоторые инструкции в llvm IR, чтобы выполнить проверку целочисленного переполнения (IO). Однако меня раздражает то, что некоторые из моих вставленных инструкций оптимизированы оптимизатором.

Например, когда есть

int result = data + 1;

Мой пропуск рассматривал эту операцию как потенциальный сайт переполнения и добавлял (IR, конечно, я написал здесь C, чтобы облегчить себе жизнь):

int64_t result_64bit = (int64_t)data + 1
if (result_64bit > 2147483647) { report(); }

Однако эта инструкция оптимизируется.

Вот что я пробовал:

добавить флаг -O0. Это не сработает. Я сбрасывал IR после каждого прохода, и это происходило на проходе Удаление избыточной операции. (Не лишний с моей точки зрения ...)

Переместите проход в конец оптимизации, установив флаг EP_OptimizerLast. Что ж, это не оптимально, так как некоторая информация теряется. Например, я сильно полагаюсь на флаг nsw / nuw для определения признаков, некоторые из этих флагов удаляются после оптимизации.

Итак, я спрашиваю, есть ли в LLVM какое-то средство защиты инструкций, которое защищает инструкцию от оптимизации или удаления?