{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"\"avx512fp16.vfmaddsub.ph.256\""}]}
                    "avx512fp16.vfmaddsub.ph.256" => "__builtin_ia32_vfmaddsubph256",
                    "avx512fp16.vfmaddsub.ph.128" => "__builtin_ia32_vfmaddsubph",
                    "axor32" => "__builtin_ia32_axor32",