This file provides a pass manager that only runs its passes if the provided marker analysis has been preserved, together with a class to define such a marker analysis.
This file implements the PredicateInfo analysis, which creates an Extended SSA form for operations used in branch comparisons and llvm.assume comparisons.