aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_expr.adb
diff options
context:
space:
mode:
authortmeissner <programming@goodcleanfun.de>2020-06-06 17:45:51 +0200
committertgingold <tgingold@users.noreply.github.com>2020-06-07 06:17:12 +0200
commitb85e83cd189e4e915ecd1a4ff00d1b81b919c215 (patch)
tree596eeed70dda1d0a526fa60f4610576104c9f24a /src/vhdl/vhdl-sem_expr.adb
parentd440dae86de77d0743d21dfd8889dfa73d0dc48d (diff)
downloadghdl-b85e83cd189e4e915ecd1a4ff00d1b81b919c215.tar.gz
ghdl-b85e83cd189e4e915ecd1a4ff00d1b81b919c215.tar.bz2
ghdl-b85e83cd189e4e915ecd1a4ff00d1b81b919c215.zip
Synthesis of PSL built-in fell() function.
Diffstat (limited to 'src/vhdl/vhdl-sem_expr.adb')
-rw-r--r--src/vhdl/vhdl-sem_expr.adb6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb
index 491d9873c..dbbbe412a 100644
--- a/src/vhdl/vhdl-sem_expr.adb
+++ b/src/vhdl/vhdl-sem_expr.adb
@@ -417,7 +417,8 @@ package body Vhdl.Sem_Expr is
return Expr;
when Iir_Kind_Psl_Endpoint_Declaration
| Iir_Kind_Psl_Stable
- | Iir_Kind_Psl_Rose =>
+ | Iir_Kind_Psl_Rose
+ | Iir_Kind_Psl_Fell =>
return Expr;
when Iir_Kind_Simple_Name
| Iir_Kind_Parenthesis_Name
@@ -4836,6 +4837,9 @@ package body Vhdl.Sem_Expr is
when Iir_Kind_Psl_Rose =>
return Sem_Psl.Sem_Rose_Builtin (Expr);
+ when Iir_Kind_Psl_Fell =>
+ return Sem_Psl.Sem_Fell_Builtin (Expr);
+
when Iir_Kind_Error =>
-- Always ok.
-- Use the error as a type.