Avi Drissman | e4622aa | 2022-09-08 20:36:06 | [diff] [blame] | 1 | // Copyright 2012 The Chromium Authors |
[email protected] | cd924d6 | 2012-02-23 17:52:20 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
Tom Sepez | 8726d30e | 2025-01-29 02:11:08 | [diff] [blame] | 5 | #ifdef UNSAFE_BUFFERS_BUILD |
| 6 | // TODO(crbug.com/390223051): Remove C-library calls to fix the errors. |
| 7 | #pragma allow_unsafe_libc_calls |
| 8 | #endif |
| 9 | |
[email protected] | cd924d6 | 2012-02-23 17:52:20 | [diff] [blame] | 10 | #include "base/memory/aligned_memory.h" |
dcheng | 093de9b | 2016-04-04 21:25:51 | [diff] [blame] | 11 | |
danakj | b470507 | 2024-11-06 20:54:09 | [diff] [blame] | 12 | #include <stdint.h> |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 13 | #include <string.h> |
| 14 | |
dcheng | 093de9b | 2016-04-04 21:25:51 | [diff] [blame] | 15 | #include <memory> |
| 16 | |
avi | 9beac25 | 2015-12-24 08:44:47 | [diff] [blame] | 17 | #include "build/build_config.h" |
[email protected] | cd924d6 | 2012-02-23 17:52:20 | [diff] [blame] | 18 | #include "testing/gtest/include/gtest/gtest.h" |
| 19 | |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 20 | namespace base { |
[email protected] | cd924d6 | 2012-02-23 17:52:20 | [diff] [blame] | 21 | |
danakj | b470507 | 2024-11-06 20:54:09 | [diff] [blame] | 22 | TEST(AlignedMemoryTest, AlignedUninit) { |
| 23 | { |
| 24 | base::AlignedHeapArray<char> h = AlignedUninit<char>(8, 32); |
| 25 | EXPECT_EQ(h.size(), 8u); |
| 26 | EXPECT_TRUE(IsAligned(h.data(), 32)); |
| 27 | } |
| 28 | { |
| 29 | base::AlignedHeapArray<int16_t> h = AlignedUninit<int16_t>(8, 32); |
| 30 | EXPECT_EQ(h.size(), 8u); |
| 31 | EXPECT_TRUE(IsAligned(h.data(), 32)); |
| 32 | } |
| 33 | } |
| 34 | |
| 35 | TEST(AlignedMemoryTest, AlignedUninitCharArray) { |
| 36 | auto [h, s] = AlignedUninitCharArray<int16_t>(8, 32); |
| 37 | static_assert(std::same_as<base::AlignedHeapArray<char>, decltype(h)>); |
| 38 | static_assert(std::same_as<base::span<int16_t>, decltype(s)>); |
| 39 | EXPECT_EQ(h.size(), 8u * sizeof(int16_t)); |
| 40 | EXPECT_TRUE(IsAligned(h.data(), 32)); |
| 41 | EXPECT_EQ(s.size(), 8u); |
| 42 | EXPECT_TRUE(IsAligned(s.data(), 32)); |
| 43 | } |
| 44 | |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 45 | TEST(AlignedMemoryTest, DynamicAllocation) { |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 46 | void* p = AlignedAlloc(8, 8); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 47 | ASSERT_TRUE(p); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 48 | EXPECT_TRUE(IsAligned(p, 8)); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 49 | memset(p, 0, 8); // Fill to check allocated size under ASAN. |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 50 | AlignedFree(p); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 51 | |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 52 | p = AlignedAlloc(8, 16); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 53 | ASSERT_TRUE(p); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 54 | EXPECT_TRUE(IsAligned(p, 16)); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 55 | memset(p, 0, 8); // Fill to check allocated size under ASAN. |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 56 | AlignedFree(p); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 57 | |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 58 | p = AlignedAlloc(8, 256); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 59 | ASSERT_TRUE(p); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 60 | EXPECT_TRUE(IsAligned(p, 256)); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 61 | memset(p, 0, 8); // Fill to check allocated size under ASAN. |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 62 | AlignedFree(p); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 63 | |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 64 | p = AlignedAlloc(8, 4096); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 65 | ASSERT_TRUE(p); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 66 | EXPECT_TRUE(IsAligned(p, 4096)); |
Tom Sepez | e29ac69 | 2023-10-30 23:38:23 | [diff] [blame] | 67 | memset(p, 0, 8); // Fill to check allocated size under ASAN. |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 68 | AlignedFree(p); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | TEST(AlignedMemoryTest, ScopedDynamicAllocation) { |
brettw | 16289b3e | 2017-06-13 21:58:40 | [diff] [blame] | 72 | std::unique_ptr<float, AlignedFreeDeleter> p( |
| 73 | static_cast<float*>(AlignedAlloc(8, 8))); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] | 74 | EXPECT_TRUE(p.get()); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 75 | EXPECT_TRUE(IsAligned(p.get(), 8)); |
Lei Zhang | df4345c7 | 2020-06-15 22:07:00 | [diff] [blame] | 76 | |
| 77 | // Make sure IsAligned() can check const pointers as well. |
| 78 | const float* const_p = p.get(); |
| 79 | EXPECT_TRUE(IsAligned(const_p, 8)); |
Brian Geffon | ae8ef4dd | 2020-04-06 19:48:41 | [diff] [blame] | 80 | } |
| 81 | |
| 82 | TEST(AlignedMemoryTest, IsAligned) { |
| 83 | // Check alignment around powers of two. |
| 84 | for (int i = 0; i < 64; ++i) { |
| 85 | const uint64_t n = static_cast<uint64_t>(1) << i; |
| 86 | |
| 87 | // Walk back down all lower powers of two checking alignment. |
| 88 | for (int j = i - 1; j >= 0; --j) { |
| 89 | // n is aligned on all powers of two less than or equal to 2^i. |
| 90 | EXPECT_TRUE(IsAligned(n, n >> j)) |
| 91 | << "Expected " << n << " to be " << (n >> j) << " aligned"; |
| 92 | |
| 93 | // Also, n - 1 should not be aligned on ANY lower power of two except 1 |
| 94 | // (but since we're starting from i - 1 we don't test that case here. |
| 95 | EXPECT_FALSE(IsAligned(n - 1, n >> j)) |
| 96 | << "Expected " << (n - 1) << " to NOT be " << (n >> j) << " aligned"; |
| 97 | } |
| 98 | } |
| 99 | |
| 100 | // And a few hard coded smoke tests for completeness: |
| 101 | EXPECT_TRUE(IsAligned(4, 2)); |
| 102 | EXPECT_TRUE(IsAligned(8, 4)); |
| 103 | EXPECT_TRUE(IsAligned(8, 2)); |
| 104 | EXPECT_TRUE(IsAligned(0x1000, 4 << 10)); |
| 105 | EXPECT_TRUE(IsAligned(0x2000, 8 << 10)); |
| 106 | EXPECT_TRUE(IsAligned(1, 1)); |
| 107 | EXPECT_TRUE(IsAligned(7, 1)); |
| 108 | EXPECT_TRUE(IsAligned(reinterpret_cast<void*>(0x1000), 4 << 10)); |
| 109 | EXPECT_TRUE(IsAligned(reinterpret_cast<int*>(0x1000), 4 << 10)); |
| 110 | |
| 111 | EXPECT_FALSE(IsAligned(3, 2)); |
| 112 | EXPECT_FALSE(IsAligned(7, 4)); |
| 113 | EXPECT_FALSE(IsAligned(7, 2)); |
| 114 | EXPECT_FALSE(IsAligned(0x1001, 4 << 10)); |
| 115 | EXPECT_FALSE(IsAligned(0x999, 8 << 10)); |
| 116 | EXPECT_FALSE(IsAligned(7, 8)); |
[email protected] | 9f01b02 | 2012-07-26 02:22:39 | [diff] [blame] |
|