verifier documentation

[cacao.git] / builtin.h

diff --git a/builtin.h b/builtin.h
index 63c407205a6e2525dd6b4b781f3c226f2820de93..d3db09a53befeb35fc9bfb9ec3a8b296b702e27b 100644 (file)
--- a/builtin.h
+++ b/builtin.h
@@ -28,7 +28,7 @@
 
    Changes: Edwin Steiner
 
-   $Id: builtin.h 862 2004-01-06 23:42:01Z stefan $
+   $Id: builtin.h 879 2004-01-12 13:31:56Z twisti $
 
 */
 
@@ -53,23 +53,12 @@
 #define DBL_NEGINF  0xfff0000000000000LL
 
 
-/* some platforms do not have float versions of these functions */
+/* float versions are not defined in gnu classpath's fdlibm */
 
-#ifndef HAVE_COPYSIGNF
-#define copysignf copysign
-#endif
-
-#ifndef HAVE_FINITEF
-#define finitef finite
-#endif
-
-#ifndef HAVE_FMODF
-#define fmodf fmod
-#endif
-
-#ifndef HAVE_ISNANF
-#define isnanf isnan
-#endif
+#define copysignf    copysign
+#define finitef      finite
+#define fmodf        fmod
+#define isnanf       isnan
 
 
 /**********************************************************************/
@@ -374,6 +363,10 @@ float    builtin_d2f(double a);    /* XXX? */
 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
 /* NOT AN OP */
 
+/* builtin_dummy just panics if it is executed. */
+s4 builtin_dummy();
+/* NOT AN OP */
+
 /* conversion helper functions */
 
 inline float intBitsToFloat(s4 i);