aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_expr.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/vhdl-sem_expr.adb')
-rw-r--r--src/vhdl/vhdl-sem_expr.adb18
1 files changed, 6 insertions, 12 deletions
diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb
index 25dbb1fea..c55377f46 100644
--- a/src/vhdl/vhdl-sem_expr.adb
+++ b/src/vhdl/vhdl-sem_expr.adb
@@ -4913,21 +4913,15 @@ package body Vhdl.Sem_Expr is
when Iir_Kind_Psl_Prev =>
return Sem_Psl.Sem_Prev_Builtin (Expr, A_Type);
- when Iir_Kind_Psl_Stable =>
- return Sem_Psl.Sem_Stable_Builtin (Expr);
+ when Iir_Kind_Psl_Stable
+ | Iir_Kind_Psl_Rose
+ | Iir_Kind_Psl_Fell =>
+ return Sem_Psl.Sem_Clock_Builtin (Expr);
- 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_Psl_Onehot =>
+ when Iir_Kind_Psl_Onehot
+ | Iir_Kind_Psl_Onehot0 =>
return Sem_Psl.Sem_Onehot_Builtin (Expr);
- when Iir_Kind_Psl_Onehot0 =>
- return Sem_Psl.Sem_Onehot0_Builtin (Expr);
-
when Iir_Kind_Error =>
-- Always ok.
-- Use the error as a type.