aver-lang 0.14.1

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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

;; Numeric → OBJ_STRING heap object. Both fns format into the
;; runtime's IO scratch (IO_INT_BUF at 16, IO_FLOAT_BUF at 48), then
;; alloc + copy a fresh OBJ_STRING that survives beyond the next
;; format call.

(func $rt_i64_to_str_obj (param $val i64) (result i32)
  (local $packed i32)
  (local $pos i32)
  (local $len i32)
  (local $ptr i32)

  local.get $val
  i32.const 16   ;; IO_INT_BUF
  call $rt_int_to_str
  local.set $packed

  ;; pos = packed >> 16
  local.get $packed
  i32.const 16
  i32.shr_u
  local.set $pos

  ;; len = packed & 0xFFFF
  local.get $packed
  i32.const 0xFFFF
  i32.and
  local.set $len

  ;; alloc 8 + align8(len)
  i32.const 8
  local.get $len
  i32.const 7
  i32.add
  i32.const -8
  i32.and
  i32.add
  call $rt_alloc
  local.set $ptr

  ;; header = (OBJ_STRING << 56) | len   (OBJ_STRING is 0)
  local.get $ptr
  i64.const 0
  local.get $len
  i64.extend_i32_u
  i64.or
  i64.store

  ;; memory.copy: dst = ptr+8, src = IO_INT_BUF + pos, len = len
  local.get $ptr
  i32.const 8
  i32.add
  i32.const 16
  local.get $pos
  i32.add
  local.get $len
  memory.copy

  local.get $ptr
)
(export "rt_i64_to_str_obj" (func $rt_i64_to_str_obj))

(func $rt_f64_to_str_obj (param $val f64) (result i32)
  (local $packed i32)
  (local $pos i32)
  (local $len i32)
  (local $ptr i32)

  local.get $val
  i32.const 48   ;; IO_FLOAT_BUF
  call $rt_float_to_str
  local.set $packed

  local.get $packed
  i32.const 16
  i32.shr_u
  local.set $pos

  local.get $packed
  i32.const 0xFFFF
  i32.and
  local.set $len

  i32.const 8
  local.get $len
  i32.const 7
  i32.add
  i32.const -8
  i32.and
  i32.add
  call $rt_alloc
  local.set $ptr

  local.get $ptr
  i64.const 0
  local.get $len
  i64.extend_i32_u
  i64.or
  i64.store

  local.get $ptr
  i32.const 8
  i32.add
  i32.const 48
  local.get $pos
  i32.add
  local.get $len
  memory.copy

  local.get $ptr
)
(export "rt_f64_to_str_obj" (func $rt_f64_to_str_obj))