Searched refs:CompareRes (Results 1 – 1 of 1) sorted by relevance
378 std::optional<bool> CompareRes = KnownBits::eq(LHSKnown, RHSKnown); in binaryOpKnownBitsMapHelper() local379 KBM[Expr] = fromOptionalToKnownBits(CompareRes); in binaryOpKnownBitsMapHelper()383 std::optional<bool> CompareRes = KnownBits::ne(LHSKnown, RHSKnown); in binaryOpKnownBitsMapHelper() local384 KBM[Expr] = fromOptionalToKnownBits(CompareRes); in binaryOpKnownBitsMapHelper()388 std::optional<bool> CompareRes = KnownBits::sgt(LHSKnown, RHSKnown); in binaryOpKnownBitsMapHelper() local389 KBM[Expr] = fromOptionalToKnownBits(CompareRes); in binaryOpKnownBitsMapHelper()393 std::optional<bool> CompareRes = KnownBits::sge(LHSKnown, RHSKnown); in binaryOpKnownBitsMapHelper() local394 KBM[Expr] = fromOptionalToKnownBits(CompareRes); in binaryOpKnownBitsMapHelper()398 std::optional<bool> CompareRes; in binaryOpKnownBitsMapHelper() local405 CompareRes = *LHSBool && *RHSBool; in binaryOpKnownBitsMapHelper()[all …]