WIP fix(gnovm): PoC of inter-realm spec

examples/gno.land/r/demo/tests/crossrealm/crossrealm.gno

@@ -17,7 +17,7 @@ func (ls *LocalStruct) String() string {
 var local *LocalStruct
 
 func init() {
-	local = &LocalStruct{A: 123}
+	local = &LocalStruct{A: 123} // this is attached first
 }
 
 // Make1 returns a local object wrapped by a p struct

examples/gno.land/r/demo/tests/crossrealm/crossrealm2.gno

@@ -0,0 +1,30 @@
+package crossrealm
+
+// XXX, how about not interface
+type Fooer interface{ Foo() }
+
+var fooer Fooer
+
+func SetFooer(f Fooer) Fooer {
+	fooer = f
+	return fooer
+}
+
+func CallFoo() { fooer.Foo() }
+
+// container in external realm
+type Container struct {
+	name string
+	f    Fooer
+}
+
+var container Container // attached
+
+func SetContainer(f Fooer) {
+	container.f = f // update
+}
+
+func SetContainer2(f Fooer) {
+	ff := f          // associate to non-attached object
+	SetContainer(ff) // attach container, while ff is not attached
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm3.gno

@@ -0,0 +1,18 @@
+package crossrealm
+
+type Bar struct {
+	A int
+}
+
+var bar *Bar
+var Bar2 *Bar // exported
+
+func SetBar(b *Bar) *Bar {
+	bar = b
+	return bar
+}
+
+func CallBar() {
+	bar.A += 1
+	println(bar.A)
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm4.gno

@@ -0,0 +1,10 @@
+package crossrealm
+
+var S []Fooer
+
+func SetSlice(fs []Fooer) {
+	S = fs
+	for _, f := range fs {
+		println(f)
+	}
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm5.gno

@@ -0,0 +1,13 @@
+package crossrealm
+
+type F func() bool
+
+var f F
+
+func SetCallback(ff F) {
+	f = ff
+}
+
+func ExecuteCallback() {
+	f()
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm6.gno

@@ -0,0 +1,66 @@
+package crossrealm
+
+type XYZ struct{ name string }
+
+var s1 []XYZ
+var s3 []XYZ
+var s4 []XYZ
+var s5 []*XYZ
+var s6 = make([]*XYZ, 2)
+
+var s7 [2]XYZ
+
+func init() {
+	s1 = append(s1, XYZ{"1"})
+	s1 = append(s1, XYZ{"2"})
+
+	s3 = append(s3, XYZ{"3"})
+	s4 = append(s4, XYZ{"4"})
+
+	s5 = append(s5, &XYZ{"5"})
+
+	s6[0] = &XYZ{"6"}
+
+	s7[0] = XYZ{"7"}
+	s7[1] = XYZ{"7.1"} // should be real after this
+}
+
+func GetSlice() []XYZ {
+	return s1[1:]
+}
+
+// -------------------------------------------------------
+var e1 = XYZ{"1"}
+var e2 = XYZ{"2"}
+
+func GetSlice2() []XYZ {
+	var s2 []XYZ
+	s2 = append(s2, e1)
+	s2 = append(s2, e2)
+	return s2
+}
+
+// ------------------------------------------------------
+func GetSlice3() []XYZ {
+	s3 = append(s3, XYZ{"0"}) // this is real after function
+	return s3
+}
+
+func GetSlice4(f func(s []XYZ)) {
+	s4 = append(s4, XYZ{"0"}) // this is real after this function
+	f(s4)                     // XYZ{"0"} is floating
+}
+
+func GetSlice5() []*XYZ { // TODO, unwrap
+	return s5
+}
+
+func GetSlice6(f func(s []*XYZ)) {
+	s6[1] = &XYZ{"6.1"} // the initial value is deleted, so this is not real after append
+	f(s6)
+}
+
+func GetSlice7(f func(s [2]XYZ)) {
+	//s7[1] = XYZ{"7.1"}
+	f(s7)
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm7.gno

@@ -0,0 +1,36 @@
+package crossrealm
+
+type A struct {
+	name string
+}
+
+type B struct {
+	name string
+}
+
+type D struct {
+	name string
+}
+
+type C struct {
+	A
+	B
+	D
+}
+
+var a A = A{name: "a"}
+var b B = B{name: "b"}
+
+var c *C
+
+func init() {
+	c = &C{}
+	c.A = a
+	c.B = b
+}
+
+func GetStruct(cb func(v *C)) *C {
+	c.D = D{name: "d"} // this is not attached before return
+	cb(c)
+	return c
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm8.gno

@@ -0,0 +1,12 @@
+package crossrealm
+
+var m map[string]int
+
+func init() {
+	m = make(map[string]int)
+	m["a"] = 1
+}
+
+func GetMap() map[string]int {
+	return m
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm9.gno

@@ -0,0 +1,32 @@
+package crossrealm
+
+var ff = func() string { return "a" } // parent object already escaped
+
+// XXX, this is special case, for ff, it's closure is referenced,
+// so need to check all embedded items attached?
+// see zrealm_crossrealm38.gno
+func GetFunc() func() string {
+	return ff
+}
+
+func GetFunc2() func() string {
+	return func() string {
+		return "b"
+	}
+}
+
+type MyStruct struct{}
+
+func (sv *MyStruct) M() string { return "a" }
+
+var mysv *MyStruct = &MyStruct{}
+
+//var f_local func() string
+//
+//func init() {
+//	f_local = mysv.M
+//}
+
+func GetMethod() func() string {
+	return mysv.M
+}

gnovm/pkg/gnolang/gno_test.go

@@ -179,7 +179,6 @@ func BenchmarkIfStatement(b *testing.B) {
 func main() {
 	for i:=0; i<10000; i++ {
 		if i > 10 {
-
 		}
 	}
 }`