nexttowardl.s revision 25c28e83beb90e7c80452a7c818c5e6f73a07dc8
/*
* CDDL HEADER START
*
* The contents of this file are subject to the terms of the
* Common Development and Distribution License (the "License").
* You may not use this file except in compliance with the License.
*
* You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
* See the License for the specific language governing permissions
* and limitations under the License.
*
* When distributing Covered Code, include this CDDL HEADER in each
* file and include the License file at usr/src/OPENSOLARIS.LICENSE.
* If applicable, add the following below this CDDL HEADER, with the
* fields enclosed by brackets "[]" replaced with your own identifying
* information: Portions Copyright [yyyy] [name of copyright owner]
*
* CDDL HEADER END
*/
/*
* Copyright 2011 Nexenta Systems, Inc. All rights reserved.
*/
/*
* Copyright 2006 Sun Microsystems, Inc. All rights reserved.
* Use is subject to license terms.
*/
#include "libm.h"
#include "libm_synonyms.h"
.align 4
fucom / x : y
/ x < y
.Lbigger:
/ x > y
.Lsubulp:
andl $0x0000ffff,%ecx
movl %edx,%eax
not %eax
andl $0x80000000,%eax / look at explicit leading bit
orl %ecx,%eax
andl $0x80007fff,%eax
jnz .Lnot_pseudonormal / zero value implies pseudonormal
addl $1,%ecx / if pseudonormal, turn into equivalent normal
.Lnot_pseudonormal:
movl 8(%ebp),%eax / low x
subl $1,%eax / low x - ulp
movl %eax,-12(%ebp)
cmpl $0xffffffff,%eax / this means low x was 0
jz .Lborrow
movl %edx,-8(%ebp)
movl %ecx,-4(%ebp)
jmp .Lfinal
.Lborrow:
cmpl $0x80000000,%edx / look at high x
je .Lsecond_borrow
subl $1,%edx
movl %edx,-8(%ebp)
movl %ecx,-4(%ebp)
jmp .Lfinal
.Lsecond_borrow:
movl %ecx,%eax
andl $0x7fff,%eax / look at exp x without sign bit
cmpl $1,%eax
jbe .Lsubnormal_result / exp > 1 ==> result will be normal
movl $0xffffffff,-8(%ebp)
subl $1,%ecx
movl %ecx,-4(%ebp)
jmp .Lfinal
.Lsubnormal_result:
movl $0x7fffffff,-8(%ebp)
movl %ecx,%eax
andl $0x8000,%eax / look at sign bit
jz .Lpositive
movl $0x8000,%ecx
movl %ecx,-4(%ebp)
jmp .Lfinal
.Lpositive:
movl $0,%ecx
movl %ecx,-4(%ebp)
jmp .Lfinal
.Laddulp:
movl 12(%ebp),%edx / high x
movl 16(%ebp),%ecx / x's exponent
.Lcarry:
.Lfinal:
PIC_SETUP(1)
PIC_SETUP(2)
.Lequal:
.LNaN:
.Lreturn:
.align 4