{"ast_node_type":"other","tokens":[{"end":113,"kind":"keyword","start":0,"text":"//"}]}
                    // [INVALID CONVERSION]: "avx512.mask.rndscale.sd" => "__builtin_ia32_rndscalesd_round_mask",
                    "avx512.mask.rndscale.ps.512" => "__builtin_ia32_rndscaleps_mask",
                    // [INVALID CONVERSION]: "avx512.mask.rndscale.ss" => "__builtin_ia32_rndscaless_round_mask",