llvm-project

Commit Graph

Author	SHA1	Message	Date
Sanjoy Das	13e63a2f21	[JumpThreading] Use dominating conditions to prove implications Summary: If P branches to Q conditional on C and Q branches to R conditional on C' and C => C' then the branch conditional on C' can be folded to an unconditional branch. Reviewers: reames Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D13972 llvm-svn: 251557	2015-10-28 21:27:08 +00:00

Author

SHA1

Message

Date

Sanjoy Das

13e63a2f21

[JumpThreading] Use dominating conditions to prove implications

Summary:
If P branches to Q conditional on C and Q branches to R conditional on
C' and C => C' then the branch conditional on C' can be folded to an
unconditional branch.

Reviewers: reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D13972

llvm-svn: 251557

2015-10-28 21:27:08 +00:00

1 Commits