]> git.ipfire.org Git - thirdparty/gcc.git/blame - libgcc/config/arc/ieee-754/eqdf2.S
[ARC] Handle FPX NaN within optimized floating point library.
[thirdparty/gcc.git] / libgcc / config / arc / ieee-754 / eqdf2.S
CommitLineData
818ab71a 1/* Copyright (C) 2008-2016 Free Software Foundation, Inc.
d38a64b4
JR
2 Contributor: Joern Rennecke <joern.rennecke@embecosm.com>
3 on behalf of Synopsys Inc.
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 3, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17Under Section 7 of GPL version 3, you are granted additional
18permissions described in the GCC Runtime Library Exception, version
193.1, as published by the Free Software Foundation.
20
21You should have received a copy of the GNU General Public License and
22a copy of the GCC Runtime Library Exception along with this program;
23see 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
490: 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
39d50464
CZ
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__ */
d38a64b4
JR
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? */