| /external/llvm-project/clang/lib/Analysis/ |
| D | ThreadSafetyLogical.cpp | 19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies() function
24 return implies(A->left(), LNeg, RHS, RNeg) && in implies()
25 implies(A->right(), LNeg, RHS, RNeg); in implies()
28 return implies(LHS, LNeg, A->left(), RNeg) && in implies()
29 implies(LHS, LNeg, A->right(), RNeg); in implies()
34 return implies(A->left(), LNeg, RHS, RNeg) || in implies()
35 implies(A->right(), LNeg, RHS, RNeg); in implies()
38 return implies(LHS, LNeg, A->left(), RNeg) || in implies()
39 implies(LHS, LNeg, A->right(), RNeg); in implies()
61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
[all …]
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafetyLogical.cpp | 20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies() function
25 return implies(A->left(), LNeg, RHS, RNeg) && in implies()
26 implies(A->right(), LNeg, RHS, RNeg); in implies()
29 return implies(LHS, LNeg, A->left(), RNeg) && in implies()
30 implies(LHS, LNeg, A->right(), RNeg); in implies()
35 return implies(A->left(), LNeg, RHS, RNeg) || in implies()
36 implies(A->right(), LNeg, RHS, RNeg); in implies()
39 return implies(LHS, LNeg, A->left(), RNeg) || in implies()
40 implies(LHS, LNeg, A->right(), RNeg); in implies()
62 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
[all …]
|
| /external/python/cpython3/Modules/_decimal/libmpdec/literature/ |
| D | umodarith.lisp | 46 (implies (and (<= m x)
53 (implies (and (< x m) (< 0 x) (< 0 m)
59 (implies (and (< (- x) m) (< x 0) (< 0 m)
67 (implies (and (< x m) (< 0 x) (< 0 m)
73 (implies (and (< 0 b) (< b m)
80 (implies (and (< 0 b) (< b m)
88 (implies (and (< x m) (< b m)
97 (implies (and (< 0 b) (< b m)
105 (implies (and (< x m) (< b m)
114 (implies (and (< 0 b) (< b m)
[all …]
|
| /external/llvm-project/libcxx/test/std/utilities/optional/optional.object/ |
| D | triviality.pass.cpp | 30 constexpr bool implies(bool p, bool q) { in implies() function
38 static_assert(implies(std::is_trivially_copy_constructible_v<T>,
42 static_assert(implies(std::is_trivially_move_constructible_v<T>,
46 static_assert(implies(std::is_trivially_copy_constructible_v<T> &&
56 static_assert(implies(std::is_trivially_move_constructible_v<T> &&
|
| /external/libcxx/test/std/utilities/optional/optional.object/ |
| D | triviality.pass.cpp | 29 constexpr bool implies(bool p, bool q) { in implies() function
37 static_assert(implies(std::is_trivially_copy_constructible_v<T>,
41 static_assert(implies(std::is_trivially_move_constructible_v<T>,
45 static_assert(implies(std::is_trivially_copy_constructible_v<T> &&
55 static_assert(implies(std::is_trivially_move_constructible_v<T> &&
|
| /external/llvm-project/llvm/test/Transforms/SimplifyCFG/ |
| D | implied-cond-matching.ll | 71 ; A == B implies A == B is true.
95 ; A == B implies A != B is false.
119 ; A == B implies A >u B is false.
143 ; A == B implies A >=u B is true.
167 ; A == B implies A <u B is false.
191 ; A == B implies A <=u B is true.
215 ; A == B implies A >s B is false.
239 ; A == B implies A >=s B is true.
263 ; A == B implies A <s B is false.
287 ; A == B implies A <=s B is true.
[all …]
|
| D | implied-cond-matching-imm.ll | 3 ; cmp1 implies cmp2 is false
27 ; cmp1 implies cmp2 is false
51 ; cmp1 implies cmp2 is false
75 ; cmp1 implies cmp2 is true
99 ; cmp1 implies cmp2 is true
|
| /external/llvm/test/Transforms/SimplifyCFG/ |
| D | implied-cond-matching.ll | 71 ; A == B implies A == B is true.
95 ; A == B implies A != B is false.
119 ; A == B implies A >u B is false.
143 ; A == B implies A >=u B is true.
167 ; A == B implies A <u B is false.
191 ; A == B implies A <=u B is true.
215 ; A == B implies A >s B is false.
239 ; A == B implies A >=s B is true.
263 ; A == B implies A <s B is false.
287 ; A == B implies A <=s B is true.
[all …]
|
| D | implied-cond-matching-imm.ll | 3 ; cmp1 implies cmp2 is false
27 ; cmp1 implies cmp2 is false
51 ; cmp1 implies cmp2 is false
75 ; cmp1 implies cmp2 is true
99 ; cmp1 implies cmp2 is true
|
| /external/llvm-project/mlir/include/mlir/Dialect/SPIRV/ |
| D | SPIRVBase.td | 562 list<I32EnumAttrCase> implies = [SPV_C_Matrix];
565 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
568 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
571 list<I32EnumAttrCase> implies = [SPV_C_Int64];
574 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
577 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
580 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
583 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
586 list<I32EnumAttrCase> implies = [SPV_C_Addresses];
589 list<I32EnumAttrCase> implies = [SPV_C_Sampled1D];
[all …]
|
| /external/llvm-project/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyLogical.h | 33 inline bool implies(const LExpr *RHS) const;
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const { in implies() function
99 return lexpr::implies(this, RHS); in implies()
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyLogical.h | 34 inline bool implies(const LExpr *RHS) const;
97 bool implies(const LExpr *LHS, const LExpr *RHS);
99 bool LExpr::implies(const LExpr *RHS) const { in implies() function
100 return lexpr::implies(this, RHS); in implies()
|
| /external/llvm-project/mlir/include/mlir/Interfaces/ |
| D | SideEffectInterfaces.td | 49 // resource. An 'allocate' effect implies only allocation of the resource, and
56 // has been allocated. A 'free' effect implies only de-allocation of the
63 // resource. A 'read' effect implies only dereferencing of the resource, and
70 // resource. A 'write' effect implies only mutating a resource, and not any
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/gcc7_manylinux2010-nvcc-cuda11/ |
| D | cc_toolchain_config.bzl | 127 implies = [
146 implies = [
165 implies = [
177 implies = [
189 implies = [
201 implies = [
216 implies = [
231 implies = [
477 implies = ["copy_dynamic_libraries_to_binary"],
699 implies = ["common"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/clang_manylinux2010-cuda10.0/ |
| D | cc_toolchain_config.bzl | 127 implies = [
146 implies = [
165 implies = [
177 implies = [
189 implies = [
201 implies = [
216 implies = [
231 implies = [
477 implies = ["copy_dynamic_libraries_to_binary"],
699 implies = ["common"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/gcc7_manylinux2010-nvcc-cuda10.0/ |
| D | cc_toolchain_config.bzl | 127 implies = [
146 implies = [
165 implies = [
177 implies = [
189 implies = [
201 implies = [
216 implies = [
231 implies = [
477 implies = ["copy_dynamic_libraries_to_binary"],
699 implies = ["common"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/gcc7_manylinux2010-nvcc-cuda10.1/ |
| D | cc_toolchain_config.bzl | 127 implies = [
146 implies = [
165 implies = [
177 implies = [
189 implies = [
201 implies = [
216 implies = [
231 implies = [
477 implies = ["copy_dynamic_libraries_to_binary"],
699 implies = ["common"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/win/bazel_211/ |
| D | windows_cc_toolchain_config.bzl | 131 implies = [
151 implies = [
163 implies = [
175 implies = [
187 implies = [
203 implies = [
219 implies = [
236 implies = [
464 implies = ["generate_pdb_file"],
552 implies = ["generate_pdb_file"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/win/tf_win_08062020/ |
| D | windows_cc_toolchain_config.bzl | 131 implies = [
151 implies = [
163 implies = [
175 implies = [
187 implies = [
203 implies = [
219 implies = [
236 implies = [
464 implies = ["generate_pdb_file"],
552 implies = ["generate_pdb_file"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/gcc7_manylinux2010/ |
| D | cc_toolchain_config.bzl | 106 implies = [
126 implies = [
138 implies = [
150 implies = [
162 implies = [
178 implies = [
194 implies = [
211 implies = [
430 implies = ["generate_pdb_file"],
515 implies = ["generate_pdb_file"],
[all …]
|
| /external/tensorflow/third_party/toolchains/preconfig/ubuntu16.04/clang/ |
| D | cc_toolchain_config.bzl | 106 implies = [
126 implies = [
138 implies = [
150 implies = [
162 implies = [
178 implies = [
194 implies = [
211 implies = [
430 implies = ["generate_pdb_file"],
515 implies = ["generate_pdb_file"],
[all …]
|
| /external/llvm/test/Transforms/InstCombine/ |
| D | select-implied.ll | 3 ; A == B implies A >u B is false.
39 ; A >u 10 implies A >u 10 is true.
104 ; A >u 10 implies A >u 9 is true.
|
| /external/tensorflow/tensorflow/core/api_def/base_api/ |
| D | api_def_CudnnRNNParamsSize.pbtxt | 14 when input_size == num_units; 'auto_select' implies 'skip_input' when
15 input_size == num_units; otherwise, it implies 'linear_input'.
|
| /external/rust/crates/grpcio-sys/grpc/third_party/toolchains/bazel_0.26.0_rbe_windows/ |
| D | cc_toolchain_config.bzl | 107 implies = [
127 implies = [
139 implies = [
151 implies = [
163 implies = [
179 implies = [
195 implies = [
212 implies = [
435 implies = ["generate_pdb_file"],
523 implies = ["generate_pdb_file"],
[all …]
|
| /external/llvm-project/polly/lib/External/isl/m4/ |
| D | ax_submodule.m4 | 26 AC_MSG_ERROR([Setting $with_$1_prefix implies use of system $1])
32 AC_MSG_ERROR([Setting $with_$1_builddir implies use of build $1])
|