Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/decompress/zstd_decompress_block.c ZSTD_buildFSETable() -> ZSTD_buildFSETable_body_bmi2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | normalizedCounter | 8143892829887868928 |
| PARAM_VALUE | 3 | baseValue | 4720519248116252672,6568295317588901888,7509281523194744832 |
| PARAM_VALUE | 4 | nbAdditionalBits | 2250170199829340160,4799251511336886272,8187795303940218880 |
| PARAM_VALUE | 5 | tableLog | 5-9 |
| PARAM_VALUE | 7 | wkspSize | 2560 |
| BUF_SIZE | 0 | dt | 2056,4104 |
| BUF_SIZE | 0 | dt | 2056,4104 |
| BUF_SIZE | 1 | normalizedCounter | 106 |
| BUF_SIZE | 1 | normalizedCounter | 106 |
| BUF_SIZE | 3 | baseValue | 128,144,212 |
| BUF_SIZE | 3 | baseValue | 128,144,212 |
| BUF_SIZE | 4 | nbAdditionalBits | 32,36,53 |
| BUF_SIZE | 4 | nbAdditionalBits | 32,36,53 |
| BUF_SIZE | 6 | wksp | 2560 |
| BUF_SIZE | 6 | wksp | 2560 |
| CAPPED_DATA | 5 | tableLog | 1 |
| DATA_SOURCE | 0 | dt | $0 |
| DATA_SOURCE | 1 | normalizedCounter | $1 |
| DATA_SOURCE | 2 | maxSymbolValue | $2 |
| DATA_SOURCE | 3 | baseValue | $3 |
| DATA_SOURCE | 4 | nbAdditionalBits | $4 |
| DATA_SOURCE | 5 | tableLog | $5 |
| DATA_SOURCE | 6 | wksp | $6 |
| DATA_SOURCE | 7 | wkspSize | $7 |
| FUZZY_MAX | 5 | tableLog | 9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 7 | wkspSize | unit_byte |