Home
last modified time | relevance | path

Searched refs:Iff (Results 1 – 17 of 17) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDebugSupportTest.cpp77 TEST(BoolValueDebugStringTest, Iff) { in TEST() argument
300 TEST(SATCheckDebugStringTest, Iff) { in TEST() argument
305 auto Iff = Ctx.conj(Ctx.disj(Ctx.neg(B0), B1), Ctx.disj(B0, Ctx.neg(B1))); in TEST() local
306 std::vector<BoolValue *> Constraints({B0, Iff}); in TEST()
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dcanonicalize-constant-low-bit-mask-and-icmp-uge-to-icmp-ule.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-ult-to-icmp-ugt.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-eq-to-icmp-ule.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-ne-to-icmp-ugt.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-ugt-to-icmp-ugt.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-sge-to-icmp-sle.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-ule-to-icmp-ule.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-slt-to-icmp-sgt.ll10 ; Iff: isPowerOf2(C + 1)
H A Domit-urem-of-power-of-two-or-zero-when-comparing-with-zero.ll6 ; Iff C is not a power of two (those should not get to here though),
H A Dsext-of-trunc-nsw.ll4 ; Iff we know that trunc only chops off the sign bits,
H A Dcanonicalize-constant-low-bit-mask-and-icmp-sle-to-icmp-sle.ll10 ; Iff: isPowerOf2(C + 1)
H A Dcanonicalize-constant-low-bit-mask-and-icmp-sgt-to-icmp-sgt.ll10 ; Iff: isPowerOf2(C + 1)
H A Dlshr-trunc-sext-to-ashr-sext.ll4 ; Iff trunc only chops off zero bits that were just shifted-in by the lshr,
H A Dcanonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll15 ; Iff -C1 s<= C2 s<= C0-C1
H A Dcanonicalize-clamp-like-pattern-between-negative-and-positive-thresholds.ll15 ; Iff -C1 s<= C2 s<= C0-C1
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Domit-urem-of-power-of-two-or-zero-when-comparing-with-zero.ll8 ; Iff C is not a power of two (those should not get to here though),