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

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 438593.
nikic added a comment.

Improve comment on resolvedUndefsIn().


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

https://reviews.llvm.org/D126962

Files:
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/lib/Transforms/Utils/SCCPSolver.cpp
  llvm/test/Transforms/FunctionSpecialization/bug52821-use-after-free.ll
  llvm/test/Transforms/FunctionSpecialization/bug55000-read-uninitialized-value.ll
  llvm/test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll
  llvm/test/Transforms/SCCP/2008-01-27-UndefCorrelate.ll
  llvm/test/Transforms/SCCP/PR26044.ll
  llvm/test/Transforms/SCCP/indirectbr.ll
  llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll
  llvm/test/Transforms/SCCP/return-zapped.ll
  llvm/test/Transforms/SCCP/switch-constantfold-crash.ll
  llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D126962.438593.patch
Type: text/x-patch
Size: 21063 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220621/9337ee15/attachment.bin>