;
; Реализация среды исполнения языка программирования
; Объектно-ориентированный продвинутый векторный транслятор
;
; Copyright © 2021, 2024 Малик Разработчик
;
; Это свободная программа: вы можете перераспространять ее и/или изменять
; ее на условиях Меньшей Стандартной общественной лицензии GNU в том виде,
; в каком она была опубликована Фондом свободного программного обеспечения;
; либо версии 3 лицензии, либо (по вашему выбору) любой более поздней версии.
;
; Эта программа распространяется в надежде, что она будет полезной,
; но БЕЗО ВСЯКИХ ГАРАНТИЙ; даже без неявной гарантии ТОВАРНОГО ВИДА
; или ПРИГОДНОСТИ ДЛЯ ОПРЕДЕЛЕННЫХ ЦЕЛЕЙ. Подробнее см. в Меньшей Стандартной
; общественной лицензии GNU.
;
; Вы должны были получить копию Меньшей Стандартной общественной лицензии GNU
; вместе с этой программой. Если это не так, см.
; <https://www.gnu.org/licenses/>.
;
; <fold avt.lang.Double — родной код>
if(used avt.lang.Double$toLongBits$double$) ; <fold returns long>
fast avt.lang.Double$toLongBits$double$, \
value, double
fenter
mov r00q, [.value]
fleave
end if ; </fold>
if(used avt.lang.Double$nextAfter$double$) ; <fold returns double>
fast avt.lang.Double$nextAfter$double$, \
value, double
fenter
mov r00q, [.value]
vmovq xmm0, r00q
; не-число
vcomisd xmm0, xmm0
jnp @F
freturn
@@: ; –∞
vcomisd xmm0, [avt.lang.Double$NEGATIVE_INFINITY]
jne @F
vmovq xmm0, [avt.lang.Double$NEGATIVE_MAX_VALUE]
freturn
@@: ; –MIN_VALUE
cmp r00q, [avt.lang.Double$NEGATIVE_MIN_VALUE]
jne @F
vmovq xmm0, [avt.lang.Double$NEGATIVE_ZERO]
freturn
@@: ; –0
cmp r00q, [avt.lang.Double$NEGATIVE_ZERO]
jne @F
vpxor xmm0, xmm0, xmm0
freturn
@@: ; остальные значения
mov r01q, r00q
sar r01q, $34
and r01d, $07ff
test r01d, r01d
jnz .L.0000
mov r02d, $01
jmp .L.0002
.L.0000: cmp r01d, $34
jg .L.0001
lea r01d, [r01d-$01]
mov r02d, $01
shl r02q, r01b
jmp .L.0002
.L.0001: lea r02d, [r01d-$34]
shl r02q, $34
.L.0002: test r00q, [avt.lang.Double$NEGATIVE_ZERO_BITS]
jz .L.0003
test r00q, [avt.lang.Double$SIGNIFICAND_MASK]
jnz .L.0003
vmovq xmm1, r02q
vmulsd xmm1, xmm1, [avt.lang.Double$HALF]
vaddsd xmm0, xmm0, xmm1
freturn
.L.0003: vmovq xmm1, r02q
vaddsd xmm0, xmm0, xmm1
fleave
end if ; </fold>
if(used avt.lang.Double$nextBefore$double$) ; <fold returns double>
fast avt.lang.Double$nextBefore$double$, \
value, double
fenter
mov r00q, [.value]
vmovq xmm0, r00q
; не-число
vcomisd xmm0, xmm0
jnp @F
freturn
@@: ; +∞
vcomisd xmm0, [avt.lang.Double$POSITIVE_INFINITY]
jne @F
vmovq xmm0, [avt.lang.Double$MAX_VALUE]
freturn
@@: ; +MIN_VALUE
cmp r00q, [avt.lang.Double$MIN_VALUE]
jne @F
vpxor xmm0, xmm0, xmm0
freturn
@@: ; +0
cmp r00q, $00
jne @F
vmovq xmm0, [avt.lang.Double$NEGATIVE_ZERO]
freturn
@@: ; остальные значения
mov r01q, r00q
sar r01q, $34
and r01d, $07ff
test r01d, r01d
jnz .L.0000
mov r02d, $01
jmp .L.0002
.L.0000: cmp r01d, $34
jg .L.0001
lea r01d, [r01d-$01]
mov r02d, $01
shl r02q, r01b
jmp .L.0002
.L.0001: lea r02d, [r01d-$34]
shl r02q, $34
.L.0002: test r00q, [avt.lang.Double$NEGATIVE_ZERO_BITS]
jnz .L.0003
test r00q, [avt.lang.Double$SIGNIFICAND_MASK]
jnz .L.0003
vmovq xmm1, r02q
vmulsd xmm1, xmm1, [avt.lang.Double$HALF]
vsubsd xmm0, xmm0, xmm1
freturn
.L.0003: vmovq xmm1, r02q
vsubsd xmm0, xmm0, xmm1
fleave
end if ; </fold>
; </fold>
