A grouping of pointers. More...

#include "llvm/Analysis/LoopAccessAnalysis.h"

Collaboration diagram for llvm::RuntimePointerChecking::CheckingPtrGroup:

[legend]

Public Member Functions
	CheckingPtrGroup (unsigned Index, RuntimePointerChecking &RtCheck)
	Create a new pointer checking group containing a single pointer, with index `Index` in RtCheck. More...

bool	addPointer (unsigned Index)
	Tries to add the pointer recorded in RtCheck at index `Index` to this pointer checking group. More...

Public Attributes
RuntimePointerChecking &	RtCheck
	Constitutes the context of this pointer checking group. More...

const SCEV *	High
	The SCEV expression which represents the upper bound of all the pointers in this group. More...

const SCEV *	Low
	The SCEV expression which represents the lower bound of all the pointers in this group. More...

SmallVector< unsigned, 2 >	Members
	Indices of all the pointers that constitute this grouping. More...

Detailed Description

A grouping of pointers.

A single memcheck is required between two groups.

Definition at line 387 of file LoopAccessAnalysis.h.

Constructor & Destructor Documentation

◆ CheckingPtrGroup()

llvm::RuntimePointerChecking::CheckingPtrGroup::CheckingPtrGroup	(	unsigned	Index,
		RuntimePointerChecking &	RtCheck
	)

inline

Create a new pointer checking group containing a single pointer, with index Index in RtCheck.

Definition at line 390 of file LoopAccessAnalysis.h.

Member Function Documentation

◆ addPointer()

bool RuntimePointerChecking::CheckingPtrGroup::addPointer ( unsigned Index )

Tries to add the pointer recorded in RtCheck at index Index to this pointer checking group.

We can only add a pointer to a checking group if we will still be able to get the upper and lower bounds of the check. Returns true in case of success, false otherwise.

Definition at line 280 of file LoopAccessAnalysis.cpp.

Member Data Documentation

◆ High

const SCEV* llvm::RuntimePointerChecking::CheckingPtrGroup::High

The SCEV expression which represents the upper bound of all the pointers in this group.

Definition at line 409 of file LoopAccessAnalysis.h.

◆ Low

const SCEV* llvm::RuntimePointerChecking::CheckingPtrGroup::Low

The SCEV expression which represents the lower bound of all the pointers in this group.

Definition at line 412 of file LoopAccessAnalysis.h.

◆ Members

SmallVector<unsigned, 2> llvm::RuntimePointerChecking::CheckingPtrGroup::Members

Indices of all the pointers that constitute this grouping.

Definition at line 414 of file LoopAccessAnalysis.h.

Referenced by expandBounds(), and llvm::RuntimePointerChecking::needsChecking().

◆ RtCheck

RuntimePointerChecking& llvm::RuntimePointerChecking::CheckingPtrGroup::RtCheck

Constitutes the context of this pointer checking group.

For each pointer that is a member of this group we will retain the index at which it appears in RtCheck.

Definition at line 406 of file LoopAccessAnalysis.h.

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

include/llvm/Analysis/LoopAccessAnalysis.h
lib/Analysis/LoopAccessAnalysis.cpp

Public Member Functions

Public Attributes