* device/lib/pic/libdev/Makefile.in: build device-specific

[fw/sdcc] / device / lib / _fsrshift.c

diff --git a/device/lib/_fsrshift.c b/device/lib/_fsrshift.c
index 4928fa5f49884f971ebdf7b01fc28e08718b370c..e874020cae360e44d3c5fd3811b55e3435492416 100644 (file)
--- a/device/lib/_fsrshift.c
+++ b/device/lib/_fsrshift.c
@@ -1,10 +1,32 @@
+/* Floating point library in optimized assembly for 8051
+ * Copyright (c) 2004, Paul Stoffregen, paul@pjrc.com
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Library General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+
+
 #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_rshift_a
 fs_rshift_a:
        jz      00020$
@@ -72,6 +94,7 @@ fs_rshift_a:
        djnz    r0, 00005$
 00020$:
        ret
-       _endasm;
+       __endasm;
 }
 
+#endif