From 2416376cabc3dd03413a5038ce59ccfab569414c Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sat, 6 Jun 2020 13:29:57 +0200
Subject: Synthesis of PSL built-in rose() function.

---
 src/vhdl/vhdl-sem_expr.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/vhdl/vhdl-sem_expr.adb')

diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb
index c9cc2bae6..491d9873c 100644
--- a/src/vhdl/vhdl-sem_expr.adb
+++ b/src/vhdl/vhdl-sem_expr.adb
@@ -416,7 +416,8 @@ package body Vhdl.Sem_Expr is
            | Iir_Kind_Function_Call =>
             return Expr;
          when Iir_Kind_Psl_Endpoint_Declaration
-           | Iir_Kind_Psl_Stable =>
+           | Iir_Kind_Psl_Stable
+           | Iir_Kind_Psl_Rose =>
             return Expr;
          when Iir_Kind_Simple_Name
            | Iir_Kind_Parenthesis_Name
@@ -4832,6 +4833,9 @@ package body Vhdl.Sem_Expr is
          when Iir_Kind_Psl_Stable =>
             return Sem_Psl.Sem_Stable_Builtin (Expr);
 
+         when Iir_Kind_Psl_Rose =>
+            return Sem_Psl.Sem_Rose_Builtin (Expr);
+
          when Iir_Kind_Error =>
             --  Always ok.
             --  Use the error as a type.
-- 
cgit v1.2.3