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 Value *	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

virtual std::string	getRemarkName () const =0
	Generate the remark name to identify this remark.

virtual const Value *	getRemarkBB () const =0
	Get the Basic Block containing this remark.

virtual std::string	getMessage () const =0
	Generate a reasonable diagnostic message describing this error.

virtual std::string	getEndUserMessage () const
	Generate a message for the end-user describing this error.

virtual const DebugLoc &	getDebugLoc () const
	Get the source location of this error.

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 639 of file ScopDetectionDiagnostic.cpp.

References append_range(), and Pointers.

Member Function Documentation

◆ classof()

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

static

Definition at line 690 of file ScopDetectionDiagnostic.cpp.

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

◆ formatInvalidAlias()

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

private

Format an invalid alias set.

Definition at line 644 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 688 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.