{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"\"xop.vphaddbd\""}]}
                    "xop.vphaddbd" => "__builtin_ia32_vphaddbd",
                    "xop.vpermil2ps.256" => "__builtin_ia32_vpermil2ps256",
                    "xop.vphaddbq" => "__builtin_ia32_vphaddbq",