Searched defs:Assumptions (Results 1 – 10 of 10) sorted by relevance
17 ## Assumptions section21 ### Order of appearance of the properties24 ### Annotations27 ### Indentation
15 ## Assumptions section19 ### Order of appearance of the properties 22 ### Annotations
41 DenseSet<StringRef> Assumptions; in getAssumptions() local52 const DenseSet<StringRef> &Assumptions) { in addAssumptionsImpl()96 bool llvm::addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions) { in addAssumptions()101 const DenseSet<StringRef> &Assumptions) { in addAssumptions()
49 ## Assumptions section in cbfstool: Handling memory mapped boot media
204 ## Assumptions section in virtio-queue
39 Assumptions chapter
23 Assumptions section in Target of Evaluation
26 Assumptions chapter
19 ## Assumptions section in Static Runtime
11283 const auto &Assumptions = getKnown(); in manifest() local11365 auto Assumptions = getAssumptions(CB); in getInitialAssumptions() local