diff options
Diffstat (limited to 'src/systemc/tests/systemc/compliance_1666/test235a/test235a.cpp')
| -rw-r--r-- | src/systemc/tests/systemc/compliance_1666/test235a/test235a.cpp | 175 |
1 files changed, 175 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/compliance_1666/test235a/test235a.cpp b/src/systemc/tests/systemc/compliance_1666/test235a/test235a.cpp new file mode 100644 index 000000000..1df0f5fde --- /dev/null +++ b/src/systemc/tests/systemc/compliance_1666/test235a/test235a.cpp @@ -0,0 +1,175 @@ +#include <systemc>
+using namespace sc_core;
+using namespace sc_dt;
+using std::cout;
+using std::endl;
+
+// 35) Port policy (correct 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_ONE_OR_MORE_BOUND> p2;
+ sc_port<sc_signal_in_if<int>,2,SC_ONE_OR_MORE_BOUND> p3;
+ sc_port<sc_signal_in_if<int>,0,SC_ONE_OR_MORE_BOUND> p4;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p5;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p6;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p7;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p8;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p9;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p10;
+ sc_port<sc_signal_in_if<int>,1,SC_ALL_BOUND> p11;
+ sc_port<sc_signal_in_if<int>,3,SC_ALL_BOUND> p12;
+
+ sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p1_all_2;
+ sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p2_all_2;
+ sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p3_all_2;
+ sc_port<sc_signal_in_if<int>,5,SC_ALL_BOUND> p4_all_5;
+ sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p5_all_2;
+
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p6_zero;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p7_one;
+ sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p8_two;
+
+ SC_CTOR(M)
+ : p1("p1"),
+ p2("p2"),
+ p3("p3"),
+ p4("p4"),
+ p5("p5"),
+ p6("p6"),
+ p7("p7"),
+ p8("p8"),
+ p9("p9"),
+ p10("p10"),
+ p11("p11"),
+ p12("p12"),
+ p1_all_2("p1_all_2"),
+ p2_all_2("p2_all_2"),
+ p3_all_2("p3_all_2"),
+ p4_all_5("p4_all_5"),
+ p5_all_2("p5_all_2"),
+ p6_zero("p6_zero"),
+ p7_one("p7_one"),
+ p8_two("p8_two")
+ {}
+ void end_of_elaboration()
+ {
+ sc_assert(p1.size() == 1);
+ sc_assert(p2.size() == 1);
+ sc_assert(p3.size() == 2);
+ sc_assert(p4.size() == 3);
+ sc_assert(p5.size() == 0);
+ sc_assert(p6.size() == 1);
+ sc_assert(p7.size() == 2);
+ sc_assert(p8.size() == 0);
+ sc_assert(p9.size() == 1);
+ sc_assert(p10.size() == 2);
+ sc_assert(p11.size() == 1);
+ sc_assert(p12.size() == 3);
+
+ sc_assert(p1_all_2.size() == 2);
+ sc_assert(p2_all_2.size() == 2);
+ sc_assert(p3_all_2.size() == 2);
+ sc_assert(p4_all_5.size() == 5);
+ sc_assert(p5_all_2.size() == 2);
+
+ sc_assert(p6_zero.size() == 0);
+ sc_assert(p7_one.size() == 1);
+ sc_assert(p8_two.size() == 2);
+ }
+};
+
+SC_MODULE(Top)
+{
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p1_twice;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p2_once;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p3_once;
+ sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p4_unbound;
+
+ M *m;
+ sc_signal<int> sig1, sig2, sig3, sig4;
+
+ SC_CTOR(Top)
+ {
+ m = new M("m");
+ m->p1(sig1);
+
+ m->p2(sig1);
+
+ m->p3(sig1);
+ m->p3(sig2);
+
+ m->p4(sig1);
+ m->p4(sig2);
+ m->p4(sig3);
+
+ m->p6(sig3);
+
+ m->p7(sig1);
+ m->p7(sig2);
+
+ m->p9(sig1);
+
+ m->p10(sig1);
+ m->p10(sig2);
+
+ m->p11(sig1);
+
+ m->p12(sig1);
+ m->p12(sig2);
+ m->p12(sig3);
+
+ m->p1_all_2(p1_twice);
+
+ m->p2_all_2(p2_once);
+ m->p2_all_2(p3_once);
+
+ m->p3_all_2(sig1);
+ m->p3_all_2(p2_once);
+
+ m->p4_all_5(p2_once);
+ m->p4_all_5(sig1);
+ m->p4_all_5(p1_twice);
+ m->p4_all_5(p3_once);
+ m->p4_all_5(p4_unbound);
+
+ m->p5_all_2(p2_once);
+ m->p5_all_2(p4_unbound);
+
+ m->p6_zero(p4_unbound);
+
+ m->p7_one(p2_once);
+
+ m->p8_two(p2_once);
+ }
+ void before_end_of_elaboration()
+ {
+ m->p5_all_2(p4_unbound);
+ m->p5_all_2(p3_once);
+ m->p5_all_2(p4_unbound);
+
+ m->p6_zero(p4_unbound);
+
+ m->p8_two(sig1);
+ }
+};
+
+int sc_main(int argc, char* argv[])
+{
+ cout << "Should be silent..." << endl;
+
+ sc_signal<int> sig1, sig2, sig3, sig4;
+
+ Top top("top");
+ top.p1_twice(sig1);
+ top.p1_twice(sig2);
+
+ top.p2_once(sig3);
+ top.p3_once(sig4);
+
+ sc_start(1, SC_NS);
+
+ cout << endl << "Success" << endl;
+ return 0;
+}
|