1 files changed, 153 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/misc/unit/control/wait/wait.cpp b/src/systemc/tests/systemc/misc/unit/control/wait/wait.cpp
new file mode 100644
index 000000000..bc3044caa
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/unit/control/wait/wait.cpp
@@ -0,0 +1,153 @@
+/*****************************************************************************
+
+  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+  more contributor license agreements.  See the NOTICE file distributed
+  with this work for additional information regarding copyright ownership.
+  Accellera licenses this file to you under the Apache License, Version 2.0
+  (the "License"); you may not use this file except in compliance with the
+  License.  You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+  Unless required by applicable law or agreed to in writing, software
+  distributed under the License is distributed on an "AS IS" BASIS,
+  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+  implied.  See the License for the specific language governing
+  permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+  wait.cpp -- 
+
+  Original Author: Daniel Aarno, Intel, Corp 2015-07-23
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+  changes you are making here.
+
+      Name, Affiliation, Date:
+  Description of Modification:
+
+ *****************************************************************************/
+
+#include <systemc>
+
+using sc_core::sc_time;
+using sc_core::SC_US;
+
+namespace {
+int first_line = 0;
+
+bool endsWith(const std::string &str, const std::string &ending) {
+    if (ending.size() > str.size()) {
+        return false;
+    }
+    return std::equal(ending.rbegin(), ending.rend(), str.rbegin());
+}
+
+bool waitFunIsTrue() {
+  if (sc_core::sc_time_stamp() < sc_time(2000, SC_US)) {
+    return false;
+  }
+
+  if (sc_core::sc_time_stamp() < sc_time(3000, SC_US)) {
+    sc_time delay(10, SC_US);
+    SC_WAITN(delay);
+    return false;
+  }
+
+  if (sc_core::sc_time_stamp() < sc_time(4000, SC_US)) {
+    return false;
+  }
+
+  return true;
+}
+
+SC_MODULE(Wait) {
+  SC_CTOR(Wait) : clk( "clk", 10, SC_US, 0.5, 100, SC_US) {
+    SC_THREAD(thread);
+    sensitive << clk;
+  }
+
+  void thread() {
+    sc_time delay(10, SC_US);
+    wait(delay);  // 1st
+
+    first_line = __LINE__ + 1;
+    SC_WAITN(delay);  // Wait some time
+    wait(delay);  // 2nd
+
+    SC_WAIT();  // Wait for clk
+    wait(delay);  // 3rd
+
+    SC_WAIT_UNTIL(sc_core::sc_time_stamp() > sc_time(1000, SC_US));
+    wait(delay);  // 4th
+
+    SC_WAIT_UNTIL(waitFunIsTrue());
+  }
+
+  sc_core::sc_clock clk;
+};
+
+}  // namespace
+
+int sc_main(int argc, char ** argv) {
+  Wait w("dut");
+
+  sc_core::sc_process_handle hnd( sc_core::sc_find_object("dut.thread") );
+  const sc_core::sc_process_b *thread
+    = dynamic_cast<sc_core::sc_process_b*>(hnd.get_process_object());
+  sc_assert(hnd.valid() && thread);
+
+  sc_assert(thread->file == NULL);  // 1st wait(delay)
+  sc_assert(thread->lineno == 0);
+  sc_core::sc_start(sc_time(15, SC_US));
+
+  int lineno = first_line;
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // SC_WAITN
+  sc_assert(thread->lineno == lineno);
+  sc_core::sc_start(sc_time(10, SC_US));
+  sc_assert(thread->file == NULL);  // 2nd wait(delay)
+  sc_assert(thread->lineno == 0);
+  sc_core::sc_start(sc_time(10, SC_US));
+
+  lineno += 3;
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // SC_WAIT
+  sc_assert(thread->lineno == lineno);
+  sc_core::sc_start(sc_time(70, SC_US));
+  sc_assert(thread->file == NULL);  // 3rd wait(delay)
+  sc_assert(thread->lineno == 0);
+  sc_core::sc_start(sc_time(10, SC_US));
+
+  lineno += 3;
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // SC_WAIT_UNTIL
+  sc_assert(thread->lineno == lineno);
+  sc_core::sc_start(sc_time(900, SC_US));
+  sc_assert(thread->file == NULL);  // 4th wait(delay)
+  sc_assert(thread->lineno == 0);
+
+  // Ensure that SC_WAIT_UNTIL can handle nested wait calls
+  sc_core::sc_start(sc_time(10, SC_US));
+  lineno += 3;
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // 2nd SC_WAIT_UNTIL
+  sc_assert(thread->lineno == lineno);
+  sc_core::sc_start(sc_time(980, SC_US));  // time should be 2005
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // SC_WAITN in waitFunIsTrue
+  sc_assert(thread->lineno == 60);
+  sc_core::sc_start(sc_time(95, SC_US));
+  sc_assert(endsWith(thread->file, "wait.cpp"));
+  sc_assert(thread->lineno == 60);
+  sc_core::sc_start(sc_time(910, SC_US));
+  sc_assert(endsWith(thread->file, "wait.cpp"));  // 2nd SC_WAIT_UNTIL
+  sc_assert(thread->lineno == lineno);
+  sc_core::sc_start(sc_time(1000, SC_US));
+  sc_assert(thread->file == NULL);  // done
+  sc_assert(thread->lineno == 0);
+
+  return 0;
+}