Home
last modified time | relevance | path

Searched refs:invariants (Results 1 – 25 of 34) sorted by relevance

12

/external/mesa3d/src/compiler/nir/
Dnir_propagate_invariant.c27 add_src(nir_src *src, struct set *invariants) in add_src() argument
30 _mesa_set_add(invariants, src->ssa); in add_src()
32 _mesa_set_add(invariants, src->reg.reg); in add_src()
44 dest_is_invariant(nir_dest *dest, struct set *invariants) in dest_is_invariant() argument
47 return _mesa_set_search(invariants, &dest->ssa); in dest_is_invariant()
49 return _mesa_set_search(invariants, dest->reg.reg); in dest_is_invariant()
54 add_cf_node(nir_cf_node *cf, struct set *invariants) in add_cf_node() argument
58 add_src(&if_stmt->condition, invariants); in add_cf_node()
62 add_cf_node(cf->parent, invariants); in add_cf_node()
66 add_var(nir_variable *var, struct set *invariants) in add_var() argument
[all …]
/external/v8/tools/clang/blink_gc_plugin/
DREADME.chromium1 This clang plugin checks various invariants of the Blink garbage
/external/nanopb-c/docs/
Dsecurity.rst46 The following invariants are maintained during operation, even if the
/external/python/cpython2/Doc/howto/
Dfunctional.rst111 The technique used to prove programs correct is to write down **invariants**,
113 true. For each line of code, you then show that if invariants X and Y are true
114 **before** the line is executed, the slightly different invariants X' and Y' are
116 the program, at which point the invariants should match the desired conditions
120 difficult to handle with this technique; assignments can break invariants that
121 were true before the assignment without producing any new invariants that can be
/external/clang/test/CodeGenObjCXX/
Darc.mm276 // Just make sure that the AST invariants hold properly here,
/external/python/cpython2/Doc/library/
Dheapq.rst194 break the heap structure invariants. So, a possible solution is to mark the
Demail.message.rst122 responsibility to ensure the payload invariants. Optional *charset* sets
Dpickle.rst430 internal invariants when the instance is created, or if the memory allocation
Ddecimal.rst47 equality invariants.
/external/python/cpython2/Objects/
Dlistsort.txt330 What turned out to be a good compromise maintains two invariants on the
366 both invariants are satisfied. As an extreme case, suppose we didn't do the
/external/clang/docs/analyzer/
DIPA.txt101 fairly poor job of modeling certain data structure invariants of container-like
/external/parameter-framework/upstream/doc/requirements/
Drequirements.md144 All parameters have a data type. A data type designates parameter invariants.
173 check parameter validity (invariants) nor a pretty display of the values.</why>
/external/e2fsprogs/lib/et/
Dcom_err.texinfo397 failures of internal invariants and consistancy checks only, as it
/external/clang/test/Analysis/
Dmisc-ps.m893 // violates our invariants.
/external/llvm/docs/
DProgrammersManual.rst279 Programmatic errors are violations of program invariants or API contracts, and
280 represent bugs within the program itself. Our aim is to document invariants, and
282 invariants are broken at runtime.
293 that should never be entered if the program invariants hold:
/external/python/cpython2/Doc/tutorial/
Dclasses.rst434 Clients should use data attributes with care --- clients may mess up invariants
/external/clang/docs/
DAutomaticReferenceCounting.rst1402 except as guaranteed by ``__strong`` object invariants or +1 transfer
1652 since the subclass may well rely on other invariants that were broken during
DLanguageExtensions.rst1948 invariants and rules for static analysis tools, such as the `Clang Static
/external/libmicrohttpd/
DChangeLog194 maintain simpler invariants on the epoll state. -CG
/external/googletest/googlemock/docs/v1_6/
DCookBook.md370 the class' invariants. You should make a function virtual only when
/external/googletest/googlemock/docs/v1_5/
DCookBook.md370 the class' invariants. You should make a function virtual only when
/external/python/cpython2/Doc/reference/
Ddatamodel.rst1288 minimum needed to maintain external invariants. Starting with version 1.5,
/external/googletest/googlemock/docs/v1_7/
DCookBook.md363 the class' invariants. You should make a function virtual only when
/external/googletest/googlemock/docs/
DCookBook.md363 the class' invariants. You should make a function virtual only when
/external/mksh/src/
Dcheck.t10447 Check some of the most basic invariants of I/O redirection

12