diff --git a/mlir/utils/spirv/gen_spirv_dialect.py b/mlir/utils/spirv/gen_spirv_dialect.py --- a/mlir/utils/spirv/gen_spirv_dialect.py +++ b/mlir/utils/spirv/gen_spirv_dialect.py @@ -59,7 +59,7 @@ # Ignore the first line, which is just the opname. doc[opname] = inst_html.text.split('\n', 1)[1].strip() else: - section_anchor = spirv.find('h3', {'id': '_a_id_instructions_a_instructions'}) + section_anchor = spirv.find('h3', {'id': '_instructions_3'}) for section in section_anchor.parent.find_all('div', {'class': 'sect3'}): for table in section.find_all('table'): inst_html = table.tbody.tr.td.p