aver-lang 0.26.0

VM and transpiler for Aver, a statically-typed language designed for AI-assisted development
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
29
30
31
32
33
34
35


        (module
          {decls}
          {func_pad}
          (func (export "helper") (param $a (ref null $aint)) (param $b (ref null $aint)) (result (ref null $aint))
            (local $r i64)
            {locals}
            ;; fast path: both Small.
            (if (result (ref null $aint))
                (i32.and (ref.is_null (struct.get $aint $magf (local.get $a)))
                         (ref.is_null (struct.get $aint $magf (local.get $b))))
              (then
                (local.set $r {fast_op})
                (if (result (ref null $aint)) {overflow_check}
                  (then
                    ;; overflow → slow path
                    {decomp_a}
                    {decomp_b}
                    {beff_set}
                    {strip_a}
                    {strip_b}
                    {combine}
                    {norm})
                  (else
                    (struct.new $aint (local.get $r) (ref.null $mag) (i32.const 0)))))
              (else
                ;; at least one Big → slow path
                {decomp_a}
                {decomp_b}
                {beff_set}
                {strip_a}
                {strip_b}
                {combine}
                {norm}))))