more work on tests

herd · May 31, 2024 · 8d47a46 · 8d47a46
1 parent c30b687
commit 8d47a46
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/asllib/tests/language.t/Iyhrp-2.asl b/asllib/tests/language.t/Iyhrp-2.asl
@@ -0,0 +1,16 @@
+//I_YHRP: IYHRP The calculation of constraints shall cause an error if
+//necessary, for example where a division by zero occurs, etc.
+
+func helloworld(y : bits(2))
+begin
+    // x = { 8, 16, 32, 64}
+    // y = {00, 01, 10, 11}
+    var x = 8 << UInt(y);
+    var zz = x DIV 16;
+    var xyz = 100 MOD zz;
+end
+
+func main() => integer
+begin
+  return 0;
+end
diff --git a/asllib/tests/language.t/Iyhrp.asl b/asllib/tests/language.t/Iyhrp.asl
@@ -1,3 +1,6 @@
+//I_YHRP: IYHRP The calculation of constraints shall cause an error if
+//necessary, for example where a division by zero occurs, etc.
+
 // RUN: not interp %s | FileCheck %s
 
 func f(x: integer {2, 4}, y: integer {-1..1})