polly::Assumption Struct Reference

Helper struct to remember assumptions. More...

#include <ScopHelper.h>

Public Attributes
AssumptionKind	Kind
	The kind of the assumption (e.g., WRAPPING).
AssumptionSign	Sign
	Flag to distinguish assumptions and restrictions.
isl::set	Set
	The valid/invalid context if this is an assumption/restriction.
llvm::DebugLoc	Loc
	The location that caused this assumption.
llvm::BasicBlock *	BB
	An optional block whose domain can simplify the assumption.
bool	RequiresRTC

Detailed Description

Helper struct to remember assumptions.

Definition at line 57 of file ScopHelper.h.

Member Data Documentation

BB

llvm::BasicBlock* polly::Assumption::BB

An optional block whose domain can simplify the assumption.

Definition at line 71 of file ScopHelper.h.

Kind

AssumptionKind polly::Assumption::Kind

The kind of the assumption (e.g., WRAPPING).

Definition at line 59 of file ScopHelper.h.

Loc

llvm::DebugLoc polly::Assumption::Loc

The location that caused this assumption.

Definition at line 68 of file ScopHelper.h.

RequiresRTC

bool polly::Assumption::RequiresRTC

Definition at line 74 of file ScopHelper.h.

Set

isl::set polly::Assumption::Set

The valid/invalid context if this is an assumption/restriction.

Definition at line 65 of file ScopHelper.h.

Sign

AssumptionSign polly::Assumption::Sign

Flag to distinguish assumptions and restrictions.

Definition at line 62 of file ScopHelper.h.

---

The documentation for this struct was generated from the following file:

• ScopHelper.h