ΒΆvoid fillMapFromAssume(
    llvm::AssumeInst& Assume,
    llvm::RetainedKnowledgeMap& Result)

Description

Insert into the map all the informations contained in the operand bundles of the llvm.assume. This should be used instead of hasAttributeInAssume when many queries are going to be made on the same llvm.assume. String attributes are not inserted in the map. If the IR changes the map will be outdated.

Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:90

Parameters

llvm::AssumeInst& Assume
llvm::RetainedKnowledgeMap& Result