{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"div.rp.d\""}]}
                    "div.rp.d" => "__nvvm_div_rp_d",
                    "div.rn.ftz.f" => "__nvvm_div_rn_ftz_f",
                    "div.rp.f" => "__nvvm_div_rp_f",