forked from zjryan/e8vm
/
func.go
67 lines (58 loc) · 1.28 KB
/
func.go
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
package g8
import (
"e8vm.io/e8vm/g8/codegen"
"e8vm.io/e8vm/g8/tast"
"e8vm.io/e8vm/g8/types"
)
func makeRetRef(ts []*types.Arg, irs []codegen.Ref) *ref {
if len(ts) != len(irs) {
panic("bug")
}
if len(ts) == 0 {
return nil
}
ret := new(ref)
for i, t := range ts {
ret = appendRef(ret, newAddressableRef(t.T, irs[i]))
}
return ret
}
func buildFunc(b *builder, f *tast.Func, irFunc *codegen.Func) {
b.f = irFunc
if f.Receiver != nil {
// bind the receiver
t := f.Receiver.ObjType.(types.T)
ref := newAddressableRef(t, irFunc.ThisRef())
f.Receiver.Obj = &objVar{f.Receiver.Name(), ref}
} else if f.This != nil {
// bind this pointer
b.this = newRef(f.This, irFunc.ThisRef())
}
// bind arg symbols
args := irFunc.ArgRefs()
if f.IsMethod() {
args = args[1:] // skip <this>
}
for i, s := range f.Args {
if s != nil {
t := s.ObjType.(types.T)
ref := newAddressableRef(t, args[i])
s.Obj = &objVar{s.Name(), ref}
}
}
// bind named return symbols
rets := irFunc.RetRefs()
t := f.Sym.ObjType.(*types.Func)
b.fretRef = makeRetRef(t.Rets, rets)
if f.NamedRets != nil {
for i, s := range f.NamedRets {
if s != nil {
s.Obj = &objVar{s.Name(), b.fretRef.At(i)}
}
}
}
b.b = b.f.NewBlock(nil)
for _, stmt := range f.Body {
b.buildStmt(stmt)
}
}