diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-07-29 21:01:32 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-07-29 21:01:32 +0200 |
| commit | 86df7e55e05454e57723db8af91248eec68670f4 (patch) | |
| tree | 809fbd6dba360e6327cc748d487829e0c035c874 | |
| parent | 1809c5b230bd464156c6ce44a118094a8e1a63b6 (diff) | |
| download | ghdl-86df7e55e05454e57723db8af91248eec68670f4.tar.gz ghdl-86df7e55e05454e57723db8af91248eec68670f4.tar.bz2 ghdl-86df7e55e05454e57723db8af91248eec68670f4.zip | |
psl-rewrites.adb: fix inclusive before. Fix #2153
| -rw-r--r-- | src/psl/psl-rewrites.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index 34404adec..885d478b6 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -463,13 +463,15 @@ package body PSL.Rewrites is B1, B2 : Node; N_B2 : Node; begin + -- b1 before b2 B1 := Rewrite_Boolean (Get_Left (N)); B2 := Rewrite_Boolean (Get_Right (N)); N_B2 := Build_Bool_Not (B2); + -- (!b1 && !b2)[*] Res := Build_Star (Build_Bool_And (Build_Bool_Not (B1), N_B2)); if Get_Inclusive_Flag (N) then - R := B2; + R := B1; else R := Build_Bool_And (B1, N_B2); end if; |