Флаг x86 и регистр состояния довольно специфичны для цели и, конечно, не должны моделироваться в LLVM IR - это слишком низкий уровень.В противном случае те же концепции могут быть смоделированы в нейтральной к цели манере через llvm.uadd.with.overflow
и т. Д.
Кроме того, помните, что LLVM IR в целом имеет форму SSA, поэтому инструкции могут быть легко, например, переставлены при условии, что окончательная версиязначения одинаковы.Однако эта операция не будет сохранять регистр флага x86 таким же.