* device/lib/Makefile.in: reenable floating point in model-xstack-auto
[fw/sdcc] / device / lib / _fsget2args.c
index 404b8ad11f4c4899579ef61394b462a3d7879074..e46738f72383b56ad3397ccb3803448a2e87d1cb 100644 (file)
 #include <float.h>
 
 
+#ifdef FLOAT_ASM_MCS51
 
-
-static void dummy(void) _naked
+static void dummy(void) __naked
 {
        // arg1: passed in a,b,dph,dpl
        // arg2: passed on stack
-       _asm
+       __asm
        .globl  fsgetargs
 fsgetargs:
        // extract the two inputs, placing them into:
@@ -69,10 +69,7 @@ fsgetargs:
        mov     exp_b, a
        mov     r7, b
        ret
-       _endasm;
+       __endasm;
 }
 
-
-
-
-
+#endif