Home
last modified time | relevance | path

Searched refs:implies (Results 1 – 25 of 136) sorted by relevance

123456

/llvm-project-15.0.7/clang/lib/Analysis/
H A DThreadSafetyLogical.cpp24 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()
105 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies() function
[all …]
/llvm-project-15.0.7/libcxx/test/std/utilities/optional/optional.object/
H A Dtriviality.pass.cpp30 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> &&
/llvm-project-15.0.7/llvm/test/Transforms/SimplifyCFG/
H A Dimplied-cond-matching.ll71 ; 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 …]
H A Dimplied-cond-matching-imm.ll3 ; 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
/llvm-project-15.0.7/mlir/include/mlir/Dialect/SPIRV/IR/
H A DSPIRVBase.td817 list<I32EnumAttrCase> implies = [SPV_C_Matrix];
820 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
823 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
826 list<I32EnumAttrCase> implies = [SPV_C_Int64];
829 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
832 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
835 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
838 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
850 list<I32EnumAttrCase> implies = [SPV_C_Kernel];
928 list<I32EnumAttrCase> implies = [SPV_C_Int8];
[all …]
/llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyLogical.h33 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()
/llvm-project-15.0.7/mlir/include/mlir/Interfaces/
H A DSideEffectInterfaces.td49 // 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
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Dlakemont.ll3 ; Make sure -mcpu=lakemont implies soft floats.
H A Ddynamic-alloca-in-entry.ll12 ; Use of inalloca implies that that the alloca is not static.
/llvm-project-15.0.7/llvm/test/tools/llvm-objdump/X86/
H A Ddisassemble-implied-by-disassemble-functions.test1 ## Check that --disassemble-symbols implies --disassemble.
/llvm-project-15.0.7/llvm/test/CodeGen/SystemZ/
H A Dsoft-float-03.ll3 ; Check that soft-float implies "-vector".
/llvm-project-15.0.7/mlir/test/Dialect/SPIRV/IR/
H A Dtarget-env.mlir22 // The GeometryPointSize capability implies the Geometry capability, which
23 // implies the Shader capability.
185 // Version 1.5 implies SPV_KHR_vulkan_memory_model and SPV_KHR_physical_storage_buffer.
/llvm-project-15.0.7/llvm/test/tools/llvm-objdump/ELF/ARM/
H A Dv7r-subfeatures.s2 @ v7r implies Thumb hwdiv, but ARM hwdiv is optional
/llvm-project-15.0.7/mlir/utils/spirv/
H A Dgen_spirv_dialect.py307 implies = ''
323 implies = 'list<I32EnumAttrCase> implies = [{}];'.format(
327 implies = ''
346 return '{}{}{}'.format(implies, '\n ' if implies and avail else '', avail)
/llvm-project-15.0.7/llvm/test/MC/LoongArch/Basic/Float/
H A Dd-branch.s12 ## Support for the 'D' extension implies support for 'F'
H A Dd-bound-check.s12 ## Support for the 'D' extension implies support for 'F'
H A Dd-memory.s12 ## Support for the 'D' extension implies support for 'F'
H A Dd-move.s12 ## Support for the 'D' extension implies support for 'F'
/llvm-project-15.0.7/llvm/test/Transforms/MergeFunc/
H A Dundef-different-types.ll7 ; anything else, because this implies the ordering will be inconsistent (i.e.
/llvm-project-15.0.7/llvm/test/Feature/OperandBundles/
H A Dadce.ll5 ; bundles since the presence of unknown operand bundles implies
/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/
H A Dbitcast.ll3 ; PR23065: SCALAR_TO_VECTOR implies the top elements 1 to N-1 of the N-element vector are undefined.
/llvm-project-15.0.7/llvm/test/ExecutionEngine/OrcLazy/
H A Demulated-tls.ll11 ; reference to this symbol (and only this symbol) implies (1) that the emulated
/llvm-project-15.0.7/llvm/test/Transforms/AggressiveInstCombine/X86/
H A Dsqrt.ll8 ; "nnan" implies no setting of errno and the target can lower this to an
/llvm-project-15.0.7/llvm/docs/CommandGuide/
H A Dllvm-otool.rst108 Symbolize disassembled operands (implies :option:`-v`).
/llvm-project-15.0.7/llvm/test/MC/PowerPC/
H A Dppc64-localentry.s41 # Verify that use of .localentry implies ABI version 2

123456