f64.bend checks

raw source on the hub · import bend-kit-f64@0.1.0.0/f64.bend as F64

IEEE 754 binary64 add, sub, mul, and div. Source: https://github.com/paymog/bend-kit/tree/main/f64

1 import

import Base

Types

type W2 source · line 8 · raw

Data

W2
```
@hi:U32 -> @lo:U32 -> W2
```

type W4 source · line 11 · raw

Data

W4

@a:U32 -> @b:U32 -> @c:U32 -> @d:U32 -> W4

type Limb source · line 14 · raw

Data

Limb
```
@s:U32 -> @c:U32 -> Limb
```

type Step source · line 17 · raw

Data

Step
```
@rem:W2 -> @q:W4 -> Step
```

type Cls source · line 20 · raw

Data

Fin
```
Cls
```
Inf
```
Cls
```
Nan
```
Cls
```

type Parts source · line 25 · raw

Data

Parts

@kind:Cls -> @sign:U32 -> @exp:U32 -> @sig:W2 -> Parts

type Norm source · line 28 · raw

Data

Norm

@sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> Norm

type F64 source · line 31 · raw

Data

F64
```
@hi:U32 -> @lo:U32 -> F64
```

Definitions

def u01 source · line 34 · raw

@b:Bool -> U32

def clz.go source · line 41 · raw

@k:Nat -> @z:Bool -> @n:U32 -> @+x:U32 -> U32

def clz source · line 50 · raw

@+x:U32 -> U32

def F64.nan source · line 53 · raw

F64

def F64.inf.pos source · line 56 · raw

@pos:Bool -> F64

def F64.inf.sign source · line 63 · raw

@sign:U32 -> F64

def F64.zero.sign source · line 66 · raw

@sign:U32 -> F64

def F64.pack source · line 69 · raw

@sign:U32 -> @exp:U32 -> @sh:U32 -> @sl:U32 -> F64

def F64.hi source · line 72 · raw

@a:F64 -> U32

def F64.lo source · line 77 · raw

@a:F64 -> U32

def W2.nz source · line 82 · raw

@w:W2 -> Bool

def W2.bit.at source · line 87 · raw

@low:Bool -> @n:U32 -> @hi:U32 -> @lo:U32 -> U32

def W2.bit source · line 94 · raw

@w:W2 -> @+n:U32 -> U32

def W2.ge.eq source · line 99 · raw

@eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def W2.ge.hi source · line 106 · raw

@gt:Bool -> @eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def W2.ge source · line 113 · raw

@a:W2 -> @b:W2 -> Bool

def W2.sub.of source · line 118 · raw

@ah:U32 -> @bh:U32 -> @al:U32 -> @bl:U32 -> @lo:U32 -> W2

def W2.sub source · line 121 · raw

@a:W2 -> @b:W2 -> W2

def W2.shl1 source · line 126 · raw

@w:W2 -> @bit:U32 -> W2

def W2.shl.small source · line 131 · raw

@z:Bool -> @+k:U32 -> @hi:U32 -> @+lo:U32 -> W2

def W2.shl.big source · line 138 · raw

@big:Bool -> @+k:U32 -> @w:W2 -> W2

def W2.shl source · line 145 · raw

@w:W2 -> @+k:U32 -> W2

def W2.msb.hi source · line 148 · raw

@z:Bool -> @hi:U32 -> @lo:U32 -> U32

def W2.msb source · line 155 · raw

@w:W2 -> U32

def W2.inc.carry source · line 160 · raw

@z:Bool -> @hi:U32 -> @lo:U32 -> W2

def W2.inc.of source · line 167 · raw

@hi:U32 -> @+lo:U32 -> W2

def W2.inc source · line 170 · raw

@w:W2 -> W2

def W4.nz source · line 175 · raw

@w:W4 -> Bool

def W4.shl1 source · line 180 · raw

@w:W4 -> W4

def W4.set0 source · line 185 · raw

@w:W4 -> W4

def Limb.add.s source · line 190 · raw

@+x:U32 -> @c:U32 -> @+s1:U32 -> Limb

def Limb.add source · line 194 · raw

@+x:U32 -> @y:U32 -> @c:U32 -> Limb

def Limb.sub.s source · line 197 · raw

