hvm 2.0.22

A massively parallel, optimal functional runtime in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

@main = x & @t0 ~ (* x)

// all ops
@t0 = (* {n x}) & @t1 ~ (* x) & 10 ~ $([+]  $(2 n)) // 12
@t1 = (* {n x}) & @t2 ~ (* x) & 10 ~ $([-]  $(2 n)) // 8
@t2 = (* {n x}) & @t3 ~ (* x) & 10 ~ $([*]  $(2 n)) // 20
@t3 = (* {n x}) & @t4 ~ (* x) & 10 ~ $([/]  $(2 n)) // 5
@t4 = (* {n x}) & @t5 ~ (* x) & 10 ~ $([%]  $(2 n)) // 0
@t5 = (* {n x}) & @t6 ~ (* x) & 10 ~ $([=]  $(2 n)) // 0
@t6 = (* {n x}) & @t7 ~ (* x) & 10 ~ $([!]  $(2 n)) // 1
@t7 = (* {n x}) & @t8 ~ (* x) & 10 ~ $([<]  $(2 n)) // 0
@t8 = (* {n x}) & @t9 ~ (* x) & 10 ~ $([>]  $(2 n)) // 1
@t9 = (* {n x}) & @tA ~ (* x) & 10 ~ $([&]  $(2 n)) // 2
@tA = (* {n x}) & @tB ~ (* x) & 10 ~ $([|]  $(2 n)) // 10
@tB = (* {n x}) & @tC ~ (* x) & 10 ~ $([^]  $(2 n)) // 8
@tC = (* {n x}) & @tD ~ (* x) & 10 ~ $([<<] $(2 n)) // 40
@tD = (* {n x}) & @tE ~ (* x) & 10 ~ $([>>] $(2 n)) // 2

// underflow
@tE = (* {n x}) & @tF ~ (* x) & 0 ~ $([-] $(1 n)) // 16777215

// overflow
@tF = (* {n x}) & @tG ~ (* x) & 16777215 ~ $([+] $(1 n)) // 0

// no sign extension
@tG = (* {n x}) & @tH ~ (* x) & 16777215 ~ $([>>] $(22 n)) // 3

@tH = *