* device/lib/pic/libdev/Makefile.in: build device-specific
[fw/sdcc] / device / lib / _fsreturnval.c
index 798f934b7765aaf96181b5ae9a6200afbe30ac7d..c14894cb5976e85ee27b916566d9ba14286a79fd 100644 (file)
 #define SDCC_FLOAT_LIB
 #include <float.h>
 
-static void dummy(void) _naked
+
+#ifdef FLOAT_ASM_MCS51
+
+static void dummy(void) __naked
 {
-       _asm
+       __asm
 
        .globl  fs_round_and_return
 fs_round_and_return:
@@ -96,6 +99,7 @@ fs_return_nan:
        mov     a, #0x7F
        ret
 
-       _endasm;
+       __endasm;
 }
 
+#endif