Captures errors with aliasing. More...

#include <ScopDetectionDiagnostic.h>

Inheritance diagram for polly::ReportAlias:

Public Types
using	PointerSnapshotTy = std::vector<const Value *>

Public Member Functions
	ReportAlias (Instruction *Inst, AliasSet &AS)
const PointerSnapshotTy &	getPointers () const
RejectReason interface
std::string	getRemarkName () const override
	Generate the remark name to identify this remark.
const BasicBlock *	getRemarkBB () const override
	Get the Basic Block containing this remark.
std::string	getMessage () const override
	Generate a reasonable diagnostic message describing this error.
const DebugLoc &	getDebugLoc () const override
	Get the source location of this error.
std::string	getEndUserMessage () const override
	Generate a message for the end-user describing this error.
Public Member Functions inherited from polly::RejectReason
	RejectReason (RejectReasonKind K)
virtual	~RejectReason ()=default
RejectReasonKind	getKind () const

Static Public Member Functions
LLVM-RTTI interface
static bool	classof (const RejectReason *RR)

Private Member Functions
std::string	formatInvalidAlias (std::string Prefix="", std::string Suffix="") const
	Format an invalid alias set.

Private Attributes
Instruction *	Inst
PointerSnapshotTy	Pointers

Additional Inherited Members
Static Protected Attributes inherited from polly::RejectReason
static const DebugLoc	Unknown = DebugLoc()

Detailed Description

Captures errors with aliasing.

Definition at line 697 of file ScopDetectionDiagnostic.h.

Member Typedef Documentation

◆ PointerSnapshotTy

using polly::ReportAlias::PointerSnapshotTy = std::vector<const Value *>

Definition at line 699 of file ScopDetectionDiagnostic.h.

Constructor & Destructor Documentation

◆ ReportAlias()

polly::ReportAlias::ReportAlias	(	Instruction *	Inst,
		AliasSet &	AS )

Definition at line 646 of file ScopDetectionDiagnostic.cpp.

References polly::Alias, append_range(), Inst, Pointers, and polly::RejectReason::RejectReason().

Member Function Documentation

◆ classof()

bool polly::ReportAlias::classof ( const RejectReason * RR )

static

Definition at line 697 of file ScopDetectionDiagnostic.cpp.

References polly::Alias, polly::RejectReason::getKind(), and polly::RejectReason::RejectReason().

◆ formatInvalidAlias()

std::string polly::ReportAlias::formatInvalidAlias	(	std::string	Prefix = "",
		std::string	Suffix = "" ) const

private

Format an invalid alias set.

Definition at line 651 of file ScopDetectionDiagnostic.cpp.

References assert, Pointers, and polly::Value.

Referenced by getEndUserMessage(), and getMessage().

◆ getDebugLoc()

const DebugLoc & polly::ReportAlias::getDebugLoc ( ) const

overridevirtual

Get the source location of this error.

Returns: The debug location for this error.

Reimplemented from polly::RejectReason.

Definition at line 695 of file ScopDetectionDiagnostic.cpp.

References Inst.

◆ getEndUserMessage()

std::string polly::ReportAlias::getEndUserMessage ( ) const

overridevirtual

Generate a message for the end-user describing this error.

The message provided has to be suitable for the end-user. So it should not reference any LLVM internal data structures or terminology. Ideally, the message helps the end-user to increase the size of the regions amenable to Polly.