[libc-commits] [libc] [libc][wctype] Create generation script for classification lookup tables (PR #172042)

[Schrodinger ZHU Yifan via libc-commits]

SchrodingerZhu wrote:

> Overall Looks good, I do think if we need to we could compress the classification tables more. There are long blocks of the same number so we could probably get some savings from run length encoding.

I guess we can use tools like Z3/CVC5 to search optimal encoding if needed but that would require extra work.

https://github.com/llvm/llvm-project/pull/172042