{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"\"xop.vphadduwd\""}]}
                    "xop.vphadduwd" => "__builtin_ia32_vphadduwd",
                    "xop.vphaddudq" => "__builtin_ia32_vphaddudq",
                    "xop.vphadduwq" => "__builtin_ia32_vphadduwq",