Merge branch 'master' into pr_relax_udp

MikePopoloski · Apr 4, 2024 · 19e619a · 19e619a
2 parents 307f54a + 9e15d4e
commit 19e619a
Show file tree

Hide file tree

Showing 2 changed files with 47 additions and 3 deletions.
diff --git a/source/ast/Statements.cpp b/source/ast/Statements.cpp
@@ -2281,12 +2281,14 @@ Statement& ExpressionStatement::fromSyntax(Compilation& compilation,
             ok = true;
             break;
         }
-        case ExpressionKind::Assignment:
-            if (auto timing = expr.as<AssignmentExpression>().timingControl)
-                stmtCtx.observeTiming(*timing);
+        case ExpressionKind::Assignment: {
+            const AssignmentExpression& ae = expr.as<AssignmentExpression>();
+            if (ae.isBlocking() && ae.timingControl)
+                stmtCtx.observeTiming(*ae.timingControl);
 
             ok = true;
             break;
+        }
         case ExpressionKind::NewClass:
             ok = true;
             break;

diff --git a/tests/unittests/ast/MemberTests.cpp b/tests/unittests/ast/MemberTests.cpp
@@ -1723,6 +1723,48 @@ endmodule
     CHECK(diags[5].code == diag::TimingInFuncNotAllowed);
 }
 
+TEST_CASE("always_ff timing (pass)") {
+    auto tree = SyntaxTree::fromText(R"(
+module x;
+reg a;
+wire clk;
+always_ff @(posedge clk)
+  a <= #1 1'b0;
+endmodule
+)");
+
+    Compilation compilation;
+    compilation.addSyntaxTree(tree);
+
+    auto& diags = compilation.getAllDiagnostics();
+    REQUIRE(diags.size() == 0);
+}
+
+TEST_CASE("always_ff timing (fail)") {
+    auto tree = SyntaxTree::fromText(R"(
+module x1;
+reg a;
+wire clk;
+always_ff @(posedge clk)
+  #1 a <= 1'b0;
+endmodule
+module x2;
+reg a;
+wire clk;
+always_ff @(posedge clk)
+  a = #1 1'b0;
+endmodule
+)");
+
+    Compilation compilation;
+    compilation.addSyntaxTree(tree);
+
+    auto& diags = compilation.getAllDiagnostics();
+    REQUIRE(diags.size() == 2);
+    CHECK(diags[0].code == diag::BlockingInAlwaysFF);
+    CHECK(diags[1].code == diag::BlockingInAlwaysFF);
+}
+
 TEST_CASE("always_comb drivers within nested functions") {
     auto tree = SyntaxTree::fromText(R"(
 module m;