ΒΆllvm::RetainedKnowledge simplifyRetainedKnowledge(
llvm::AssumeInst* Assume,
llvm::RetainedKnowledge RK,
llvm::AssumptionCache* AC,
llvm::DominatorTree* DT)
llvm::RetainedKnowledge simplifyRetainedKnowledge(
llvm::AssumeInst* Assume,
llvm::RetainedKnowledge RK,
llvm::AssumptionCache* AC,
llvm::DominatorTree* DT)
Description
canonicalize the RetainedKnowledge RK. it is assumed that RK is part of Assume. This will return an empty RetainedKnowledge if the knowledge is useless.
Declared at: llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h:70