@x:U32 -> @y:U32 -> @+br:U32 -> @+s1:U32 -> Limb

def Limb.sub source · line 200 · raw

@+x:U32 -> @+y:U32 -> @br:U32 -> Limb

def W4.add.a source · line 203 · raw

@d:U32 -> @c:U32 -> @b:U32 -> @limb:Limb -> W4

def W4.add.b source · line 208 · raw

@xa:U32 -> @ya:U32 -> @d:U32 -> @c:U32 -> @limb:Limb -> W4

def W4.add.c source · line 213 · raw

@xa:U32 -> @xb:U32 -> @ya:U32 -> @yb:U32 -> @d:U32 -> @limb:Limb -> W4

def W4.add.d source · line 218 · raw

@xa:U32 -> @xb:U32 -> @xc:U32 -> @ya:U32 -> @yb:U32 -> @yc:U32 -> @limb:Limb -> W4

def W4.add source · line 223 · raw

@x:W4 -> @y:W4 -> W4

def W4.sub.a source · line 228 · raw

@d:U32 -> @c:U32 -> @b:U32 -> @limb:Limb -> W4

def W4.sub.b source · line 233 · raw

@xa:U32 -> @ya:U32 -> @d:U32 -> @c:U32 -> @limb:Limb -> W4

def W4.sub.c source · line 238 · raw

@xa:U32 -> @xb:U32 -> @ya:U32 -> @yb:U32 -> @d:U32 -> @limb:Limb -> W4

def W4.sub.d source · line 243 · raw

@xa:U32 -> @xb:U32 -> @xc:U32 -> @ya:U32 -> @yb:U32 -> @yc:U32 -> @limb:Limb -> W4

def W4.sub source · line 248 · raw

@x:W4 -> @y:W4 -> W4

def W4.one source · line 253 · raw

W4

def W4.drop1 source · line 256 · raw

@w:W4 -> Pair(W4, Bool)

def W4.drop2 source · line 261 · raw

@w:W4 -> Pair(W4, Bool)

def W4.drop3 source · line 266 · raw

@w:W4 -> Pair(W4, Bool)

def W4.shr.bits.out source · line 271 · raw

@+k:Nat -> @+j:Nat -> @+a:U32 -> @+b:U32 -> @+c:U32 -> @d:U32 -> @lost:Bool -> @low:U32 -> Pair(W4, Bool)

def W4.shr.bits.go source · line 274 · raw

@+k:Nat -> @j:Nat -> @w:W4 -> @lost:Bool -> Pair(W4, Bool)

def W4.shr.bits.z source · line 279 · raw

@z:Bool -> @+k:U32 -> @w:W4 -> @lost:Bool -> Pair(W4, Bool)

def W4.shr.bits source · line 286 · raw

@+k:U32 -> @w:W4 -> @lost:Bool -> Pair(W4, Bool)

def W4.shr.pair source · line 289 · raw

@bits:U32 -> @r:Pair(W4, Bool) -> Pair(W4, Bool)

def W4.shr.limbs source · line 293 · raw

@k:Nat -> @bits:U32 -> @w:W4 -> Pair(W4, Bool)

def W4.shr.wide source · line 306 · raw

@wide:Bool -> @+n:U32 -> @w:W4 -> Pair(W4, Bool)

def W4.shr source · line 313 · raw

@w:W4 -> @+n:U32 -> Pair(W4, Bool)

def W4.slide1 source · line 316 · raw

@w:W4 -> W4

def W4.slide2 source · line 321 · raw

@w:W4 -> W4

def W4.slide3 source · line 326 · raw

@w:W4 -> W4

def W4.shl.bits.go source · line 331 · raw

@+k:Nat -> @+j:Nat -> @w:W4 -> W4

def W4.shl.bits.z source · line 336 · raw

@z:Bool -> @+k:U32 -> @w:W4 -> W4

def W4.shl.bits source · line 343 · raw

@+k:U32 -> @w:W4 -> W4

def W4.shl.limbs source · line 346 · raw

@k:Nat -> @bits:U32 -> @w:W4 -> W4

def W4.shl.wide source · line 359 · raw

@wide:Bool -> @+n:U32 -> @w:W4 -> W4

def W4.shl source · line 366 · raw

