From f977ba0dd5b152e97619ecfe1d848d83f2e062ff Mon Sep 17 00:00:00 2001 From: Pepijn de Vos Date: Tue, 20 Aug 2019 21:18:41 +0200 Subject: ignore restrict in simulation (#897) --- src/vhdl/translate/trans-chap9.adb | 29 ++++++++++++++--------------- src/vhdl/translate/trans-rtis.adb | 6 +++--- 2 files changed, 17 insertions(+), 18 deletions(-) (limited to 'src/vhdl/translate') diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index c3d3a1af0..5211451e3 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -989,9 +989,9 @@ package body Trans.Chap9 is when Iir_Kind_Process_Statement | Iir_Kind_Sensitized_Process_Statement => Translate_Process_Declarations (El); - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration => + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive @@ -1138,9 +1138,9 @@ package body Trans.Chap9 is if Flag_Direct_Drivers then Chap9.Reset_Direct_Drivers (Stmt); end if; - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration => + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive @@ -2737,12 +2737,11 @@ package body Trans.Chap9 is when Iir_Kind_Process_Statement | Iir_Kind_Sensitized_Process_Statement => null; - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration - | Iir_Kind_Psl_Endpoint_Declaration => - null; - when Iir_Kind_Psl_Assert_Directive + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Declaration + | Iir_Kind_Psl_Endpoint_Declaration + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive | Iir_Kind_Psl_Cover_Directive => null; @@ -2801,9 +2800,9 @@ package body Trans.Chap9 is when Iir_Kind_Process_Statement | Iir_Kind_Sensitized_Process_Statement => Elab_Process (Stmt, Base_Info); - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration => + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive diff --git a/src/vhdl/translate/trans-rtis.adb b/src/vhdl/translate/trans-rtis.adb index e618aeb9b..a36bcc076 100644 --- a/src/vhdl/translate/trans-rtis.adb +++ b/src/vhdl/translate/trans-rtis.adb @@ -2423,9 +2423,9 @@ package body Trans.Rtis is Push_Identifier_Prefix (Mark, Get_Identifier (Stmt)); Generate_Instance (Stmt, Parent_Rti); Pop_Identifier_Prefix (Mark); - when Iir_Kind_Psl_Default_Clock => - null; - when Iir_Kind_Psl_Declaration => + when Iir_Kind_Psl_Default_Clock + | Iir_Kind_Psl_Restrict_Directive + | Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Directive | Iir_Kind_Psl_Assume_Directive -- cgit v1.2.3