{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"div.rm.f\""}]}
                    "div.rm.f" => "__nvvm_div_rm_f",
                    "div.rm.d" => "__nvvm_div_rm_d",
                    "div.rm.ftz.f" => "__nvvm_div_rm_ftz_f",