diff options
Diffstat (limited to 'src/vhdl/vhdl-sem_expr.adb')
-rw-r--r-- | src/vhdl/vhdl-sem_expr.adb | 18 |
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. |