• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Protocol Buffers - Google's data interchange format
2 // Copyright 2023 Google LLC.  All rights reserved.
3 //
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
7 
8 #ifndef UPB_MINI_TABLE_INTERNAL_MESSAGE_H_
9 #define UPB_MINI_TABLE_INTERNAL_MESSAGE_H_
10 
11 #include <stddef.h>
12 #include <stdint.h>
13 
14 #include "upb/base/descriptor_constants.h"
15 #include "upb/mini_table/internal/field.h"
16 #include "upb/mini_table/internal/sub.h"
17 
18 // Must be last.
19 #include "upb/port/def.inc"
20 
21 struct upb_Decoder;
22 struct upb_Message;
23 typedef const char* _upb_FieldParser(struct upb_Decoder* d, const char* ptr,
24                                      struct upb_Message* msg, intptr_t table,
25                                      uint64_t hasbits, uint64_t data);
26 typedef struct {
27   uint64_t field_data;
28   _upb_FieldParser* field_parser;
29 } _upb_FastTable_Entry;
30 
31 typedef enum {
32   kUpb_ExtMode_NonExtendable = 0,  // Non-extendable message.
33   kUpb_ExtMode_Extendable = 1,     // Normal extendable message.
34   kUpb_ExtMode_IsMessageSet = 2,   // MessageSet message.
35   kUpb_ExtMode_IsMessageSet_ITEM =
36       3,  // MessageSet item (temporary only, see decode.c)
37 
38   // During table building we steal a bit to indicate that the message is a map
39   // entry.  *Only* used during table building!
40   kUpb_ExtMode_IsMapEntry = 4,
41 } upb_ExtMode;
42 
43 // upb_MiniTable represents the memory layout of a given upb_MessageDef.
44 // The members are public so generated code can initialize them,
45 // but users MUST NOT directly read or write any of its members.
46 
47 // LINT.IfChange(minitable_struct_definition)
48 struct upb_MiniTable {
49   const upb_MiniTableSubInternal* UPB_PRIVATE(subs);
50   const struct upb_MiniTableField* UPB_ONLYBITS(fields);
51 
52   // Must be aligned to sizeof(void*). Doesn't include internal members like
53   // unknown fields, extension dict, pointer to msglayout, etc.
54   uint16_t UPB_PRIVATE(size);
55 
56   uint16_t UPB_ONLYBITS(field_count);
57 
58   uint8_t UPB_PRIVATE(ext);  // upb_ExtMode, uint8_t here so sizeof(ext) == 1
59   uint8_t UPB_PRIVATE(dense_below);
60   uint8_t UPB_PRIVATE(table_mask);
61   uint8_t UPB_PRIVATE(required_count);  // Required fields have the low hasbits.
62 
63 #ifdef UPB_TRACING_ENABLED
64   const char* UPB_PRIVATE(full_name);
65 #endif
66 
67 #ifdef UPB_FASTTABLE_ENABLED
68   // To statically initialize the tables of variable length, we need a flexible
69   // array member, and we need to compile in gnu99 mode (constant initialization
70   // of flexible array members is a GNU extension, not in C99 unfortunately.
71   _upb_FastTable_Entry UPB_PRIVATE(fasttable)[];
72 #endif
73 };
74 // LINT.ThenChange(//depot/google3/third_party/upb/bits/typescript/mini_table.ts)
75 
76 #ifdef __cplusplus
77 extern "C" {
78 #endif
79 
UPB_PRIVATE(_upb_MiniTable_StrongReference)80 UPB_INLINE const struct upb_MiniTable* UPB_PRIVATE(
81     _upb_MiniTable_StrongReference)(const struct upb_MiniTable* mt) {
82 #if defined(__GNUC__)
83   __asm__("" : : "r"(mt));
84 #else
85   const struct upb_MiniTable* volatile unused = mt;
86   (void)&unused;  // Use address to avoid an extra load of "unused".
87 #endif
88   return mt;
89 }
90 
UPB_PRIVATE(_upb_MiniTable_Empty)91 UPB_INLINE const struct upb_MiniTable* UPB_PRIVATE(_upb_MiniTable_Empty)(void) {
92   extern const struct upb_MiniTable UPB_PRIVATE(_kUpb_MiniTable_Empty);
93 
94   return &UPB_PRIVATE(_kUpb_MiniTable_Empty);
95 }
96 
upb_MiniTable_FieldCount(const struct upb_MiniTable * m)97 UPB_API_INLINE int upb_MiniTable_FieldCount(const struct upb_MiniTable* m) {
98   return m->UPB_ONLYBITS(field_count);
99 }
100 
UPB_PRIVATE(_upb_MiniTable_IsEmpty)101 UPB_INLINE bool UPB_PRIVATE(_upb_MiniTable_IsEmpty)(
102     const struct upb_MiniTable* m) {
103   extern const struct upb_MiniTable UPB_PRIVATE(_kUpb_MiniTable_Empty);
104 
105   return m == &UPB_PRIVATE(_kUpb_MiniTable_Empty);
106 }
107 
upb_MiniTable_GetFieldByIndex(const struct upb_MiniTable * m,uint32_t i)108 UPB_API_INLINE const struct upb_MiniTableField* upb_MiniTable_GetFieldByIndex(
109     const struct upb_MiniTable* m, uint32_t i) {
110   return &m->UPB_ONLYBITS(fields)[i];
111 }
112 
UPB_PRIVATE(_upb_MiniTable_GetSubTableByIndex)113 UPB_INLINE const struct upb_MiniTable* UPB_PRIVATE(
114     _upb_MiniTable_GetSubTableByIndex)(const struct upb_MiniTable* m,
115                                        uint32_t i) {
116   return *m->UPB_PRIVATE(subs)[i].UPB_PRIVATE(submsg);
117 }
118 
upb_MiniTable_SubMessage(const struct upb_MiniTable * m,const struct upb_MiniTableField * f)119 UPB_API_INLINE const struct upb_MiniTable* upb_MiniTable_SubMessage(
120     const struct upb_MiniTable* m, const struct upb_MiniTableField* f) {
121   if (upb_MiniTableField_CType(f) != kUpb_CType_Message) {
122     return NULL;
123   }
124   return UPB_PRIVATE(_upb_MiniTable_GetSubTableByIndex)(
125       m, f->UPB_PRIVATE(submsg_index));
126 }
127 
upb_MiniTable_GetSubMessageTable(const struct upb_MiniTable * m,const struct upb_MiniTableField * f)128 UPB_API_INLINE const struct upb_MiniTable* upb_MiniTable_GetSubMessageTable(
129     const struct upb_MiniTable* m, const struct upb_MiniTableField* f) {
130   UPB_ASSUME(upb_MiniTableField_CType(f) == kUpb_CType_Message);
131   const struct upb_MiniTable* ret = upb_MiniTable_SubMessage(m, f);
132   UPB_ASSUME(ret);
133   return UPB_PRIVATE(_upb_MiniTable_IsEmpty)(ret) ? NULL : ret;
134 }
135 
upb_MiniTable_FieldIsLinked(const struct upb_MiniTable * m,const struct upb_MiniTableField * f)136 UPB_API_INLINE bool upb_MiniTable_FieldIsLinked(
137     const struct upb_MiniTable* m, const struct upb_MiniTableField* f) {
138   return upb_MiniTable_GetSubMessageTable(m, f) != NULL;
139 }
140 
upb_MiniTable_MapEntrySubMessage(const struct upb_MiniTable * m,const struct upb_MiniTableField * f)141 UPB_API_INLINE const struct upb_MiniTable* upb_MiniTable_MapEntrySubMessage(
142     const struct upb_MiniTable* m, const struct upb_MiniTableField* f) {
143   UPB_ASSERT(upb_MiniTable_FieldIsLinked(m, f));  // Map entries must be linked.
144   UPB_ASSERT(upb_MiniTableField_IsMap(f));        // Function precondition.
145   return upb_MiniTable_SubMessage(m, f);
146 }
147 
upb_MiniTable_GetSubEnumTable(const struct upb_MiniTable * m,const struct upb_MiniTableField * f)148 UPB_API_INLINE const struct upb_MiniTableEnum* upb_MiniTable_GetSubEnumTable(
149     const struct upb_MiniTable* m, const struct upb_MiniTableField* f) {
150   UPB_ASSERT(upb_MiniTableField_CType(f) == kUpb_CType_Enum);
151   return m->UPB_PRIVATE(subs)[f->UPB_PRIVATE(submsg_index)].UPB_PRIVATE(
152       subenum);
153 }
154 
upb_MiniTable_MapKey(const struct upb_MiniTable * m)155 UPB_API_INLINE const struct upb_MiniTableField* upb_MiniTable_MapKey(
156     const struct upb_MiniTable* m) {
157   UPB_ASSERT(upb_MiniTable_FieldCount(m) == 2);
158   const struct upb_MiniTableField* f = upb_MiniTable_GetFieldByIndex(m, 0);
159   UPB_ASSERT(upb_MiniTableField_Number(f) == 1);
160   return f;
161 }
162 
upb_MiniTable_MapValue(const struct upb_MiniTable * m)163 UPB_API_INLINE const struct upb_MiniTableField* upb_MiniTable_MapValue(
164     const struct upb_MiniTable* m) {
165   UPB_ASSERT(upb_MiniTable_FieldCount(m) == 2);
166   const struct upb_MiniTableField* f = upb_MiniTable_GetFieldByIndex(m, 1);
167   UPB_ASSERT(upb_MiniTableField_Number(f) == 2);
168   return f;
169 }
170 
171 // Computes a bitmask in which the |m->required_count| lowest bits are set.
172 //
173 // Sample output:
174 //    RequiredMask(1) => 0b1 (0x1)
175 //    RequiredMask(5) => 0b11111 (0x1f)
176 UPB_INLINE uint64_t
UPB_PRIVATE(_upb_MiniTable_RequiredMask)177 UPB_PRIVATE(_upb_MiniTable_RequiredMask)(const struct upb_MiniTable* m) {
178   int n = m->UPB_PRIVATE(required_count);
179   UPB_ASSERT(0 < n && n <= 64);
180   return (1ULL << n) - 1;
181 }
182 
183 #ifdef UPB_TRACING_ENABLED
upb_MiniTable_FullName(const struct upb_MiniTable * mini_table)184 UPB_INLINE const char* upb_MiniTable_FullName(
185     const struct upb_MiniTable* mini_table) {
186   return mini_table->UPB_PRIVATE(full_name);
187 }
188 // Initializes tracing proto name from language runtimes that construct
189 // mini tables dynamically at runtime. The runtime is responsible for passing
190 // controlling lifetime of name such as storing in same arena as mini_table.
upb_MiniTable_SetFullName(struct upb_MiniTable * mini_table,const char * full_name)191 UPB_INLINE void upb_MiniTable_SetFullName(struct upb_MiniTable* mini_table,
192                                           const char* full_name) {
193   mini_table->UPB_PRIVATE(full_name) = full_name;
194 }
195 #endif
196 
197 #ifdef __cplusplus
198 } /* extern "C" */
199 #endif
200 
201 #include "upb/port/undef.inc"
202 
203 #endif /* UPB_MINI_TABLE_INTERNAL_MESSAGE_H_ */
204