From 91f73946a85b7f70a1f1f05916135722db311b7a Mon Sep 17 00:00:00 2001
From: Justin Seyster <jseyster@cs.sunysb.edu>
Date: Tue, 7 Sep 2010 18:24:22 -0400
Subject: [PATCH] Check prototypes for float types testcase.

---
 test/float-types.xml      |  6 ++++++
 test/plugin-float-types.c | 16 ++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/test/float-types.xml b/test/float-types.xml
index 1deb6a4..629baf8 100644
--- a/test/float-types.xml
+++ b/test/float-types.xml
@@ -14,5 +14,11 @@
       128 advice in binary128 (0.33333333333333333334, 0.33333333333333333334)
       quad:	0.33333333333333333334
     </output>
+    <prototypes>
+      void _advice_128(signed char *, long double, long double);
+      void _advice_32(signed char *, float, float);
+      void _advice_64(signed char *, double, double);
+      void _advice_all(signed char *, ALL_FP_T, ALL_FP_T);
+    </prototypes>
   </run>
 </testcase>
diff --git a/test/plugin-float-types.c b/test/plugin-float-types.c
index e6902e1..643e27b 100644
--- a/test/plugin-float-types.c
+++ b/test/plugin-float-types.c
@@ -38,6 +38,22 @@ static unsigned int plugin_float()
   return 0;
 }
 
+void aop_finish()
+{
+  const char *header;
+
+  fprintf (stderr, "FINISH HIM!\n");
+
+  header = aop_get_arg_value("header");
+
+  if (header != NULL) {
+    int res;
+    res = aop_write_c_header(header, "_FLOAT_HEADER_", NULL, NULL);
+    if (res != 0)
+      perror(header);
+  }
+}
+
 AOP_MAIN_PROTO aop_main()
 {
   aop_register_pass("float", plugin_float);
-- 
2.43.0