libgcc/config/arc/ieee-754/eqdf2.S

   1 /* Copyright (C) 2008-2021 Free Software Foundation, Inc.
   2    Contributor: Joern Rennecke <joern.rennecke@embecosm.com>
   3                 on behalf of Synopsys Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 3, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 Under Section 7 of GPL version 3, you are granted additional
  18 permissions described in the GCC Runtime Library Exception, version
  19 3.1, as published by the Free Software Foundation.
  20
  21 You should have received a copy of the GNU General Public License and
  22 a copy of the GCC Runtime Library Exception along with this program;
  23 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  24 <http://www.gnu.org/licenses/>.  */
  25
  26 #include "arc-ieee-754.h"
  27 /* inputs: DBL0, DBL1
  28    output: z flag
  29    clobber: r12, flags
  30    For NaNs, bit 19.. bit 30 of the high word must be set.  */
  31 #if 0 /* DEBUG */
  32         .global __eqdf2
  33         .balign 4
  34         FUNC(__eqdf2)
  35 __eqdf2:
  36         st.a r11,[sp,-4]` push_s blink` st.a r10,[sp,-4]` st.a r9,[sp,-4]
  37         st.a r8,[sp,-4]` st.a r7,[sp,-4]` st.a r6,[sp,-4]` st.a r5,[sp,-4]
  38         st.a r4,[sp,-4]` push_s r3` push_s r2` push_s r1`
  39         bl.d __eqdf2_c` push_s r0
  40         mov r11,r0` pop_s r0` pop_s r1` pop_s r2` pop_s r3
  41         ld.ab r4,[sp,4]` ld.ab r5,[sp,4]` ld.ab r6,[sp,4]`
  42         ld.ab r7,[sp,4]` ld.ab r8,[sp,4]` ld.ab r9,[sp,4]
  43         bl.d __eqdf2_asm` ld.ab r10,[sp,4]
  44         pop_s blink
  45         breq.d r11,0,0f
  46         ld.ab r11,[sp,4]
  47         jne_s [blink]
  48         bl abort
  49 0:      jeq_s [blink]
  50         bl abort
  51         ENDFUNC(__eqdf2)
  52 #define __eqdf2 __eqdf2_asm
  53 #endif /* DEBUG */
  54         .global __eqdf2
  55         .balign 4
  56         HIDDEN_FUNC(__eqdf2)
  57         /* Good performance as long as the difference in high word is
  58            well predictable (as seen from the branch predictor).  */
  59 __eqdf2:
  60         brne.d DBL0H,DBL1H,.Lhighdiff
  61 #ifndef __HS__
  62         /* The next two instructions are required to recognize the FPX
  63         NaN, which has a pattern like this: 0x7ff0_0000_8000_0000, as
  64         oposite to 0x7ff8_0000_0000_0000.  */
  65         or.f    0,DBL0L,DBL1L
  66         mov_s   r12,0x00200000
  67         bset.ne r12,r12,0
  68 #else
  69         bmsk    r12,DBL0H,20
  70 #endif /* __HS__ */
  71         add1.f  r12,r12,DBL0H /* set c iff NaN; also, clear z if NaN.  */
  72         j_s.d   [blink]
  73         cmp.cc  DBL0L,DBL1L
  74         .balign 4
  75 .Lhighdiff:
  76         or      r12,DBL0H,DBL1H
  77         or.f    0,DBL0L,DBL1L
  78         j_s.d   [blink]
  79         bmsk.eq.f r12,r12,30
  80         ENDFUNC(__eqdf2)
  81 /* ??? could we do better by speeding up some 'common' case of inequality?  */