From 41004a1514f67cbdec09232a882101c257aadabf Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Thu, 18 Jul 2024 13:32:58 -0500 Subject: [PATCH] testsuite: remove some old -sat-cudd tests Apparently some relics were left here. Destroy them. Signed-off-by: Austin Seipp --- ...ddTest_sat-cudd.bsv.bsc-sched-out.expected | 55 ---------- ...ndTest_sat-cudd.bsv.bsc-sched-out.expected | 86 --------------- ...exTest_sat-cudd.bsv.bsc-sched-out.expected | 68 ------------ ...exTest_sat-cudd.bsv.bsc-sched-out.expected | 67 ------------ ...ctTest_sat-cudd.bsv.bsc-sched-out.expected | 62 ----------- ...olTest_sat-cudd.bsv.bsc-sched-out.expected | 51 --------- ...seTest_sat-cudd.bsv.bsc-sched-out.expected | 72 ------------ ...ivTest_sat-cudd.bsv.bsc-sched-out.expected | 103 ------------------ ...teTest_sat-cudd.bsv.bsc-sched-out.expected | 58 ---------- ...nSTest_sat-cudd.bsv.bsc-sched-out.expected | 55 ---------- ...anTest_sat-cudd.bsv.bsc-sched-out.expected | 55 ---------- ...ltTest_sat-cudd.bsv.bsc-sched-out.expected | 54 --------- ...tsTest_sat-cudd.bsv.bsc-sched-out.expected | 53 --------- ...olTest_sat-cudd.bsv.bsc-sched-out.expected | 53 --------- ...emTest_sat-cudd.bsv.bsc-sched-out.expected | 93 ---------------- ...xtTest_sat-cudd.bsv.bsc-sched-out.expected | 55 ---------- ...tLTest_sat-cudd.bsv.bsc-sched-out.expected | 53 --------- ...ATest2_sat-cudd.bsv.bsc-sched-out.expected | 97 ----------------- ...RATest_sat-cudd.bsv.bsc-sched-out.expected | 97 ----------------- ...tRTest_sat-cudd.bsv.bsc-sched-out.expected | 53 --------- ...teTest_sat-cudd.bsv.bsc-sched-out.expected | 53 --------- ...64Test_sat-cudd.bsv.bsc-sched-out.expected | 49 --------- ...xtTest_sat-cudd.bsv.bsc-sched-out.expected | 55 ---------- 23 files changed, 1497 deletions(-) delete mode 100644 testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/CaseTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/DivTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/IteTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/LessThanSTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/LessThanTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/MultTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ParamBitsTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ParamBoolTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/RemTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/SextTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ShiftLTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ShiftRATest2_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ShiftRATest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ShiftRTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/TruncateTest_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/Word64Test_sat-cudd.bsv.bsc-sched-out.expected delete mode 100644 testsuite/bsc.scheduler/sat/ZextTest_sat-cudd.bsv.bsc-sched-out.expected diff --git a/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index dbbc4ac90..000000000 --- a/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,55 +0,0 @@ -checking package dependencies -compiling AddTest_sat-cudd.bsv -code generation for sysAddTest starts -Warning: "AddTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "AddTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d6, 1), (uc.write uc_PLUS_2___d12, 1), (uc.write uc_PLUS_3___d15, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysAddTest.sched -=== Generated schedule for sysAddTest === - -Rule schedule -------------- -Rule: aa -Predicate: (ua - ub) == 36'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((36'd1 + ua + (~ ub)) == 36'd17) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 36'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -========================================== -Warning: "AddTest_sat-cudd.bsv", line 26, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysAddTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index b79046de4..000000000 --- a/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,86 +0,0 @@ -checking package dependencies -compiling ArraySelectImplCondTest_sat-cudd.bsv -code generation for sysArraySelectImplCondTest starts -Warning: "ArraySelectImplCondTest_sat-cudd.bsv", line 33, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ArraySelectImplCondTest_sat-cudd.bsv", line 33, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(idx.read, [(idx.read, 1)]), - (ss_0_c.read, [(ss_0_c.read, 1)]), - (ss_0_rg1.read, [(ss_0_rg1.read, 1)]), - (ss_0_rg1.write, [(if idx_EQ_0___d7 then ss_0_rg1.write NOT_ss_0_rg1___d9, 1)]), - (ss_0_rg2.read, [(ss_0_rg2.read, 1)]), - (ss_0_rg2.write, [(if idx_EQ_0___d7 then ss_0_rg2.write NOT_ss_0_rg2_6___d27, 1)]), - (ss_1_c.read, [(ss_1_c.read, 1)]), - (ss_1_rg1.read, [(ss_1_rg1.read, 1)]), - (ss_1_rg1.write, [(if idx_EQ_1___d10 then ss_1_rg1.write NOT_ss_1_rg1_1___d12, 1)]), - (ss_1_rg2.read, [(ss_1_rg2.read, 1)]), - (ss_1_rg2.write, [(if idx_EQ_1___d10 then ss_1_rg2.write NOT_ss_1_rg2_8___d29, 1)]), - (ss_2_c.read, [(ss_2_c.read, 1)]), - (ss_2_rg1.read, [(ss_2_rg1.read, 1)]), - (ss_2_rg1.write, [(if idx_EQ_2___d13 then ss_2_rg1.write NOT_ss_2_rg1_4___d15, 1)]), - (ss_2_rg2.read, [(ss_2_rg2.read, 1)]), - (ss_2_rg2.write, [(if idx_EQ_2___d13 then ss_2_rg2.write NOT_ss_2_rg2_0___d31, 1)]), - (ss_3_c.read, [(ss_3_c.read, 1)]), - (ss_3_rg1.read, [(ss_3_rg1.read, 1)]), - (ss_3_rg1.write, [(if idx_EQ_3___d16 then ss_3_rg1.write NOT_ss_3_rg1_7___d18, 1)]), - (ss_3_rg2.read, [(ss_3_rg2.read, 1)]), - (ss_3_rg2.write, [(if idx_EQ_3___d16 then ss_3_rg2.write NOT_ss_3_rg2_2___d33, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_9_PLUS_1___d20, 1), - (uc.write uc_9_PLUS_2___d34, 1), - (uc.write uc_9_PLUS_3___d35, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysArraySelectImplCondTest.sched -=== Generated schedule for sysArraySelectImplCondTest === - -Rule schedule -------------- -Rule: aa -Predicate: case idx of - 2'd0 -> ss_0_c - 2'd1 -> ss_1_c - 2'd2 -> ss_2_c - 2'd3 -> ss_3_c - _ -> 1'd1 -Blocking rules: (none) - -Rule: ab -Predicate: case idx of - 2'd0 -> ! ss_0_c - 2'd1 -> ! ss_1_c - 2'd2 -> ! ss_2_c - 2'd3 -> ! ss_3_c - _ -> 1'd1 -Blocking rules: (none) - -Rule: bb -Predicate: idx == 2'd0 -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -========================================================== -Warning: "ArraySelectImplCondTest_sat-cudd.bsv", line 58, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysArraySelectImplCondTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 00e641e47..000000000 --- a/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,68 +0,0 @@ -checking package dependencies -compiling ArraySelectLongIndexTest_sat-cudd.bsv -code generation for sysArraySelectLongIndexTest starts -Warning: "ArraySelectLongIndexTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ArraySelectLongIndexTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(idx.read, [(idx.read, 1)]), - (rg_0.read, [(rg_0.read, 1)]), - (rg_1.read, [(rg_1.read, 1)]), - (rg_2.read, [(rg_2.read, 1)]), - (rg_3.read, [(rg_3.read, 1)]), - (rg_4.read, [(rg_4.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_1_PLUS_1___d12, 1), - (uc.write uc_1_PLUS_2___d21, 1), - (uc.write uc_1_PLUS_3___d22, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysArraySelectLongIndexTest.sched -=== Generated schedule for sysArraySelectLongIndexTest === - -Rule schedule -------------- -Rule: aa -Predicate: (idx < 3'd5) && - (PrimArrayDynSelect (PrimBuildArray rg_0 rg_1 rg_2 rg_3 rg_4) idx) -Blocking rules: (none) - -Rule: ab -Predicate: (idx < 3'd5) && - (PrimArrayDynSelect (PrimBuildArray (! rg_0) - (! rg_1) - (! rg_2) - (! rg_3) - (! rg_4)) - idx) -Blocking rules: (none) - -Rule: bb -Predicate: idx < 3'd5 -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=========================================================== -Warning: "ArraySelectLongIndexTest_sat-cudd.bsv", line 35, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysArraySelectLongIndexTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index cd4faed06..000000000 --- a/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,67 +0,0 @@ -checking package dependencies -compiling ArraySelectShortIndexTest_sat-cudd.bsv -code generation for sysArraySelectShortIndexTest starts -Warning: "ArraySelectShortIndexTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ArraySelectShortIndexTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(idx.read, [(idx.read, 1)]), - (rg_0.read, [(rg_0.read, 1)]), - (rg_1.read, [(rg_1.read, 1)]), - (rg_2.read, [(rg_2.read, 1)]), - (rg_3.read, [(rg_3.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_0_PLUS_1___d11, 1), - (uc.write uc_0_PLUS_2___d20, 1), - (uc.write uc_0_PLUS_3___d22, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysArraySelectShortIndexTest.sched -=== Generated schedule for sysArraySelectShortIndexTest === - -Rule schedule -------------- -Rule: aa -Predicate: PrimArrayDynSelect (PrimBuildArray rg_0 rg_1 rg_2 rg_3 rg_4 rg_5) - idx -Blocking rules: (none) - -Rule: ab -Predicate: PrimArrayDynSelect (PrimBuildArray (! rg_0) - (! rg_1) - (! rg_2) - (! rg_3) - (! rg_4) - (! rg_5)) - idx -Blocking rules: (none) - -Rule: bb -Predicate: idx == 2'd0 -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -============================================================ -Warning: "ArraySelectShortIndexTest_sat-cudd.bsv", line 35, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysArraySelectShortIndexTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 915f11412..000000000 --- a/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,62 +0,0 @@ -checking package dependencies -compiling ArraySelectTest_sat-cudd.bsv -code generation for sysArraySelectTest starts -Warning: "ArraySelectTest_sat-cudd.bsv", line 6, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ArraySelectTest_sat-cudd.bsv", line 6, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(idx.read, [(idx.read, 1)]), - (rg_0.read, [(rg_0.read, 1)]), - (rg_1.read, [(rg_1.read, 1)]), - (rg_2.read, [(rg_2.read, 1)]), - (rg_3.read, [(rg_3.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d9, 1), (uc.write uc_PLUS_2___d16, 1), (uc.write uc_PLUS_3___d18, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysArraySelectTest.sched -=== Generated schedule for sysArraySelectTest === - -Rule schedule -------------- -Rule: aa -Predicate: PrimArrayDynSelect (PrimBuildArray rg_0 rg_1 rg_2 rg_3) idx -Blocking rules: (none) - -Rule: ab -Predicate: PrimArrayDynSelect (PrimBuildArray (! rg_0) - (! rg_1) - (! rg_2) - (! rg_3)) - idx -Blocking rules: (none) - -Rule: bb -Predicate: idx == 2'd0 -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -================================================== -Warning: "ArraySelectTest_sat-cudd.bsv", line 32, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysArraySelectTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 541d29c62..000000000 --- a/testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,51 +0,0 @@ -checking package dependencies -compiling BoolTest_sat-cudd.bsv -code generation for sysBoolTest starts -Warning: "BoolTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d5, 1), (uc.write uc_PLUS_2___d9, 1), (uc.write uc_PLUS_3___d10, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysBoolTest.sched -=== Generated schedule for sysBoolTest === - -Rule schedule -------------- -Rule: aa -Predicate: ua || ub -Blocking rules: (none) - -Rule: ab -Predicate: (! ub) && (! ua) -Blocking rules: (none) - -Rule: bb -Predicate: ua -Blocking rules: aa - -Logical execution order: aa, ab, bb - -=========================================== -Warning: "BoolTest_sat-cudd.bsv", line 25, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysBoolTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/CaseTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/CaseTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 7c32887ae..000000000 --- a/testsuite/bsc.scheduler/sat/CaseTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,72 +0,0 @@ -checking package dependencies -compiling CaseTest_sat-cudd.bsv -code generation for sysCaseTest starts -Warning: "CaseTest_sat-cudd.bsv", line 6, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "CaseTest_sat-cudd.bsv", line 6, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(idx.read, [(idx.read, 1)]), - (u0.read, [(u0.read, 1)]), - (u1.read, [(u1.read, 1)]), - (u2.read, [(u2.read, 1)]), - (u3.read, [(u3.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_2_PLUS_1___d13, 1), - (uc.write uc_2_PLUS_2___d21, 1), - (uc.write uc_2_PLUS_3___d22, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysCaseTest.sched -=== Generated schedule for sysCaseTest === - -Rule schedule -------------- -Rule: aa -Predicate: (idx == 2'd0) - ? u0 - : ((idx == 2'd1) - ? u1 - : ((idx == 2'd2) - ? u2 - : u3)) -Blocking rules: (none) - -Rule: ab -Predicate: (idx == 2'd0) - ? ! u0 - : ((idx == 2'd1) - ? ! u1 - : ((idx == 2'd2) - ? ! u2 - : (! u3))) -Blocking rules: (none) - -Rule: bb -Predicate: idx == 2'd0 -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=========================================== -Warning: "CaseTest_sat-cudd.bsv", line 45, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysCaseTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/DivTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/DivTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index deb300263..000000000 --- a/testsuite/bsc.scheduler/sat/DivTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,103 +0,0 @@ -checking package dependencies -compiling DivTest_sat-cudd.bsv -code generation for sysDivTest starts -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ac". Conflicts: - "aa" cannot fire before "ac": calls to uc.write vs. uc.read - "ac" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ad". Conflicts: - "aa" cannot fire before "ad": calls to uc.write vs. uc.read - "ad" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ae". Conflicts: - "aa" cannot fire before "ae": calls to uc.write vs. uc.read - "ae" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "af". Conflicts: - "aa" cannot fire before "af": calls to uc.write vs. uc.read - "af" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ac" was treated as more urgent than "bb". Conflicts: - "ac" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ac": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ad" was treated as more urgent than "bb". Conflicts: - "ad" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ad": calls to uc.write vs. uc.read -Warning: "DivTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ae" was treated as more urgent than "bb". Conflicts: - "ae" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ae": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], - RL_ab -> [], - RL_ac -> [RL_aa], - RL_ad -> [RL_aa], - RL_ae -> [RL_aa], - RL_af -> [RL_aa], - RL_bb -> [RL_ae, RL_ad, RL_ac, RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_ac, RL_ad, RL_ae, RL_af, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_2___d10, 1), - (uc.write uc_PLUS_3___d20, 1), - (uc.write uc_PLUS_1___d9, 1), - (uc.write uc_MINUS_2___d24, 1), - (uc.write uc_MINUS_1___d27, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysDivTest.sched -=== Generated schedule for sysDivTest === - -Rule schedule -------------- -Rule: aa -Predicate: (! (ub == 2'd0)) && ((ua / ub) == 2'd1) -Blocking rules: (none) - -Rule: ab -Predicate: ub == 2'd0 -Blocking rules: (none) - -Rule: ac -Predicate: (ua == 2'd1) && (! (ub < 2'd2)) -Blocking rules: aa - -Rule: ad -Predicate: (! (ub == 2'd0)) && (ua == 2'd2) && (! (ub == 2'd2)) -Blocking rules: aa - -Rule: ae -Predicate: (! (ub == 2'd0)) && (ua == 2'd3) && (ub < 2'd2) -Blocking rules: aa - -Rule: af -Predicate: (! (ub == 2'd0)) && (ua == 2'd0) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 2'd0) -Blocking rules: ae, ad, ac, ab, aa - -Logical execution order: aa, ab, ac, ad, ae, af, bb - -========================================== -Verilog file created: sysDivTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/IteTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/IteTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 90c24370b..000000000 --- a/testsuite/bsc.scheduler/sat/IteTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,58 +0,0 @@ -checking package dependencies -compiling IteTest_sat-cudd.bsv -code generation for sysIteTest starts -Warning: "IteTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "IteTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ba.read, [(ba.read, 1)]), - (ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, [(uc.write x__h320, 1), (uc.write x__h404, 1), (uc.write x__h419, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysIteTest.sched -=== Generated schedule for sysIteTest === - -Rule schedule -------------- -Rule: aa -Predicate: (ba - ? ua - : ub) == - 6'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((((sext ba) & ua) | ((~ (sext ba)) & ub)) == 6'd17) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 6'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -========================================== -Warning: "IteTest_sat-cudd.bsv", line 30, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysIteTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/LessThanSTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/LessThanSTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index e5039e1cc..000000000 --- a/testsuite/bsc.scheduler/sat/LessThanSTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,55 +0,0 @@ -checking package dependencies -compiling LessThanSTest_sat-cudd.bsv -code generation for sysLessThanSTest starts -Warning: "LessThanSTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "LessThanSTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d5, 1), (uc.write uc_PLUS_2___d9, 1), (uc.write uc_PLUS_3___d12, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysLessThanSTest.sched -=== Generated schedule for sysLessThanSTest === - -Rule schedule -------------- -Rule: aa -Predicate: ua .< ub -Blocking rules: (none) - -Rule: ab -Predicate: (ua == ub) || (ub .<= ua) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 36'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -================================================ -Warning: "LessThanSTest_sat-cudd.bsv", line 26, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysLessThanSTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/LessThanTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/LessThanTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 00f96c938..000000000 --- a/testsuite/bsc.scheduler/sat/LessThanTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,55 +0,0 @@ -checking package dependencies -compiling LessThanTest_sat-cudd.bsv -code generation for sysLessThanTest starts -Warning: "LessThanTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "LessThanTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d5, 1), (uc.write uc_PLUS_2___d9, 1), (uc.write uc_PLUS_3___d12, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysLessThanTest.sched -=== Generated schedule for sysLessThanTest === - -Rule schedule -------------- -Rule: aa -Predicate: ua < ub -Blocking rules: (none) - -Rule: ab -Predicate: (ua == ub) || (ub <= ua) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 36'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=============================================== -Warning: "LessThanTest_sat-cudd.bsv", line 26, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysLessThanTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/MultTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/MultTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 0535597e8..000000000 --- a/testsuite/bsc.scheduler/sat/MultTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,54 +0,0 @@ -checking package dependencies -compiling MultTest_sat-cudd.bsv -code generation for sysMultTest starts -Warning: "MultTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "MultTest_sat-cudd.bsv", line 9, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [RL_aa], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d9, 1), (uc.write uc_PLUS_2___d20, 1), (uc.write uc_PLUS_3___d23, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysMultTest.sched -=== Generated schedule for sysMultTest === - -Rule schedule -------------- -Rule: aa -Predicate: ((12'd11 * ua)[11:0] * ub)[11:0] == 12'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! (((ub + {ub[10:0], 1'd0} + {ub[8:0], 3'd0}) * ua)[11:0] == - 12'd17) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 12'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=========================================== -Verilog file created: sysMultTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ParamBitsTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ParamBitsTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 034ed580c..000000000 --- a/testsuite/bsc.scheduler/sat/ParamBitsTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,53 +0,0 @@ -checking package dependencies -compiling ParamBitsTest_sat-cudd.bsv -code generation for sysParamBitsTest starts -Warning: "ParamBitsTest_sat-cudd.bsv", line 5, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ParamBitsTest_sat-cudd.bsv", line 5, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d3, 1), (uc.write uc_PLUS_2___d5, 1), (uc.write uc_PLUS_3___d6, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysParamBitsTest.sched -=== Generated schedule for sysParamBitsTest === - -Rule schedule -------------- -Rule: aa -Predicate: p == 8'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! (p == 8'd17) -Blocking rules: (none) - -Rule: bb -Predicate: True -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -================================================ -Warning: "ParamBitsTest_sat-cudd.bsv", line 19, column 9: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysParamBitsTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ParamBoolTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ParamBoolTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index d4018a835..000000000 --- a/testsuite/bsc.scheduler/sat/ParamBoolTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,53 +0,0 @@ -checking package dependencies -compiling ParamBoolTest_sat-cudd.bsv -code generation for sysParamBoolTest starts -Warning: "ParamBoolTest_sat-cudd.bsv", line 5, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ParamBoolTest_sat-cudd.bsv", line 5, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d2, 1), (uc.write uc_PLUS_2___d4, 1), (uc.write uc_PLUS_3___d5, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysParamBoolTest.sched -=== Generated schedule for sysParamBoolTest === - -Rule schedule -------------- -Rule: aa -Predicate: p -Blocking rules: (none) - -Rule: ab -Predicate: ! p -Blocking rules: (none) - -Rule: bb -Predicate: True -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -================================================ -Warning: "ParamBoolTest_sat-cudd.bsv", line 19, column 9: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysParamBoolTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/RemTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/RemTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 056323fa3..000000000 --- a/testsuite/bsc.scheduler/sat/RemTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,93 +0,0 @@ -checking package dependencies -compiling RemTest_sat-cudd.bsv -code generation for sysRemTest starts -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ac". Conflicts: - "aa" cannot fire before "ac": calls to uc.write vs. uc.read - "ac" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ad". Conflicts: - "aa" cannot fire before "ad": calls to uc.write vs. uc.read - "ad" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ae". Conflicts: - "aa" cannot fire before "ae": calls to uc.write vs. uc.read - "ae" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ad" was treated as more urgent than "bb". Conflicts: - "ad" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ad": calls to uc.write vs. uc.read -Warning: "RemTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ae" was treated as more urgent than "bb". Conflicts: - "ae" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ae": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], - RL_ab -> [RL_aa], - RL_ac -> [RL_aa], - RL_ad -> [RL_aa], - RL_ae -> [RL_aa], - RL_bb -> [RL_ae, RL_ad, RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_ac, RL_ad, RL_ae, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_2___d11, 1), - (uc.write uc_PLUS_3___d20, 1), - (uc.write uc_PLUS_1___d9, 1), - (uc.write uc_MINUS_2___d23, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysRemTest.sched -=== Generated schedule for sysRemTest === - -Rule schedule -------------- -Rule: aa -Predicate: (! (ub == 2'd0)) && ((ua % ub) == 2'd1) -Blocking rules: (none) - -Rule: ab -Predicate: ub <= 2'd1 -Blocking rules: aa - -Rule: ac -Predicate: (ua == 2'd0) && (! (ub <= 2'd1)) -Blocking rules: aa - -Rule: ad -Predicate: (ua == 2'd2) && ((ub == 2'd2) || (ub == 2'd3)) -Blocking rules: aa - -Rule: ae -Predicate: (ua == 2'd3) && (ub == 2'd3) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 2'd0) -Blocking rules: ae, ad, ab, aa - -Logical execution order: aa, ab, ac, ad, ae, bb - -========================================== -Verilog file created: sysRemTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/SextTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/SextTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 3931a955a..000000000 --- a/testsuite/bsc.scheduler/sat/SextTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,55 +0,0 @@ -checking package dependencies -compiling SextTest_sat-cudd.bsv -code generation for sysSextTest starts -Warning: "SextTest_sat-cudd.bsv", line 22, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "SextTest_sat-cudd.bsv", line 22, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d6, 1), (uc.write uc_PLUS_2___d14, 1), (uc.write uc_PLUS_3___d17, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysSextTest.sched -=== Generated schedule for sysSextTest === - -Rule schedule -------------- -Rule: aa -Predicate: (sext ua) == ub -Blocking rules: (none) - -Rule: ab -Predicate: ! ({ua[3], ua[3], ua[3], ua[3], ua[3], ua[3], ua[3], ua} == ub) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 4'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=========================================== -Warning: "SextTest_sat-cudd.bsv", line 40, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysSextTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ShiftLTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ShiftLTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 7aee42b4f..000000000 --- a/testsuite/bsc.scheduler/sat/ShiftLTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,53 +0,0 @@ -checking package dependencies -compiling ShiftLTest_sat-cudd.bsv -code generation for sysShiftRTest starts -Warning: "ShiftLTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ShiftLTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [RL_aa], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d6, 1), (uc.write uc_PLUS_2___d12, 1), (uc.write uc_PLUS_3___d15, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysShiftRTest.sched -=== Generated schedule for sysShiftRTest === - -Rule schedule -------------- -Rule: aa -Predicate: (ua << ub) == 18'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((ua * (18'd1 << ub))[17:0] == 18'd17) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 18'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -============================================= -Verilog file created: sysShiftRTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ShiftRATest2_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ShiftRATest2_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 612fdd7ff..000000000 --- a/testsuite/bsc.scheduler/sat/ShiftRATest2_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,97 +0,0 @@ -checking package dependencies -compiling ShiftRATest2_sat-cudd.bsv -code generation for sysShiftRATest starts -Warning: "ShiftRATest2_sat-cudd.bsv", line 12, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ShiftRATest2_sat-cudd.bsv", line 12, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [RL_aa], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d8, 1), (uc.write uc_PLUS_2___d27, 1), (uc.write uc_PLUS_3___d30, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysShiftRATest.sched -=== Generated schedule for sysShiftRATest === - -Rule schedule -------------- -Rule: aa -Predicate: (ua >>> - (ub[30] - ? (_ :: Bit 31) - : ub)) == - 18'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((((ua[17] && - (! (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17])) || - ((! ua[17]) && - (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17])) - ? - ((ua[17] - ? - ua - : ua) / - ((31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17] - ? - (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17:0] - : (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17:0])) - : ((ua[17] - ? - ua - : ua) / - ((31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17] - ? - (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17:0] - : (31'd1 << - (ub[30] - ? (_ :: Bit 31) - : ub))[17:0]))) == - 18'd17) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 18'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -============================================== -Verilog file created: sysShiftRATest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ShiftRATest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ShiftRATest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 67c65a390..000000000 --- a/testsuite/bsc.scheduler/sat/ShiftRATest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,97 +0,0 @@ -checking package dependencies -compiling ShiftRATest_sat-cudd.bsv -code generation for sysShiftRATest starts -Warning: "ShiftRATest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ShiftRATest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [RL_aa], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d8, 1), (uc.write uc_PLUS_2___d26, 1), (uc.write uc_PLUS_3___d29, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysShiftRATest.sched -=== Generated schedule for sysShiftRATest === - -Rule schedule -------------- -Rule: aa -Predicate: (ua >>> - (ub[17] - ? (_ :: Bit 18) - : ub)) == - 18'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((((ua[17] && - (! (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub))[17])) || - ((! ua[17]) && - (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub))[17])) - ? - ((ua[17] - ? - ua - : ua) / - ((18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub))[17] - ? - (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub)) - : (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub)))) - : ((ua[17] - ? - ua - : ua) / - ((18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub))[17] - ? - (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub)) - : (18'd1 << - (ub[17] - ? (_ :: Bit 18) - : ub))))) == - 18'd17) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 18'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -============================================== -Verilog file created: sysShiftRATest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ShiftRTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ShiftRTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index bd7b7f4a3..000000000 --- a/testsuite/bsc.scheduler/sat/ShiftRTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,53 +0,0 @@ -checking package dependencies -compiling ShiftRTest_sat-cudd.bsv -code generation for sysShiftRTest starts -Warning: "ShiftRTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "ab". Conflicts: - "aa" cannot fire before "ab": calls to uc.write vs. uc.read - "ab" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ShiftRTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [RL_aa], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d6, 1), (uc.write uc_PLUS_2___d11, 1), (uc.write uc_PLUS_3___d14, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysShiftRTest.sched -=== Generated schedule for sysShiftRTest === - -Rule schedule -------------- -Rule: aa -Predicate: (ua >> ub) == 18'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! ((ua / (18'd1 << ub)) == 18'd17) -Blocking rules: aa - -Rule: bb -Predicate: ! (ua == 18'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -============================================= -Verilog file created: sysShiftRTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/TruncateTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/TruncateTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index adb816953..000000000 --- a/testsuite/bsc.scheduler/sat/TruncateTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,53 +0,0 @@ -checking package dependencies -compiling TruncateTest_sat-cudd.bsv -code generation for sysAddTest starts -Warning: "TruncateTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "TruncateTest_sat-cudd.bsv", line 10, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, [(uc.write x__h185, 1), (uc.write x__h272, 1), (uc.write x__h283, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysAddTest.sched -=== Generated schedule for sysAddTest === - -Rule schedule -------------- -Rule: aa -Predicate: ua[17:5] == 13'd17 -Blocking rules: (none) - -Rule: ab -Predicate: ! (ua[17:5] == 13'd17) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 36'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -========================================== -Warning: "TruncateTest_sat-cudd.bsv", line 30, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysAddTest.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/Word64Test_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/Word64Test_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index d8a1392c5..000000000 --- a/testsuite/bsc.scheduler/sat/Word64Test_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,49 +0,0 @@ -checking package dependencies -compiling Word64Test_sat-cudd.bsv -code generation for sysWord64Test starts -Warning: "Word64Test_sat-cudd.bsv", line 6, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, [(uc.write x__h248, 1), (uc.write x__h307, 1), (uc.write x__h373, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysWord64Test.sched -=== Generated schedule for sysWord64Test === - -Rule schedule -------------- -Rule: aa -Predicate: ua[63:31] == 33'h1FFFFFFFF -Blocking rules: (none) - -Rule: ab -Predicate: ua[63:31] == 33'hFFFFFFFF -Blocking rules: (none) - -Rule: bb -Predicate: (ua[63:62] == 2'b11) && (ua[61:31] == 31'h7FFFFFFF) -Blocking rules: aa - -Logical execution order: aa, ab, bb - -============================================= -Warning: "Word64Test_sat-cudd.bsv", line 22, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysWord64Test.v -All packages are up to date. diff --git a/testsuite/bsc.scheduler/sat/ZextTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ZextTest_sat-cudd.bsv.bsc-sched-out.expected deleted file mode 100644 index 8d4f1fcb5..000000000 --- a/testsuite/bsc.scheduler/sat/ZextTest_sat-cudd.bsv.bsc-sched-out.expected +++ /dev/null @@ -1,55 +0,0 @@ -checking package dependencies -compiling ZextTest_sat-cudd.bsv -code generation for sysZextTest starts -Warning: "ZextTest_sat-cudd.bsv", line 22, column 8: (G0010) - Rule "aa" was treated as more urgent than "bb". Conflicts: - "aa" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "aa": calls to uc.write vs. uc.read -Warning: "ZextTest_sat-cudd.bsv", line 22, column 8: (G0010) - Rule "ab" was treated as more urgent than "bb". Conflicts: - "ab" cannot fire before "bb": calls to uc.write vs. uc.read - "bb" cannot fire before "ab": calls to uc.write vs. uc.read -=== schedule: -parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_ab, RL_aa]]] -order: [RL_aa, RL_ab, RL_bb] - ------ - -=== resources: -[(ua.read, [(ua.read, 1)]), - (ub.read, [(ub.read, 1)]), - (uc.read, [(uc.read, 1)]), - (uc.write, - [(uc.write uc_PLUS_1___d6, 1), (uc.write uc_PLUS_2___d8, 1), (uc.write uc_PLUS_3___d11, 1)])] - ------ - -=== vschedinfo: -SchedInfo [] [] [] [] - ------ - -Schedule dump file created: sysZextTest.sched -=== Generated schedule for sysZextTest === - -Rule schedule -------------- -Rule: aa -Predicate: {4'd0, ua} == ub -Blocking rules: (none) - -Rule: ab -Predicate: ! ({4'd0, ua} == ub) -Blocking rules: (none) - -Rule: bb -Predicate: ! (ua == 4'd0) -Blocking rules: ab, aa - -Logical execution order: aa, ab, bb - -=========================================== -Warning: "ZextTest_sat-cudd.bsv", line 40, column 10: (G0021) - According to the generated schedule, rule `bb' can never fire. -Verilog file created: sysZextTest.v -All packages are up to date.