VPlanVerifier.cpp File Reference

This file defines the class VPlanVerifier, which contains utility functions to check the consistency and invariants of a VPlan. More...

#include "VPlanVerifier.h"
#include "VPlan.h"
#include "VPlanCFG.h"
#include "VPlanDominatorTree.h"
#include "VPlanHelpers.h"
#include "VPlanPatternMatch.h"
#include "VPlanUtils.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/TypeSwitch.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "loop-vectorize"

Functions
static bool	isKnownMonotonic (VPValue *V)

Detailed Description

This file defines the class VPlanVerifier, which contains utility functions to check the consistency and invariants of a VPlan.

Definition in file VPlanVerifier.cpp.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "loop-vectorize"

Definition at line 25 of file VPlanVerifier.cpp.

Function Documentation

isKnownMonotonic()

bool isKnownMonotonic ( VPValue * V )

static

Definition at line 142 of file VPlanVerifier.cpp.

References llvm::cast(), llvm::dyn_cast(), llvm::isa(), isKnownMonotonic(), llvm::vputils::isUniformAcrossVFsAndUFs(), llvm::PatternMatch::m_Add(), llvm::VPlanPatternMatch::m_CanonicalIV(), llvm::PatternMatchHelpers::m_CombineOr(), llvm::VPlanPatternMatch::m_DerivedIV(), llvm::PatternMatch::m_One(), llvm::VPlanPatternMatch::m_StepVector(), llvm::VPlanPatternMatch::m_VPValue(), llvm::MIPatternMatch::m_ZeroInt(), llvm::PatternMatch::match(), X, and Y.

Referenced by isKnownMonotonic().