grammar: fix TypeBoolean (#96)

* grammar: fix TypeBoolean was previously missing quotation marks. * tests: add opcode with emitting boolean variable
UQ-PAC · Jul 3, 2024 · 66ba70b · 66ba70b
1 parent 91693e0
commit 66ba70b
Show file tree

Hide file tree

Showing 4 changed files with 456 additions and 2 deletions.
diff --git a/libASL/Semantics.g4 b/libASL/Semantics.g4
@@ -46,7 +46,7 @@ type_register_slices:
 
 type:
   'Type_Bits' OPEN_PAREN expr CLOSE_PAREN  # TypeBits
-  | 'Type_Constructor(boolean)'            # TypeBoolean
+  | 'Type_Constructor("boolean")'            # TypeBoolean
   | 'Type_Constructor(' ident ')'       # TypeConstructor
   | 'Type_Register' OPEN_PAREN QUOTE width=integer QUOTE type_register_slices CLOSE_PAREN # TypeRegister
 ;

diff --git a/tests/aslt/ops.txt b/tests/aslt/ops.txt
@@ -24,3 +24,6 @@
 
 // cnt v0.8b, v0.8b https://github.com/UQ-PAC/aslp/issues/43
 0x0e205800
+
+// sqrdmulh v0.8h, v0.8h, v1.h[3] https://github.com/UQ-PAC/aslp/pull/96
+0x4f71d000