mirror of
https://github.com/rizinorg/rizin
synced 2026-08-22 20:26:16 -04:00
227 lines
14 KiB
Text
227 lines
14 KiB
Text
NAME=plF
|
||
FILE=bins/elf/ls
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
aaa
|
||
plF
|
||
echo "---"
|
||
so 1
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x5ae0 {}
|
||
0x5ae4 ((_xor ← ((rbp ≈₃₂ ⊥) ⊕ (rbp ≈₃₂ ⊥)))
|
||
(rbp ← (_xor ≈₆₄ ⊥))
|
||
(of ← ⊥)
|
||
(cf ← ⊥)
|
||
(_result ← _xor)
|
||
(pf ← ¬↓(_val = (_result ≈₈ ⊥) (_c4 = (_val ⊕ (_val ≫ 0x4₈ ⊥)) (_c2 = (_c4 ⊕ (_c4 ≫ 0x2₈ ⊥)) (_c2 ⊕ (_c2 ≫ 0x1₈ ⊥))))))
|
||
(zf ← _result ≡ 0) (sf ← ↑_result))
|
||
0x5ae6 (r9 ← (rdx ≈₆₄ ⊥))
|
||
0x5ae9 ((rsi ← (ʟᴅ₀ 64 rsp)) (rsp ← (rsp + 0x8₆₄)))
|
||
0x5aea (rdx ← rsp)
|
||
0x5aed ((and_ ← (rsp & 0xfffffffffffffff0₆₄))
|
||
(rsp ← and_)
|
||
(of ← ⊥)
|
||
(cf ← ⊥)
|
||
(_result ← and_)
|
||
(pf ← ¬↓(_val = (_result ≈₈ ⊥) (_c4 = (_val ⊕ (_val ≫ 0x4₈ ⊥)) (_c2 = (_c4 ⊕ (_c4 ≫ 0x2₈ ⊥)) (_c2 ⊕ (_c2 ≫ 0x1₈ ⊥))))))
|
||
(zf ← _result ≡ 0) (sf ← ↑_result))
|
||
0x5af1 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (rax ≈₆₄ ⊥) final) (rsp ← final))
|
||
0x5af2 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (rsp ≈₆₄ ⊥) final) (rsp ← final))
|
||
0x5af3 (r8 ← (((0x5afa₆₄ + 0x10c66₆₄) ≈₆₄ ⊥) ≈₆₄ ⊥))
|
||
0x5afa (rcx ← ((0x5b01₆₄ + 0x10bef₆₄) ≈₆₄ ⊥))
|
||
0x5b01 (rdi ← ((0x5b08₆₄ + 0xffffffffffffe568₆₄) ≈₆₄ ⊥))
|
||
0x5b08 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (0x5b0e₆₄ ≈₆₄ ⊥) final) (rsp ← final)
|
||
↷ (ʟᴅ₀ 64 (0x5b0e₆₄ + 0x1c30a₆₄)))
|
||
---
|
||
0x5ae0 {}
|
||
0x5ae4 ((_xor ← ((rbp ≈₃₂ ⊥) ⊕ (rbp ≈₃₂ ⊥)))
|
||
(rbp ← (_xor ≈₆₄ ⊥))
|
||
(of ← ⊥)
|
||
(cf ← ⊥)
|
||
(_result ← _xor)
|
||
(pf ← ¬↓(_val = (_result ≈₈ ⊥) (_c4 = (_val ⊕ (_val ≫ 0x4₈ ⊥)) (_c2 = (_c4 ⊕ (_c4 ≫ 0x2₈ ⊥)) (_c2 ⊕ (_c2 ≫ 0x1₈ ⊥))))))
|
||
(zf ← _result ≡ 0) (sf ← ↑_result))
|
||
0x5ae6 (r9 ← (rdx ≈₆₄ ⊥))
|
||
0x5ae9 ((rsi ← (ʟᴅ₀ 64 rsp)) (rsp ← (rsp + 0x8₆₄)))
|
||
0x5aea (rdx ← rsp)
|
||
0x5aed ((and_ ← (rsp & 0xfffffffffffffff0₆₄))
|
||
(rsp ← and_)
|
||
(of ← ⊥)
|
||
(cf ← ⊥)
|
||
(_result ← and_)
|
||
(pf ← ¬↓(_val = (_result ≈₈ ⊥) (_c4 = (_val ⊕ (_val ≫ 0x4₈ ⊥)) (_c2 = (_c4 ⊕ (_c4 ≫ 0x2₈ ⊥)) (_c2 ⊕ (_c2 ≫ 0x1₈ ⊥))))))
|
||
(zf ← _result ≡ 0) (sf ← ↑_result))
|
||
0x5af1 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (rax ≈₆₄ ⊥) final) (rsp ← final))
|
||
0x5af2 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (rsp ≈₆₄ ⊥) final) (rsp ← final))
|
||
0x5af3 (r8 ← (((0x5afa₆₄ + 0x10c66₆₄) ≈₆₄ ⊥) ≈₆₄ ⊥))
|
||
0x5afa (rcx ← ((0x5b01₆₄ + 0x10bef₆₄) ≈₆₄ ⊥))
|
||
0x5b01 (rdi ← ((0x5b08₆₄ + 0xffffffffffffe568₆₄) ≈₆₄ ⊥))
|
||
0x5b08 ((final ← (rsp - 0x8₆₄))
|
||
(ꜱᴛ₀ (0x5b0e₆₄ ≈₆₄ ⊥) final) (rsp ← final)
|
||
↷ (ʟᴅ₀ 64 (0x5b0e₆₄ + 0x1c30a₆₄)))
|
||
EOF
|
||
RUN
|
||
|
||
NAME=plF_xtensa
|
||
FILE=malloc://27
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
e asm.arch=xtensa
|
||
e asm.bits=32
|
||
e cfg.bigendian=false
|
||
af+ fcn
|
||
afb+ 0x0 0x0 27
|
||
wx 00118a b012fa 6012fa f012ba 1025d2 7014f2 76a4bb 6203c9 32409f
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x0 ((fres ← (rna ⭂ (rna f1 * 0x3f800000.f₃₂)))
|
||
(ꜱᴛ₁ ꜰʙ fres (0x4₃₂ * (0x1₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥))))
|
||
(fsr_v ← fres)
|
||
ɴᴏᴘ (fsr ← ((fsr & ~((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0xb₃₂ ⊥)) | ((((e_invalid_op ᴇ fsr_v) ↠ 0x1₃₂ 0x0₃₂) ≪ 0xb₃₂ ⊥) & ((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0xb₃₂ ⊥)))))
|
||
0x3 ((rs ← f2)
|
||
(frs ← rs)
|
||
(frs64 ← (frs ≅₆₄ rna))
|
||
(rs31 ← ((¬((((rs ≫ 0x1f₃₂ ⊥) & (0xffffffffffffffff₆₄ ≫ (0x40₃₂ - 0x1₃₂) ⊥)) ≡ 0x0₆₄) ↠ ⊥ ⊤) ↠ 0x1₆₄ 0x0₆₄) ≪ 0x1f₃₂ ⊥)) (f1 ← ((((rs ≫ 0x17₃₂ ⊥) & (0xffffffffffffffff₆₄ ≫ (0x40₃₂ - 0x8₃₂) ⊥)) ≡ 0xff₆₄) ↠ (((rs ≫ 0x0₃₂ ⊥) & (0xffffffffffffffff₆₄ ≫ (0x40₃₂ - 0x17₃₂) ⊥)) | (0x3f800000₆₄ | rs31)) ((((rs ≫ 0x0₃₂ ⊥) & (0xffffffffffffffff₆₄ ≫ (0x40₃₂ - 0x1f₃₂) ⊥)) ≡ 0x0₆₄) ↠ (0x40000000₆₄ | rs31) (N = (rna |frs64| / 0x4000000000000000.f₆₄) ꜰʙ −(rna frs64 / (rna 0x4010000000000000.f₆₄ ˰ N)))))))
|
||
0x6 (f1 ← (ꜰʙ −f2 ≈₆₄ ⊥))
|
||
0x9 ((fres ← (rna f2 * 0x47000000.f₃₂))
|
||
(ꜱᴛ₁ (fres ꜰ≈ɪ₃₂ rna) (0x4₃₂ * (0x1₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥))))
|
||
(fsr_v ← fres)
|
||
ɴᴏᴘ
|
||
(fsr ← ((fsr & ~((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0xb₃₂ ⊥)) | ((((e_invalid_op ᴇ fsr_v) ↠ 0x1₃₂ 0x0₃₂) ≪ 0xb₃₂ ⊥) & ((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0xb₃₂ ⊥)))) (fsr ← ((fsr & ~((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0x7₃₂ ⊥)) | ((((e_inexact ᴇ fsr_v) ↠ 0x1₃₂ 0x0₃₂) ≪ 0x7₃₂ ⊥) & ((0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥) ≪ 0x7₃₂ ⊥)))))
|
||
0xc (ꜱᴛ₁ ((ʟᴅ₁ 32 (0x4₃₂ * (0x1₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥)))) /⁺ (ʟᴅ₁ 32 (0x4₃₂ * (0x1₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥))))) (0x4₃₂ * (0x2₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥))))
|
||
0xf (ꜱᴛ₁ ((ʟᴅ₁ 32 (0x4₃₂ * (0x0₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥)))) %⁺ (ʟᴅ₁ 32 (0x4₃₂ * (0x3₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥))))) (0x4₃₂ * (0x1₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥))))
|
||
0x12 ((lcount ← ((ʟᴅ₁ 32 (0x4₃₂ * (0x0₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥)))) - 0x1₃₂))
|
||
(lbeg ← 0x15₃₂) (lend ← 0xd1₃₂)
|
||
(((ʟᴅ₁ 32 (0x4₃₂ * (0x0₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥)))) ≦⁺ 0x0₃₂) ⅄ ↷ 0xd1₃₂ ɴᴏᴘ))
|
||
0x15 (ꜱᴛ₁ ((ʟᴅ₀ ((ʟᴅ₁ 32 (0x4₃₂ * (0x3₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥)))) + 0xc9₃₂)) ≈₃₂ ⊥) (0x4₃₂ * (0x2₃₂ | ((windowbase + 0x1₃₂) ≪ 0x2₃₂ ⊥))))
|
||
0x18 ((vAddr ← ((ʟᴅ₁ 32 (0x4₃₂ * (0x0₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥)))) + 0x9f₃₂)) (ꜱᴛ₀ ((ʟᴅ₁ 32 (0x4₃₂ * (0x3₃₂ | ((windowbase + 0x0₃₂) ≪ 0x2₃₂ ⊥)))) ≈₈ ⊥) vAddr))
|
||
EOF
|
||
RUN
|
||
|
||
NAME=plF_arm
|
||
FILE=malloc://8
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
e asm.arch=arm
|
||
e asm.bits=32
|
||
e cfg.bigendian=false
|
||
af+ fcn
|
||
afb+ 0x0 0x0 8
|
||
wx e70ab0ee 000000ef
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x0 (d0 ← ((d0 & 0xffffffff00000000₆₄) | (ꜰʙ |((d7 ≫ 0x20₇ ⊥) ≈₃₂ ⊥)| ≈₆₄ ⊥)))
|
||
0x4 (@ svc)
|
||
EOF
|
||
RUN
|
||
|
||
NAME=plF_tricore
|
||
FILE=malloc://28
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
e asm.arch=tricore
|
||
e asm.bits=32
|
||
e cfg.bigendian=false
|
||
af+ fcn
|
||
afb+ 0x0 0x0 28
|
||
wx 4b099131 4b036121 0721e333 0b42d020 4b671112 bf80619e 0f00b011
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x0 ((_fa ← (d9 ≅₆₄ rne))
|
||
(_arg_a ← (tmp = _fa (((¬(tmp ≡ ɴаɴ ∨ 0x0.f₆₄ ≡ ɴаɴ) ∧ (tmp ≷ 0x0.f₆₄)) ∧ (¬(tmp ≡ ɴаɴ ∨ 0x3810000000000000.f₆₄ ≡ ɴаɴ) ∧ (0x3810000000000000.f₆₄ ≷ tmp))) ↠ −0x0.f₆₄ (((¬(tmp ≡ ɴаɴ ∨ 0x0.f₆₄ ≡ ɴаɴ) ∧ (0x0.f₆₄ ≷ tmp)) ∧ (¬(tmp ≡ ɴаɴ ∨ 0x3810000000000000.f₆₄ ≡ ɴаɴ) ∧ (tmp ≷ 0x3810000000000000.f₆₄))) ↠ 0x0.f₆₄ tmp))))
|
||
(_normal_result ← (_mode = (((PSW ≫ 0x18₃₂ ⊥) & 0x3₃₂) ≈₈ ⊥) (_x = (rne ¹/√ _arg_a) ((_mode ≡ 0x0₈) ↠ (_x ≅₃₂ rne) ((_mode ≡ 0x1₈) ↠ (_x ≅₃₂ rna) ((_mode ≡ 0x2₈) ↠ (_x ≅₃₂ rtn) ((_mode ≡ 0x3₈) ↠ (_x ≅₃₂ rtp) ((_mode ≡ 0x4₈) ↠ (_x ≅₃₂ rtz) 0x0.f₃₂))))))))
|
||
(_result ← (_arg_a ≡ 0 ↠ 0x0.f₃₂ ((¬(_fa ≡ ɴаɴ ∨ 0x0.f₆₄ ≡ ɴаɴ) ∧ (_fa ≷ 0x0.f₆₄)) ↠ 0x7f800001.f₃₂ _normal_result)))
|
||
(d3 ← ꜰʙ _result)
|
||
(set_FI ← (_fa ≡ ɴаɴ ∨ _result ≡ ɴаɴ)) (set_FI ⅄ (PSW ← ((PSW & 0xbfffffff₃₂) | ((0x1₃₂ & 0x1₃₂) ≪ 0x1e₃₂ ⊥))) ɴᴏᴘ)
|
||
(PSW ← ((PSW & 0x7fffffff₃₂) | (((set_FI ↠ 0x1₃₂ 0x0₃₂) & 0x1₃₂) ≪ 0x1f₃₂ ⊥))))
|
||
0x4 ((_a ← d3)
|
||
(_result ← (_mode = (((PSW ≫ 0x18₃₂ ⊥) & 0x3₃₂) ≈₈ ⊥) (_x = _a ((_mode ≡ 0x0₈) ↠ (_x ꜰ≈ꜰ₃₂ rne) ((_mode ≡ 0x1₈) ↠ (_x ꜰ≈ꜰ₃₂ rna) ((_mode ≡ 0x2₈) ↠ (_x ꜰ≈ꜰ₃₂ rtn) ((_mode ≡ 0x3₈) ↠ (_x ꜰ≈ꜰ₃₂ rtp) ((_mode ≡ 0x4₈) ↠ (_x ꜰ≈ꜰ₃₂ rtz) 0x0.f₃₂))))))))
|
||
(d2 ← ꜰʙ _result)
|
||
(set_FX ← (((_a ꜰ≈ꜰ⁺₃₂ rne) ≡ ɴаɴ ∨ _result ≡ ɴаɴ) ∨ (((_a ꜰ≈ꜰ⁺₃₂ rne) ≷ _result) ∨ (_result ≷ (_a ꜰ≈ꜰ⁺₃₂ rne))))) (set_FX ⅄ (PSW ← ((PSW & 0xfbffffff₃₂) | ((0x1₃₂ & 0x1₃₂) ≪ 0x1a₃₂ ⊥))) ɴᴏᴘ)
|
||
(PSW ← ((PSW & 0x7fffffff₃₂) | (((set_FX ↠ 0x1₃₂ 0x0₃₂) & 0x1₃₂) ≪ 0x1f₃₂ ⊥))))
|
||
0x8 (d3 ← ((¬((d1 ≫ 0x3₃₂ ⊥) & 0x1₃₂) ≡ 0 ⊻ ¬((d2 ≫ 0x7₃₂ ⊥) & 0x1₃₂) ≡ 0) ↠ 0x1₃₂ 0x0₃₂))
|
||
0xc ((result ← ((d2 + ((PSW ≫ 0x1f₃₂ ⊥) & 0x1₃₂)) - (d4 + 0x1₃₂)))
|
||
(d2 ← result)
|
||
(carry_out ← ((((d2 + −d4) + ((PSW ≫ 0x1f₃₂ ⊥) & 0x1₃₂)) ≫ 0x0₃₂ ⊥) & 0x1₃₂)) (PSW ← ((PSW & 0x7fffffff₃₂) | ((carry_out & 0x1₃₂) ≪ 0x1f₃₂ ⊥))))
|
||
0x10 ((dividend ← d7)
|
||
(divisor ← d6)
|
||
(remainder ← ((divisor ≡ 0x0₃₂) ↠ 0x0₃₂ (dividend % divisor)))
|
||
(quotient ← ((divisor ≡ 0x0₃₂) ↠ 0xffffffff₃₂ ((dividend - remainder) / divisor)))
|
||
(temp ← (remainder ⊚ quotient))
|
||
(d0 ← (temp ≈₃₂ ⊥)) (d1 ← (((temp ≫ 0x20₆₄ ⊥) & 0xffffffff₆₄) ≈₃₂ ⊥)))
|
||
0x14 (((d0 ≦ 0x8₃₂) ∧ ¬(d0 ≡ 0x8₃₂)) ⅄ ↷ 0x3cd6₃₂ ɴᴏᴘ)
|
||
0x18 ((n ← 0x1f₃₂)
|
||
(((((n ≦ 0x20₃₂) ∧ ¬(n ≡ 0x20₃₂)) ∧ (¬(n ≦ 0x0₃₂) ∨ (n ≡ 0x0₃₂))) ∧ ((d0 ≫ n ⊥) & (0xffffffff₃₂ ≫ (0x20₃₂ - 0x1₃₂) ⊥)) ≡ 0) ⟳ (n ← (n + 0x1₃₂))) (d1 ← n))
|
||
EOF
|
||
RUN
|
||
|
||
NAME=plF_v810
|
||
FILE=malloc://4
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
e asm.arch=v810
|
||
e asm.bits=32
|
||
e cfg.bigendian=false
|
||
af+ fcn
|
||
afb+ 0x0 0x0 4
|
||
wx 4bf90018
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x0 ((result ← (rne r10 * r11))
|
||
(PSW ← (((((((¬result > 0 ↠ 0x1₃₂ 0x0₃₂) ≪ 0x3₃₂ ⊥) | ((⊥ ↠ 0x1₃₂ 0x0₃₂) ≪ 0x2₃₂ ⊥)) | (((¬(result ≡ ɴаɴ ∨ 0x0.f₃₂ ≡ ɴаɴ) ∧ (result ≷ 0x0.f₃₂)) ↠ 0x1₃₂ 0x0₃₂) ≪ 0x1₃₂ ⊥)) | ((result ≡ 0 ↠ 0x1₃₂ 0x0₃₂) ≪ 0x0₃₂ ⊥)) | (((result ≡ ɴаɴ ∨ result ≡ ∞) ↠ 0x1₃₂ 0x0₃₂) ≪ 0x9₃₂ ⊥)) | ((r11 ≡ 0 ↠ 0x1₃₂ 0x0₃₂) ≪ 0x7₃₂ ⊥))) (r10 ← ꜰʙ result))
|
||
EOF
|
||
RUN
|
||
|
||
NAME=plF_x86
|
||
FILE=malloc://12
|
||
CMDS=<<EOF
|
||
e scr.utf8=true
|
||
e asm.arch=x86
|
||
e asm.bits=64
|
||
e cfg.bigendian=false
|
||
af+ fcn
|
||
afb+ 0x0 0x0 12
|
||
wa fsqrt; so
|
||
wa frndint; so
|
||
wa 'fadd st0, st1'; so
|
||
wa 'fsub st0, st1'; so
|
||
wa 'fmul st0, st1'; so
|
||
wa 'fdiv st0, st1'; so
|
||
s 0
|
||
plF
|
||
EOF
|
||
EXPECT=<<EOF
|
||
0x0 ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(x_rm ← st0) (st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (rne ²√ x_rm) ((_rmode ≡ 0x1₂) ↠ (rtn ²√ x_rm) ((_rmode ≡ 0x2₂) ↠ (rtp ²√ x_rm) (rtz ²√ x_rm))))))
|
||
0x2 ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(f_val_rm ← st0)
|
||
(i_val_rm ← ((_rmode ≡ 0x0₂) ↠ (f_val_rm ꜰ≈ɪ⁺₆₄ rne) ((_rmode ≡ 0x1₂) ↠ (f_val_rm ꜰ≈ɪ⁺₆₄ rtn) ((_rmode ≡ 0x2₂) ↠ (f_val_rm ꜰ≈ɪ⁺₆₄ rtp) (f_val_rm ꜰ≈ɪ⁺₆₄ rtz))))) (st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (i_val_rm ꜰ≈ꜰ⁺₈₀ rne) ((_rmode ≡ 0x1₂) ↠ (i_val_rm ꜰ≈ꜰ⁺₈₀ rtn) ((_rmode ≡ 0x2₂) ↠ (i_val_rm ꜰ≈ꜰ⁺₈₀ rtp) (i_val_rm ꜰ≈ꜰ⁺₈₀ rtz))))))
|
||
0x4 ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(f_val_rm ← st1)
|
||
(x_rm ← ((_rmode ≡ 0x0₂) ↠ (f_val_rm ≅₈₀ rne) ((_rmode ≡ 0x1₂) ↠ (f_val_rm ≅₈₀ rtn) ((_rmode ≡ 0x2₂) ↠ (f_val_rm ≅₈₀ rtp) (f_val_rm ≅₈₀ rtz))))) (y_rm ← st0)
|
||
(st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (rne x_rm + y_rm) ((_rmode ≡ 0x1₂) ↠ (rtn x_rm + y_rm) ((_rmode ≡ 0x2₂) ↠ (rtp x_rm + y_rm) (rtz x_rm + y_rm))))))
|
||
0x6 ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(f_val_rm ← st1)
|
||
(x_rm ← ((_rmode ≡ 0x0₂) ↠ (f_val_rm ≅₈₀ rne) ((_rmode ≡ 0x1₂) ↠ (f_val_rm ≅₈₀ rtn) ((_rmode ≡ 0x2₂) ↠ (f_val_rm ≅₈₀ rtp) (f_val_rm ≅₈₀ rtz))))) (y_rm ← st0)
|
||
(st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (rne y_rm - x_rm) ((_rmode ≡ 0x1₂) ↠ (rtn y_rm - x_rm) ((_rmode ≡ 0x2₂) ↠ (rtp y_rm - x_rm) (rtz y_rm - x_rm))))))
|
||
0x8 ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(f_val_rm ← st1)
|
||
(x_rm ← ((_rmode ≡ 0x0₂) ↠ (f_val_rm ≅₈₀ rne) ((_rmode ≡ 0x1₂) ↠ (f_val_rm ≅₈₀ rtn) ((_rmode ≡ 0x2₂) ↠ (f_val_rm ≅₈₀ rtp) (f_val_rm ≅₈₀ rtz))))) (y_rm ← st0)
|
||
(st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (rne x_rm * y_rm) ((_rmode ≡ 0x1₂) ↠ (rtn x_rm * y_rm) ((_rmode ≡ 0x2₂) ↠ (rtp x_rm * y_rm) (rtz x_rm * y_rm))))))
|
||
0xa ((_rmode ← ((cwd ≫ 0xa₈ ⊥) ≈₂ ⊥))
|
||
(f_val_rm ← st1)
|
||
(x_rm ← ((_rmode ≡ 0x0₂) ↠ (f_val_rm ≅₈₀ rne) ((_rmode ≡ 0x1₂) ↠ (f_val_rm ≅₈₀ rtn) ((_rmode ≡ 0x2₂) ↠ (f_val_rm ≅₈₀ rtp) (f_val_rm ≅₈₀ rtz))))) (y_rm ← st0)
|
||
(st0 ← ꜰʙ ((_rmode ≡ 0x0₂) ↠ (rne x_rm / y_rm) ((_rmode ≡ 0x1₂) ↠ (rtn x_rm / y_rm) ((_rmode ≡ 0x2₂) ↠ (rtp x_rm / y_rm) (rtz x_rm / y_rm))))))
|
||
EOF
|
||
RUN
|