Move runtime transactional memory tests to libitm testsute.

From-SVN: r228489

3 files changed, 45 insertions, 0 deletions

diff --git a/libitm/testsuite/libitm.c++/eh-2.C b/libitm/testsuite/libitm.c++/eh-2.C
new file mode 100644
index 0000000..1561211
--- /dev/null
+++ b/libitm/testsuite/libitm.c++/eh-2.C
@@ -0,0 +1,10 @@
+// A handler can involve a transaction-safety conversion.
+// { dg-do run }
+// { dg-options "-fgnu-tm" }
+
+void g() transaction_safe {}
+int main()
+{
+  try { throw g; }
+  catch (void (*p)()) { }
+}
diff --git a/libitm/testsuite/libitm.c++/eh-3.C b/libitm/testsuite/libitm.c++/eh-3.C
new file mode 100644
index 0000000..307a639
--- /dev/null
+++ b/libitm/testsuite/libitm.c++/eh-3.C
@@ -0,0 +1,14 @@
+// A handler cannot do the reverse of a transaction-safety conversion.
+// { dg-do run }
+// { dg-options "-fgnu-tm" }
+
+extern "C" void abort();
+
+void g() {}
+
+int main()
+{
+  try { throw g; }
+  catch (void (*p)() transaction_safe) { abort(); }
+  catch (...) { }
+}
diff --git a/libitm/testsuite/libitm.c++/eh-4.C b/libitm/testsuite/libitm.c++/eh-4.C
new file mode 100644
index 0000000..68275e9
--- /dev/null
+++ b/libitm/testsuite/libitm.c++/eh-4.C
@@ -0,0 +1,21 @@
+// Test that throwing out of an atomic_commit block commits the transaction.
+
+// { dg-do run }
+// { dg-options "-fgnu-tm" }
+
+int main()
+{
+  static int i;
+  bool caught = false;
+  try {
+    atomic_commit {
+      i = 12;
+      throw 42;
+      i = 24;
+    }
+  } catch (int x) {
+    caught = (x == 42);
+  }
+  if (!caught || i != 12)
+    __builtin_abort();
+}