forked from TrueCloudLab/neoneo-go
970769e5b2
When `_` is unused it can be omitted from constant values mapping. Catched when compiling `netmap` contract from nspcc-dev/neofs-contract. Signed-off-by: Evgeniy Stratonikov <evgeniy@nspcc.ru>
295 lines
6.3 KiB
Go
295 lines
6.3 KiB
Go
package compiler_test
|
|
|
|
import (
|
|
"bytes"
|
|
"fmt"
|
|
"math/big"
|
|
"strings"
|
|
"testing"
|
|
|
|
"github.com/nspcc-dev/neo-go/pkg/compiler"
|
|
"github.com/nspcc-dev/neo-go/pkg/vm"
|
|
"github.com/stretchr/testify/require"
|
|
)
|
|
|
|
func TestUnusedGlobal(t *testing.T) {
|
|
src := `package foo
|
|
const (
|
|
_ int = iota
|
|
a
|
|
)
|
|
func Main() int {
|
|
return 1
|
|
}`
|
|
eval(t, src, big.NewInt(1))
|
|
}
|
|
|
|
func TestChangeGlobal(t *testing.T) {
|
|
src := `package foo
|
|
var a int
|
|
func Main() int {
|
|
setLocal()
|
|
set42()
|
|
setLocal()
|
|
return a
|
|
}
|
|
func set42() { a = 42 }
|
|
func setLocal() { a := 10; _ = a }`
|
|
|
|
eval(t, src, big.NewInt(42))
|
|
}
|
|
|
|
func TestMultiDeclaration(t *testing.T) {
|
|
src := `package foo
|
|
var a, b, c int
|
|
func Main() int {
|
|
a = 1
|
|
b = 2
|
|
c = 3
|
|
return a + b + c
|
|
}`
|
|
eval(t, src, big.NewInt(6))
|
|
}
|
|
|
|
func TestCountLocal(t *testing.T) {
|
|
src := `package foo
|
|
func Main() int {
|
|
a, b, c, d := f()
|
|
return a + b + c + d
|
|
}
|
|
func f() (int, int, int, int) {
|
|
return 1, 2, 3, 4
|
|
}`
|
|
eval(t, src, big.NewInt(10))
|
|
}
|
|
|
|
func TestMultiDeclarationLocal(t *testing.T) {
|
|
src := `package foo
|
|
func Main() int {
|
|
var a, b, c int
|
|
a = 1
|
|
b = 2
|
|
c = 3
|
|
return a + b + c
|
|
}`
|
|
eval(t, src, big.NewInt(6))
|
|
}
|
|
|
|
func TestMultiDeclarationLocalCompound(t *testing.T) {
|
|
src := `package foo
|
|
func Main() int {
|
|
var a, b, c []int
|
|
a = append(a, 1)
|
|
b = append(b, 2)
|
|
c = append(c, 3)
|
|
return a[0] + b[0] + c[0]
|
|
}`
|
|
eval(t, src, big.NewInt(6))
|
|
}
|
|
|
|
func TestShadow(t *testing.T) {
|
|
srcTmpl := `package foo
|
|
func Main() int {
|
|
x := 1
|
|
y := 10
|
|
%s
|
|
x += 1 // increase old local
|
|
x := 30 // introduce new local
|
|
y += x // make sure is means something
|
|
}
|
|
return x+y
|
|
}`
|
|
|
|
runCase := func(b string) func(t *testing.T) {
|
|
return func(t *testing.T) {
|
|
src := fmt.Sprintf(srcTmpl, b)
|
|
eval(t, src, big.NewInt(42))
|
|
}
|
|
}
|
|
|
|
t.Run("If", runCase("if true {"))
|
|
t.Run("For", runCase("for i := 0; i < 1; i++ {"))
|
|
t.Run("Range", runCase("for range []int{1} {"))
|
|
t.Run("Switch", runCase("switch true {\ncase false: x += 2\ncase true:"))
|
|
t.Run("Block", runCase("{"))
|
|
}
|
|
|
|
func TestArgumentLocal(t *testing.T) {
|
|
srcTmpl := `package foo
|
|
func some(a int) int {
|
|
if a > 42 {
|
|
a := 24
|
|
_ = a
|
|
}
|
|
return a
|
|
}
|
|
func Main() int {
|
|
return some(%d)
|
|
}`
|
|
t.Run("Override", func(t *testing.T) {
|
|
src := fmt.Sprintf(srcTmpl, 50)
|
|
eval(t, src, big.NewInt(50))
|
|
})
|
|
t.Run("NoOverride", func(t *testing.T) {
|
|
src := fmt.Sprintf(srcTmpl, 40)
|
|
eval(t, src, big.NewInt(40))
|
|
})
|
|
}
|
|
|
|
func TestContractWithNoMain(t *testing.T) {
|
|
src := `package foo
|
|
var someGlobal int = 1
|
|
func Add3(a int) int {
|
|
someLocal := 2
|
|
return someGlobal + someLocal + a
|
|
}`
|
|
b, di, err := compiler.CompileWithOptions("foo.go", strings.NewReader(src), nil)
|
|
require.NoError(t, err)
|
|
v := vm.New()
|
|
invokeMethod(t, "Add3", b.Script, v, di)
|
|
v.Estack().PushVal(39)
|
|
require.NoError(t, v.Run())
|
|
require.Equal(t, 1, v.Estack().Len())
|
|
require.Equal(t, big.NewInt(42), v.PopResult())
|
|
}
|
|
|
|
func TestMultipleFiles(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
return multi.Sum()
|
|
}`
|
|
eval(t, src, big.NewInt(42))
|
|
}
|
|
|
|
func TestExportedVariable(t *testing.T) {
|
|
t.Run("Use", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
return multi.SomeVar12
|
|
}`
|
|
eval(t, src, big.NewInt(12))
|
|
})
|
|
t.Run("ChangeAndUse", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
multi.SomeVar12 = 10
|
|
return multi.Sum()
|
|
}`
|
|
eval(t, src, big.NewInt(40))
|
|
})
|
|
t.Run("PackageAlias", func(t *testing.T) {
|
|
src := `package foo
|
|
import kek "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
kek.SomeVar12 = 10
|
|
return kek.Sum()
|
|
}`
|
|
eval(t, src, big.NewInt(40))
|
|
})
|
|
t.Run("DifferentName", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/strange"
|
|
func Main() int {
|
|
normal.NormalVar = 42
|
|
return normal.NormalVar
|
|
}`
|
|
eval(t, src, big.NewInt(42))
|
|
})
|
|
t.Run("MultipleEqualNames", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
var SomeVar12 = 1
|
|
func Main() int {
|
|
SomeVar30 := 3
|
|
sum := SomeVar12 + multi.SomeVar30
|
|
sum += SomeVar30
|
|
sum += multi.SomeVar12
|
|
return sum
|
|
}`
|
|
eval(t, src, big.NewInt(46))
|
|
})
|
|
}
|
|
|
|
func TestExportedConst(t *testing.T) {
|
|
t.Run("with vars", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
return multi.SomeConst
|
|
}`
|
|
eval(t, src, big.NewInt(42))
|
|
})
|
|
t.Run("const only", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/constonly"
|
|
func Main() int {
|
|
return constonly.Answer
|
|
}`
|
|
eval(t, src, big.NewInt(42))
|
|
})
|
|
}
|
|
|
|
func TestMultipleFuncSameName(t *testing.T) {
|
|
t.Run("Simple", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/multi"
|
|
func Main() int {
|
|
return multi.Sum() + Sum()
|
|
}
|
|
func Sum() int {
|
|
return 11
|
|
}`
|
|
eval(t, src, big.NewInt(53))
|
|
})
|
|
t.Run("WithMethod", func(t *testing.T) {
|
|
src := `package foo
|
|
import "github.com/nspcc-dev/neo-go/pkg/compiler/testdata/foo"
|
|
type Foo struct{}
|
|
func (f Foo) Bar() int { return 11 }
|
|
func Bar() int { return 22 }
|
|
func Main() int {
|
|
var a Foo
|
|
var b foo.Foo
|
|
return a.Bar() + // 11
|
|
foo.Bar() + // 1
|
|
b.Bar() + // 8
|
|
Bar() // 22
|
|
}`
|
|
eval(t, src, big.NewInt(42))
|
|
})
|
|
}
|
|
|
|
func TestConstDontUseSlots(t *testing.T) {
|
|
const count = 256
|
|
buf := bytes.NewBufferString("package foo\n")
|
|
for i := 0; i < count; i++ {
|
|
buf.WriteString(fmt.Sprintf("const n%d = 1\n", i))
|
|
}
|
|
buf.WriteString("func Main() int { sum := 0\n")
|
|
for i := 0; i < count; i++ {
|
|
buf.WriteString(fmt.Sprintf("sum += n%d\n", i))
|
|
}
|
|
buf.WriteString("return sum }")
|
|
|
|
src := buf.String()
|
|
eval(t, src, big.NewInt(count))
|
|
}
|
|
|
|
func TestUnderscoreVarsDontUseSlots(t *testing.T) {
|
|
const count = 128
|
|
buf := bytes.NewBufferString("package foo\n")
|
|
for i := 0; i < count; i++ {
|
|
buf.WriteString(fmt.Sprintf("var _, n%d = 1, 1\n", i))
|
|
}
|
|
buf.WriteString("func Main() int { sum := 0\n")
|
|
for i := 0; i < count; i++ {
|
|
buf.WriteString(fmt.Sprintf("sum += n%d\n", i))
|
|
}
|
|
buf.WriteString("return sum }")
|
|
|
|
src := buf.String()
|
|
eval(t, src, big.NewInt(count))
|
|
}
|