llvm::parseWidenableGuard

Collects the individual checks from a widenable guard's condition.

Synopsis

Declared in <llvm/Analysis/GuardUtils.h>

void
parseWidenableGuard(
    User const* U,
    llvm::SmallVectorImpl<Value*>& Checks);

Description

The guard condition is expected to be in form of: cond1 && cond2 && cond3 ... or in case of widenable branch: cond1 && cond2 && cond3 && widenable_condition ... Method collects the list of checks, but skips widenable_condition.

Parameters

Name

Description

Guard or widenable branch whose checks are collected.

Checks

Filled with the non‐widenable conjuncts of the condition.

Created with MrDocs