[llvm-branch-commits] [llvm] [ir] MD_prof is not UB-implying (PR #152420)

[Mircea Trofin via llvm-branch-commits]

================

----------------
mtrofin wrote:

It additionally needs `!SafetyInfo->isGuaranteedToExecute)` (see LICM.cpp - `hoist`, right after the `ORE->emit` bit)

iiuc the indirectbr is a pretty easy way to ensure that (I copied the test from sinking.ll)

https://github.com/llvm/llvm-project/pull/152420