[PATCH] D37528: [JumpThreading] Preserve dominance across the pass.

[Brian Rzycki via Phabricator via llvm-commits]

brzycki created this revision.

JumpThreading now preserves dominance across the entire pass. The pass manager is also informed of this preservation with the goal of the dominator tree being recalculated fewer times overall during compilation.

This change prepares JumpThreading for enhanced opportunities, particularly those across loop boundaries.

Patch by Brian Rzycki and Sebastian Pop.


Repository:
  rL LLVM

https://reviews.llvm.org/D37528

Files:
  llvm/include/llvm/Transforms/Scalar/JumpThreading.h
  llvm/include/llvm/Transforms/Utils/Local.h
  llvm/lib/Transforms/Scalar/JumpThreading.cpp
  llvm/lib/Transforms/Utils/Local.cpp
  llvm/test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37528.114041.patch
Type: text/x-patch
Size: 37317 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170906/7c827fa8/attachment.bin>