llvm::isAssumeWithEmptyBundle

Return true if an llvm.assume's operand bundles hold no useful knowledge.

Synopsis

Declared in <llvm/Analysis/AssumeBundleQueries.h>

bool
isAssumeWithEmptyBundle(AssumeInst const& Assume);

Description

This is true when:

  • The operand bundle is empty

  • The operand bundle only contains information about dropped values or constant folded values.

The argument to the call of llvm.assume may still be useful even if the function returned true.

Return Value

True if the operand bundles hold no useful knowledge.

Parameters

NameDescription
AssumeThe llvm.assume to inspect.