diff options
Diffstat (limited to 'src/vhdl')
-rw-r--r-- | src/vhdl/vhdl-prints.adb | 17 | ||||
-rw-r--r-- | src/vhdl/vhdl-sem_expr.adb | 6 | ||||
-rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 35 | ||||
-rw-r--r-- | src/vhdl/vhdl-sem_psl.ads | 1 |
4 files changed, 58 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb index b8da982a5..a0163a63d 100644 --- a/src/vhdl/vhdl-prints.adb +++ b/src/vhdl/vhdl-prints.adb @@ -2288,6 +2288,21 @@ package body Vhdl.Prints is Disp_Token (Ctxt, Tok_Right_Paren); end Disp_Psl_Prev; + procedure Disp_Psl_Stable (Ctxt : in out Ctxt_Class; Call : Iir) + is + Expr : Iir; + begin + Disp_Token (Ctxt, Tok_Stable); + Disp_Token (Ctxt, Tok_Left_Paren); + Print (Ctxt, Get_Expression (Call)); + Expr := Get_Clock_Expression (Call); + if Expr /= Null_Iir then + Disp_Token (Ctxt, Tok_Comma); + Print (Ctxt, Expr); + end if; + Disp_Token (Ctxt, Tok_Right_Paren); + end Disp_Psl_Stable; + procedure Disp_Psl_Declaration (Ctxt : in out Ctxt_Class; Stmt : Iir) is Decl : constant PSL_Node := Get_Psl_Declaration (Stmt); @@ -4751,6 +4766,8 @@ package body Vhdl.Prints is when Iir_Kind_Psl_Prev => Disp_Psl_Prev (Ctxt, Expr); + when Iir_Kind_Psl_Stable => + Disp_Psl_Stable (Ctxt, Expr); when Iir_Kinds_Type_And_Subtype_Definition => Disp_Type (Ctxt, Expr); diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb index db03456e3..c9cc2bae6 100644 --- a/src/vhdl/vhdl-sem_expr.adb +++ b/src/vhdl/vhdl-sem_expr.adb @@ -415,7 +415,8 @@ package body Vhdl.Sem_Expr is | Iir_Kind_Type_Conversion | Iir_Kind_Function_Call => return Expr; - when Iir_Kind_Psl_Endpoint_Declaration => + when Iir_Kind_Psl_Endpoint_Declaration + | Iir_Kind_Psl_Stable => return Expr; when Iir_Kind_Simple_Name | Iir_Kind_Parenthesis_Name @@ -4828,6 +4829,9 @@ 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_Error => -- Always ok. -- Use the error as a type. diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index c4ebf345e..3d36070a3 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -123,6 +123,41 @@ package body Vhdl.Sem_Psl is return Call; end Sem_Prev_Builtin; + function Sem_Stable_Builtin (Call : Iir) return Iir + is + use Vhdl.Sem_Expr; + use Vhdl.Std_Package; + Expr : Iir; + Clock : Iir; + First : Boolean; + begin + Expr := Get_Expression (Call); + First := Is_Expr_Not_Analyzed (Expr); + Expr := Sem_Expression (Expr, Null_Iir); + if Expr /= Null_Iir then + Set_Expression (Call, Expr); + Set_Type (Call, Vhdl.Std_Package.Boolean_Type_Definition); + Set_Expr_Staticness (Call, None); + end if; + + if First then + -- Analyze count and clock only once. + Clock := Get_Clock_Expression (Call); + if Clock /= Null_Iir then + Clock := Sem_Expression_Wildcard (Clock, Wildcard_Psl_Bit_Type); + Set_Clock_Expression (Call, Clock); + else + if Current_Psl_Default_Clock = Null_Iir then + Error_Msg_Sem (+Call, "no clock for PSL stable builtin"); + else + Set_Default_Clock (Call, Current_Psl_Default_Clock); + end if; + end if; + end if; + + return Call; + end Sem_Stable_Builtin; + -- Convert VHDL and/or/not nodes to PSL nodes. function Convert_Bool (Expr : Iir) return PSL_Node is diff --git a/src/vhdl/vhdl-sem_psl.ads b/src/vhdl/vhdl-sem_psl.ads index c0f6e85d5..9f13ac080 100644 --- a/src/vhdl/vhdl-sem_psl.ads +++ b/src/vhdl/vhdl-sem_psl.ads @@ -23,6 +23,7 @@ package Vhdl.Sem_Psl is function Is_Psl_Bitvector_Type (Atype : Iir) return Boolean; function Sem_Prev_Builtin (Call : Iir; Atype : Iir) return Iir; + function Sem_Stable_Builtin (Call : Iir) return Iir; procedure Sem_Psl_Declaration (Stmt : Iir); procedure Sem_Psl_Endpoint_Declaration (Stmt : Iir); |