@w:W4 -> @+n:U32 -> W4

def W4.msb.d source · line 369 · raw

@z:Bool -> @d:U32 -> Maybe<&2, U32>

def W4.msb.c source · line 376 · raw

@z:Bool -> @c:U32 -> @+d:U32 -> Maybe<&2, U32>

def W4.msb.b source · line 383 · raw

@z:Bool -> @b:U32 -> @+c:U32 -> @d:U32 -> Maybe<&2, U32>

def W4.msb.a source · line 390 · raw

@z:Bool -> @a:U32 -> @+b:U32 -> @c:U32 -> @d:U32 -> Maybe<&2, U32>

def W4.msb source · line 397 · raw

@w:W4 -> Maybe<&2, U32>

def mul32.of source · line 402 · raw

@+p00:U32 -> @+p01:U32 -> @+p10:U32 -> @+p11:U32 -> W2

def mul32 source · line 406 · raw

@+x:U32 -> @+y:U32 -> W2

def mul.sum6 source · line 413 · raw

@d:U32 -> @c:U32 -> @h11:U32 -> @b12:U32 -> @limb:Limb -> W4

def mul.sum5 source · line 418 · raw

@d:U32 -> @c:U32 -> @h11:U32 -> @+b:U32 -> @b12:U32 -> @carry:U32 -> W4

def mul.sum4 source · line 421 · raw

@d:U32 -> @c:U32 -> @h11:U32 -> @b1:U32 -> @carry:U32 -> @limb:Limb -> W4

def mul.sum3 source · line 426 · raw

@d:U32 -> @c:U32 -> @h10:U32 -> @h11:U32 -> @carry:U32 -> @limb:Limb -> W4

def mul.sum2 source · line 431 · raw

@d:U32 -> @c1:U32 -> @h01:U32 -> @h10:U32 -> @h11:U32 -> @l11:U32 -> @limb:Limb -> W4

def mul.sum1 source · line 436 · raw

@d:U32 -> @h01:U32 -> @l10:U32 -> @h10:U32 -> @h11:U32 -> @l11:U32 -> @limb:Limb -> W4

def mul.acc source · line 441 · raw

@p00:W2 -> @p01:W2 -> @p10:W2 -> @p11:W2 -> W4

def mul.wide source · line 446 · raw

@+xh:U32 -> @+xl:U32 -> @+yh:U32 -> @+yl:U32 -> W4

def div.bit.small source · line 449 · raw

@small:Bool -> @idx:U32 -> @ma:W2 -> U32

def div.bit source · line 456 · raw

@+p:Nat -> @ma:W2 -> U32

def div.ge source · line 459 · raw

@ge:Bool -> @rem:W2 -> @q:W4 -> @mb:W2 -> Step

def div.rem source · line 466 · raw

@+rem:W2 -> @q:W4 -> @+mb:W2 -> Step

def div.advance source · line 469 · raw

@p:Nat -> @st:Step -> @mb:W2 -> @ma:W2 -> Step

def div.finish source · line 474 · raw

@st:Step -> Pair(W4, Bool)

def div.go source · line 479 · raw

@k:Nat -> @st:Step -> @+mb:W2 -> @+ma:W2 -> Pair(W4, Bool)

def div.q source · line 487 · raw

@ma:W2 -> @mb:W2 -> Pair(W4, Bool)

def round.sub source · line 490 · raw

@sub:Bool -> @sign:U32 -> @exp:U32 -> @sh:U32 -> @sl:U32 -> F64

def round.zero.lo source · line 497 · raw

@zl:Bool -> @sign:U32 -> @exp:U32 -> @+sh:U32 -> @sl:U32 -> F64

def round.zero source · line 504 · raw

@zh:Bool -> @zl:Bool -> @sign:U32 -> @exp:U32 -> @+sh:U32 -> @sl:U32 -> F64

def round.inf source · line 511 · raw

@big:Bool -> @sign:U32 -> @exp:U32 -> @+sh:U32 -> @+sl:U32 -> F64

def round.pack source · line 518 · raw

@sign:U32 -> @+exp:U32 -> @sh:U32 -> @sl:U32 -> F64

def round.ov source · line 521 · raw

@ov:Bool -> @sign:U32 -> @exp:U32 -> @sh:U32 -> @sl:U32 -> F64

