From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 3 May 2022 08:49:28 +0000 (+0100)
Subject: allow HTML comments to start with whitespace
X-Git-Tag: sv_maxu_works-initial~446
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b1d3614362d4f1a18d28d8d324b7f275a62f5bf;p=openpower-isa.git

allow HTML comments to start with whitespace
this is very deliberate as these comments should not appear in the
pseudocode
---

diff --git a/src/openpower/decoder/pseudo/pagereader.py b/src/openpower/decoder/pseudo/pagereader.py
index d5cae081..c075283b 100644
--- a/src/openpower/decoder/pseudo/pagereader.py
+++ b/src/openpower/decoder/pseudo/pagereader.py
@@ -101,8 +101,8 @@ class ISA:
             # XXX this is braindead!  it doesn't look for the end
             # so please put ending of comments on one line:
             # <!-- line 1 comment -->
-            # <!-- line 2 comment -->
-            if l.startswith('<!--'):
+            # {some whitespace}<!-- line 2 comment -->
+            if l.strip().startswith('<!--'):
                 # print ("skipping comment", l)
                 l = lines.pop(0).rstrip()  # get first line
                 continue