{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"\"avx2.psrlv.q.256\""}]}
                    "avx2.psrlv.q.256" => "__builtin_ia32_psrlv4di",
                    "avx2.psrlv.q" => "__builtin_ia32_psrlv2di",
                    "avx2.psubs.b" => "__builtin_ia32_psubsb256",