api/analysis/uint_value_test.go

// Copyright (C) 2016 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package analysis_test

import (
	"fmt"
	"testing"

	"android.googlesource.com/platform/tools/gpu/api/analysis"
	"android.googlesource.com/platform/tools/gpu/framework/assert"
)

func TestU32ValueEquals(t *testing.T) {
	ctx := assert.Context(t)

	for _, test := range []struct {
		a, b     analysis.Value
		expected analysis.Possibility
	}{
		{u32(0), u32(0), T},
		{u32(1), u32(1), T},
		{u32(1), u32(2), F},
		{u32(1, 2), u32(2), M},
		{u32(1, 2), u32(1, 2), M},
		{u32(1, 2), u32(3, 4), F},
	} {
		got := test.a.Equals(test.b)
		assert.With(ctx).That(got).Equals(test.expected)
	}
}

func TestU32SetRelational(t *testing.T) {
	ctx := assert.Context(t)

	ops := map[string]func(a analysis.SetRelational, b analysis.Value) analysis.Value{
		"<":  analysis.SetRelational.SetLessThan,
		"<=": analysis.SetRelational.SetLessEqual,
		">":  analysis.SetRelational.SetGreaterThan,
		">=": analysis.SetRelational.SetGreaterEqual,
	}
	for _, test := range []struct {
		a        analysis.Value
		op       string
		b        analysis.Value
		expected analysis.Value
	}{
		{u32(0, 1, 2), "<", u32(0, 1, 2), u32(0, 1)},
		{u32(1, 2, 3), "<", u32(1, 2, 3), u32(1, 2)},
		{u32(1, 2, 3), "<", u32(7, 8, 9), u32(1, 2, 3)},
		{u32(7, 8, 9), "<", u32(1, 2, 3), u32()},

		{u32(0, 1, 2), "<=", u32(0, 1, 2), u32(0, 1, 2)},
		{u32(1, 2, 3), "<=", u32(1, 2, 3), u32(1, 2, 3)},
		{u32(1, 2, 3), "<=", u32(7, 8, 9), u32(1, 2, 3)},
		{u32(7, 8, 9), "<=", u32(1, 2, 3), u32()},

		{u32(0, 1, 2), ">", u32(0, 1, 2), u32(1, 2)},
		{u32(1, 2, 3), ">", u32(1, 2, 3), u32(2, 3)},
		{u32(1, 2, 3), ">", u32(7, 8, 9), u32()},
		{u32(7, 8, 9), ">", u32(1, 2, 3), u32(7, 8, 9)},

		{u32(0, 1, 2), ">=", u32(0, 1, 2), u32(0, 1, 2)},
		{u32(1, 2, 3), ">=", u32(1, 2, 3), u32(1, 2, 3)},
		{u32(1, 2, 3), ">=", u32(7, 8, 9), u32()},
		{u32(7, 8, 9), ">=", u32(1, 2, 3), u32(7, 8, 9)},
	} {
		ctx := ctx.V("a", test.a).S("op", test.op).V("b", test.b)
		got := ops[test.op](test.a.(analysis.SetRelational), test.b)
		assert.With(ctx).That(fmt.Sprint(got)).Equals(fmt.Sprint(test.expected))
	}
}