{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"\"F2.dfcmpge\""}]}
                    "F2.dfcmpge" => "__builtin_HEXAGON_F2_dfcmpge",
                    "F2.dfcmpeq" => "__builtin_HEXAGON_F2_dfcmpeq",
                    "F2.dfcmpgt" => "__builtin_HEXAGON_F2_dfcmpgt",