def round.inc source · line 528 · raw

@sign:U32 -> @exp:U32 -> @w:W2 -> F64

def round.should source · line 533 · raw

@+c:U32 -> @d:U32 -> @sl:U32 -> @sticky:Bool -> Bool

def round.up source · line 536 · raw

@up:Bool -> @sign:U32 -> @exp:U32 -> @sh:U32 -> @sl:U32 -> F64

def round.sig source · line 543 · raw

@sign:U32 -> @exp:U32 -> @sh:U32 -> @+sl:U32 -> @c:U32 -> @d:U32 -> @sticky:Bool -> F64

def round.go source · line 546 · raw

@sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.right.pair source · line 552 · raw

@sign:U32 -> @exp:U32 -> @sticky:Bool -> @r:Pair(W4, Bool) -> F64

def norm.right.sh source · line 556 · raw

@+sh:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.right source · line 559 · raw

@top:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.left.room0 source · line 562 · raw

@z:Bool -> @room:U32 -> @sign:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.left.fit source · line 569 · raw

@fit:Bool -> @+need:U32 -> @+room:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.left.room source · line 576 · raw

@+need:U32 -> @+room:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.left.need source · line 579 · raw

@need:U32 -> @sign:U32 -> @+exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.left source · line 582 · raw

@top:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.lo source · line 585 · raw

@lo:Bool -> @top:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.hi source · line 592 · raw

@hi:Bool -> @+top:U32 -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.top source · line 598 · raw

@m:Maybe<&2, U32> -> @sign:U32 -> @exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def norm.z source · line 605 · raw

@nz:Bool -> @sign:U32 -> @exp:U32 -> @+w:W4 -> @sticky:Bool -> F64

def norm.go source · line 612 · raw

@st:Norm -> F64

def under.pair source · line 617 · raw

@sign:U32 -> @sticky:Bool -> @r:Pair(W4, Bool) -> F64

def under.shr source · line 621 · raw

@sign:U32 -> @w:W4 -> @sticky:Bool -> @sh:U32 -> F64

def under.low source · line 624 · raw

@low:Bool -> @exp:U32 -> @sign:U32 -> @w:W4 -> @sticky:Bool -> F64

def under source · line 631 · raw

@sign:U32 -> @+exp:U32 -> @w:W4 -> @sticky:Bool -> F64

def mag.eq source · line 634 · raw

@eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def mag.hi source · line 641 · raw

@lt:Bool -> @eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def mag.same source · line 648 · raw

@eq:Bool -> @ma:W2 -> @mb:W2 -> Bool

def mag.exp source · line 655 · raw

@lt:Bool -> @eq:Bool -> @ma:W2 -> @mb:W2 -> Bool

def mag.lt source · line 662 · raw

@+ea:U32 -> @ma:W2 -> @+eb:U32 -> @mb:W2 -> Bool

def add.cancel source · line 665 · raw

@nz:Bool -> @sign:U32 -> @exp:U32 -> @total:W4 -> @sticky:Bool -> F64

def add.borrow source · line 672 · raw

@sign:U32 -> @exp:U32 -> @+total:W4 -> F64

def add.sub.lost source · line 675 · raw

@lost:Bool -> @sign:U32 -> @exp:U32 -> @+total:W4 -> F64

def add.sign source · line 682 · raw

@same:Bool -> @sign:U32 -> @exp:U32 -> @+aa:W4 -> @+trunc:W4 -> @lost:Bool -> F64

def add.pair source · line 689 · raw

@same:Bool -> @sign:U32 -> @exp:U32 -> @aa:W4 -> @r:Pair(W4, Bool) -> F64

def add.de source · line 693 · raw

@same:Bool -> @sa:U32 -> @ea:U32 -> @ma:W2 -> @de:U32 -> @mb:W2 -> F64

def add.ord source · line 697 · raw

@swap:Bool -> @+sa:U32 -> @+ea:U32 -> @+ma:W2 -> @+sb:U32 -> @+eb:U32 -> @+mb:W2 -> F64

def add.fin source · line 705 · raw

@+sa:U32 -> @+ea:U32 -> @+ma:W2 -> @+sb:U32 -> @+eb:U32 -> @+mb:W2 -> F64

