parameters: (prefix, json_dict)
docstring: Modifies json_dict, by prefixing all the operand kind names
      with the given prefix.  Also modifies their uses in the instructions
      to match.
docstring_summary: Modifies json_dict, by prefixing all the operand kind names
      with the given prefix.  Also modifies their uses in the instructions
      to match.
docstring_tokens: Modifies json_dict by prefixing all the operand kind names with the given prefix . Also modifies their uses in the instructions to match .
function: def prefix_operand_kind_names(prefix, json_dict):
      """Modifies json_dict, by prefixing all the operand kind names
      with the given prefix.  Also modifies their uses in the instructions
      to match.
      """
  
      old_to_new = {}
      for operand_kind in json_dict["operand_kinds"]:
          old_name = operand_kind["kind"]
          new_name = prefix + old_name
          operand_kind["kind"] = new_name
          old_to_new[old_name] = new_name
  
      for instruction in json_dict["instructions"]:
          for operand in instruction.get("operands", []):
              replacement = old_to_new.get(operand["kind"])
              if replacement is not None:
                  operand["kind"] = replacement
function_tokens: def prefix_operand_kind_names ( prefix , json_dict ) : old_to_new = { } for operand_kind in json_dict [ "operand_kinds" ] : old_name = operand_kind [ "kind" ] new_name = prefix + old_name operand_kind [ "kind" ] = new_name old_to_new [ old_name ] = new_name for instruction in json_dict [ "instructions" ] : for operand in instruction . get ( "operands" , [ ] ) : replacement = old_to_new . get ( operand [ "kind" ] ) if replacement is not None : operand [ "kind" ] = replacement