HomeSort by: relevance | last modified time | path
    Searched defs:Assume (Results 1 - 4 of 4) sorted by relevancy

  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
AssumptionCache.h 1 //===- llvm/Analysis/AssumptionCache.h - Track @llvm.assume -----*- C++ -*-===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
34 /// A cache of \@llvm.assume calls within a function.
39 /// register any new \@llvm.assume calls that they create. Deletions of
40 /// \@llvm.assume calls do not require special handling.
44 /// llvm.assume.
48 WeakVH Assume;
53 operator Value *() const { return Assume; }
62 /// Vector of weak value handles to calls of the \@llvm.assume
115 /// Add an \@llvm.assume intrinsic to this function's cache
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
Checker.h 458 class Assume {
  /src/external/apache2/llvm/dist/llvm/lib/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"
    [all...]
  /src/external/apache2/llvm/dist/llvm/lib/Analysis/
InstructionSimplify.cpp 667 // only if B and C are equal. If B and C are equal then (since we assume
850 // only if B and C are equal. If B and C are equal then (since we assume
972 // division-by-zero or remainder-by-zero, so assume the divisor is 1.
973 // Similarly, if we're zero-extending a boolean divisor, then assume it's a 1.
1175 // If the divisor is 0, the result is undefined, so assume the divisor is -1.
2354 // only if B and C are equal. If B and C are equal then (since we assume
2498 // So, we'll assume that two non-empty allocas have different addresses
2876 // This holds even if the multiplication overflows: Assume that x != 0 and
3320 CallInst *Assume = cast<CallInst>(AssumeVH);
3322 isImpliedCondition(Assume->getArgOperand(0), Predicate, LHS, RHS
    [all...]

Completed in 26 milliseconds