diff options
author | Gabe Black <gabeblack@google.com> | 2018-05-24 01:37:55 -0700 |
---|---|---|
committer | Gabe Black <gabeblack@google.com> | 2018-08-08 10:09:54 +0000 |
commit | 16fa8d7cc8c92f5ab879e4cf9c6c0bbb3567860f (patch) | |
tree | 7b6faaacb4574a555e561534aa4a8508c0624c32 /src/systemc/tests/systemc/compliance_1666/test235b | |
parent | 7235d3b5211d0ba8f528d930a4c1e7ad62eec51a (diff) | |
download | gem5-16fa8d7cc8c92f5ab879e4cf9c6c0bbb3567860f.tar.xz |
systemc: Import tests from the Accellera systemc distribution.
Change-Id: Iad76b398949a55d768a34d027a2d8e3739953da6
Reviewed-on: https://gem5-review.googlesource.com/10845
Reviewed-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'src/systemc/tests/systemc/compliance_1666/test235b')
-rw-r--r-- | src/systemc/tests/systemc/compliance_1666/test235b/golden/test235b.log | 25 | ||||
-rw-r--r-- | src/systemc/tests/systemc/compliance_1666/test235b/test235b.cpp | 92 |
2 files changed, 117 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/compliance_1666/test235b/golden/test235b.log b/src/systemc/tests/systemc/compliance_1666/test235b/golden/test235b.log new file mode 100644 index 000000000..90ff5e501 --- /dev/null +++ b/src/systemc/tests/systemc/compliance_1666/test235b/golden/test235b.log @@ -0,0 +1,25 @@ +SystemC Simulation +Should be 7 errors but no aborts ... + +Error: (E107) bind interface to port failed: interface already bound to port: port 'top.m.p7' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: 0 actual binds is less than required 5: port 'top.m.p6' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: 6 binds exceeds maximum of 5 allowed: port 'top.m.p5' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: 2 binds exceeds maximum of 1 allowed: port 'top.m.p4' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: 3 binds exceeds maximum of 2 allowed: port 'top.m.p3' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: 1 actual binds is less than required 2: port 'top.m.p2' (sc_port) +In file: <removed by verify.pl> + +Error: (E109) complete binding failed: port not bound: port 'top.m.p1' (sc_port) +In file: <removed by verify.pl> + +Success diff --git a/src/systemc/tests/systemc/compliance_1666/test235b/test235b.cpp b/src/systemc/tests/systemc/compliance_1666/test235b/test235b.cpp new file mode 100644 index 000000000..d5855e1cc --- /dev/null +++ b/src/systemc/tests/systemc/compliance_1666/test235b/test235b.cpp @@ -0,0 +1,92 @@ +#include <systemc>
+using namespace sc_core;
+using namespace sc_dt;
+using std::cout;
+using std::endl;
+
+// 35) Port policy (incorrect binding)
+
+SC_MODULE(M)
+{
+ sc_port<sc_signal_in_if<int>,1,SC_ONE_OR_MORE_BOUND> p1;
+ sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p2;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p3;
+ sc_port<sc_signal_in_if<int>,1,SC_ONE_OR_MORE_BOUND> p4;
+ sc_port<sc_signal_in_if<int>,5,SC_ALL_BOUND> p5;
+ sc_port<sc_signal_in_if<int>,5,SC_ALL_BOUND> p6;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p7;
+
+ SC_CTOR(M)
+ : p1("p1"),
+ p2("p2"),
+ p3("p3"),
+ p4("p4"),
+ p5("p5"),
+ p6("p6"),
+ p7("p7")
+ {}
+ void end_of_elaboration()
+ {
+ sc_assert(p1.size() == 0);
+ sc_assert(p2.size() == 1);
+ sc_assert(p3.size() == 3);
+ sc_assert(p4.size() == 2);
+ sc_assert(p5.size() == 6);
+ sc_assert(p6.size() == 0);
+ sc_assert(p7.size() == 2);
+ }
+};
+
+SC_MODULE(Top)
+{
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p0_unbound;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p1_once;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p2_twice;
+
+ M *m;
+ sc_signal<int> sig1, sig2, sig3, sig4;
+
+ SC_CTOR(Top)
+ {
+ m = new M("m");
+ m->p1(p0_unbound);
+
+ m->p2(p1_once);
+
+ m->p3(p1_once);
+ m->p3(p2_twice);
+
+ m->p4(p2_twice);
+
+ m->p5(sig1);
+ m->p5(p1_once);
+ m->p5(sig2);
+ m->p5(p2_twice);
+ m->p5(sig3);
+
+ m->p7(sig1);
+ m->p7(sig1);
+ }
+};
+
+int sc_main(int argc, char* argv[])
+{
+ cout << "Should be 7 errors but no aborts ..." << endl;
+
+ sc_report_handler::set_actions(SC_ERROR, SC_DISPLAY);
+
+ sc_signal<int> sig1, sig2, sig3, sig4;
+
+ Top top("top");
+ top.p1_once(sig1);
+
+ top.p2_twice(sig2);
+ top.p2_twice(sig3);
+
+ sc_start(1, SC_NS);
+
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == 7);
+
+ cout << endl << "Success" << endl;
+ return 0;
+}
|