{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"\"vcvtph2ps.128\""}]}
                    "vcvtph2ps.128" => "__builtin_ia32_vcvtph2ps",
                    "vcvtneps2bf16256" => "__builtin_ia32_vcvtneps2bf16256",
                    "vcvtph2ps.256" => "__builtin_ia32_vcvtph2ps256",