2 ******************************************************************************
4 * Copyright (C) 2001-2009, International Business Machines
5 * Corporation and others. All Rights Reserved.
7 ******************************************************************************
10 * tab size: 8 (not used)
13 * created on: 2001oct20
14 * created by: Markus W. Scherer
16 * This is a common implementation of a "folded" trie.
17 * It is a kind of compressed, serializable table of 16- or 32-bit values associated with
18 * Unicode code points (0..0x10ffff).
25 #include "unicode/utypes.h"
29 /* miscellaneous ------------------------------------------------------------ */
32 #define ABS(x) ((x)>=0 ? (x) : -(x))
35 equal_uint32(const uint32_t *s
, const uint32_t *t
, int32_t length
) {
36 while(length
>0 && *s
==*t
) {
41 return (UBool
)(length
==0);
44 /* Building a trie ----------------------------------------------------------*/
46 U_CAPI UNewTrie
* U_EXPORT2
47 utrie_open(UNewTrie
*fillIn
,
48 uint32_t *aliasData
, int32_t maxDataLength
,
49 uint32_t initialValue
, uint32_t leadUnitValue
,
54 if( maxDataLength
<UTRIE_DATA_BLOCK_LENGTH
||
55 (latin1Linear
&& maxDataLength
<1024)
63 trie
=(UNewTrie
*)uprv_malloc(sizeof(UNewTrie
));
68 uprv_memset(trie
, 0, sizeof(UNewTrie
));
69 trie
->isAllocated
= (UBool
)(fillIn
==NULL
);
73 trie
->isDataAllocated
=FALSE
;
75 trie
->data
=(uint32_t *)uprv_malloc(maxDataLength
*4);
76 if(trie
->data
==NULL
) {
80 trie
->isDataAllocated
=TRUE
;
83 /* preallocate and reset the first data block (block index 0) */
84 j
=UTRIE_DATA_BLOCK_LENGTH
;
87 /* preallocate and reset the first block (number 0) and Latin-1 (U+0000..U+00ff) after that */
88 /* made sure above that maxDataLength>=1024 */
90 /* set indexes to point to consecutive data blocks */
93 /* do this at least for trie->index[0] even if that block is only partly used for Latin-1 */
95 j
+=UTRIE_DATA_BLOCK_LENGTH
;
96 } while(i
<(256>>UTRIE_SHIFT
));
99 /* reset the initially allocated blocks to the initial value */
102 trie
->data
[--j
]=initialValue
;
105 trie
->leadUnitValue
=leadUnitValue
;
106 trie
->indexLength
=UTRIE_MAX_INDEX_LENGTH
;
107 trie
->dataCapacity
=maxDataLength
;
108 trie
->isLatin1Linear
=latin1Linear
;
109 trie
->isCompacted
=FALSE
;
113 U_CAPI UNewTrie
* U_EXPORT2
114 utrie_clone(UNewTrie
*fillIn
, const UNewTrie
*other
, uint32_t *aliasData
, int32_t aliasDataCapacity
) {
116 UBool isDataAllocated
;
118 /* do not clone if other is not valid or already compacted */
119 if(other
==NULL
|| other
->data
==NULL
|| other
->isCompacted
) {
124 if(aliasData
!=NULL
&& aliasDataCapacity
>=other
->dataCapacity
) {
125 isDataAllocated
=FALSE
;
127 aliasDataCapacity
=other
->dataCapacity
;
128 aliasData
=(uint32_t *)uprv_malloc(other
->dataCapacity
*4);
129 if(aliasData
==NULL
) {
132 isDataAllocated
=TRUE
;
135 trie
=utrie_open(fillIn
, aliasData
, aliasDataCapacity
,
136 other
->data
[0], other
->leadUnitValue
,
137 other
->isLatin1Linear
);
139 uprv_free(aliasData
);
141 uprv_memcpy(trie
->index
, other
->index
, sizeof(trie
->index
));
142 uprv_memcpy(trie
->data
, other
->data
, other
->dataLength
*4);
143 trie
->dataLength
=other
->dataLength
;
144 trie
->isDataAllocated
=isDataAllocated
;
150 U_CAPI
void U_EXPORT2
151 utrie_close(UNewTrie
*trie
) {
153 if(trie
->isDataAllocated
) {
154 uprv_free(trie
->data
);
157 if(trie
->isAllocated
) {
163 U_CAPI
uint32_t * U_EXPORT2
164 utrie_getData(UNewTrie
*trie
, int32_t *pLength
) {
165 if(trie
==NULL
|| pLength
==NULL
) {
169 *pLength
=trie
->dataLength
;
174 utrie_allocDataBlock(UNewTrie
*trie
) {
175 int32_t newBlock
, newTop
;
177 newBlock
=trie
->dataLength
;
178 newTop
=newBlock
+UTRIE_DATA_BLOCK_LENGTH
;
179 if(newTop
>trie
->dataCapacity
) {
180 /* out of memory in the data array */
183 trie
->dataLength
=newTop
;
188 * No error checking for illegal arguments.
190 * @return -1 if no new data block available (out of memory in data array)
194 utrie_getDataBlock(UNewTrie
*trie
, UChar32 c
) {
195 int32_t indexValue
, newBlock
;
198 indexValue
=trie
->index
[c
];
203 /* allocate a new data block */
204 newBlock
=utrie_allocDataBlock(trie
);
206 /* out of memory in the data array */
209 trie
->index
[c
]=newBlock
;
211 /* copy-on-write for a block from a setRange() */
212 uprv_memcpy(trie
->data
+newBlock
, trie
->data
-indexValue
, 4*UTRIE_DATA_BLOCK_LENGTH
);
217 * @return TRUE if the value was successfully set
219 U_CAPI UBool U_EXPORT2
220 utrie_set32(UNewTrie
*trie
, UChar32 c
, uint32_t value
) {
223 /* valid, uncompacted trie and valid c? */
224 if(trie
==NULL
|| trie
->isCompacted
|| (uint32_t)c
>0x10ffff) {
228 block
=utrie_getDataBlock(trie
, c
);
233 trie
->data
[block
+(c
&UTRIE_MASK
)]=value
;
237 U_CAPI
uint32_t U_EXPORT2
238 utrie_get32(UNewTrie
*trie
, UChar32 c
, UBool
*pInBlockZero
) {
241 /* valid, uncompacted trie and valid c? */
242 if(trie
==NULL
|| trie
->isCompacted
|| (uint32_t)c
>0x10ffff) {
243 if(pInBlockZero
!=NULL
) {
249 block
=trie
->index
[c
>>UTRIE_SHIFT
];
250 if(pInBlockZero
!=NULL
) {
251 *pInBlockZero
= (UBool
)(block
==0);
254 return trie
->data
[ABS(block
)+(c
&UTRIE_MASK
)];
261 utrie_fillBlock(uint32_t *block
, UChar32 start
, UChar32 limit
,
262 uint32_t value
, uint32_t initialValue
, UBool overwrite
) {
268 while(block
<pLimit
) {
272 while(block
<pLimit
) {
273 if(*block
==initialValue
) {
281 U_CAPI UBool U_EXPORT2
282 utrie_setRange32(UNewTrie
*trie
, UChar32 start
, UChar32 limit
, uint32_t value
, UBool overwrite
) {
284 * repeat value in [start..limit[
285 * mark index values for repeat-data blocks by setting bit 31 of the index values
286 * fill around existing values if any, if(overwrite)
288 uint32_t initialValue
;
289 int32_t block
, rest
, repeatBlock
;
291 /* valid, uncompacted trie and valid indexes? */
292 if( trie
==NULL
|| trie
->isCompacted
||
293 (uint32_t)start
>0x10ffff || (uint32_t)limit
>0x110000 || start
>limit
298 return TRUE
; /* nothing to do */
301 initialValue
=trie
->data
[0];
302 if(start
&UTRIE_MASK
) {
305 /* set partial block at [start..following block boundary[ */
306 block
=utrie_getDataBlock(trie
, start
);
311 nextStart
=(start
+UTRIE_DATA_BLOCK_LENGTH
)&~UTRIE_MASK
;
312 if(nextStart
<=limit
) {
313 utrie_fillBlock(trie
->data
+block
, start
&UTRIE_MASK
, UTRIE_DATA_BLOCK_LENGTH
,
314 value
, initialValue
, overwrite
);
317 utrie_fillBlock(trie
->data
+block
, start
&UTRIE_MASK
, limit
&UTRIE_MASK
,
318 value
, initialValue
, overwrite
);
323 /* number of positions in the last, partial block */
324 rest
=limit
&UTRIE_MASK
;
326 /* round down limit to a block boundary */
329 /* iterate over all-value blocks */
330 if(value
==initialValue
) {
336 /* get index value */
337 block
=trie
->index
[start
>>UTRIE_SHIFT
];
339 /* already allocated, fill in value */
340 utrie_fillBlock(trie
->data
+block
, 0, UTRIE_DATA_BLOCK_LENGTH
, value
, initialValue
, overwrite
);
341 } else if(trie
->data
[-block
]!=value
&& (block
==0 || overwrite
)) {
342 /* set the repeatBlock instead of the current block 0 or range block */
344 trie
->index
[start
>>UTRIE_SHIFT
]=-repeatBlock
;
346 /* create and set and fill the repeatBlock */
347 repeatBlock
=utrie_getDataBlock(trie
, start
);
352 /* set the negative block number to indicate that it is a repeat block */
353 trie
->index
[start
>>UTRIE_SHIFT
]=-repeatBlock
;
354 utrie_fillBlock(trie
->data
+repeatBlock
, 0, UTRIE_DATA_BLOCK_LENGTH
, value
, initialValue
, TRUE
);
358 start
+=UTRIE_DATA_BLOCK_LENGTH
;
362 /* set partial block at [last block boundary..limit[ */
363 block
=utrie_getDataBlock(trie
, start
);
368 utrie_fillBlock(trie
->data
+block
, 0, rest
, value
, initialValue
, overwrite
);
375 _findSameIndexBlock(const int32_t *idx
, int32_t indexLength
,
376 int32_t otherBlock
) {
379 for(block
=UTRIE_BMP_INDEX_LENGTH
; block
<indexLength
; block
+=UTRIE_SURROGATE_BLOCK_COUNT
) {
380 for(i
=0; i
<UTRIE_SURROGATE_BLOCK_COUNT
; ++i
) {
381 if(idx
[block
+i
]!=idx
[otherBlock
+i
]) {
385 if(i
==UTRIE_SURROGATE_BLOCK_COUNT
) {
393 * Fold the normalization data for supplementary code points into
394 * a compact area on top of the BMP-part of the trie index,
395 * with the lead surrogates indexing this compact area.
397 * Duplicate the index values for lead surrogates:
398 * From inside the BMP area, where some may be overridden with folded values,
399 * to just after the BMP area, where they can be retrieved for
400 * code point lookups.
403 utrie_fold(UNewTrie
*trie
, UNewTrieGetFoldedValue
*getFoldedValue
, UErrorCode
*pErrorCode
) {
404 int32_t leadIndexes
[UTRIE_SURROGATE_BLOCK_COUNT
];
408 int32_t indexLength
, block
;
410 int countLeadCUWithData
=0;
415 /* copy the lead surrogate indexes into a temporary array */
416 uprv_memcpy(leadIndexes
, idx
+(0xd800>>UTRIE_SHIFT
), 4*UTRIE_SURROGATE_BLOCK_COUNT
);
419 * set all values for lead surrogate code *units* to leadUnitValue
420 * so that, by default, runtime lookups will find no data for associated
421 * supplementary code points, unless there is data for such code points
422 * which will result in a non-zero folding value below that is set for
423 * the respective lead units
425 * the above saved the indexes for surrogate code *points*
426 * fill the indexes with simplified code from utrie_setRange32()
428 if(trie
->leadUnitValue
==trie
->data
[0]) {
429 block
=0; /* leadUnitValue==initialValue, use all-initial-value block */
431 /* create and fill the repeatBlock */
432 block
=utrie_allocDataBlock(trie
);
434 /* data table overflow */
435 *pErrorCode
=U_MEMORY_ALLOCATION_ERROR
;
438 utrie_fillBlock(trie
->data
+block
, 0, UTRIE_DATA_BLOCK_LENGTH
, trie
->leadUnitValue
, trie
->data
[0], TRUE
);
439 block
=-block
; /* negative block number to indicate that it is a repeat block */
441 for(c
=(0xd800>>UTRIE_SHIFT
); c
<(0xdc00>>UTRIE_SHIFT
); ++c
) {
442 trie
->index
[c
]=block
;
446 * Fold significant index values into the area just after the BMP indexes.
447 * In case the first lead surrogate has significant data,
448 * its index block must be used first (in which case the folding is a no-op).
449 * Later all folded index blocks are moved up one to insert the copied
450 * lead surrogate indexes.
452 indexLength
=UTRIE_BMP_INDEX_LENGTH
;
454 /* search for any index (stage 1) entries for supplementary code points */
455 for(c
=0x10000; c
<0x110000;) {
456 if(idx
[c
>>UTRIE_SHIFT
]!=0) {
457 /* there is data, treat the full block for a lead surrogate */
461 ++countLeadCUWithData
;
462 /* printf("supplementary data for lead surrogate U+%04lx\n", (long)(0xd7c0+(c>>10))); */
465 /* is there an identical index block? */
466 block
=_findSameIndexBlock(idx
, indexLength
, c
>>UTRIE_SHIFT
);
469 * get a folded value for [c..c+0x400[ and,
470 * if different from the value for the lead surrogate code point,
471 * set it for the lead surrogate code unit
473 value
=getFoldedValue(trie
, c
, block
+UTRIE_SURROGATE_BLOCK_COUNT
);
474 if(value
!=utrie_get32(trie
, U16_LEAD(c
), NULL
)) {
475 if(!utrie_set32(trie
, U16_LEAD(c
), value
)) {
476 /* data table overflow */
477 *pErrorCode
=U_MEMORY_ALLOCATION_ERROR
;
481 /* if we did not find an identical index block... */
482 if(block
==indexLength
) {
483 /* move the actual index (stage 1) entries from the supplementary position to the new one */
484 uprv_memmove(idx
+indexLength
,
485 idx
+(c
>>UTRIE_SHIFT
),
486 4*UTRIE_SURROGATE_BLOCK_COUNT
);
487 indexLength
+=UTRIE_SURROGATE_BLOCK_COUNT
;
492 c
+=UTRIE_DATA_BLOCK_LENGTH
;
496 if(countLeadCUWithData
>0) {
497 printf("supplementary data for %d lead surrogates\n", countLeadCUWithData
);
502 * index array overflow?
503 * This is to guarantee that a folding offset is of the form
504 * UTRIE_BMP_INDEX_LENGTH+n*UTRIE_SURROGATE_BLOCK_COUNT with n=0..1023.
505 * If the index is too large, then n>=1024 and more than 10 bits are necessary.
507 * In fact, it can only ever become n==1024 with completely unfoldable data and
508 * the additional block of duplicated values for lead surrogates.
510 if(indexLength
>=UTRIE_MAX_INDEX_LENGTH
) {
511 *pErrorCode
=U_INDEX_OUTOFBOUNDS_ERROR
;
516 * make space for the lead surrogate index block and
517 * insert it between the BMP indexes and the folded ones
519 uprv_memmove(idx
+UTRIE_BMP_INDEX_LENGTH
+UTRIE_SURROGATE_BLOCK_COUNT
,
520 idx
+UTRIE_BMP_INDEX_LENGTH
,
521 4*(indexLength
-UTRIE_BMP_INDEX_LENGTH
));
522 uprv_memcpy(idx
+UTRIE_BMP_INDEX_LENGTH
,
524 4*UTRIE_SURROGATE_BLOCK_COUNT
);
525 indexLength
+=UTRIE_SURROGATE_BLOCK_COUNT
;
528 printf("trie index count: BMP %ld all Unicode %ld folded %ld\n",
529 UTRIE_BMP_INDEX_LENGTH
, (long)UTRIE_MAX_INDEX_LENGTH
, indexLength
);
532 trie
->indexLength
=indexLength
;
536 * Set a value in the trie index map to indicate which data block
537 * is referenced and which one is not.
538 * utrie_compact() will remove data blocks that are not used at all.
541 * - -1 if it is not used
544 _findUnusedBlocks(UNewTrie
*trie
) {
547 /* fill the entire map with "not used" */
548 uprv_memset(trie
->map
, 0xff, (UTRIE_MAX_BUILD_TIME_DATA_LENGTH
>>UTRIE_SHIFT
)*4);
550 /* mark each block that _is_ used with 0 */
551 for(i
=0; i
<trie
->indexLength
; ++i
) {
552 trie
->map
[ABS(trie
->index
[i
])>>UTRIE_SHIFT
]=0;
555 /* never move the all-initial-value block 0 */
560 _findSameDataBlock(const uint32_t *data
, int32_t dataLength
,
561 int32_t otherBlock
, int32_t step
) {
564 /* ensure that we do not even partially get past dataLength */
565 dataLength
-=UTRIE_DATA_BLOCK_LENGTH
;
567 for(block
=0; block
<=dataLength
; block
+=step
) {
568 if(equal_uint32(data
+block
, data
+otherBlock
, UTRIE_DATA_BLOCK_LENGTH
)) {
576 * Compact a folded build-time trie.
579 * - removes blocks that are identical with earlier ones
580 * - overlaps adjacent blocks as much as possible (if overlap==TRUE)
581 * - moves blocks in steps of the data granularity
582 * - moves and overlaps blocks that overlap with multiple values in the overlap region
585 * - try to move and overlap blocks that are not already adjacent
588 utrie_compact(UNewTrie
*trie
, UBool overlap
, UErrorCode
*pErrorCode
) {
589 int32_t i
, start
, newStart
, overlapStart
;
591 if(pErrorCode
==NULL
|| U_FAILURE(*pErrorCode
)) {
595 /* valid, uncompacted trie? */
597 *pErrorCode
=U_ILLEGAL_ARGUMENT_ERROR
;
600 if(trie
->isCompacted
) {
601 return; /* nothing left to do */
606 /* initialize the index map with "block is used/unused" flags */
607 _findUnusedBlocks(trie
);
609 /* if Latin-1 is preallocated and linear, then do not compact Latin-1 data */
610 if(trie
->isLatin1Linear
&& UTRIE_SHIFT
<=8) {
611 overlapStart
=UTRIE_DATA_BLOCK_LENGTH
+256;
613 overlapStart
=UTRIE_DATA_BLOCK_LENGTH
;
616 newStart
=UTRIE_DATA_BLOCK_LENGTH
;
617 for(start
=newStart
; start
<trie
->dataLength
;) {
619 * start: index of first entry of current block
620 * newStart: index where the current block is to be moved
621 * (right after current end of already-compacted data)
624 /* skip blocks that are not used */
625 if(trie
->map
[start
>>UTRIE_SHIFT
]<0) {
626 /* advance start to the next block */
627 start
+=UTRIE_DATA_BLOCK_LENGTH
;
629 /* leave newStart with the previous block! */
633 /* search for an identical block */
634 if( start
>=overlapStart
&&
635 (i
=_findSameDataBlock(trie
->data
, newStart
, start
,
636 overlap
? UTRIE_DATA_GRANULARITY
: UTRIE_DATA_BLOCK_LENGTH
))
639 /* found an identical block, set the other block's index value for the current block */
640 trie
->map
[start
>>UTRIE_SHIFT
]=i
;
642 /* advance start to the next block */
643 start
+=UTRIE_DATA_BLOCK_LENGTH
;
645 /* leave newStart with the previous block! */
649 /* see if the beginning of this block can be overlapped with the end of the previous block */
650 if(overlap
&& start
>=overlapStart
) {
651 /* look for maximum overlap (modulo granularity) with the previous, adjacent block */
652 for(i
=UTRIE_DATA_BLOCK_LENGTH
-UTRIE_DATA_GRANULARITY
;
653 i
>0 && !equal_uint32(trie
->data
+(newStart
-i
), trie
->data
+start
, i
);
654 i
-=UTRIE_DATA_GRANULARITY
) {}
661 trie
->map
[start
>>UTRIE_SHIFT
]=newStart
-i
;
663 /* move the non-overlapping indexes to their new positions */
665 for(i
=UTRIE_DATA_BLOCK_LENGTH
-i
; i
>0; --i
) {
666 trie
->data
[newStart
++]=trie
->data
[start
++];
668 } else if(newStart
<start
) {
669 /* no overlap, just move the indexes to their new positions */
670 trie
->map
[start
>>UTRIE_SHIFT
]=newStart
;
671 for(i
=UTRIE_DATA_BLOCK_LENGTH
; i
>0; --i
) {
672 trie
->data
[newStart
++]=trie
->data
[start
++];
674 } else /* no overlap && newStart==start */ {
675 trie
->map
[start
>>UTRIE_SHIFT
]=start
;
676 newStart
+=UTRIE_DATA_BLOCK_LENGTH
;
681 /* now adjust the index (stage 1) table */
682 for(i
=0; i
<trie
->indexLength
; ++i
) {
683 trie
->index
[i
]=trie
->map
[ABS(trie
->index
[i
])>>UTRIE_SHIFT
];
687 /* we saved some space */
688 printf("compacting trie: count of 32-bit words %lu->%lu\n",
689 (long)trie
->dataLength
, (long)newStart
);
692 trie
->dataLength
=newStart
;
695 /* serialization ------------------------------------------------------------ */
698 * Default function for the folding value:
699 * Just store the offset (16 bits) if there is any non-initial-value entry.
701 * The offset parameter is never 0.
702 * Returning the offset itself is safe for UTRIE_SHIFT>=5 because
703 * for UTRIE_SHIFT==5 the maximum index length is UTRIE_MAX_INDEX_LENGTH==0x8800
704 * which fits into 16-bit trie values;
705 * for higher UTRIE_SHIFT, UTRIE_MAX_INDEX_LENGTH decreases.
707 * Theoretically, it would be safer for all possible UTRIE_SHIFT including
708 * those of 4 and lower to return offset>>UTRIE_SURROGATE_BLOCK_BITS
709 * which would always result in a value of 0x40..0x43f
710 * (start/end 1k blocks of supplementary Unicode code points).
711 * However, this would be uglier, and would not work for some existing
712 * binary data file formats.
714 * Also, we do not plan to change UTRIE_SHIFT because it would change binary
715 * data file formats, and we would probably not make it smaller because of
716 * the then even larger BMP index length even for empty tries.
718 static uint32_t U_CALLCONV
719 defaultGetFoldedValue(UNewTrie
*trie
, UChar32 start
, int32_t offset
) {
720 uint32_t value
, initialValue
;
724 initialValue
=trie
->data
[0];
727 value
=utrie_get32(trie
, start
, &inBlockZero
);
729 start
+=UTRIE_DATA_BLOCK_LENGTH
;
730 } else if(value
!=initialValue
) {
731 return (uint32_t)offset
;
739 U_CAPI
int32_t U_EXPORT2
740 utrie_serialize(UNewTrie
*trie
, void *dt
, int32_t capacity
,
741 UNewTrieGetFoldedValue
*getFoldedValue
,
742 UBool reduceTo16Bits
,
743 UErrorCode
*pErrorCode
) {
748 uint8_t* data
= NULL
;
751 if(pErrorCode
==NULL
|| U_FAILURE(*pErrorCode
)) {
755 if(trie
==NULL
|| capacity
<0 || (capacity
>0 && dt
==NULL
)) {
756 *pErrorCode
=U_ILLEGAL_ARGUMENT_ERROR
;
759 if(getFoldedValue
==NULL
) {
760 getFoldedValue
=defaultGetFoldedValue
;
764 /* fold and compact if necessary, also checks that indexLength is within limits */
765 if(!trie
->isCompacted
) {
766 /* compact once without overlap to improve folding */
767 utrie_compact(trie
, FALSE
, pErrorCode
);
769 /* fold the supplementary part of the index array */
770 utrie_fold(trie
, getFoldedValue
, pErrorCode
);
772 /* compact again with overlap for minimum data array length */
773 utrie_compact(trie
, TRUE
, pErrorCode
);
775 trie
->isCompacted
=TRUE
;
776 if(U_FAILURE(*pErrorCode
)) {
781 /* is dataLength within limits? */
782 if( (reduceTo16Bits
? (trie
->dataLength
+trie
->indexLength
) : trie
->dataLength
) >= UTRIE_MAX_DATA_LENGTH
) {
783 *pErrorCode
=U_INDEX_OUTOFBOUNDS_ERROR
;
786 length
=sizeof(UTrieHeader
)+2*trie
->indexLength
;
788 length
+=2*trie
->dataLength
;
790 length
+=4*trie
->dataLength
;
793 if(length
>capacity
) {
794 return length
; /* preflighting */
798 printf("**UTrieLengths(serialize)** index:%6ld data:%6ld serialized:%6ld\n",
799 (long)trie
->indexLength
, (long)trie
->dataLength
, (long)length
);
802 /* set the header fields */
803 header
=(UTrieHeader
*)data
;
804 data
+=sizeof(UTrieHeader
);
806 header
->signature
=0x54726965; /* "Trie" */
807 header
->options
=UTRIE_SHIFT
| (UTRIE_INDEX_SHIFT
<<UTRIE_OPTIONS_INDEX_SHIFT
);
809 if(!reduceTo16Bits
) {
810 header
->options
|=UTRIE_OPTIONS_DATA_IS_32_BIT
;
812 if(trie
->isLatin1Linear
) {
813 header
->options
|=UTRIE_OPTIONS_LATIN1_IS_LINEAR
;
816 header
->indexLength
=trie
->indexLength
;
817 header
->dataLength
=trie
->dataLength
;
819 /* write the index (stage 1) array and the 16/32-bit data (stage 2) array */
821 /* write 16-bit index values shifted right by UTRIE_INDEX_SHIFT, after adding indexLength */
822 p
=(uint32_t *)trie
->index
;
823 dest16
=(uint16_t *)data
;
824 for(i
=trie
->indexLength
; i
>0; --i
) {
825 *dest16
++=(uint16_t)((*p
++ + trie
->indexLength
)>>UTRIE_INDEX_SHIFT
);
828 /* write 16-bit data values */
830 for(i
=trie
->dataLength
; i
>0; --i
) {
831 *dest16
++=(uint16_t)*p
++;
834 /* write 16-bit index values shifted right by UTRIE_INDEX_SHIFT */
835 p
=(uint32_t *)trie
->index
;
836 dest16
=(uint16_t *)data
;
837 for(i
=trie
->indexLength
; i
>0; --i
) {
838 *dest16
++=(uint16_t)(*p
++ >> UTRIE_INDEX_SHIFT
);
841 /* write 32-bit data values */
842 uprv_memcpy(dest16
, trie
->data
, 4*trie
->dataLength
);
848 /* inverse to defaultGetFoldedValue() */
849 U_CAPI
int32_t U_EXPORT2
850 utrie_defaultGetFoldingOffset(uint32_t data
) {
851 return (int32_t)data
;
854 U_CAPI
int32_t U_EXPORT2
855 utrie_unserialize(UTrie
*trie
, const void *data
, int32_t length
, UErrorCode
*pErrorCode
) {
856 const UTrieHeader
*header
;
860 if(pErrorCode
==NULL
|| U_FAILURE(*pErrorCode
)) {
864 /* enough data for a trie header? */
865 if(length
<sizeof(UTrieHeader
)) {
866 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
870 /* check the signature */
871 header
=(const UTrieHeader
*)data
;
872 if(header
->signature
!=0x54726965) {
873 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
877 /* get the options and check the shift values */
878 options
=header
->options
;
879 if( (options
&UTRIE_OPTIONS_SHIFT_MASK
)!=UTRIE_SHIFT
||
880 ((options
>>UTRIE_OPTIONS_INDEX_SHIFT
)&UTRIE_OPTIONS_SHIFT_MASK
)!=UTRIE_INDEX_SHIFT
882 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
885 trie
->isLatin1Linear
= (UBool
)((options
&UTRIE_OPTIONS_LATIN1_IS_LINEAR
)!=0);
887 /* get the length values */
888 trie
->indexLength
=header
->indexLength
;
889 trie
->dataLength
=header
->dataLength
;
891 length
-=(int32_t)sizeof(UTrieHeader
);
893 /* enough data for the index? */
894 if(length
<2*trie
->indexLength
) {
895 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
898 p16
=(const uint16_t *)(header
+1);
900 p16
+=trie
->indexLength
;
901 length
-=2*trie
->indexLength
;
904 if(options
&UTRIE_OPTIONS_DATA_IS_32_BIT
) {
905 if(length
<4*trie
->dataLength
) {
906 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
909 trie
->data32
=(const uint32_t *)p16
;
910 trie
->initialValue
=trie
->data32
[0];
911 length
=(int32_t)sizeof(UTrieHeader
)+2*trie
->indexLength
+4*trie
->dataLength
;
913 if(length
<2*trie
->dataLength
) {
914 *pErrorCode
=U_INVALID_FORMAT_ERROR
;
918 /* the "data16" data is used via the index pointer */
920 trie
->initialValue
=trie
->index
[trie
->indexLength
];
921 length
=(int32_t)sizeof(UTrieHeader
)+2*trie
->indexLength
+2*trie
->dataLength
;
924 trie
->getFoldingOffset
=utrie_defaultGetFoldingOffset
;
929 U_CAPI
int32_t U_EXPORT2
930 utrie_unserializeDummy(UTrie
*trie
,
931 void *data
, int32_t length
,
932 uint32_t initialValue
, uint32_t leadUnitValue
,
934 UErrorCode
*pErrorCode
) {
936 int32_t actualLength
, latin1Length
, i
, limit
;
939 if(pErrorCode
==NULL
|| U_FAILURE(*pErrorCode
)) {
943 /* calculate the actual size of the dummy trie data */
945 /* max(Latin-1, block 0) */
946 latin1Length
= UTRIE_SHIFT
<=8 ? 256 : UTRIE_DATA_BLOCK_LENGTH
;
948 trie
->indexLength
=UTRIE_BMP_INDEX_LENGTH
+UTRIE_SURROGATE_BLOCK_COUNT
;
949 trie
->dataLength
=latin1Length
;
950 if(leadUnitValue
!=initialValue
) {
951 trie
->dataLength
+=UTRIE_DATA_BLOCK_LENGTH
;
954 actualLength
=trie
->indexLength
*2;
956 actualLength
+=trie
->dataLength
*2;
958 actualLength
+=trie
->dataLength
*4;
961 /* enough space for the dummy trie? */
962 if(length
<actualLength
) {
963 *pErrorCode
=U_BUFFER_OVERFLOW_ERROR
;
967 trie
->isLatin1Linear
=TRUE
;
968 trie
->initialValue
=initialValue
;
970 /* fill the index and data arrays */
971 p16
=(uint16_t *)data
;
975 /* indexes to block 0 */
976 block
=(uint16_t)(trie
->indexLength
>>UTRIE_INDEX_SHIFT
);
977 limit
=trie
->indexLength
;
978 for(i
=0; i
<limit
; ++i
) {
982 if(leadUnitValue
!=initialValue
) {
983 /* indexes for lead surrogate code units to the block after Latin-1 */
984 block
+=(uint16_t)(latin1Length
>>UTRIE_INDEX_SHIFT
);
985 i
=0xd800>>UTRIE_SHIFT
;
986 limit
=0xdc00>>UTRIE_SHIFT
;
987 for(; i
<limit
; ++i
) {
995 p16
+=trie
->indexLength
;
996 for(i
=0; i
<latin1Length
; ++i
) {
997 p16
[i
]=(uint16_t)initialValue
;
1000 /* data for lead surrogate code units */
1001 if(leadUnitValue
!=initialValue
) {
1002 limit
=latin1Length
+UTRIE_DATA_BLOCK_LENGTH
;
1003 for(/* i=latin1Length */; i
<limit
; ++i
) {
1004 p16
[i
]=(uint16_t)leadUnitValue
;
1010 /* indexes to block 0 */
1011 uprv_memset(p16
, 0, trie
->indexLength
*2);
1013 if(leadUnitValue
!=initialValue
) {
1014 /* indexes for lead surrogate code units to the block after Latin-1 */
1015 block
=(uint16_t)(latin1Length
>>UTRIE_INDEX_SHIFT
);
1016 i
=0xd800>>UTRIE_SHIFT
;
1017 limit
=0xdc00>>UTRIE_SHIFT
;
1018 for(; i
<limit
; ++i
) {
1023 trie
->data32
=p32
=(uint32_t *)(p16
+trie
->indexLength
);
1026 for(i
=0; i
<latin1Length
; ++i
) {
1027 p32
[i
]=initialValue
;
1030 /* data for lead surrogate code units */
1031 if(leadUnitValue
!=initialValue
) {
1032 limit
=latin1Length
+UTRIE_DATA_BLOCK_LENGTH
;
1033 for(/* i=latin1Length */; i
<limit
; ++i
) {
1034 p32
[i
]=leadUnitValue
;
1039 trie
->getFoldingOffset
=utrie_defaultGetFoldingOffset
;
1041 return actualLength
;
1044 /* enumeration -------------------------------------------------------------- */
1046 /* default UTrieEnumValue() returns the input value itself */
1047 static uint32_t U_CALLCONV
1048 enumSameValue(const void *context
, uint32_t value
) {
1053 * Enumerate all ranges of code points with the same relevant values.
1054 * The values are transformed from the raw trie entries by the enumValue function.
1056 U_CAPI
void U_EXPORT2
1057 utrie_enum(const UTrie
*trie
,
1058 UTrieEnumValue
*enumValue
, UTrieEnumRange
*enumRange
, const void *context
) {
1059 const uint32_t *data32
;
1060 const uint16_t *idx
;
1062 uint32_t value
, prevValue
, initialValue
;
1064 int32_t l
, i
, j
, block
, prevBlock
, nullBlock
, offset
;
1066 /* check arguments */
1067 if(trie
==NULL
|| trie
->index
==NULL
|| enumRange
==NULL
) {
1070 if(enumValue
==NULL
) {
1071 enumValue
=enumSameValue
;
1075 data32
=trie
->data32
;
1077 /* get the enumeration value that corresponds to an initial-value trie data entry */
1078 initialValue
=enumValue(context
, trie
->initialValue
);
1081 nullBlock
=trie
->indexLength
;
1086 /* set variables for previous range */
1087 prevBlock
=nullBlock
;
1089 prevValue
=initialValue
;
1091 /* enumerate BMP - the main loop enumerates data blocks */
1092 for(i
=0, c
=0; c
<=0xffff; ++i
) {
1094 /* skip lead surrogate code _units_, go to lead surr. code _points_ */
1095 i
=UTRIE_BMP_INDEX_LENGTH
;
1096 } else if(c
==0xdc00) {
1097 /* go back to regular BMP code points */
1101 block
=idx
[i
]<<UTRIE_INDEX_SHIFT
;
1102 if(block
==prevBlock
) {
1103 /* the block is the same as the previous one, and filled with value */
1104 c
+=UTRIE_DATA_BLOCK_LENGTH
;
1105 } else if(block
==nullBlock
) {
1106 /* this is the all-initial-value block */
1107 if(prevValue
!=initialValue
) {
1109 if(!enumRange(context
, prev
, c
, prevValue
)) {
1113 prevBlock
=nullBlock
;
1115 prevValue
=initialValue
;
1117 c
+=UTRIE_DATA_BLOCK_LENGTH
;
1120 for(j
=0; j
<UTRIE_DATA_BLOCK_LENGTH
; ++j
) {
1121 value
=enumValue(context
, data32
!=NULL
? data32
[block
+j
] : idx
[block
+j
]);
1122 if(value
!=prevValue
) {
1124 if(!enumRange(context
, prev
, c
, prevValue
)) {
1129 /* the block is not filled with all the same value */
1140 /* enumerate supplementary code points */
1141 for(l
=0xd800; l
<0xdc00;) {
1142 /* lead surrogate access */
1143 offset
=idx
[l
>>UTRIE_SHIFT
]<<UTRIE_INDEX_SHIFT
;
1144 if(offset
==nullBlock
) {
1145 /* no entries for a whole block of lead surrogates */
1146 if(prevValue
!=initialValue
) {
1148 if(!enumRange(context
, prev
, c
, prevValue
)) {
1152 prevBlock
=nullBlock
;
1154 prevValue
=initialValue
;
1157 l
+=UTRIE_DATA_BLOCK_LENGTH
;
1158 c
+=UTRIE_DATA_BLOCK_LENGTH
<<10;
1162 value
= data32
!=NULL
? data32
[offset
+(l
&UTRIE_MASK
)] : idx
[offset
+(l
&UTRIE_MASK
)];
1164 /* enumerate trail surrogates for this lead surrogate */
1165 offset
=trie
->getFoldingOffset(value
);
1167 /* no data for this lead surrogate */
1168 if(prevValue
!=initialValue
) {
1170 if(!enumRange(context
, prev
, c
, prevValue
)) {
1174 prevBlock
=nullBlock
;
1176 prevValue
=initialValue
;
1179 /* nothing else to do for the supplementary code points for this lead surrogate */
1182 /* enumerate code points for this lead surrogate */
1184 offset
+=UTRIE_SURROGATE_BLOCK_COUNT
;
1186 /* copy of most of the body of the BMP loop */
1187 block
=idx
[i
]<<UTRIE_INDEX_SHIFT
;
1188 if(block
==prevBlock
) {
1189 /* the block is the same as the previous one, and filled with value */
1190 c
+=UTRIE_DATA_BLOCK_LENGTH
;
1191 } else if(block
==nullBlock
) {
1192 /* this is the all-initial-value block */
1193 if(prevValue
!=initialValue
) {
1195 if(!enumRange(context
, prev
, c
, prevValue
)) {
1199 prevBlock
=nullBlock
;
1201 prevValue
=initialValue
;
1203 c
+=UTRIE_DATA_BLOCK_LENGTH
;
1206 for(j
=0; j
<UTRIE_DATA_BLOCK_LENGTH
; ++j
) {
1207 value
=enumValue(context
, data32
!=NULL
? data32
[block
+j
] : idx
[block
+j
]);
1208 if(value
!=prevValue
) {
1210 if(!enumRange(context
, prev
, c
, prevValue
)) {
1215 /* the block is not filled with all the same value */
1224 } while(++i
<offset
);
1230 /* deliver last range */
1231 enumRange(context
, prev
, c
, prevValue
);