Captures a non-affine branch. More...

#include <ScopDetectionDiagnostic.h>

Inheritance diagram for polly::ReportNonAffBranch:

Public Member Functions
	ReportNonAffBranch (BasicBlock BB, const SCEV LHS, const SCEV RHS, const Instruction Inst)

const SCEV *	lhs ()

const SCEV *	rhs ()

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.

Public Member Functions inherited from polly::ReportAffFunc
	ReportAffFunc (const RejectReasonKind K, const Instruction *Inst)

const DebugLoc &	getDebugLoc () const override
	Get the source location of 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)

Static Public Member Functions inherited from polly::ReportAffFunc
static bool	classof (const RejectReason *RR)

Private Attributes
BasicBlock *	BB

const SCEV *	LHS
	LHS & RHS of the failed condition.

const SCEV *	RHS

Additional Inherited Members
Protected Attributes inherited from polly::ReportAffFunc
const Instruction *	Inst

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

Detailed Description

Captures a non-affine branch.

Definition at line 402 of file ScopDetectionDiagnostic.h.

Constructor & Destructor Documentation

◆ ReportNonAffBranch()

polly::ReportNonAffBranch::ReportNonAffBranch	(	BasicBlock *	BB,
		const SCEV *	LHS,
		const SCEV *	RHS,
		const Instruction *	Inst
	)

inline

Definition at line 413 of file ScopDetectionDiagnostic.h.

Member Function Documentation

◆ classof()

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

static

Definition at line 368 of file ScopDetectionDiagnostic.cpp.

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

◆ getMessage()

std::string polly::ReportNonAffBranch::getMessage ( ) const

overridevirtual

Generate a reasonable diagnostic message describing this error.

Returns: A debug message representing this error.

Implements polly::RejectReason.

Definition at line 363 of file ScopDetectionDiagnostic.cpp.

References BB, LHS, and RHS.

◆ getRemarkBB()

const Value * polly::ReportNonAffBranch::getRemarkBB ( ) const

overridevirtual

Get the Basic Block containing this remark.

Returns: The Basic Block containing this remark.

Implements polly::RejectReason.

Definition at line 361 of file ScopDetectionDiagnostic.cpp.

References BB, and polly::Value.

◆ getRemarkName()

std::string polly::ReportNonAffBranch::getRemarkName ( ) const

overridevirtual

Generate the remark name to identify this remark.

Returns: A short string that identifies the error.

Implements polly::RejectReason.

Definition at line 359 of file ScopDetectionDiagnostic.cpp.

◆ lhs()

const SCEV * polly::ReportNonAffBranch::lhs ( )

inline

Definition at line 418 of file ScopDetectionDiagnostic.h.

References LHS.

◆ rhs()

const SCEV * polly::ReportNonAffBranch::rhs ( )

inline

Definition at line 419 of file ScopDetectionDiagnostic.h.

References RHS.

Member Data Documentation

◆ BB

BasicBlock* polly::ReportNonAffBranch::BB

private

Definition at line 404 of file ScopDetectionDiagnostic.h.

Referenced by getMessage(), and getRemarkBB().

◆ LHS

const SCEV* polly::ReportNonAffBranch::LHS

private

LHS & RHS of the failed condition.

Definition at line 408 of file ScopDetectionDiagnostic.h.

Referenced by getMessage(), and lhs().

◆ RHS

const SCEV* polly::ReportNonAffBranch::RHS

private

Definition at line 409 of file ScopDetectionDiagnostic.h.

Referenced by getMessage(), and rhs().

The documentation for this class was generated from the following files:

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ ReportNonAffBranch()

Member Function Documentation

◆ classof()

◆ getMessage()

◆ getRemarkBB()

◆ getRemarkName()

◆ lhs()

◆ rhs()

Member Data Documentation

◆ BB

◆ LHS

◆ RHS