It looks like I had some uncommitted changes in my repository when testing docs-to-ops.py for the last PR, and I failed to notice the missing comma. Let's address it.
Unrelated to the PR, the script passes on all kernel selftests files (tested at commit 5ee35abb461e, compiled with clang-16), without reporting any invalid instructions.
This means that we're unlikely to have any false positives (when looking for invalid instructions), although it doesn't tell if there's any false negative (invalid instructions we failed to detect).
It looks like I had some uncommitted changes in my repository when testing
docs-to-ops.py
for the last PR, and I failed to notice the missing comma. Let's address it.Unrelated to the PR, the script passes on all kernel selftests files (tested at commit 5ee35abb461e, compiled with clang-16), without reporting any invalid instructions.
This means that we're unlikely to have any false positives (when looking for invalid instructions), although it doesn't tell if there's any false negative (invalid instructions we failed to detect).