[llvm] [JumpThreading] Fix bugs of simplifying BB with unreachable predecessor (PR #68576)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 9 06:19:46 PDT 2023
nikic wrote:
> > Unreachable blocks are dominated by all blocks, so this is well-defined IR. If a pass fails to handle it correctly, that pass needs to be fixed.
>
> Does it mean `value` in `phi [%value, %unreachable]` can be everything defined?
Yes, that's right.
https://github.com/llvm/llvm-project/pull/68576
More information about the llvm-commits
mailing list