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:1247

Member Variables

public PoisoningVH<llvm::BasicBlock> ExitingBlock

public const llvm::SCEV* ExactNotTaken

public const llvm::SCEV* MaxNotTaken

public std::unique_ptr<SCEVUnionPredicate> Predicate

Method Overview

• public ExitNotTakenInfo(PoisoningVH<llvm::BasicBlock> ExitingBlock, const llvm::SCEV * ExactNotTaken, const llvm::SCEV * MaxNotTaken, std::unique_ptr<SCEVUnionPredicate> Predicate)
• public bool hasAlwaysTruePredicate() const

Methods

¶ExitNotTakenInfo(
    PoisoningVH<llvm::BasicBlock> ExitingBlock,
    const llvm::SCEV* ExactNotTaken,
    const llvm::SCEV* MaxNotTaken,
    std::unique_ptr<SCEVUnionPredicate> Predicate)

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

Parameters

PoisoningVH<llvm::BasicBlock> ExitingBlock

const llvm::SCEV* ExactNotTaken

const llvm::SCEV* MaxNotTaken

std::unique_ptr<SCEVUnionPredicate> Predicate

¶bool hasAlwaysTruePredicate() const

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