[PATCH] D101507: [SimplifyCFG] Ignore llvm.assume when looking for side effects
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 29 09:58:30 PDT 2021
nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.
I believe you're looking for `isGuaranteedToTransferExecutionToSuccessor()` here. We don't actually care whether there are side-effects, it only matters whether we are guaranteed to reach the UB.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D101507/new/
https://reviews.llvm.org/D101507
More information about the llvm-commits
mailing list