Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 1 | // Protocol Buffers - Google's data interchange format |
| 2 | // Copyright 2023 Google LLC. All rights reserved. |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 3 | // |
Protobuf Team Bot | 0fab773 | 2023-11-20 13:38:15 -0800 | [diff] [blame] | 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file or at |
| 6 | // https://developers.google.com/open-source/licenses/bsd |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 7 | |
Eric Salo | 07fba1d | 2023-09-29 14:50:56 -0700 | [diff] [blame] | 8 | #ifndef UPB_MESSAGE_INTERNAL_ARRAY_H_ |
| 9 | #define UPB_MESSAGE_INTERNAL_ARRAY_H_ |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 10 | |
| 11 | #include <string.h> |
| 12 | |
Eric Salo | 07fba1d | 2023-09-29 14:50:56 -0700 | [diff] [blame] | 13 | #include "upb/message/array.h" |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 14 | |
| 15 | // Must be last. |
| 16 | #include "upb/port/def.inc" |
| 17 | |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 18 | #define _UPB_ARRAY_MASK_IMM 0x4 // Frozen/immutable bit. |
| 19 | #define _UPB_ARRAY_MASK_LG2 0x3 // Encoded elem size. |
| 20 | #define _UPB_ARRAY_MASK_ALL (_UPB_ARRAY_MASK_IMM | _UPB_ARRAY_MASK_LG2) |
| 21 | |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 22 | #ifdef __cplusplus |
| 23 | extern "C" { |
| 24 | #endif |
| 25 | |
| 26 | // LINT.IfChange(struct_definition) |
| 27 | // Our internal representation for repeated fields. |
| 28 | struct upb_Array { |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 29 | // This is a tagged pointer. Bits #0 and #1 encode the elem size as follows: |
| 30 | // 0 maps to elem size 1 |
| 31 | // 1 maps to elem size 4 |
| 32 | // 2 maps to elem size 8 |
| 33 | // 3 maps to elem size 16 |
| 34 | // |
| 35 | // Bit #2 contains the frozen/immutable flag (currently unimplemented). |
| 36 | uintptr_t data; |
| 37 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 38 | size_t size; // The number of elements in the array. |
| 39 | size_t UPB_PRIVATE(capacity); // Allocated storage. Measured in elements. |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 40 | }; |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 41 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 42 | UPB_INLINE void UPB_PRIVATE(_upb_Array_SetTaggedPtr)(upb_Array* array, |
| 43 | void* data, size_t lg2) { |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 44 | UPB_ASSERT(lg2 != 1); |
| 45 | UPB_ASSERT(lg2 <= 4); |
| 46 | const size_t bits = lg2 - (lg2 != 0); |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 47 | array->data = (uintptr_t)data | bits; |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 48 | } |
| 49 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 50 | UPB_INLINE size_t UPB_PRIVATE(_upb_Array_ElemSizeLg2)(const upb_Array* array) { |
| 51 | const size_t bits = array->data & _UPB_ARRAY_MASK_LG2; |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 52 | const size_t lg2 = bits + (bits != 0); |
| 53 | return lg2; |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 54 | } |
| 55 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 56 | UPB_INLINE const void* _upb_array_constptr(const upb_Array* array) { |
| 57 | UPB_PRIVATE(_upb_Array_ElemSizeLg2)(array); // Check assertions. |
| 58 | return (void*)(array->data & ~(uintptr_t)_UPB_ARRAY_MASK_ALL); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 59 | } |
| 60 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 61 | UPB_INLINE void* _upb_array_ptr(upb_Array* array) { |
| 62 | return (void*)_upb_array_constptr(array); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 63 | } |
| 64 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 65 | UPB_INLINE upb_Array* UPB_PRIVATE(_upb_Array_New)(upb_Arena* arena, |
| 66 | size_t init_capacity, |
| 67 | int elem_size_lg2) { |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 68 | UPB_ASSERT(elem_size_lg2 != 1); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 69 | UPB_ASSERT(elem_size_lg2 <= 4); |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 70 | const size_t array_size = UPB_ALIGN_UP(sizeof(upb_Array), UPB_MALLOC_ALIGN); |
| 71 | const size_t bytes = array_size + (init_capacity << elem_size_lg2); |
| 72 | upb_Array* array = (upb_Array*)upb_Arena_Malloc(arena, bytes); |
| 73 | if (!array) return NULL; |
| 74 | UPB_PRIVATE(_upb_Array_SetTaggedPtr) |
| 75 | (array, UPB_PTR_AT(array, array_size, void), elem_size_lg2); |
| 76 | array->size = 0; |
| 77 | array->UPB_PRIVATE(capacity) = init_capacity; |
| 78 | return array; |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | // Resizes the capacity of the array to be at least min_size. |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 82 | bool UPB_PRIVATE(_upb_Array_Realloc)(upb_Array* array, size_t min_size, |
| 83 | upb_Arena* arena); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 84 | |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 85 | UPB_INLINE bool UPB_PRIVATE(_upb_Array_Reserve)(upb_Array* array, size_t size, |
| 86 | upb_Arena* arena) { |
| 87 | if (array->UPB_PRIVATE(capacity) < size) |
| 88 | return UPB_PRIVATE(_upb_Array_Realloc)(array, size, arena); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 89 | return true; |
| 90 | } |
| 91 | |
| 92 | // Resize without initializing new elements. |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 93 | UPB_INLINE bool _upb_Array_ResizeUninitialized(upb_Array* array, size_t size, |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 94 | upb_Arena* arena) { |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 95 | UPB_ASSERT(size <= array->size || arena); // Allow NULL arena when shrinking. |
| 96 | if (!UPB_PRIVATE(_upb_Array_Reserve)(array, size, arena)) return false; |
| 97 | array->size = size; |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 98 | return true; |
| 99 | } |
| 100 | |
| 101 | // This function is intended for situations where elem_size is compile-time |
| 102 | // constant or a known expression of the form (1 << lg2), so that the expression |
| 103 | // i*elem_size does not result in an actual multiplication. |
Eric Salo | 3ce2c57 | 2023-11-27 10:45:25 -0800 | [diff] [blame] | 104 | UPB_INLINE void UPB_PRIVATE(_upb_Array_Set)(upb_Array* array, size_t i, |
| 105 | const void* data, |
| 106 | size_t elem_size) { |
| 107 | UPB_ASSERT(i < array->size); |
| 108 | UPB_ASSERT(elem_size == 1U << UPB_PRIVATE(_upb_Array_ElemSizeLg2)(array)); |
| 109 | char* arr_data = (char*)_upb_array_ptr(array); |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 110 | memcpy(arr_data + (i * elem_size), data, elem_size); |
| 111 | } |
| 112 | |
Protobuf Team Bot | 2ff245e | 2023-12-01 11:06:30 -0800 | [diff] [blame^] | 113 | // LINT.ThenChange( |
| 114 | // GoogleInternalName1, |
| 115 | // //depot/google3/third_party/upb/bits/typescript/array.ts |
| 116 | //) |
| 117 | |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 118 | #ifdef __cplusplus |
| 119 | } /* extern "C" */ |
| 120 | #endif |
| 121 | |
Eric Salo | 8324c90 | 2023-11-17 17:15:35 -0800 | [diff] [blame] | 122 | #undef _UPB_ARRAY_MASK_IMM |
| 123 | #undef _UPB_ARRAY_MASK_LG2 |
| 124 | #undef _UPB_ARRAY_MASK_ALL |
| 125 | |
Adam Cozzette | 501ecec | 2023-09-26 14:36:20 -0700 | [diff] [blame] | 126 | #include "upb/port/undef.inc" |
| 127 | |
Eric Salo | 07fba1d | 2023-09-29 14:50:56 -0700 | [diff] [blame] | 128 | #endif /* UPB_MESSAGE_INTERNAL_ARRAY_H_ */ |