def add.fin.z source · line 708 · raw

@na:Bool -> @nb:Bool -> @a:F64 -> @b:F64 -> @+sa:U32 -> @ea:U32 -> @ma:W2 -> @sb:U32 -> @eb:U32 -> @mb:W2 -> F64

def add.kb source · line 719 · raw

@kb:Cls -> @a:F64 -> @b:F64 -> @sa:U32 -> @ea:U32 -> @+ma:W2 -> @sb:U32 -> @eb:U32 -> @+mb:W2 -> F64

def add.inf.both source · line 728 · raw

@same:Bool -> @sa:U32 -> F64

def add.inf.a source · line 735 · raw

@kb:Cls -> @+sa:U32 -> @sb:U32 -> F64

def add.ka source · line 744 · raw

@ka:Cls -> @kb:Cls -> @a:F64 -> @b:F64 -> @sa:U32 -> @ea:U32 -> @ma:W2 -> @sb:U32 -> @eb:U32 -> @mb:W2 -> F64

def add.both source · line 753 · raw

@a:F64 -> @b:F64 -> @pa:Parts -> @pb:Parts -> F64

def unpack.sub source · line 758 · raw

@sub:Bool -> @exp:U32 -> @+h:U32 -> @l:U32 -> Parts

def unpack.nan source · line 765 · raw

@z:Bool -> @h:U32 -> Parts

def unpack.special source · line 772 · raw

@naninf:Bool -> @sub:Bool -> @exp:U32 -> @+h:U32 -> @l:U32 -> Parts

def unpack source · line 779 · raw

@+h:U32 -> @l:U32 -> Parts

def F64.add source · line 782 · raw

@a:F64 -> @b:F64 -> F64

def F64.neg source · line 787 · raw

@a:F64 -> F64

def F64.sub source · line 792 · raw

@a:F64 -> @b:F64 -> F64

def mul.sig source · line 795 · raw

@sa:U32 -> @ea:U32 -> @ma:W2 -> @sb:U32 -> @eb:U32 -> @mb:W2 -> F64

def mul.z source · line 800 · raw

@az:Bool -> @bz:Bool -> @sign:U32 -> @sa:U32 -> @ea:U32 -> @ma:W2 -> @sb:U32 -> @eb:U32 -> @mb:W2 -> F64

def Cls.inf source · line 809 · raw

@k:Cls -> Bool

def Cls.fin source · line 818 · raw

@k:Cls -> Bool

def Cls.nan source · line 827 · raw

@k:Cls -> Bool

def mul.inf.z source · line 836 · raw

@z:Bool -> @sign:U32 -> F64

def mul.inf source · line 843 · raw

@inf:Bool -> @az:Bool -> @bz:Bool -> @sign:U32 -> @sa:U32 -> @ea:U32 -> @ma:W2 -> @sb:U32 -> @eb:U32 -> @mb:W2 -> F64

def mul.nan source · line 850 · raw

@nan:Bool -> @+ca:Cls -> @+cb:Cls -> @+sa:U32 -> @ea:U32 -> @+ma:W2 -> @+sb:U32 -> @eb:U32 -> @+mb:W2 -> F64

def mul.parts source · line 857 · raw

@pa:Parts -> @pb:Parts -> F64

def F64.mul source · line 862 · raw

@a:F64 -> @b:F64 -> F64

def div.norm source · line 867 · raw

@k:U32 -> @mb:W2 -> W2

def div.sig.q source · line 870 · raw

@sign:U32 -> @exp:U32 -> @r:Pair(W4, Bool) -> F64

def div.sig source · line 874 · raw

@sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> @+k:U32 -> F64

def div.k source · line 877 · raw

@sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @+mb:W2 -> F64

def div.by0 source · line 880 · raw

@na:Bool -> @sign:U32 -> F64

def div.num0 source · line 887 · raw

@na:Bool -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.fin.z source · line 894 · raw

@nb:Bool -> @na:Bool -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.fin.a source · line 901 · raw

@ia:Bool -> @nb:Bool -> @na:Bool -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.fin.b source · line 908 · raw

@ib:Bool -> @ia:Bool -> @nb:Bool -> @na:Bool -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.fin source · line 915 · raw

