Transforms/Utils/AssumeBundleBuilder.cpp

30     "assume-preserve-all", cl::init(false), cl::Hidden,
40 #define DEBUG_TYPE "assume-builder"
42 STATISTIC(NumAssumeBuilt, "Number of assume built by the assume builder");
43 STATISTIC(NumBundlesInAssumes, "Total number of Bundles in the assume built");
45           "Number of assume merged by the assume simplify pass");
47           "Number of assume removed by the assume simplify pass");
49 DEBUG_COUNTER(BuildAssumeCounter, "assume-builder-counter",
101 /// llvm.assume and the function to manipulate it.
228     Function *FnAssume = Intrinsic::getDeclaration(M, Intrinsic::assume);
279     // TODO: Maybe we should look around and merge with other llvm.assume.
371   /// ForceCleanup is set or the assume doesn't hold valuable knowledge.
389   /// Remove knowledge stored in assume when it is already know by an attribute
390   /// or an other assume. This can when valid update an existing knowledge in an
391   /// attribute or an other assume.
464   /// Merge all Assumes from Begin to End in and insert the resulting assume as
493     /// guarantees we can place the resulting assume between Begin and End.
509   /// Merge assume when they are in the same BasicBlock and for all instruction
545   /// Remove knowledge that is already known by a dominating other assume or an
549   /// Remove assume that are empty.
552   /// Merge assume in the same basicblock when possible.
555   /// Remove assume that were merged.
600 INITIALIZE_PASS_BEGIN(AssumeSimplifyPassLegacyPass, "assume-simplify",
603 INITIALIZE_PASS_END(AssumeSimplifyPassLegacyPass, "assume-simplify",
647 INITIALIZE_PASS_BEGIN(AssumeBuilderPassLegacyPass, "assume-builder",
650 INITIALIZE_PASS_END(AssumeBuilderPassLegacyPass, "assume-builder",