Home
last modified time | relevance | path

Searched refs:assumptions (Results 1 – 25 of 279) sorted by relevance

12345678910>>...12

/netbsd-src/external/gpl3/gcc/dist/gcc/
H A Dtree-ssa-loop-niter.cc1134 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in number_of_iterations_ne()
1135 niter->assumptions, assumption); in number_of_iterations_ne()
1259 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
1260 niter->assumptions, in number_of_iterations_lt_to_ne()
1337 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in assert_no_overflow_lt()
1338 niter->assumptions, assumption); in assert_no_overflow_lt()
1460 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in assert_loop_rolls_lt()
1461 niter->assumptions, assumption); in assert_loop_rolls_lt()
1479 tree step, num, assumptions, may_be_zero, span; in number_of_iterations_until_wrap() local
1497 assumptions = fold_build2 (LE_EXPR, boolean_type_node, last, iv0->base); in number_of_iterations_until_wrap()
[all …]
H A Dloop-iv.cc2331 desc->assumptions = NULL_RTX; in iv_number_of_iterations()
2591 desc->assumptions = alloc_EXPR_LIST (0, may_xform, in iv_number_of_iterations()
2592 desc->assumptions); in iv_number_of_iterations()
2608 && !desc->assumptions) in iv_number_of_iterations()
2713 desc->assumptions = in iv_number_of_iterations()
2714 alloc_EXPR_LIST (0, assumption, desc->assumptions); in iv_number_of_iterations()
2757 desc->assumptions = in iv_number_of_iterations()
2758 alloc_EXPR_LIST (0, assumption, desc->assumptions); in iv_number_of_iterations()
2780 simplify_using_initial_values (loop, AND, &desc->assumptions); in iv_number_of_iterations()
2781 if (desc->assumptions in iv_number_of_iterations()
[all …]
H A Dtree-ssa-loop.h42 tree assumptions; /* The boolean expression. If this expression evaluates
/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Dloop-iv.c2331 desc->assumptions = NULL_RTX; in iv_number_of_iterations()
2591 desc->assumptions = alloc_EXPR_LIST (0, may_xform, in iv_number_of_iterations()
2592 desc->assumptions); in iv_number_of_iterations()
2608 && !desc->assumptions) in iv_number_of_iterations()
2713 desc->assumptions = in iv_number_of_iterations()
2714 alloc_EXPR_LIST (0, assumption, desc->assumptions); in iv_number_of_iterations()
2757 desc->assumptions = in iv_number_of_iterations()
2758 alloc_EXPR_LIST (0, assumption, desc->assumptions); in iv_number_of_iterations()
2780 simplify_using_initial_values (loop, AND, &desc->assumptions); in iv_number_of_iterations()
2781 if (desc->assumptions in iv_number_of_iterations()
[all …]
H A Dtree-ssa-loop-niter.c1122 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in number_of_iterations_ne()
1123 niter->assumptions, assumption); in number_of_iterations_ne()
1247 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in number_of_iterations_lt_to_ne()
1248 niter->assumptions, in number_of_iterations_lt_to_ne()
1325 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in assert_no_overflow_lt()
1326 niter->assumptions, assumption); in assert_no_overflow_lt()
1448 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in assert_loop_rolls_lt()
1449 niter->assumptions, assumption); in assert_loop_rolls_lt()
1608 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node, in number_of_iterations_le()
1609 niter->assumptions, assumption); in number_of_iterations_le()
[all …]
H A Dtree-ssa-loop.h42 tree assumptions; /* The boolean expression. If this expression evaluates
/netbsd-src/external/apache2/llvm/dist/llvm/lib/Analysis/
H A DCodeMetrics.cpp76 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues()
100 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues()
H A DAssumptionCache.cpp258 for (auto &VH : AC.assumptions()) in run()
306 for (auto &VH : I.second->assumptions()) in verifyAnalysis()
/netbsd-src/external/gpl3/gcc.old/dist/libgcc/config/mmix/
H A Dt-mmix3 # We need to turn off some assumptions on normality for code in crtstuff.c
/netbsd-src/external/gpl3/gcc/dist/libgcc/config/mmix/
H A Dt-mmix3 # We need to turn off some assumptions on normality for code in crtstuff.c
/netbsd-src/external/mit/isl/dist/test_inputs/schedule/
H A Dcarry_bounded_coefficients.sc7 # fundamental assumptions.
/netbsd-src/crypto/external/bsd/openssl/dist/crypto/property/
H A DREADME.md7 This implementation is based on a number of assumptions:
30 Some consequences of these assumptions are:
/netbsd-src/crypto/external/cpl/tpm-tools/dist/po/
H A DMakevars.template29 # - Strings which make invalid assumptions about notation of date, time or
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/po/
H A DMakevars.template29 # - Strings which make invalid assumptions about notation of date, time or
/netbsd-src/external/bsd/tre/dist/po/
H A DMakevars29 # - Strings which make invalid assumptions about notation of date, time or
/netbsd-src/external/gpl3/gcc.old/dist/gcc/config/aarch64/
H A Daarch64-arches.def30 Due to the assumptions about the positions of these fields in config.gcc,
/netbsd-src/external/gpl2/texinfo/dist/po/
H A DMakevars29 # - Strings which make invalid assumptions about notation of date, time or
/netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
H A DAssumptionCache.h146 MutableArrayRef<ResultElem> assumptions() { in assumptions() function
/netbsd-src/crypto/external/bsd/openssl.old/dist/doc/man3/
H A DOSSL_STORE_open.pod119 The loaders may make assumptions, however.
120 For example, the B<file:> scheme loader inherits the assumptions made by
/netbsd-src/sys/arch/atari/stand/tostools/libtos/
H A Dbsdstart.S111 | Note that the above code makes assumptions about the order of the following
/netbsd-src/external/gpl3/gcc/dist/gcc/config/aarch64/
H A Daarch64-arches.def30 Due to the assumptions about the positions of these fields in config.gcc,
/netbsd-src/crypto/external/bsd/openssl/dist/doc/man3/
H A DOSSL_STORE_open.pod133 The loaders may make assumptions, however.
134 For example, the B<file:> scheme loader inherits the assumptions made by
/netbsd-src/external/apache2/llvm/dist/llvm/lib/Passes/
H A DPassRegistry.def150 FUNCTION_ANALYSIS("assumptions", AssumptionAnalysis())
200 FUNCTION_PASS("alignment-from-assumptions", AlignmentFromAssumptionsPass())
272 FUNCTION_PASS("print<assumptions>", AssumptionPrinterPass(dbgs()))
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/examples/hello-objc/po/
H A DMakevars31 # - Strings which make invalid assumptions about notation of date, time or
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/examples/hello-c++/po/
H A DMakevars32 # - Strings which make invalid assumptions about notation of date, time or

12345678910>>...12