releases/internal/wasm/encoding/encoding_test.go

// Copyright 2018 The OPA Authors.  All rights reserved.
// Use of this source code is governed by an Apache2
// license that can be found in the LICENSE file.

package encoding

import (
	"bytes"
	"os"
	"path/filepath"
	"reflect"
	"testing"

	"github.com/open-policy-agent/opa/internal/compiler/wasm/opa"
	"github.com/open-policy-agent/opa/internal/wasm/module"
)

func TestRoundtrip(t *testing.T) {

	bs, err := os.ReadFile(filepath.Join("testdata", "test1.wasm"))
	if err != nil {
		t.Fatal(err)
	}

	module, err := ReadModule(bytes.NewBuffer(bs))
	if err != nil {
		t.Fatal(err)
	}

	entries, err := CodeEntries(module)
	if err != nil {
		t.Fatal(err)
	}

	for i, e := range entries {

		var buf3 bytes.Buffer

		if err := WriteCodeEntry(&buf3, e); err != nil {
			t.Fatal(err)
		}

		module.Code.Segments[i].Code = buf3.Bytes()
	}

	var buf2 bytes.Buffer

	if err := WriteModule(&buf2, module); err != nil {
		t.Fatal(err)
	}

	module2, err := ReadModule(&buf2)
	if err != nil {
		t.Fatal(err)
	}

	// TODO(tsandall): how to make this more debuggable
	if !reflect.DeepEqual(module, module2) {
		t.Fatal("modules are not equal")
	}

}

func TestRoundtripOPA(t *testing.T) {

	bs := opa.Bytes()
	module1, err := ReadModule(bytes.NewBuffer(bs))
	if err != nil {
		t.Fatal(err)
	}
	// When using a WASM module with or without debug, the custom sections differ.
	// Both variants have 'producers'.
	customSections := map[string]int{}
	for _, s := range module1.Customs {
		customSections[s.Name]++
	}
	if expected, actual := 1, customSections["producers"]; expected != actual {
		t.Errorf("expected %d 'producers' custom sections, found %d", expected, actual)
	}
	if len(module1.Names.Functions) == 0 {
		t.Errorf("expected non-zero function names in 'name' custom sections")
	}

	// Note(sr): We don't have this set by any other means, so manually set it, and
	// check the write->read roundtrip at least.
	module1.Names.Module = "foo"
	module1.Names.Locals = []module.LocalNameMap{{FuncIndex: 35, NameMap: module.NameMap{Index: 0, Name: "data"}}}
	// Note(sr): This isn't a great choice, but it has the right signature: type[13] () -> nil
	var start uint32 = 40 // func[40] sig=13 <__force_import_opa_builtins>
	module1.Start.FuncIndex = &start

	// TODO(tsandall): when all instructions are handled by reader, add logic to
	// check code section contents.

	var buf2 bytes.Buffer
	if err := WriteModule(&buf2, module1); err != nil {
		t.Fatal(err)
	}

	module2, err := ReadModule(&buf2)
	if err != nil {
		t.Fatal(err)
	}

	if expected, actual := len(module1.Names.Functions), len(module2.Names.Functions); expected != actual {
		t.Errorf("expected %d function names in 'name' custom sections, found %d", expected, actual)
	}

	// TODO(tsandall): how to make this more debuggable
	if !reflect.DeepEqual(module1, module2) {
		t.Fatal("modules are not equal")
	}
}