CGRAOmp::VerifyPassBase< DerivedT > Class Template Reference

a template for verification pass More...

#include <VerifyPass.hpp>

Inheritance diagram for CGRAOmp::VerifyPassBase< DerivedT >:

Public Types
using	LoopList = SmallVector< Loop * >

Protected Member Functions
LoopList	findPerfectlyNestedLoop (Function &F, LoopStandardAnalysisResults &AR)
	search for perfectly nested loops in the function If a nested loop structure contains more than one innermost loops, this regards there is no perfectly nested loop. More...
void	remarkEmitter (Function &F, Loop &L, LoopVerifyResult &R, FunctionAnalysisManager &AM)

Detailed Description

template<typename DerivedT>
class CGRAOmp::VerifyPassBase< DerivedT >

a template for verification pass

Template Parameters

DerivedT

an actual class of pass

Member Typedef Documentation

LoopList

template<typename DerivedT >

using CGRAOmp::VerifyPassBase< DerivedT >::LoopList = SmallVector<Loop*>

Member Function Documentation

findPerfectlyNestedLoop()

template<typename DerivedT >

SmallVector< Loop * > VerifyPassBase::findPerfectlyNestedLoop ( Function &  F, LoopStandardAnalysisResults &  AR  )

protected

search for perfectly nested loops in the function If a nested loop structure contains more than one innermost loops, this regards there is no perfectly nested loop.

Parameters

F	function
AR	LoopStandardAnalysisResults

Returns

LoopList: a list of loop

This routine finds maximum perfectly nested loops in the function The followings are some examples:

for (...) {
  for (...) { // <- found as the perfect nested loop
    for (...) {
       ....
    }
  }
  some statements...
}

remarkEmitter()

template<typename DerivedT >

void VerifyPassBase::remarkEmitter ( Function &  F, Loop &  L, LoopVerifyResult &  R, FunctionAnalysisManager &  AM  )

protected

---

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

• include/VerifyPass.hpp
• src/Passes/CGRAOmpVerifyPass/VerifyPass.cpp