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