{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"\"avx512.mask.permvar.si.512\""}]}
                    "avx512.mask.permvar.si.512" => "__builtin_ia32_permvarsi512_mask",
                    "avx512.mask.permvar.si.256" => "__builtin_ia32_permvarsi256_mask",
                    "avx512.mask.pmaddubs.w.128" => "__builtin_ia32_pmaddubsw128_mask",