sysl.softfloat

Index

addtf3 divtf3 eqtf2 extenddftf2 extendhftf2 extendsftf2 fixtfdi fixtfsi fixtfti fixunstfdi fixunstfsi fixunstfti floatditf floatsitf floattitf floatunditf floatunsitf floatuntitf getf2 gttf2 letf2 lttf2 multf3 netf2 subtf3 trunctfbf2 trunctfdf2 trunctfhf2 trunctfsf2 unordtf2

Functions

addtf3

addtf3(a: f128, b: f128) -> f128

a + b.

divtf3

divtf3(a: f128, b: f128) -> f128

a / b.

eqtf2

eqtf2(a: f128, b: f128) -> int

Zero where a == b, and not zero otherwise or where either is a NaN.

extenddftf2

extenddftf2(x: real) -> f128

A double widened, exactly.

extendhftf2

extendhftf2(x: f16) -> f128

An f16 widened, exactly.

extendsftf2

extendsftf2(x: f32) -> f128

An f32 widened, exactly.

fixtfdi

fixtfdi(x: f128) -> long

Toward zero, as a long.

fixtfsi

fixtfsi(x: f128) -> int

Toward zero, as an int.

fixtfti

fixtfti(x: f128) -> i128

Toward zero, as an i128.

fixunstfdi

fixunstfdi(x: f128) -> ulong

Toward zero, as a ulong.

fixunstfsi

fixunstfsi(x: f128) -> uint

Toward zero, as a uint.

fixunstfti

fixunstfti(x: f128) -> u128

Toward zero, as a u128.

floatditf

floatditf(x: long) -> f128

A long as binary128, exactly.

floatsitf

floatsitf(x: int) -> f128

An int as binary128, exactly.

floattitf

floattitf(x: i128) -> f128

An i128 as binary128, rounded.

floatunditf

floatunditf(x: ulong) -> f128

A ulong as binary128, exactly.

floatunsitf

floatunsitf(x: uint) -> f128

A uint as binary128, exactly.

floatuntitf

floatuntitf(x: u128) -> f128

A u128 as binary128, rounded.

getf2

getf2(a: f128, b: f128) -> int

Zero or above where a >= b; below zero otherwise, a NaN included.

gttf2

gttf2(a: f128, b: f128) -> int

Above zero where a > b; zero or below otherwise, a NaN included.

letf2

letf2(a: f128, b: f128) -> int

Zero or below where a <= b; above zero otherwise, a NaN included.

lttf2

lttf2(a: f128, b: f128) -> int

Below zero where a < b; zero or above otherwise, a NaN included.

multf3

multf3(a: f128, b: f128) -> f128

a * b.

netf2

netf2(a: f128, b: f128) -> int

Not zero where a != b or either is a NaN, and zero otherwise.

subtf3

subtf3(a: f128, b: f128) -> f128

a - b, which is a plus b with its sign turned over.

trunctfbf2

trunctfbf2(x: f128) -> bf16

Rounded to a bf16.

trunctfdf2

trunctfdf2(x: f128) -> real

Rounded to a double.

trunctfhf2

trunctfhf2(x: f128) -> f16

Rounded to an f16.

trunctfsf2

trunctfsf2(x: f128) -> f32

Rounded to an f32.

unordtf2

unordtf2(a: f128, b: f128) -> int

Not zero where either is a NaN.