;
; Реализация среды исполнения языка программирования
; Объектно-ориентированный продвинутый векторный транслятор
;
; Copyright © 2021, 2024 Малик Разработчик
;
; Это свободная программа: вы можете перераспространять ее и/или изменять
; ее на условиях Меньшей Стандартной общественной лицензии GNU в том виде,
; в каком она была опубликована Фондом свободного программного обеспечения;
; либо версии 3 лицензии, либо (по вашему выбору) любой более поздней версии.
;
; Эта программа распространяется в надежде, что она будет полезной,
; но БЕЗО ВСЯКИХ ГАРАНТИЙ; даже без неявной гарантии ТОВАРНОГО ВИДА
; или ПРИГОДНОСТИ ДЛЯ ОПРЕДЕЛЕННЫХ ЦЕЛЕЙ. Подробнее см. в Меньшей Стандартной
; общественной лицензии GNU.
;
; Вы должны были получить копию Меньшей Стандартной общественной лицензии GNU
; вместе с этой программой. Если это не так, см.
; <https://www.gnu.org/licenses/>.
;
; <fold avt.lang.Real — родной код>
if(used avt.lang.Real$toLong2Bits$real$) ; <fold returns long2>
fast avt.lang.Real$toLong2Bits$real$, \
value, real
fenter
movsx r00q, word [.value+$08]
vmovq xmm0, [.value+$00]
vmovq xmm1, r00
vpslldq xmm1, xmm1, $08
vpor xmm0, xmm0, xmm1
fleave
end if ; </fold>
if(used avt.lang.Real$nextAfter$real$) ; <fold returns real>
fast avt.lang.Real$nextAfter$real$, \
value, real
floc addend, real
fenter
mov r00q, [.value+$00]
mov r08q, [.value+$08]
fld tbyte [.value+$00]
; не-число
fcomi esc0, esc0
jnp @F
freturn
@@: ; –∞
fld tbyte [avt.lang.Real$NEGATIVE_INFINITY+$00]
fcomip esc0, esc1
jne @F
ffree esc0
fincstp
fld tbyte [avt.lang.Real$NEGATIVE_MAX_VALUE+$00]
freturn
@@: ; –MIN_VALUE
cmp r00q, [avt.lang.Real$NEGATIVE_MIN_VALUE+$00]
jne @F
cmp r08w, [avt.lang.Real$NEGATIVE_MIN_VALUE+$08]
jne @F
ffree esc0
fincstp
fld tbyte [avt.lang.Real$NEGATIVE_ZERO+$00]
freturn
@@: ; –0
cmp r00q, [avt.lang.Real$NEGATIVE_ZERO+$00]
jne @F
cmp r08w, [avt.lang.Real$NEGATIVE_ZERO+$08]
jne @F
ffree esc0
fincstp
fldz
freturn
@@: ; остальные значения
mov r01d, r08d
and r01d, $7fff
test r01d, r01d
jnz .L.0000
mov r02d, $01
xor r09d, r09d
jmp .L.0002
.L.0000: cmp r01d, $3f
jg .L.0001
lea r01d, [r01d-$01]
mov r02d, $01
shl r02q, r01b
xor r09d, r09d
jmp .L.0002
.L.0001: mov r02q, [avt.lang.Real$EMPTY_SIGNIFICAND+$00]
lea r09d, [r01d-$3f]
.L.0002: mov qword [.addend+$00], r02q
mov qword [.addend+$08], r09q
test r08w, [avt.lang.Real$NEGATIVE_ZERO_BITS+$08]
jz .L.0003
test r00q, [avt.lang.Real$SIGNIFICAND_MASK+$00]
jnz .L.0003
fld tbyte [.addend+$00]
fld tbyte [avt.lang.Real$HALF+$00]
fmulp esc1, esc0
faddp esc1, esc0
freturn
.L.0003: fld tbyte [.addend+$00]
faddp esc1, esc0
fleave
end if ; </fold>
if(used avt.lang.Real$nextBefore$real$) ; <fold returns real>
fast avt.lang.Real$nextBefore$real$, \
value, real
floc addend, real
fenter
mov r00q, [.value+$00]
mov r08q, [.value+$08]
fld tbyte [.value+$00]
; не-число
fcomi esc0, esc0
jnp @F
freturn
@@: ; +∞
fld tbyte [avt.lang.Real$POSITIVE_INFINITY+$00]
fcomip esc0, esc1
jne @F
ffree esc0
fincstp
fld tbyte [avt.lang.Real$MAX_VALUE+$00]
freturn
@@: ; +MIN_VALUE
cmp r00q, [avt.lang.Real$MIN_VALUE+$00]
jne @F
cmp r08w, [avt.lang.Real$MIN_VALUE+$08]
jne @F
ffree esc0
fincstp
fldz
freturn
@@: ; +0
cmp r00q, $00
jne @F
cmp r08w, $00
jne @F
ffree esc0
fincstp
fld tbyte [avt.lang.Real$NEGATIVE_ZERO+$00]
freturn
@@: ; остальные значения
mov r01d, r08d
and r01d, $7fff
test r01d, r01d
jnz .L.0000
mov r02d, $01
xor r09d, r09d
jmp .L.0002
.L.0000: cmp r01d, $3f
jg .L.0001
lea r01d, [r01d-$01]
mov r02d, $01
shl r02q, r01b
xor r09d, r09d
jmp .L.0002
.L.0001: mov r02q, [avt.lang.Real$EMPTY_SIGNIFICAND+$00]
lea r09d, [r01d-$3f]
.L.0002: mov qword [.addend+$00], r02q
mov qword [.addend+$08], r09q
test r08w, [avt.lang.Real$NEGATIVE_ZERO_BITS+$08]
jnz .L.0003
test r00q, [avt.lang.Real$SIGNIFICAND_MASK+$00]
jnz .L.0003
fld tbyte [.addend+$00]
fld tbyte [avt.lang.Real$HALF+$00]
fmulp esc1, esc0
fsubp esc1, esc0
freturn
.L.0003: fld tbyte [.addend+$00]
fsubp esc1, esc0
fleave
end if ; </fold>
; </fold>
