blob: 3ad977b115f43a8a3656465629d7bf56b26ce103 (
plain) (
blame)
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
|
namespace;
include rt, run;
// new stamps the header, so an o3 caller and an ordinary caller both see a type.
// the call itself is not a boundary: no fatten, and the callee's prologue does not run.
struct node { int v; node* c; };
unchecked o3 node* leaf(int v) {
node* n = rt.new(node);
n.v = v; n.c = 0;
return n;
}
unchecked o3 int inner() {
node* n = leaf(7);
int* p = n;
return p[-1];
}
unchecked o3 int add(int a, int b) { return a + b; }
unchecked o3 int nest(int n) {
if (n == 0) return 0;
return n + nest(n - 1);
}
unchecked unbounded fn main() { // reads p[-1], the type word, on purpose
node* n = leaf(4);
int* p = n;
rt.put_n(p[-1] < 0); rt.put_c(' ');
rt.put_n(inner() < 0); rt.put_c(' ');
rt.put_n(n.v); rt.put_c(' ');
rt.put_n(add(20, 3)); rt.put_c(' ');
rt.put_n(nest(10)); rt.put_c(' ');
run.tprint(rt.typeof_obj(n)); rt.put_c(10);
return 0;
}
|
