2
0

utf8.odin 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266
  1. RUNE_ERROR :: '\ufffd';
  2. RUNE_SELF :: 0x80;
  3. RUNE_BOM :: 0xfeff;
  4. RUNE_EOF :: ~rune(0);
  5. MAX_RUNE :: '\U0010ffff';
  6. UTF_MAX :: 4;
  7. SURROGATE_MIN :: 0xd800;
  8. SURROGATE_MAX :: 0xdfff;
  9. T1 :: 0b0000_0000;
  10. TX :: 0b1000_0000;
  11. T2 :: 0b1100_0000;
  12. T3 :: 0b1110_0000;
  13. T4 :: 0b1111_0000;
  14. T5 :: 0b1111_1000;
  15. MASKX :: 0b0011_1111;
  16. MASK2 :: 0b0001_1111;
  17. MASK3 :: 0b0000_1111;
  18. MASK4 :: 0b0000_0111;
  19. RUNE1_MAX :: 1<<7 - 1;
  20. RUNE2_MAX :: 1<<11 - 1;
  21. RUNE3_MAX :: 1<<16 - 1;
  22. // The default lowest and highest continuation byte.
  23. LOCB :: 0b1000_0000;
  24. HICB :: 0b1011_1111;
  25. AcceptRange :: struct { lo, hi: u8 }
  26. accept_ranges := [5]AcceptRange{
  27. {0x80, 0xbf},
  28. {0xa0, 0xbf},
  29. {0x80, 0x9f},
  30. {0x90, 0xbf},
  31. {0x80, 0x8f},
  32. };
  33. accept_sizes := [256]u8{
  34. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x00-0x0f
  35. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x10-0x1f
  36. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x20-0x2f
  37. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x30-0x3f
  38. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x40-0x4f
  39. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x50-0x5f
  40. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x60-0x6f
  41. 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, 0xf0, // 0x70-0x7f
  42. 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, // 0x80-0x8f
  43. 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, // 0x90-0x9f
  44. 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, // 0xa0-0xaf
  45. 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, // 0xb0-0xbf
  46. 0xf1, 0xf1, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, // 0xc0-0xcf
  47. 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, // 0xd0-0xdf
  48. 0x13, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x23, 0x03, 0x03, // 0xe0-0xef
  49. 0x34, 0x04, 0x04, 0x04, 0x44, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, 0xf1, // 0xf0-0xff
  50. };
  51. encode_rune :: proc(r: rune) -> ([4]u8, int) {
  52. buf: [4]u8;
  53. i := u32(r);
  54. mask: u8 : 0x3f;
  55. if i <= 1<<7-1 {
  56. buf[0] = u8(r);
  57. return buf, 1;
  58. }
  59. if i <= 1<<11-1 {
  60. buf[0] = 0xc0 | u8(r>>6);
  61. buf[1] = 0x80 | u8(r) & mask;
  62. return buf, 2;
  63. }
  64. // Invalid or Surrogate range
  65. if i > 0x0010ffff ||
  66. (0xd800 <= i && i <= 0xdfff) {
  67. r = 0xfffd;
  68. }
  69. if i <= 1<<16-1 {
  70. buf[0] = 0xe0 | u8(r>>12);
  71. buf[1] = 0x80 | u8(r>>6) & mask;
  72. buf[2] = 0x80 | u8(r) & mask;
  73. return buf, 3;
  74. }
  75. buf[0] = 0xf0 | u8(r>>18);
  76. buf[1] = 0x80 | u8(r>>12) & mask;
  77. buf[2] = 0x80 | u8(r>>6) & mask;
  78. buf[3] = 0x80 | u8(r) & mask;
  79. return buf, 4;
  80. }
  81. decode_rune :: proc(s: string) -> (rune, int) #inline { return decode_rune(cast([]u8)s); }
  82. decode_rune :: proc(s: []u8) -> (rune, int) {
  83. n := len(s);
  84. if n < 1 {
  85. return RUNE_ERROR, 0;
  86. }
  87. s0 := s[0];
  88. x := accept_sizes[s0];
  89. if x >= 0xF0 {
  90. mask := rune(x) << 31 >> 31; // NOTE(bill): Create 0x0000 or 0xffff.
  91. return rune(s[0])&~mask | RUNE_ERROR&mask, 1;
  92. }
  93. sz := x & 7;
  94. accept := accept_ranges[x>>4];
  95. if n < int(sz) {
  96. return RUNE_ERROR, 1;
  97. }
  98. b1 := s[1];
  99. if b1 < accept.lo || accept.hi < b1 {
  100. return RUNE_ERROR, 1;
  101. }
  102. if sz == 2 {
  103. return rune(s0&MASK2)<<6 | rune(b1&MASKX), 2;
  104. }
  105. b2 := s[2];
  106. if b2 < LOCB || HICB < b2 {
  107. return RUNE_ERROR, 1;
  108. }
  109. if sz == 3 {
  110. return rune(s0&MASK3)<<12 | rune(b1&MASKX)<<6 | rune(b2&MASKX), 3;
  111. }
  112. b3 := s[3];
  113. if b3 < LOCB || HICB < b3 {
  114. return RUNE_ERROR, 1;
  115. }
  116. return rune(s0&MASK4)<<18 | rune(b1&MASKX)<<12 | rune(b2&MASKX)<<6 | rune(b3&MASKX), 4;
  117. }
  118. decode_last_rune :: proc(s: string) -> (rune, int) #inline { return decode_last_rune(cast([]u8)s); }
  119. decode_last_rune :: proc(s: []u8) -> (rune, int) {
  120. r: rune;
  121. size: int;
  122. start, end, limit: int;
  123. end = len(s);
  124. if end == 0 {
  125. return RUNE_ERROR, 0;
  126. }
  127. start = end-1;
  128. r = rune(s[start]);
  129. if r < RUNE_SELF {
  130. return r, 1;
  131. }
  132. limit = max(end - UTF_MAX, 0);
  133. for start-=1; start >= limit; start-=1 {
  134. if rune_start(s[start]) do break;
  135. }
  136. start = max(start, 0);
  137. r, size = decode_rune(s[start..end]);
  138. if start+size != end {
  139. return RUNE_ERROR, 1;
  140. }
  141. return r, size;
  142. }
  143. valid_rune :: proc(r: rune) -> bool {
  144. if r < 0 {
  145. return false;
  146. } else if SURROGATE_MIN <= r && r <= SURROGATE_MAX {
  147. return false;
  148. } else if r > MAX_RUNE {
  149. return false;
  150. }
  151. return true;
  152. }
  153. valid_string :: proc(s: string) -> bool {
  154. n := len(s);
  155. for i := 0; i < n; {
  156. si := s[i];
  157. if si < RUNE_SELF { // ascii
  158. i += 1;
  159. continue;
  160. }
  161. x := accept_sizes[si];
  162. if x == 0xf1 {
  163. return false;
  164. }
  165. size := int(x & 7);
  166. if i+size > n {
  167. return false;
  168. }
  169. ar := accept_ranges[x>>4];
  170. if b := s[i+1]; b < ar.lo || ar.hi < b {
  171. return false;
  172. } else if size == 2 {
  173. // Okay
  174. } else if b := s[i+2]; b < 0x80 || 0xbf < b {
  175. return false;
  176. } else if size == 3 {
  177. // Okay
  178. } else if b := s[i+3]; b < 0x80 || 0xbf < b {
  179. return false;
  180. }
  181. i += size;
  182. }
  183. return true;
  184. }
  185. rune_start :: proc(b: u8) -> bool #inline { return b&0xc0 != 0x80; }
  186. rune_count :: proc(s: string) -> int #inline { return rune_count(cast([]u8)s); }
  187. rune_count :: proc(s: []u8) -> int {
  188. count := 0;
  189. n := len(s);
  190. for i := 0; i < n; {
  191. defer count += 1;
  192. si := s[i];
  193. if si < RUNE_SELF { // ascii
  194. i += 1;
  195. continue;
  196. }
  197. x := accept_sizes[si];
  198. if x == 0xf1 {
  199. i += 1;
  200. continue;
  201. }
  202. size := int(x & 7);
  203. if i+size > n {
  204. i += 1;
  205. continue;
  206. }
  207. ar := accept_ranges[x>>4];
  208. if b := s[i+1]; b < ar.lo || ar.hi < b {
  209. size = 1;
  210. } else if size == 2 {
  211. // Okay
  212. } else if b := s[i+2]; b < 0x80 || 0xbf < b {
  213. size = 1;
  214. } else if size == 3 {
  215. // Okay
  216. } else if b := s[i+3]; b < 0x80 || 0xbf < b {
  217. size = 1;
  218. }
  219. i += size;
  220. }
  221. return count;
  222. }
  223. rune_size :: proc(r: rune) -> int {
  224. match {
  225. case r < 0: return -1;
  226. case r <= 1<<7 - 1: return 1;
  227. case r <= 1<<11 - 1: return 2;
  228. case SURROGATE_MIN <= r && r <= SURROGATE_MAX: return -1;
  229. case r <= 1<<16 - 1: return 3;
  230. case r <= MAX_RUNE: return 4;
  231. }
  232. return -1;
  233. }