Merge pull request #7 from Mooean/master

add encode test,add validate , add stack.

Author: dh12306

pvm/engine/internal/stack/stack.go

@@ -0,0 +1,40 @@
+// Copyright 2017 The go-interpreter Authors.  All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// Package stack implements a growable uint64 stack
+package stack
+
+type Stack struct {
+	slice []uint64
+}
+
+func (s *Stack) Push(b uint64) {
+	s.slice = append(s.slice, b)
+}
+
+func (s *Stack) Pop() uint64 {
+	v := s.Top()
+	s.slice = s.slice[:len(s.slice)-1]
+	return v
+}
+
+func (s *Stack) SetTop(v uint64) {
+	s.slice[len(s.slice)-1] = v
+}
+
+func (s *Stack) Top() uint64 {
+	return s.slice[len(s.slice)-1]
+}
+
+func (s *Stack) Get(i int) uint64 {
+	return s.slice[i]
+}
+
+func (s *Stack) Set(i int, v uint64) {
+	s.slice[i] = v
+}
+
+func (s *Stack) Len() int {
+	return len(s.slice)
+}

pvm/engine/validate/error.go

@@ -0,0 +1,74 @@
+// Copyright 2017 The go-interpreter Authors.  All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package validate
+
+import (
+	"errors"
+	"fmt"
+
+	"paradigm-vm/pvm/engine/wasm"
+	ops "paradigm-vm/pvm/engine/wasm/operators"
+)
+
+type Error struct {
+	Offset   int // Byte offset in the bytecode vector where the error occurs.
+	Function int // Index into the function index space for the offending function.
+	Err      error
+}
+
+func (e Error) Error() string {
+	return fmt.Sprintf("error while validating function %d at offset %d: %v", e.Function, e.Offset, e.Err)
+}
+
+var ErrStackUnderflow = errors.New("validate: stack underflow")
+
+type InvalidImmediateError struct {
+	ImmType string
+	OpName  string
+}
+
+func (e InvalidImmediateError) Error() string {
+	return fmt.Sprintf("invalid immediate for op %s at (should be %s)", e.OpName, e.ImmType)
+}
+
+type UnmatchedOpError byte
+
+func (e UnmatchedOpError) Error() string {
+	n1, _ := ops.New(byte(e))
+	return fmt.Sprintf("encountered unmatched %s", n1.Name)
+}
+
+type InvalidLabelError uint32
+
+func (e InvalidLabelError) Error() string {
+	return fmt.Sprintf("invalid nesting depth %d", uint32(e))
+}
+
+type InvalidLocalIndexError uint32
+
+func (e InvalidLocalIndexError) Error() string {
+	return fmt.Sprintf("invalid index for local variable %d", uint32(e))
+}
+
+type InvalidTypeError struct {
+	Wanted wasm.ValueType
+	Got    wasm.ValueType
+}
+
+func (e InvalidTypeError) Error() string {
+	return fmt.Sprintf("invalid type, got: %v, wanted: %v", e.Got, e.Wanted)
+}
+
+type InvalidElementIndexError uint32
+
+func (e InvalidElementIndexError) Error() string {
+	return fmt.Sprintf("invalid element index %d", uint32(e))
+}
+
+type NoSectionError wasm.SectionID
+
+func (e NoSectionError) Error() string {
+	return fmt.Sprintf("reference to non existant section (id %d) in module", wasm.SectionID(e))
+}

pvm/engine/validate/log.go

@@ -0,0 +1,26 @@
+// Copyright 2017 The go-interpreter Authors.  All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package validate
+
+import (
+	"io/ioutil"
+	"log"
+	"os"
+)
+
+var PrintDebugInfo = false
+
+var logger *log.Logger
+
+func init() {
+	w := ioutil.Discard
+
+	if PrintDebugInfo {
+		w = os.Stderr
+	}
+
+	logger = log.New(w, "", log.Lshortfile)
+	log.SetFlags(log.Lshortfile)
+}

pvm/engine/validate/operand.go

@@ -0,0 +1,13 @@
+// Copyright 2017 The go-interpreter Authors.  All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package validate
+
+import (
+	"paradigm-vm/pvm/engine/wasm"
+)
+
+type operand struct {
+	Type wasm.ValueType
+}