struct ScalarEvolution::ExitNotTakenInfo

Declaration

struct ScalarEvolution::ExitNotTakenInfo { /* full declaration omitted */ };

Description

Information about the number of times a particular loop exit may be reached before exiting the loop.

Declared at: llvm/include/llvm/Analysis/ScalarEvolution.h:1346

Member Variables

public PoisoningVH<llvm::BasicBlock> ExitingBlock

public const llvm::SCEV* ExactNotTaken

public const llvm::SCEV* MaxNotTaken

public SmallPtrSet<const llvm::SCEVPredicate*, 4> Predicates

Method Overview

• public ExitNotTakenInfo(PoisoningVH<llvm::BasicBlock> ExitingBlock, const llvm::SCEV * ExactNotTaken, const llvm::SCEV * MaxNotTaken, const SmallPtrSet<const llvm::SCEVPredicate *, 4> & Predicates)
• public bool hasAlwaysTruePredicate() const

Methods

¶ExitNotTakenInfo(
    PoisoningVH<llvm::BasicBlock> ExitingBlock,
    const llvm::SCEV* ExactNotTaken,
    const llvm::SCEV* MaxNotTaken,
    const SmallPtrSet<const llvm::SCEVPredicate*,
                      4>& Predicates)

Declared at: llvm/include/llvm/Analysis/ScalarEvolution.h:1352

Parameters

PoisoningVH<llvm::BasicBlock> ExitingBlock

const llvm::SCEV* ExactNotTaken

const llvm::SCEV* MaxNotTaken

const SmallPtrSet<const llvm::SCEVPredicate*, 4>& Predicates

¶bool hasAlwaysTruePredicate() const

Declared at: llvm/include/llvm/Analysis/ScalarEvolution.h:1359