{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"\"avx10.vcvt2ph2hf8128\""}]}
                    "avx10.vcvt2ph2hf8128" => "__builtin_ia32_vcvt2ph2hf8_128",
                    "avx10.vcvt2ph2bf8s512" => "__builtin_ia32_vcvt2ph2bf8s_512",
                    "avx10.vcvt2ph2hf8256" => "__builtin_ia32_vcvt2ph2hf8_256",