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
112
113
114
115
116
117
118
|
package com.seaofnodes.simple;
import com.seaofnodes.simple.codegen.CodeGen;
import com.seaofnodes.simple.type.TypeInteger;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Path;
import org.junit.Ignore;
import org.junit.Test;
import static org.junit.Assert.*;
public class Chapter23Test {
@Test
public void testJig() throws IOException {
//String src = Files.readString(Path.of("src/test/java/com/seaofnodes/simple/progs/jig.smp"));
String src = Files.readString(Path.of("docs/examples/BubbleSort.smp"));
testCPU(src,"x86_64_v2", "Win64" ,-1,null);
testCPU(src,"riscv" , "SystemV",-1,null);
testCPU(src,"arm" , "SystemV",-1,null);
}
static CodeGen testCPU( String src, String cpu, String os, int spills, String stop ) {
CodeGen code = new CodeGen(src).driver(CodeGen.Phase.Encoding,cpu,os);
int delta = spills>>3;
if( delta==0 ) delta = 1;
if( spills != -1 )
assertEquals("Expect spills:",spills,code._regAlloc._spillScaled,delta);
if( stop != null )
assertEquals(stop, code._stop.toString());
return code;
}
@Test
public void testFRefFields() {
String src =
"""
// A hypothetical scanner class
struct Scan {
int !x;
u8[~] buf;
// Skip whitespace
val skip = { Scan s ->
while( s.buf[s.x] <= ' ' )
s.x++;
};
// Peek a character; if matched consume it, else false.
val peek = { Scan s, u8 c ->
skip(s);
if( s.buf[s.x] != c ) return false;
s.x++;
return true;
};
};
Scan !s = new Scan{ buf = " q"; };
return Scan.peek(s,'q');
""";
CodeGen code = new CodeGen(src).parse().opto().typeCheck();
assertEquals("return Phi(Region,0,1);", code._stop.toString());
assertEquals("1", Eval2.eval(code, 0));
testCPU(src,"x86_64_v2", "Win64" ,17,null);
};
@Test
public void testFRefFields2() {
String src =
"""
// A hypothetical scanner class
struct Scan {
int !x;
u8[~] buf;
// Skip whitespace
val skip = { ->
while( buf[x] <= ' ' )
x++;
return self;
};
};
val s = new Scan{ buf = " q"; };
return s.skip().x;
""";
try { new CodeGen(src).parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Argument #0 isa *Scan {i64 x; *[]u8 buf; { *Scan -> *Scan {i64 !x; *[]u8 buf; {21} skip; } #21} skip; }, but must be a *Scan {i64 !x; *[]u8 buf; ... }",e.getMessage()); }
};
@Test
public void testMethod() {
String src =
"""
// A hypothetical scanner class
struct Scan {
int !x;
u8[~] buf;
// Skip whitespace
val skip = { ->
while( buf[x] <= ' ' )
x++;
};
val require = { u8 ch ->
skip();
buf[x++]==ch;
};
};
Scan !s = new Scan{ buf = " [1,2]"; };
return s.require('[');
""";
CodeGen code = new CodeGen(src).parse().opto().typeCheck();
assertEquals("return (.[]==91);", code._stop.toString());
assertEquals("1", Eval2.eval(code, 0));
testCPU(src,"x86_64_v2", "Win64" ,16,null);
};
}
|
