2019-03-15 22:42:35 +00:00
|
|
|
package vm
|
|
|
|
|
|
|
|
import (
|
|
|
|
"math/big"
|
|
|
|
"testing"
|
|
|
|
|
|
|
|
"github.com/CityOfZion/neo-go/pkg/vm/stack"
|
|
|
|
"github.com/stretchr/testify/assert"
|
|
|
|
)
|
|
|
|
|
2019-03-26 23:15:13 +00:00
|
|
|
func TestIncOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.INC, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(21), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestDecOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.DEC, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(19), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
2019-03-15 22:42:35 +00:00
|
|
|
func TestAddOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(23))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
2019-03-16 22:15:08 +00:00
|
|
|
v.executeOp(stack.ADD, ctx)
|
2019-03-15 22:42:35 +00:00
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(43), item.Value().Int64())
|
|
|
|
|
|
|
|
}
|
2019-03-15 22:55:08 +00:00
|
|
|
|
|
|
|
func TestSubOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(30))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(40))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
2019-03-16 22:15:08 +00:00
|
|
|
v.executeOp(stack.SUB, ctx)
|
2019-03-15 22:55:08 +00:00
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(-10), item.Value().Int64())
|
|
|
|
|
|
|
|
}
|
2019-03-28 18:30:36 +00:00
|
|
|
|
2019-03-28 20:32:32 +00:00
|
|
|
func TestDivOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(10))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(4))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.DIV, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
2019-03-28 22:28:20 +00:00
|
|
|
|
2019-03-28 20:32:32 +00:00
|
|
|
assert.Equal(t, int64(2), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestModOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(15))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(4))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.MOD, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(3), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
2019-03-28 19:47:47 +00:00
|
|
|
func TestNzOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.NZ, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestMulOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.MUL, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(400), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
2019-03-28 19:26:55 +00:00
|
|
|
func TestAbsOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(-20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.ABS, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(20), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestNotOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
b := stack.NewBoolean(false)
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.NOT, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
2019-03-30 15:01:06 +00:00
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestNumEqual(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(6))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(6))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.NUMEQUAL, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestNumNotEqual(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(5))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(6))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.NUMNOTEQUAL, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
2019-03-28 19:26:55 +00:00
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
2019-03-28 18:30:36 +00:00
|
|
|
func TestSignOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(-20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.SIGN, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(-1), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestNegateOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(-20))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a)
|
|
|
|
|
|
|
|
v.executeOp(stack.NEGATE, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(20), item.Value().Int64())
|
|
|
|
}
|
2019-03-28 22:28:20 +00:00
|
|
|
|
|
|
|
func TestShlOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(2))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(3))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
// b is the first item pop.
|
|
|
|
// a is the second item pop.
|
|
|
|
// we perform a.Lsh(b) and place
|
|
|
|
// the result on top of the evaluation
|
|
|
|
// stack
|
|
|
|
v.executeOp(stack.SHL, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(16), item.Value().Int64())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestShrOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(10))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
b, err := stack.NewInt(big.NewInt(2))
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
// b is the first item pop.
|
|
|
|
// a is the second item pop.
|
|
|
|
// we perform a.Rsh(b) and place
|
|
|
|
// the result on top of the evaluation
|
|
|
|
// stack
|
|
|
|
v.executeOp(stack.SHR, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopInt()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, int64(2), item.Value().Int64())
|
|
|
|
}
|
2019-03-29 19:35:16 +00:00
|
|
|
|
2019-03-29 21:22:45 +00:00
|
|
|
func TestBoolAndOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a := stack.NewBoolean(true)
|
|
|
|
b := stack.NewBoolean(true)
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.BOOLAND, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestBoolOrOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a := stack.NewBoolean(false)
|
|
|
|
b := stack.NewBoolean(true)
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
v.executeOp(stack.BOOLOR, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
if err != nil {
|
|
|
|
t.Fail()
|
|
|
|
}
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
|
|
|
|
2019-03-29 19:35:16 +00:00
|
|
|
func TestLtOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(10))
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
b, err := stack.NewInt(big.NewInt(2))
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
// b is the first item pop.
|
|
|
|
// a is the second item pop.
|
|
|
|
// we perform a < b and place
|
|
|
|
// the result on top of the evaluation
|
|
|
|
// stack
|
|
|
|
v.executeOp(stack.LT, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
assert.Equal(t, false, item.Value())
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestGtOp(t *testing.T) {
|
|
|
|
|
|
|
|
v := VM{}
|
|
|
|
|
|
|
|
a, err := stack.NewInt(big.NewInt(10))
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
b, err := stack.NewInt(big.NewInt(2))
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
ctx := stack.NewContext([]byte{})
|
|
|
|
ctx.Estack.Push(a).Push(b)
|
|
|
|
|
|
|
|
// b is the first item pop.
|
|
|
|
// a is the second item pop.
|
|
|
|
// we perform a > b and place
|
|
|
|
// the result on top of the evaluation
|
|
|
|
// stack
|
|
|
|
v.executeOp(stack.GT, ctx)
|
|
|
|
|
|
|
|
// Stack should have one item
|
|
|
|
assert.Equal(t, 1, ctx.Estack.Len())
|
|
|
|
|
|
|
|
item, err := ctx.Estack.PopBoolean()
|
|
|
|
assert.NoError(t, err)
|
|
|
|
|
|
|
|
assert.Equal(t, true, item.Value())
|
|
|
|
}
|
2019-03-29 21:22:45 +00:00
|
|
|
|