[asl0] Allow equality with bitmasks

herd · Oct 24, 2024 · 8702d6d · 8702d6d
1 parent 2d1f5f4
commit 8702d6d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/asllib/Parser0.mly b/asllib/Parser0.mly
@@ -349,6 +349,7 @@ let binop_expr(e, b) ==
       | ~=e; ~=bracketed(clist(slice));               < AST.E_Slice     >
       | ~=bracketed(clist(expr));                     < AST.E_Concat    >
       | ~=e; IN; ~=bpattern;                           < AST.E_Pattern   >
+      | e=e; EQ_EQ; m=MASK_LIT;                       { AST.(E_Pattern (e, Pattern_Mask (m))) }
       | ~=annotated(ty_non_tuple); UNKNOWN;           < AST.E_Unknown   >
       (*
       | ~=e; LT; ~=clist(slice); GT;          < AST.E_Slice     >

diff --git a/asllib/tests/regressions.t/asl0-patterns.asl b/asllib/tests/regressions.t/asl0-patterns.asl
@@ -1,6 +1,8 @@
 integer main()
     bits(64) x = Zeros(64);
     y = x[1+:10]; // this would be invalid ASL0, but we use it in the XML
+    if x IN {'10x1101010'} then  z = 1; // valid
+    if x == '10x1101010' then z = 1; // valid
     if x[0+:4] IN '10x1' then
         z = 1;
     return 1;