I looked through the update_llc_test_checks.py to see how the spacing is handled between prefixes. In the update_llc_test_checks.py case, the common.py file is called. More specifically, after every prefix group, the following line adds a space between comments:
if is_backend:
if len(printed_prefixes) != 0: output_lines.append(comment_marker)
After looking at update_mir_test_checks.py, I saw that the following three lines were commented out:
if printed_prefixes:
- Add some space between different check prefixes. output_lines.append('')
After uncommenting the code and running the code on several test files, the comment indeed indicated the correct purpose of the code.
ideally this would be an indented ';' and not just an empty line