@+ca:Cls -> @+cb:Cls -> @sign:U32 -> @ea:U32 -> @+ma:W2 -> @eb:U32 -> @+mb:W2 -> F64

def div.both source · line 918 · raw

@both:Bool -> @ca:Cls -> @cb:Cls -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.nan source · line 925 · raw

@nan:Bool -> @both:Bool -> @ca:Cls -> @cb:Cls -> @sign:U32 -> @ea:U32 -> @ma:W2 -> @eb:U32 -> @mb:W2 -> F64

def div.parts source · line 932 · raw

@pa:Parts -> @pb:Parts -> F64

def F64.div source · line 937 · raw

@a:F64 -> @b:F64 -> F64

def F64.nan.bits source · line 942 · raw

@+h:U32 -> @l:U32 -> Bool

def F64.zero.bits source · line 945 · raw

@h:U32 -> @l:U32 -> Bool

def F64.is_nan source · line 948 · raw

@a:F64 -> Bool

def F64.is_inf source · line 953 · raw

@a:F64 -> Bool

def F64.is_zero source · line 958 · raw

@a:F64 -> Bool

def F64.is_subnormal source · line 963 · raw

@a:F64 -> Bool

def F64.eq.bits source · line 968 · raw

@ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.eq.zb source · line 971 · raw

@zb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.eq.zero source · line 978 · raw

@za:Bool -> @zb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.eq.nb source · line 985 · raw

@nb:Bool -> @+ah:U32 -> @+al:U32 -> @+bh:U32 -> @+bl:U32 -> Bool

def F64.eq.nan source · line 992 · raw

@na:Bool -> @nb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.is_eq source · line 999 · raw

@a:F64 -> @b:F64 -> Bool

def F64.lt.eq source · line 1004 · raw

@eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def F64.lt.hi source · line 1011 · raw

@lt:Bool -> @eq:Bool -> @al:U32 -> @bl:U32 -> Bool

def F64.lt.mag source · line 1018 · raw

@+ah:U32 -> @al:U32 -> @+bh:U32 -> @bl:U32 -> Bool

def F64.lt.neg source · line 1021 · raw

@nb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.lt.pos source · line 1028 · raw

@nb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.lt.sign source · line 1035 · raw

@na:Bool -> @nb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.lt.zb source · line 1042 · raw

@zb:Bool -> @+ah:U32 -> @al:U32 -> @+bh:U32 -> @bl:U32 -> Bool

def F64.lt.zero source · line 1049 · raw

@za:Bool -> @zb:Bool -> @+ah:U32 -> @al:U32 -> @+bh:U32 -> @bl:U32 -> Bool

def F64.lt.nb source · line 1056 · raw

@nb:Bool -> @+ah:U32 -> @+al:U32 -> @+bh:U32 -> @+bl:U32 -> Bool

def F64.lt.nan source · line 1063 · raw

@na:Bool -> @nb:Bool -> @ah:U32 -> @al:U32 -> @bh:U32 -> @bl:U32 -> Bool

def F64.is_lt source · line 1070 · raw

@a:F64 -> @b:F64 -> Bool

def F64.is_ne source · line 1075 · raw

@a:F64 -> @b:F64 -> Bool

def F64.is_le source · line 1078 · raw

@+a:F64 -> @+b:F64 -> Bool

def F64.is_gt source · line 1081 · raw

@a:F64 -> @b:F64 -> Bool

def F64.is_ge source · line 1084 · raw

@+a:F64 -> @+b:F64 -> Bool

def F64.abs source · line 1087 · raw

@a:F64 -> F64

def F64.from.lo source · line 1092 · raw

@+z:U32 -> @+n:U32 -> @hi_sh:U32 -> @lo_sh:U32 -> F64

def F64.from.small source · line 1095 · raw

@small:Bool -> @+z:U32 -> @+n:U32 -> F64

def F64.from.clz source · line 1102 · raw

@+z:U32 -> @n:U32 -> F64

def F64.from.z source · line 1105 · raw

@z:Bool -> @+n:U32 -> F64

def F64.from_u32 source · line 1112 · raw

@+n:U32 -> F64

def F64.one source · line 1115 · raw

F64

def F64.zero source · line 1118 · raw

F64

def F64.inf source · line 1121 · raw

F64