uspace/lib/softfloat/div.h

   1 /*
   2  * Copyright (c) 2005 Josef Cejka
   3  * Copyright (c) 2011 Petr Koupy
   4  * All rights reserved.
   5  *
   6  * Redistribution and use in source and binary forms, with or without
   7  * modification, are permitted provided that the following conditions
   8  * are met:
   9  *
  10  * - Redistributions of source code must retain the above copyright
  11  *   notice, this list of conditions and the following disclaimer.
  12  * - Redistributions in binary form must reproduce the above copyright
  13  *   notice, this list of conditions and the following disclaimer in the
  14  *   documentation and/or other materials provided with the distribution.
  15  * - The name of the author may not be used to endorse or promote products
  16  *   derived from this software without specific prior written permission.
  17  *
  18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28  */
  29
  30 /** @addtogroup softfloat
  31  * @{
  32  */
  33 /** @file Division functions.
  34  */
  35
  36 #ifndef __DIV_H__
  37 #define __DIV_H__
  38
  39 extern float32 div_float32(float32, float32);
  40 extern float64 div_float64(float64, float64);
  41 extern float96 div_float96(float96, float96);
  42 extern float128 div_float128(float128, float128);
  43
  44 #ifdef float32_t
  45 extern float32_t __divsf3(float32_t, float32_t);
  46 extern float32_t __aeabi_fdiv(float32_t, float32_t);
  47 #endif
  48
  49 #ifdef float64_t
  50 extern float64_t __divdf3(float64_t, float64_t);
  51 extern float64_t __aeabi_ddiv(float64_t, float64_t);
  52 #endif
  53
  54 #ifdef float128_t
  55 extern float128_t __divtf3(float128_t, float128_t);
  56 extern void _Qp_div(float128_t *, float128_t *, float128_t *);
  57 #endif
  58
  59 #endif
  60
  61 /** @}
  62  */