1 | /* |
2 | * Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved. |
3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 | * |
5 | * This code is free software; you can redistribute it and/or modify it |
6 | * under the terms of the GNU General Public License version 2 only, as |
7 | * published by the Free Software Foundation. |
8 | * |
9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
12 | * version 2 for more details (a copy is included in the LICENSE file that |
13 | * accompanied this code). |
14 | * |
15 | * You should have received a copy of the GNU General Public License version |
16 | * 2 along with this work; if not, write to the Free Software Foundation, |
17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
18 | * |
19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
20 | * or visit www.oracle.com if you need additional information or have any |
21 | * questions. |
22 | */ |
23 | |
24 | #include "precompiled.hpp" |
25 | #include "utilities/align.hpp" |
26 | #include "utilities/formatBuffer.hpp" |
27 | #include "utilities/globalDefinitions.hpp" |
28 | #include "unittest.hpp" |
29 | |
30 | #include <limits> |
31 | |
32 | // A few arbitrarily chosen values to test the align functions on. |
33 | static uint64_t values[] = {1, 3, 10, 345, 1023, 1024, 1025, 23909034, INT_MAX, uint64_t(-1) / 2, uint64_t(-1) / 2 + 100, uint64_t(-1)}; |
34 | |
35 | template <typename T> |
36 | static T max_alignment() { |
37 | T max = std::numeric_limits<T>::max(); |
38 | return max ^ (max >> 1); |
39 | } |
40 | |
41 | #define log(...) SCOPED_TRACE(err_msg(__VA_ARGS__).buffer()) |
42 | |
43 | template <typename T, typename A> |
44 | static void test_alignments() { |
45 | log("### Test: %c" SIZE_FORMAT " " UINT64_FORMAT " : %c" SIZE_FORMAT " " UINT64_FORMAT " ###\n" , |
46 | std::numeric_limits<T>::is_signed ? 's' : 'u', sizeof(T), (uint64_t)std::numeric_limits<T>::max(), |
47 | std::numeric_limits<A>::is_signed ? 's' : 'u', sizeof(A), (uint64_t)std::numeric_limits<A>::max()); |
48 | |
49 | // Test all possible alignment values that fit in type A. |
50 | for (A alignment = max_alignment<A>(); alignment > 0; alignment >>= 1) { |
51 | log("=== Alignment: " UINT64_FORMAT " ===\n" , (uint64_t)alignment); |
52 | |
53 | for (size_t i = 0; i < ARRAY_SIZE(values); i++) { |
54 | log("--- Value: " UINT64_FORMAT "\n" , values[i]); |
55 | |
56 | // Test align up |
57 | const uint64_t up = align_up_(values[i], (uint64_t)alignment); |
58 | if (0 < up && up <= (uint64_t)std::numeric_limits<T>::max()) { |
59 | log("Testing align_up: alignment: 0x" UINT64_FORMAT_X " value: 0x" UINT64_FORMAT_X " expected: 0x" UINT64_FORMAT_X "\n" , (uint64_t)alignment, values[i], up); |
60 | |
61 | T value = T(values[i]); |
62 | |
63 | // Check against uint64_t version |
64 | ASSERT_EQ(align_up((uint64_t)value, alignment), up); |
65 | // Check inline function vs macro |
66 | ASSERT_EQ(align_up(value, alignment), align_up_(value, alignment)); |
67 | // Sanity check |
68 | ASSERT_GE(align_up(value, alignment), value); |
69 | } |
70 | |
71 | // Test align down |
72 | const uint64_t down = align_down_(values[i], (uint64_t)alignment); |
73 | if (down <= (uint64_t)std::numeric_limits<T>::max()) { |
74 | log("Testing align_down: alignment: 0x" UINT64_FORMAT_X " value: 0x" UINT64_FORMAT_X " expected: 0x" UINT64_FORMAT_X "\n" , (uint64_t)alignment, values[i], down); |
75 | |
76 | T value = T(values[i]); |
77 | |
78 | // Check against uint64_t version |
79 | ASSERT_EQ((uint64_t)align_down(value, alignment), down); |
80 | // Check inline function vs macro |
81 | ASSERT_EQ(align_down(value, alignment), align_down_(value, alignment)); |
82 | // Sanity check |
83 | ASSERT_LE(align_down(value, alignment), value); |
84 | } |
85 | |
86 | // Test is aligned |
87 | const bool is = is_aligned_(values[i], (uint64_t)alignment); |
88 | if (values[i] <= (uint64_t)std::numeric_limits<T>::max()) { |
89 | log("Testing is_aligned: alignment: 0x" UINT64_FORMAT_X " value: 0x" UINT64_FORMAT_X " expected: %s\n" , (uint64_t)alignment, values[i], is ? "true" : "false" ); |
90 | |
91 | T value = T(values[i]); |
92 | |
93 | // Check against uint64_t version |
94 | ASSERT_EQ(is_aligned(value, alignment), is); |
95 | // Check inline function vs macro |
96 | ASSERT_EQ(is_aligned(value, alignment), is_aligned_(value, alignment)); |
97 | } |
98 | } |
99 | } |
100 | } |
101 | |
102 | TEST(Align, functions_and_macros) { |
103 | // Test the alignment functions with different type combinations. |
104 | |
105 | test_alignments<int64_t, uint8_t>(); |
106 | test_alignments<int64_t, uint16_t>(); |
107 | test_alignments<int64_t, uint32_t>(); |
108 | test_alignments<int64_t, int8_t>(); |
109 | test_alignments<int64_t, int16_t>(); |
110 | test_alignments<int64_t, int32_t>(); |
111 | test_alignments<int64_t, int64_t>(); |
112 | |
113 | test_alignments<uint32_t, uint8_t>(); |
114 | test_alignments<uint32_t, uint16_t>(); |
115 | test_alignments<uint32_t, uint32_t>(); |
116 | test_alignments<uint32_t, int8_t>(); |
117 | test_alignments<uint32_t, int16_t>(); |
118 | test_alignments<uint32_t, int32_t>(); |
119 | |
120 | test_alignments<int32_t, uint8_t>(); |
121 | test_alignments<int32_t, uint16_t>(); |
122 | test_alignments<int32_t, int8_t>(); |
123 | test_alignments<int32_t, int16_t>(); |
124 | test_alignments<int32_t, int32_t>(); |
125 | |
126 | test_alignments<uint16_t, uint8_t>(); |
127 | test_alignments<uint16_t, uint16_t>(); |
128 | test_alignments<uint16_t, int8_t>(); |
129 | test_alignments<uint16_t, int16_t>(); |
130 | |
131 | test_alignments<int16_t, uint8_t>(); |
132 | test_alignments<int16_t, int8_t>(); |
133 | test_alignments<int16_t, int16_t>(); |
134 | |
135 | test_alignments<uint8_t, int8_t>(); |
136 | test_alignments<uint8_t, uint8_t>(); |
137 | |
138 | test_alignments<int8_t, int8_t>(); |
139 | } |
140 | |