Please use GitHub pull requests for new patches. Phabricator shutdown timeline

Differential D22377 Diff 70237 llvm/include/llvm/Analysis/ScalarEvolution.h

Changeset View

Standalone View

llvm/include/llvm/Analysis/ScalarEvolution.h

Show First 20 Lines • Show All 797 Lines • ▼ Show 20 Lines	private:
/// Memoized computeLoopDisposition results.		/// Memoized computeLoopDisposition results.
DenseMap<const SCEV *,		DenseMap<const SCEV *,
SmallVector<PointerIntPair<const Loop *, 2, LoopDisposition>, 2>>		SmallVector<PointerIntPair<const Loop *, 2, LoopDisposition>, 2>>
LoopDispositions;		LoopDispositions;

/// Cache for \c loopHasNoAbnormalExits.		/// Cache for \c loopHasNoAbnormalExits.
DenseMap<const Loop *, bool> LoopHasNoAbnormalExits;		DenseMap<const Loop *, bool> LoopHasNoAbnormalExits;

		/// Cache for \c loopHasNoSideEffects.
		DenseMap<const Loop *, bool> LoopHasNoSideEffects;

		/// Returns true if \p L contains no instruction that can have side effects
		/// (i.e. via throwing an exception, volatile or atomic access).
		bool loopHasNoSideEffects(const Loop *L);

/// Returns true if \p L contains no instruction that can abnormally exit		/// Returns true if \p L contains no instruction that can abnormally exit
/// the loop (i.e. via throwing an exception, by terminating the thread		/// the loop (i.e. via throwing an exception, by terminating the thread
/// cleanly or by infinite looping in a called function). Strictly		/// cleanly or by infinite looping in a called function). Strictly
/// speaking, the last one is not leaving the loop, but is identical to		/// speaking, the last one is not leaving the loop, but is identical to
/// leaving the loop for reasoning about undefined behavior.		/// leaving the loop for reasoning about undefined behavior.
bool loopHasNoAbnormalExits(const Loop *L);		bool loopHasNoAbnormalExits(const Loop *L);

/// Compute a LoopDisposition value.		/// Compute a LoopDisposition value.
▲ Show 20 Lines • Show All 1,014 Lines • Show Last 20 Lines