{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"\"buffer.wbinvl1\""}]}
                    "buffer.wbinvl1" => "__builtin_amdgcn_buffer_wbinvl1",
                    "ashr.pk.u8.i32" => "__builtin_amdgcn_ashr_pk_u8_i32",
                    "buffer.wbinvl1.sc" => "__builtin_amdgcn_buffer_wbinvl1_sc",