blob: 0d201909cff200f7943313afa124fd15053e0d9f [file] [log] [blame]
/* Copyright (C) 2008-2023 Free Software Foundation, Inc.
Contributor: Joern Rennecke <joern.rennecke@embecosm.com>
on behalf of Synopsys Inc.
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.
GCC 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.
Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
<http://www.gnu.org/licenses/>. */
#include "arc-ieee-754.h"
/* inputs: DBL0, DBL1
output: c,z flags to be used for 'hi' condition
clobber: r12, flags */
/* For NaNs, bit 19.. bit 30 of the high word must be set. */
#if 0 /* DEBUG */
.global __gtdf2
.balign 4
FUNC(__gtdf2)
__gtdf2:
st.a r11,[sp,-4]` push_s blink` st.a r10,[sp,-4]` st.a r9,[sp,-4]
st.a r8,[sp,-4]` st.a r7,[sp,-4]` st.a r6,[sp,-4]` st.a r5,[sp,-4]
st.a r4,[sp,-4]` push_s r3` push_s r2` push_s r1`
bl.d __gtdf2_c` push_s r0
mov r11,r0` pop_s r0` pop_s r1` pop_s r2` pop_s r3
ld.ab r4,[sp,4]` ld.ab r5,[sp,4]` ld.ab r6,[sp,4]`
ld.ab r7,[sp,4]` ld.ab r8,[sp,4]` ld.ab r9,[sp,4]
bl.d __gtdf2_asm` ld.ab r10,[sp,4]
pop_s blink
brgt.d r11,0,0f
ld.ab r11,[sp,4]
jls [blink]
bl abort
0: jhi [blink]
bl abort
ENDFUNC(__gtdf2)
#define __gtdf2 __gtdf2_asm
#endif /* DEBUG */
.global __gtdf2
.balign 4
HIDDEN_FUNC(__gtdf2)
__gtdf2:
or.f r12,DBL0H,DBL1H
bmi.d .Lneg
bmsk_s r12,r12,20
add1.f 0,r12,DBL0H ; clear z; set c iff NaN
add1.cc.f r12,r12,DBL1H ; clear z; set c iff NaN
; don't care: z may or may not be cleared if there is no NaN event
cmp.cc DBL0H,DBL1H
j_s.d [blink]
cmp.eq DBL0L,DBL1L
.balign 4
.Lneg: breq.d DBL0H,0,.L0
add1.f 0,r12,DBL1H
add1.cc.f r12,r12,DBL0H
cmp.cc DBL1H,DBL0H
j_s.d [blink]
cmp.eq DBL1L,DBL0L
.balign 4
.L0:
bxor.f 0,DBL1H,31
beq_s .Lcheck_0
cmp.cc DBL1H,DBL0H
j_s.d [blink]
cmp.eq DBL1L,DBL0L
.balign 4
.Lcheck_0:
; high words suggest DBL0 may be +0, DBL1 -0; check low words.
j_s.d [blink]
or.f 0,DBL0L,DBL1L
ENDFUNC(__gtdf2)