aboutsummaryrefslogtreecommitdiff
path: root/docs/history/17-o3-boundaries/code/tests/enhance.zc
blob: 33eb85bcbf20b3d9b3dabf9a517b990024240e5b (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
// custom opcodes: recipes, lifted vm code, several outputs, and a fallback
enhance clampadd(a, b) micro "a = add a b; a = min a 100; a = max a 0";
enhance cube(x) vm { 0 $ 0 $ * * };
enhance 2 divmod(a, b) micro "r2 = sdiv a b" "\n r1 = srem a b\n r0 = r2";
enhance div7(a) micro "a = sdiv a 7";
enhance urem10(a) micro "a = urem a 10";
enhance hi(a, b) micro "a = mulhu a b";
enhance noisy(x) vm { 0 $ . } else soft_noisy;	// i/o can't be lifted, so calls use the fallback
fn soft_noisy(x) { return x + 1; }
let qq, rr, seed = 7;
fn rnd() { seed = seed * 1103515245 + 12345; return seed ^ (seed >> 11); }
fn main()
{
	let i = 0, a, bad = 0;
	putn(clampadd(70, 50)); putc(' '); putn(clampadd(-50, 2)); putc(' '); putn(cube(7)); putc(' ');
	asm { 17 5 divmod rr ! qq ! }
	putn(qq); putc(','); putn(rr); putc(' ');
	putn(noisy(4)); putc(' ');
	putn(hi(-1, -1)); putc(' ');
	while (i < 5000) {
		a = rnd();
		if (div7(a) != zdiv(a, 7)) bad++;
		if (urem10(a) < 0 || urem10(a) > 9) bad++;
		if (a / (i + 1) != zdiv(a, i + 1)) bad++;
		i++;
	}
	putn(bad); putc(10);
	return 0;
}