AlignmentTest.cpp 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396
  1. //=== - llvm/unittest/Support/Alignment.cpp - Alignment utility tests -----===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. #include "llvm/Support/Alignment.h"
  9. #include "gtest/gtest.h"
  10. #include <vector>
  11. #ifdef _MSC_VER
  12. // Disable warnings about potential divide by 0.
  13. #pragma warning(push)
  14. #pragma warning(disable : 4723)
  15. #endif
  16. using namespace llvm;
  17. namespace {
  18. TEST(AlignmentTest, AlignOfConstant) {
  19. EXPECT_EQ(Align::Of<uint8_t>(), Align(alignof(uint8_t)));
  20. EXPECT_EQ(Align::Of<uint16_t>(), Align(alignof(uint16_t)));
  21. EXPECT_EQ(Align::Of<uint32_t>(), Align(alignof(uint32_t)));
  22. EXPECT_EQ(Align::Of<uint64_t>(), Align(alignof(uint64_t)));
  23. }
  24. TEST(AlignmentTest, AlignConstant) {
  25. EXPECT_EQ(Align::Constant<1>(), Align(1));
  26. EXPECT_EQ(Align::Constant<2>(), Align(2));
  27. EXPECT_EQ(Align::Constant<4>(), Align(4));
  28. EXPECT_EQ(Align::Constant<8>(), Align(8));
  29. EXPECT_EQ(Align::Constant<16>(), Align(16));
  30. EXPECT_EQ(Align::Constant<32>(), Align(32));
  31. EXPECT_EQ(Align::Constant<64>(), Align(64));
  32. }
  33. TEST(AlignmentTest, AlignConstexprConstant) {
  34. constexpr Align kConstantAlign = Align::Of<uint64_t>();
  35. EXPECT_EQ(Align(8), kConstantAlign);
  36. }
  37. std::vector<uint64_t> getValidAlignments() {
  38. std::vector<uint64_t> Out;
  39. for (size_t Shift = 0; Shift < 64; ++Shift)
  40. Out.push_back(1ULL << Shift);
  41. return Out;
  42. }
  43. TEST(AlignmentTest, AlignDefaultCTor) {
  44. EXPECT_EQ(Align().value(), 1ULL);
  45. EXPECT_EQ(Align::None().value(), 1ULL);
  46. }
  47. TEST(AlignmentTest, MaybeAlignDefaultCTor) {
  48. EXPECT_FALSE(MaybeAlign().hasValue());
  49. }
  50. TEST(AlignmentTest, ValidCTors) {
  51. for (uint64_t Value : getValidAlignments()) {
  52. EXPECT_EQ(Align(Value).value(), Value);
  53. EXPECT_EQ((*MaybeAlign(Value)).value(), Value);
  54. }
  55. }
  56. TEST(AlignmentTest, CheckMaybeAlignHasValue) {
  57. EXPECT_TRUE(MaybeAlign(1));
  58. EXPECT_TRUE(MaybeAlign(1).hasValue());
  59. EXPECT_FALSE(MaybeAlign(0));
  60. EXPECT_FALSE(MaybeAlign(0).hasValue());
  61. EXPECT_FALSE(MaybeAlign());
  62. EXPECT_FALSE(MaybeAlign().hasValue());
  63. }
  64. TEST(AlignmentTest, Division) {
  65. for (uint64_t Value : getValidAlignments()) {
  66. if (Value > 1) {
  67. EXPECT_EQ(Align(Value) / 2, Value / 2);
  68. EXPECT_EQ(MaybeAlign(Value) / 2, Value / 2);
  69. }
  70. }
  71. EXPECT_EQ(MaybeAlign(0) / 2, MaybeAlign(0));
  72. }
  73. TEST(AlignmentTest, AlignTo) {
  74. struct {
  75. uint64_t alignment;
  76. uint64_t offset;
  77. uint64_t rounded;
  78. const void *forgedAddr() const {
  79. // A value of any integral or enumeration type can be converted to a
  80. // pointer type.
  81. return reinterpret_cast<const void *>(offset);
  82. }
  83. } kTests[] = {
  84. // MaybeAlign
  85. {0, 0, 0},
  86. {0, 1, 1},
  87. {0, 5, 5},
  88. // MaybeAlign / Align
  89. {1, 0, 0},
  90. {1, 1, 1},
  91. {1, 5, 5},
  92. {2, 0, 0},
  93. {2, 1, 2},
  94. {2, 2, 2},
  95. {2, 7, 8},
  96. {2, 16, 16},
  97. {4, 0, 0},
  98. {4, 1, 4},
  99. {4, 4, 4},
  100. {4, 6, 8},
  101. };
  102. for (const auto &T : kTests) {
  103. MaybeAlign A(T.alignment);
  104. // Test MaybeAlign
  105. EXPECT_EQ(alignTo(T.offset, A), T.rounded);
  106. // Test Align
  107. if (A) {
  108. EXPECT_EQ(alignTo(T.offset, A.getValue()), T.rounded);
  109. EXPECT_EQ(alignAddr(T.forgedAddr(), A.getValue()), T.rounded);
  110. }
  111. }
  112. }
  113. TEST(AlignmentTest, Log2) {
  114. for (uint64_t Value : getValidAlignments()) {
  115. EXPECT_EQ(Log2(Align(Value)), Log2_64(Value));
  116. EXPECT_EQ(Log2(MaybeAlign(Value)), Log2_64(Value));
  117. }
  118. }
  119. TEST(AlignmentTest, MinAlign) {
  120. struct {
  121. uint64_t A;
  122. uint64_t B;
  123. uint64_t MinAlign;
  124. } kTests[] = {
  125. // MaybeAlign
  126. {0, 0, 0},
  127. {0, 8, 8},
  128. {2, 0, 2},
  129. // MaybeAlign / Align
  130. {1, 2, 1},
  131. {8, 4, 4},
  132. };
  133. for (const auto &T : kTests) {
  134. EXPECT_EQ(commonAlignment(MaybeAlign(T.A), MaybeAlign(T.B)), T.MinAlign);
  135. EXPECT_EQ(MinAlign(T.A, T.B), T.MinAlign);
  136. if (T.A) {
  137. EXPECT_EQ(commonAlignment(Align(T.A), MaybeAlign(T.B)), T.MinAlign);
  138. }
  139. if (T.B) {
  140. EXPECT_EQ(commonAlignment(MaybeAlign(T.A), Align(T.B)), T.MinAlign);
  141. }
  142. if (T.A && T.B) {
  143. EXPECT_EQ(commonAlignment(Align(T.A), Align(T.B)), T.MinAlign);
  144. }
  145. }
  146. }
  147. TEST(AlignmentTest, Encode_Decode) {
  148. for (uint64_t Value : getValidAlignments()) {
  149. {
  150. Align Actual(Value);
  151. Align Expected = decodeMaybeAlign(encode(Actual)).getValue();
  152. EXPECT_EQ(Expected, Actual);
  153. }
  154. {
  155. MaybeAlign Actual(Value);
  156. MaybeAlign Expected = decodeMaybeAlign(encode(Actual));
  157. EXPECT_EQ(Expected, Actual);
  158. }
  159. }
  160. MaybeAlign Actual(0);
  161. MaybeAlign Expected = decodeMaybeAlign(encode(Actual));
  162. EXPECT_EQ(Expected, Actual);
  163. }
  164. TEST(AlignmentTest, isAligned_isAddrAligned) {
  165. struct {
  166. uint64_t alignment;
  167. uint64_t offset;
  168. bool isAligned;
  169. const void *forgedAddr() const {
  170. // A value of any integral or enumeration type can be converted to a
  171. // pointer type.
  172. return reinterpret_cast<const void *>(offset);
  173. }
  174. } kTests[] = {
  175. {1, 0, true}, {1, 1, true}, {1, 5, true}, {2, 0, true},
  176. {2, 1, false}, {2, 2, true}, {2, 7, false}, {2, 16, true},
  177. {4, 0, true}, {4, 1, false}, {4, 4, true}, {4, 6, false},
  178. };
  179. for (const auto &T : kTests) {
  180. MaybeAlign A(T.alignment);
  181. // Test MaybeAlign
  182. EXPECT_EQ(isAligned(A, T.offset), T.isAligned);
  183. // Test Align
  184. if (A) {
  185. EXPECT_EQ(isAligned(A.getValue(), T.offset), T.isAligned);
  186. EXPECT_EQ(isAddrAligned(A.getValue(), T.forgedAddr()), T.isAligned);
  187. }
  188. }
  189. }
  190. TEST(AlignmentTest, offsetToAlignment) {
  191. struct {
  192. uint64_t alignment;
  193. uint64_t offset;
  194. uint64_t alignedOffset;
  195. const void *forgedAddr() const {
  196. // A value of any integral or enumeration type can be converted to a
  197. // pointer type.
  198. return reinterpret_cast<const void *>(offset);
  199. }
  200. } kTests[] = {
  201. {1, 0, 0}, {1, 1, 0}, {1, 5, 0}, {2, 0, 0}, {2, 1, 1}, {2, 2, 0},
  202. {2, 7, 1}, {2, 16, 0}, {4, 0, 0}, {4, 1, 3}, {4, 4, 0}, {4, 6, 2},
  203. };
  204. for (const auto &T : kTests) {
  205. const Align A(T.alignment);
  206. EXPECT_EQ(offsetToAlignment(T.offset, A), T.alignedOffset);
  207. EXPECT_EQ(offsetToAlignedAddr(T.forgedAddr(), A), T.alignedOffset);
  208. }
  209. }
  210. TEST(AlignmentTest, AlignComparisons) {
  211. std::vector<uint64_t> ValidAlignments = getValidAlignments();
  212. std::sort(ValidAlignments.begin(), ValidAlignments.end());
  213. for (size_t I = 1; I < ValidAlignments.size(); ++I) {
  214. assert(I >= 1);
  215. const Align A(ValidAlignments[I - 1]);
  216. const Align B(ValidAlignments[I]);
  217. EXPECT_EQ(A, A);
  218. EXPECT_NE(A, B);
  219. EXPECT_LT(A, B);
  220. EXPECT_GT(B, A);
  221. EXPECT_LE(A, B);
  222. EXPECT_GE(B, A);
  223. EXPECT_LE(A, A);
  224. EXPECT_GE(A, A);
  225. EXPECT_EQ(A, A.value());
  226. EXPECT_NE(A, B.value());
  227. EXPECT_LT(A, B.value());
  228. EXPECT_GT(B, A.value());
  229. EXPECT_LE(A, B.value());
  230. EXPECT_GE(B, A.value());
  231. EXPECT_LE(A, A.value());
  232. EXPECT_GE(A, A.value());
  233. EXPECT_EQ(std::max(A, B), B);
  234. EXPECT_EQ(std::min(A, B), A);
  235. const MaybeAlign MA(ValidAlignments[I - 1]);
  236. const MaybeAlign MB(ValidAlignments[I]);
  237. EXPECT_EQ(MA, MA);
  238. EXPECT_NE(MA, MB);
  239. EXPECT_LT(MA, MB);
  240. EXPECT_GT(MB, MA);
  241. EXPECT_LE(MA, MB);
  242. EXPECT_GE(MB, MA);
  243. EXPECT_LE(MA, MA);
  244. EXPECT_GE(MA, MA);
  245. EXPECT_EQ(MA, MA ? (*MA).value() : 0);
  246. EXPECT_NE(MA, MB ? (*MB).value() : 0);
  247. EXPECT_LT(MA, MB ? (*MB).value() : 0);
  248. EXPECT_GT(MB, MA ? (*MA).value() : 0);
  249. EXPECT_LE(MA, MB ? (*MB).value() : 0);
  250. EXPECT_GE(MB, MA ? (*MA).value() : 0);
  251. EXPECT_LE(MA, MA ? (*MA).value() : 0);
  252. EXPECT_GE(MA, MA ? (*MA).value() : 0);
  253. EXPECT_EQ(std::max(A, B), B);
  254. EXPECT_EQ(std::min(A, B), A);
  255. }
  256. }
  257. TEST(AlignmentTest, Max) {
  258. // We introduce std::max here to test ADL.
  259. using std::max;
  260. // Uses llvm::max.
  261. EXPECT_EQ(max(MaybeAlign(), Align(2)), Align(2));
  262. EXPECT_EQ(max(Align(2), MaybeAlign()), Align(2));
  263. EXPECT_EQ(max(MaybeAlign(1), Align(2)), Align(2));
  264. EXPECT_EQ(max(Align(2), MaybeAlign(1)), Align(2));
  265. EXPECT_EQ(max(MaybeAlign(2), Align(2)), Align(2));
  266. EXPECT_EQ(max(Align(2), MaybeAlign(2)), Align(2));
  267. EXPECT_EQ(max(MaybeAlign(4), Align(2)), Align(4));
  268. EXPECT_EQ(max(Align(2), MaybeAlign(4)), Align(4));
  269. // Uses std::max.
  270. EXPECT_EQ(max(Align(2), Align(4)), Align(4));
  271. EXPECT_EQ(max(MaybeAlign(2), MaybeAlign(4)), MaybeAlign(4));
  272. EXPECT_EQ(max(MaybeAlign(), MaybeAlign()), MaybeAlign());
  273. }
  274. TEST(AlignmentTest, AssumeAligned) {
  275. EXPECT_EQ(assumeAligned(0), Align(1));
  276. EXPECT_EQ(assumeAligned(0), Align());
  277. EXPECT_EQ(assumeAligned(1), Align(1));
  278. EXPECT_EQ(assumeAligned(1), Align());
  279. }
  280. // Death tests reply on assert which is disabled in release mode.
  281. #ifndef NDEBUG
  282. // We use a subset of valid alignments for DEATH_TESTs as they are particularly
  283. // slow.
  284. std::vector<uint64_t> getValidAlignmentsForDeathTest() {
  285. return {1, 1ULL << 31, 1ULL << 63};
  286. }
  287. std::vector<uint64_t> getNonPowerOfTwo() { return {3, 10, 15}; }
  288. TEST(AlignmentDeathTest, Log2) {
  289. EXPECT_DEATH(Log2(MaybeAlign(0)), ".* should be defined");
  290. }
  291. TEST(AlignmentDeathTest, CantConvertUnsetMaybe) {
  292. EXPECT_DEATH((MaybeAlign(0).getValue()), ".*");
  293. }
  294. TEST(AlignmentDeathTest, Division) {
  295. EXPECT_DEATH(Align(1) / 2, "Can't halve byte alignment");
  296. EXPECT_DEATH(MaybeAlign(1) / 2, "Can't halve byte alignment");
  297. EXPECT_DEATH(Align(8) / 0, "Divisor must be positive and a power of 2");
  298. EXPECT_DEATH(Align(8) / 3, "Divisor must be positive and a power of 2");
  299. }
  300. TEST(AlignmentDeathTest, InvalidCTors) {
  301. EXPECT_DEATH((Align(0)), "Value must not be 0");
  302. for (uint64_t Value : getNonPowerOfTwo()) {
  303. EXPECT_DEATH((Align(Value)), "Alignment is not a power of 2");
  304. EXPECT_DEATH((MaybeAlign(Value)),
  305. "Alignment is neither 0 nor a power of 2");
  306. }
  307. }
  308. TEST(AlignmentDeathTest, ComparisonsWithZero) {
  309. for (uint64_t Value : getValidAlignmentsForDeathTest()) {
  310. EXPECT_DEATH((void)(Align(Value) == 0), ".* should be defined");
  311. EXPECT_DEATH((void)(Align(Value) != 0), ".* should be defined");
  312. EXPECT_DEATH((void)(Align(Value) >= 0), ".* should be defined");
  313. EXPECT_DEATH((void)(Align(Value) <= 0), ".* should be defined");
  314. EXPECT_DEATH((void)(Align(Value) > 0), ".* should be defined");
  315. EXPECT_DEATH((void)(Align(Value) < 0), ".* should be defined");
  316. }
  317. }
  318. TEST(AlignmentDeathTest, CompareMaybeAlignToZero) {
  319. for (uint64_t Value : getValidAlignmentsForDeathTest()) {
  320. // MaybeAlign is allowed to be == or != 0
  321. (void)(MaybeAlign(Value) == 0);
  322. (void)(MaybeAlign(Value) != 0);
  323. EXPECT_DEATH((void)(MaybeAlign(Value) >= 0), ".* should be defined");
  324. EXPECT_DEATH((void)(MaybeAlign(Value) <= 0), ".* should be defined");
  325. EXPECT_DEATH((void)(MaybeAlign(Value) > 0), ".* should be defined");
  326. EXPECT_DEATH((void)(MaybeAlign(Value) < 0), ".* should be defined");
  327. }
  328. }
  329. TEST(AlignmentDeathTest, CompareAlignToUndefMaybeAlign) {
  330. for (uint64_t Value : getValidAlignmentsForDeathTest()) {
  331. EXPECT_DEATH((void)(Align(Value) == MaybeAlign(0)), ".* should be defined");
  332. EXPECT_DEATH((void)(Align(Value) != MaybeAlign(0)), ".* should be defined");
  333. EXPECT_DEATH((void)(Align(Value) >= MaybeAlign(0)), ".* should be defined");
  334. EXPECT_DEATH((void)(Align(Value) <= MaybeAlign(0)), ".* should be defined");
  335. EXPECT_DEATH((void)(Align(Value) > MaybeAlign(0)), ".* should be defined");
  336. EXPECT_DEATH((void)(Align(Value) < MaybeAlign(0)), ".* should be defined");
  337. }
  338. }
  339. TEST(AlignmentDeathTest, AlignAddr) {
  340. const void *const unaligned_high_ptr =
  341. reinterpret_cast<const void *>(std::numeric_limits<uintptr_t>::max() - 1);
  342. EXPECT_DEATH(alignAddr(unaligned_high_ptr, Align(16)), "Overflow");
  343. }
  344. #endif // NDEBUG
  345. } // end anonymous namespace
  346. #ifdef _MSC_VER
  347. #pragma warning(pop)
  348. #endif