Brunobkr/llama.cpp_AlgMor24_github

1const UTF8_ACCEPT = 12;2const UTF8_REJECT = 0;3const UTF8_DATA = [4    // The first part of the table maps bytes to character to a transition.5    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,6    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,7    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,8    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,9    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1,10    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,11    2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,12    3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,13    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7,14    7, 7, 7, 8, 7, 7, 10, 9, 9, 9, 11, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,15    // The second part of the table maps a state to a new state when adding a16    // transition.17    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 0, 0, 0, 0, 24, 36, 48, 60, 72, 84,18    96, 0, 12, 12, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 24, 0, 0, 0, 0, 0, 0, 0,19    0, 0, 24, 24, 24, 0, 0, 0, 0, 0, 0, 0, 0, 0, 24, 24, 0, 0, 0, 0, 0, 0, 0, 0,20    0, 0, 48, 48, 48, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 48, 48, 0, 0, 0, 0, 0, 0, 0,21    0, 0, 48, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,22    // The third part maps the current transition to a mask that needs to apply23    // to the byte.24    0x7f, 0x3f, 0x3f, 0x3f, 0x00, 0x1f, 0x0f, 0x0f, 0x0f, 0x07, 0x07, 0x0725];26export function decodeURIComponent(uri) {27    let percentPosition = uri.indexOf('%');28    if (percentPosition === -1) {29        return uri;30    }31    const length = uri.length;32    let decoded = '';33    let last = 0;34    let codepoint = 0;35    let startOfOctets = percentPosition;36    let state = UTF8_ACCEPT;37    while (percentPosition > -1 && percentPosition < length) {38        const high = hexCodeToInt(uri[percentPosition + 1], 4);39        const low = hexCodeToInt(uri[percentPosition + 2], 0);40        const byte = high | low;41        const type = UTF8_DATA[byte];42        state = UTF8_DATA[256 + state + type];43        codepoint = (codepoint << 6) | (byte & UTF8_DATA[364 + type]);44        if (state === UTF8_ACCEPT) {45            decoded += uri.slice(last, startOfOctets);46            decoded +=47                codepoint <= 0xffff48                    ? String.fromCharCode(codepoint)49                    : String.fromCharCode(0xd7c0 + (codepoint >> 10), 0xdc00 + (codepoint & 0x3ff));50            codepoint = 0;51            last = percentPosition + 3;52            percentPosition = startOfOctets = uri.indexOf('%', last);53        }54        else if (state === UTF8_REJECT) {55            return null;56        }57        else {58            percentPosition += 3;59            if (percentPosition < length && uri.charCodeAt(percentPosition) === 37)60                continue;61            return null;62        }63    }64    return decoded + uri.slice(last);65}66const HEX = {67    '0': 0,68    '1': 1,69    '2': 2,70    '3': 3,71    '4': 4,72    '5': 5,73    '6': 6,74    '7': 7,75    '8': 8,76    '9': 9,77    a: 10,78    A: 10,79    b: 11,80    B: 11,81    c: 12,82    C: 12,83    d: 13,84    D: 13,85    e: 14,86    E: 14,87    f: 15,88    F: 1589};90function hexCodeToInt(c, shift) {91    const i = HEX[c];92    return i === undefined ? 255 : i << shift;93}94