Home
last modified time | relevance | path

Searched refs:assumption (Results 1 – 25 of 412) sorted by relevance

12345678910>>...17

/netbsd-src/external/gpl3/gcc/dist/gcc/
H A Dloop-iv.cc2314 rtx assumption, may_not_xform; in iv_number_of_iterations() local
2460 assumption = simplify_gen_relational (EQ, SImode, mode, tmp, in iv_number_of_iterations()
2462 if (assumption == const_true_rtx) in iv_number_of_iterations()
2470 assumption = simplify_gen_relational (EQ, SImode, mode, tmp, in iv_number_of_iterations()
2472 if (assumption == const_true_rtx) in iv_number_of_iterations()
2478 if (assumption != const0_rtx) in iv_number_of_iterations()
2480 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions); in iv_number_of_iterations()
2624 assumption = simplify_gen_relational (reverse_condition (cond), in iv_number_of_iterations()
2626 if (assumption == const_true_rtx) in iv_number_of_iterations()
2628 else if (assumption != const0_rtx) in iv_number_of_iterations()
[all …]
H A Dtree-ssa-loop-niter.cc989 tree s, c, d, bits, assumption, tmp, bound; in number_of_iterations_ne() local
1130 assumption = fold_build2 (FLOOR_MOD_EXPR, niter_type, c, d); in number_of_iterations_ne()
1131 assumption = fold_build2 (EQ_EXPR, boolean_type_node, in number_of_iterations_ne()
1132 assumption, build_int_cst (niter_type, 0)); in number_of_iterations_ne()
1133 if (!integer_nonzerop (assumption)) in number_of_iterations_ne()
1135 niter->assumptions, assumption); in number_of_iterations_ne()
1171 tree assumption = boolean_true_node, bound, noloop; in number_of_iterations_lt_to_ne() local
1212 assumption = fold_build2 (LE_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
1214 if (integer_zerop (assumption)) in number_of_iterations_lt_to_ne()
1238 assumption = fold_build2 (GE_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
[all …]
/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Dloop-iv.c2314 rtx assumption, may_not_xform; in iv_number_of_iterations() local
2460 assumption = simplify_gen_relational (EQ, SImode, mode, tmp, in iv_number_of_iterations()
2462 if (assumption == const_true_rtx) in iv_number_of_iterations()
2470 assumption = simplify_gen_relational (EQ, SImode, mode, tmp, in iv_number_of_iterations()
2472 if (assumption == const_true_rtx) in iv_number_of_iterations()
2478 if (assumption != const0_rtx) in iv_number_of_iterations()
2480 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions); in iv_number_of_iterations()
2624 assumption = simplify_gen_relational (reverse_condition (cond), in iv_number_of_iterations()
2626 if (assumption == const_true_rtx) in iv_number_of_iterations()
2628 else if (assumption != const0_rtx) in iv_number_of_iterations()
[all …]
H A Dtree-ssa-loop-niter.c971 tree s, c, d, bits, assumption, tmp, bound; in number_of_iterations_ne() local
1118 assumption = fold_build2 (FLOOR_MOD_EXPR, niter_type, c, d); in number_of_iterations_ne()
1119 assumption = fold_build2 (EQ_EXPR, boolean_type_node, in number_of_iterations_ne()
1120 assumption, build_int_cst (niter_type, 0)); in number_of_iterations_ne()
1121 if (!integer_nonzerop (assumption)) in number_of_iterations_ne()
1123 niter->assumptions, assumption); in number_of_iterations_ne()
1159 tree assumption = boolean_true_node, bound, noloop; in number_of_iterations_lt_to_ne() local
1200 assumption = fold_build2 (LE_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
1202 if (integer_zerop (assumption)) in number_of_iterations_lt_to_ne()
1226 assumption = fold_build2 (GE_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
[all …]
/netbsd-src/external/bsd/top/dist/machine/
H A Dm_hpux9.man5 this assumption correlates well with that produced by HP's version of top.
/netbsd-src/external/bsd/flex/dist/examples/manual/
H A DChangeLog8 assumption of alloca being present.
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() argument
176 : Constraint(constraint), Assumption(assumption), in TrackConstraintBRVisitor()
/netbsd-src/external/public-domain/xz/dist/m4/
H A Dtuklib_mbstr.m411 # with the assumption that all strings are a in single-byte character
/netbsd-src/external/gpl3/gdb/dist/gnulib/import/m4/
H A Dmode_t.m417 dnl and to itself otherwise. This assumption is not guaranteed by the ISO C
/netbsd-src/external/apache2/llvm/dist/libcxx/include/
H A Dtypeinfo128 // given type inside a program. This is a valid assumption when abiding to the
130 // Under this assumption, we can always compare the addresses of the type names
140 // (For example: -Bsymbolic or llvm.org/PR37398). Under this assumption, two
/netbsd-src/crypto/external/bsd/openssl/dist/doc/man7/
H A DEVP_KDF-PBKDF1.pod53 No assumption is made regarding the given password; it is simply treated as a
H A DEVP_KDF-PKCS12KDF.pod60 No assumption is made regarding the given password; it is simply treated as a
H A DEVP_KDF-PBKDF2.pod75 No assumption is made regarding the given password; it is simply treated as a
/netbsd-src/crypto/external/bsd/heimdal/dist/lib/asn1/
H A DREADME.template12 - assumption: code is large, tables smaller
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h183 bool assumption) const;
195 bool assumption, QualType IndexType = QualType()) const;
206 bool assumption) const;
/netbsd-src/crypto/external/bsd/openssl/dist/doc/man3/
H A Dd2i_PKCS8PrivateKey_bio.pod48 These functions make no assumption regarding the pass phrase received from the
H A DPKCS5_PBKDF2_HMAC.pod55 These functions make no assumption regarding the given password.
H A DPEM_bytes_read_bio.pod59 These functions make no assumption regarding the pass phrase received from the
/netbsd-src/external/gpl3/gcc/dist/libgcc/config/avr/
H A Dt-avrlibc84 # bits from this multilib variant, anyway, because the current assumption
/netbsd-src/external/gpl3/gcc.old/dist/libgcc/config/avr/
H A Dt-avrlibc84 # bits from this multilib variant, anyway, because the current assumption
/netbsd-src/external/gpl3/gcc/dist/libsanitizer/ubsan/
H A Dubsan_checks.inc30 UBSAN_CHECK(AlignmentAssumption, "alignment-assumption", "alignment")
/netbsd-src/crypto/external/bsd/openssl.old/dist/doc/man3/
H A Dd2i_PKCS8PrivateKey_bio.pod48 These functions make no assumption regarding the pass phrase received from the
H A DPEM_read_CMS.pod78 These functions make no assumption regarding the pass phrase received from the
H A DPKCS5_PBKDF2_HMAC.pod55 These functions make no assumption regarding the given password.
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h463 bool assumption) { in _evalAssume() argument
464 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()

12345678910>>...17