Lines Matching defs:BP
23 typedef BranchProbability BP;
25 EXPECT_EQ(306783378u, BP(1, 7).getNumerator());
26 EXPECT_EQ(1u << 31, BP(1, 7).getDenominator());
27 EXPECT_EQ(0u, BP::getZero().getNumerator());
28 EXPECT_EQ(1u << 31, BP::getZero().getDenominator());
29 EXPECT_EQ(1u << 31, BP::getOne().getNumerator());
30 EXPECT_EQ(1u << 31, BP::getOne().getDenominator());
34 EXPECT_TRUE(BP(1, 7) < BP(2, 7));
35 EXPECT_TRUE(BP(1, 7) < BP(1, 4));
36 EXPECT_TRUE(BP(5, 7) < BP(3, 4));
37 EXPECT_FALSE(BP(1, 7) < BP(1, 7));
38 EXPECT_FALSE(BP(1, 7) < BP(2, 14));
39 EXPECT_FALSE(BP(4, 7) < BP(1, 2));
40 EXPECT_FALSE(BP(4, 7) < BP(3, 7));
42 EXPECT_FALSE(BP(1, 7) > BP(2, 7));
43 EXPECT_FALSE(BP(1, 7) > BP(1, 4));
44 EXPECT_FALSE(BP(5, 7) > BP(3, 4));
45 EXPECT_FALSE(BP(1, 7) > BP(1, 7));
46 EXPECT_FALSE(BP(1, 7) > BP(2, 14));
47 EXPECT_TRUE(BP(4, 7) > BP(1, 2));
48 EXPECT_TRUE(BP(4, 7) > BP(3, 7));
50 EXPECT_TRUE(BP(1, 7) <= BP(2, 7));
51 EXPECT_TRUE(BP(1, 7) <= BP(1, 4));
52 EXPECT_TRUE(BP(5, 7) <= BP(3, 4));
53 EXPECT_TRUE(BP(1, 7) <= BP(1, 7));
54 EXPECT_TRUE(BP(1, 7) <= BP(2, 14));
55 EXPECT_FALSE(BP(4, 7) <= BP(1, 2));
56 EXPECT_FALSE(BP(4, 7) <= BP(3, 7));
58 EXPECT_FALSE(BP(1, 7) >= BP(2, 7));
59 EXPECT_FALSE(BP(1, 7) >= BP(1, 4));
60 EXPECT_FALSE(BP(5, 7) >= BP(3, 4));
61 EXPECT_TRUE(BP(1, 7) >= BP(1, 7));
62 EXPECT_TRUE(BP(1, 7) >= BP(2, 14));
63 EXPECT_TRUE(BP(4, 7) >= BP(1, 2));
64 EXPECT_TRUE(BP(4, 7) >= BP(3, 7));
66 EXPECT_FALSE(BP(1, 7) == BP(2, 7));
67 EXPECT_FALSE(BP(1, 7) == BP(1, 4));
68 EXPECT_FALSE(BP(5, 7) == BP(3, 4));
69 EXPECT_TRUE(BP(1, 7) == BP(1, 7));
70 EXPECT_TRUE(BP(1, 7) == BP(2, 14));
71 EXPECT_FALSE(BP(4, 7) == BP(1, 2));
72 EXPECT_FALSE(BP(4, 7) == BP(3, 7));
74 EXPECT_TRUE(BP(1, 7) != BP(2, 7));
75 EXPECT_TRUE(BP(1, 7) != BP(1, 4));
76 EXPECT_TRUE(BP(5, 7) != BP(3, 4));
77 EXPECT_FALSE(BP(1, 7) != BP(1, 7));
78 EXPECT_FALSE(BP(1, 7) != BP(2, 14));
79 EXPECT_TRUE(BP(4, 7) != BP(1, 2));
80 EXPECT_TRUE(BP(4, 7) != BP(3, 7));
82 EXPECT_TRUE(BP(1, 7) == BP(2, 14));
83 EXPECT_TRUE(BP(1, 7) == BP(3, 21));
84 EXPECT_TRUE(BP(5, 7) == BP(25, 35));
85 EXPECT_TRUE(BP(99999998, 100000000) < BP(99999999, 100000000));
86 EXPECT_TRUE(BP(4, 8) == BP(400000000, 800000000));
90 BP A(4, 5);
91 BP B(4U << 29, 5U << 29);
92 BP C(3, 4);
108 BP BigZero(0, UINT32_MAX);
109 BP BigOne(UINT32_MAX, UINT32_MAX);
119 EXPECT_EQ(BP(5, 7), BP(2, 7).getCompl());
120 EXPECT_EQ(BP(2, 7), BP(5, 7).getCompl());
121 EXPECT_EQ(BP::getZero(), BP(7, 7).getCompl());
122 EXPECT_EQ(BP::getOne(), BP(0, 7).getCompl());
127 EXPECT_EQ(UINT64_MAX, BP(1, 1).scale(UINT64_MAX));
128 EXPECT_EQ(UINT64_MAX, BP(7, 7).scale(UINT64_MAX));
129 EXPECT_EQ(UINT32_MAX, BP(1, 1).scale(UINT32_MAX));
130 EXPECT_EQ(UINT32_MAX, BP(7, 7).scale(UINT32_MAX));
131 EXPECT_EQ(0u, BP(1, 1).scale(0));
132 EXPECT_EQ(0u, BP(7, 7).scale(0));
135 EXPECT_EQ(0u, BP(0, 1).scale(UINT64_MAX));
136 EXPECT_EQ(0u, BP(0, 1).scale(UINT64_MAX));
137 EXPECT_EQ(0u, BP(0, 1).scale(0));
143 EXPECT_EQ(Two63 - 1, BP(1, 2).scale(UINT64_MAX));
146 EXPECT_EQ(1u, BP(Two31, UINT32_MAX).scale(2));
147 EXPECT_EQ(Two31, BP(Two31, UINT32_MAX).scale(Two31 * 2));
148 EXPECT_EQ(9223372036854775807ULL, BP(Two31, UINT32_MAX).scale(UINT64_MAX));
152 BP(Two31 + 1, UINT32_MAX - 2).scale(UINT64_MAX));
157 EXPECT_EQ(UINT64_MAX, BP(1, 1).scaleByInverse(UINT64_MAX));
158 EXPECT_EQ(UINT64_MAX, BP(7, 7).scaleByInverse(UINT64_MAX));
159 EXPECT_EQ(UINT32_MAX, BP(1, 1).scaleByInverse(UINT32_MAX));
160 EXPECT_EQ(UINT32_MAX, BP(7, 7).scaleByInverse(UINT32_MAX));
161 EXPECT_EQ(0u, BP(1, 1).scaleByInverse(0));
162 EXPECT_EQ(0u, BP(7, 7).scaleByInverse(0));
164 auto MAX_DENOMINATOR = BP::getDenominator();
167 EXPECT_EQ(UINT64_MAX, BP(1, UINT32_MAX).scaleByInverse(UINT64_MAX));
169 BP(1, MAX_DENOMINATOR).scaleByInverse(UINT32_MAX));
170 EXPECT_EQ(MAX_DENOMINATOR, BP(1, MAX_DENOMINATOR).scaleByInverse(1));
176 EXPECT_EQ(UINT64_MAX - 1, BP(1, 2).scaleByInverse(Two63 - 1));
177 EXPECT_EQ(UINT64_MAX, BP(1, 2).scaleByInverse(Two63));
180 EXPECT_EQ(2u, BP(Two31, UINT32_MAX).scaleByInverse(1));
181 EXPECT_EQ(2u, BP(Two31 - 1, UINT32_MAX).scaleByInverse(1));
182 EXPECT_EQ(Two31 * 2, BP(Two31, UINT32_MAX).scaleByInverse(Two31));
183 EXPECT_EQ(Two31 * 2, BP(Two31 - 1, UINT32_MAX).scaleByInverse(Two31));
184 EXPECT_EQ(UINT64_MAX, BP(Two31, UINT32_MAX).scaleByInverse(Two63 + Two31));
189 BP(Two31 + 2, UINT32_MAX - 2)
192 BP(Two31 + 1, UINT32_MAX).scaleByInverse(Two63 + Two31));
286 EXPECT_EQ(T.Result, BP(T.Prob[0], T.Prob[1]).scale(T.Num));
