HomeSort by relevance Sort by last modified time
    Searched defs:assumptions (Results 1 - 10 of 10) sorted by null

  /external/llvm/include/llvm/Analysis/
AssumptionCache.h 11 // the functions of a module (allowing assumptions within any function to be
37 /// This cache provides fast lookup of assumptions within a function by caching
42 /// may allow it to discover new assumptions.
44 /// \brief The function for which this cache is handling assumptions.
46 /// We track this to lazily populate our assumptions.
59 /// \brief Scan the function for assumptions and add them to the cache.
89 MutableArrayRef<WeakVH> assumptions() { function in class:llvm::AssumptionCache
161 /// \brief Get the cached assumptions for a function.
163 /// If no assumptions are cached, this will scan the function. Otherwise, the
  /prebuilts/gcc/linux-x86/host/x86_64-w64-mingw32-4.8/lib/gcc/x86_64-w64-mingw32/4.8.3/plugin/include/
tree-flow.h 585 tree assumptions; /* The boolean expression. If this expression evaluates member in struct:tree_niter_desc
594 a loop (provided that assumptions == true and
cfgloop.h 393 /* Assumptions under that the rest of the information is valid. */
394 rtx assumptions; member in struct:niter_desc
396 /* Assumptions under that the loop ends before reaching the latch,
  /prebuilts/eclipse/mavenplugins/tycho/tycho-dependencies-m2repo/org/eclipse/tycho/tycho-bundles-external/0.20.0/eclipse/plugins/
org.sat4j.pb_2.3.5.v201308161310.jar 
org.eclipse.equinox.p2.director_2.3.1.v20140221-1852.jar 
org.sat4j.core_2.3.5.v201308161310.jar 
  /prebuilts/tools/common/m2/repository/org/eclipse/tycho/tycho-bundles-external/0.18.1/eclipse/plugins/
org.sat4j.pb_2.3.5.v20130525.jar 
org.eclipse.equinox.p2.director_2.3.0.v20130526-0335.jar 
org.sat4j.core_2.3.5.v20130525.jar 
  /external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/
org.eclipse.equinox.p2.director_2.0.3.R36x_v20101117-1018.jar 

Completed in 155 milliseconds