[PATCH] D126962: [SCCP] Don't mark edges feasible when resolving undefs

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Ideally, we would remove dead blocks during normal SCCP as well, not just IPSCCP, which should avoid this issue. I'll check whether that has any negative compile-time impact.

Alternatively (or preferably: additionally) we can adjust more passes to make use of branch on undef UB. JumpThreading is one of those (I believe it currently tries to pick one of the successors based on some heuristics).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126962/new/

https://reviews.llvm.org/D126962